Sciweavers

4323 search results - page 165 / 865
» Callback Implementations in C
Sort
View
TECS
2008
94views more  TECS 2008»
15 years 2 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
IFIP12
2009
15 years 7 days ago
TELIOS: A Tool for the Automatic Generation of Logic Programming Machines
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
Alexandros C. Dimopoulos, Christos Pavlatos, Georg...
116
Voted
DAC
2009
ACM
16 years 3 months ago
Context-sensitive timing analysis of Esterel programs
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...
CODES
2009
IEEE
15 years 7 months ago
A tuneable software cache coherence protocol for heterogeneous MPSoCs
In a multiprocessor system-on-chip (MPSoC) private caches introduce the cache coherence problem. Here, we target at heterogeneous MPSoCs with a network-on-chip (NoC). Existing har...
Frank E. B. Ophelders, Marco Bekooij, Henk Corpora...
112
Voted
GRID
2004
Springer
15 years 8 months ago
Toward Characterizing the Performance of SOAP Toolkits
The SOAP protocol underpins Web services as the standard mechanism for exchanging information in a distributed environment. The XML-based protocol offers advantages including exte...
Madhusudhan Govindaraju, Aleksander Slominski, Ken...