2595 search results - page 256 / 519 » Modes in Asynchronous Systems |
190
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
190
click to vote
ISPASS
2007
IEEE
16 years 28 days ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
207
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
159
click to vote
ISQED
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper shows that by co-designing circuits and systems, considerable power savings are possible if the inherent data redundancy of candidate systems such as wireless is used t...
191
click to vote
DSRT
2006
IEEE
16 years 22 days ago
2006
IEEE
Interest Management in large-scale distributed applications aims to reduce the amount of extraneous broadcast communication between nodes in the system with the aim of increasing ...