4311 search results - page 462 / 863 » Code Generation for Distributed Systems |
182
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
210
click to vote
GI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
182
click to vote
DSD
2006
IEEE
16 years 25 days ago
2006
IEEE
The rising complexity, customization and short time to market of modern digital systems requires automatic methods for generation of high performance architectures for such system...
192
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
181
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...