e ersburg, MD 20899 (301) 975-3535 {seismo,mimsy}!nbs-amrf!libes A small operating system (XINU) was port d to 4.2BSD. The entire operating system runs as a single UNIX process. The code is approximately 1000 t lines of C (including comments) and 6 lines of assembler. All of the code is user-level, and thus presents a sys em easy to examine, understand, and experiment with further. The code has...

In this paper we describe a code generation and optimization process for reconfigurable architectures targeting digital signal processing and wireless communication applications. The ability to generate efficient and compact code is essential for the success of reconfigurable architectures. Otherwise, the overhead of reconfiguring could easily become the system bottleneck. Our code generation p...

Embedded systems tightly serve the needs of consumer electronics, home automation and portable devices. During the period of developing embedded systems, code generation is always seen a design challenge because every embedded processor has its own specific characteristic. In this paper, we propose a retargetable code generation (RCG) methodology which can generate retargetable C program for em...

We present a retargetable, machine-level framework that tightly integrates the three primary functions performed by an optimizer: code generation, register allocation and code improvements. This framework is highly retargetable, able to fully exploit unique architectural features and, unlike most integrated frameworks, easily extended to include a comprehensive set of local and global optimizat...

PTIDES is a programming model for distributed real-time embedded systems. PTIDES builds on Discrete-Event (DE) semantics and leverages a global notion of time throughout distributed platforms. Applications expressed in PTIDES models can be designed without any knowledge about the hardware platform upon which it is implemented, thus completely decoupling the design from the implementation. To br...

We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application written in Curry, i.e., the main module and all directly or indirectly imported modules. Each module can be shown in different formats (e.g., source code, interface, intermediate code) and, inside each module, variou...

This paper presents a study which evaluates the use of a tree visualisation (icicle tree) to encode the hierarchical structure of source code. The tree visualisation was combined with a source code editor in order to function as a compact overview to facilitate the process of comprehending the global structure of a source code document. Results from our study show that providing an overview vis...

We consider the problem of identifying provenance free/open source software (FOSS) and specifically need where reused code has been copied from. propose a lightweight approach to solve based on identifiers-such as names variables, classes, functions chosen by programmers. The proposed is able efficiently narrow down small set candidate origin products, be further analyzed with more expensive te...

Abstract The paper investigates both local and global capacity criteria for collapse assessment of RC frame buildings. Both literature regulations are considered, also including the formulation recommended in draft new Eurocode 8 (part 3) other never investigated. case studies consist low-rise bare infilled buildings, which designed according to Italian code provisions considering low-to-high s...