Sciweavers

4311 search results - page 210 / 863
» Code Generation for Distributed Systems
Sort
View
FTDCS
1997
IEEE
15 years 10 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
IPPS
2009
IEEE
16 years 1 months ago
Flexible pipelining design for recursive variable expansion
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...
Zubair Nawaz, Thomas Marconi, Koen Bertels, Todor ...
DAC
2000
ACM
16 years 7 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
ISCAS
1999
IEEE
93views Hardware» more  ISCAS 1999»
15 years 10 months ago
Probability distribution of the switching intervals in chaotic pulse streams-a comparative study
In switched dynamic system the continuous phase ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
T. Tsubone, T. Saito, Wolfgang M. Schwarz
FMICS
2007
Springer
16 years 16 days ago
Analysis of a Session-Layer Protocol in mCRL2
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren&...