15416 search results - page 329 / 3084 » Embeddings of Computable Structures |
199
Voted
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...
182
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
173
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Contemporary SoC design involves the proper selection of cores from a reference platform. Such selection implies the design exploration of alternative CPUs, which requires the gen...
210
click to vote
SBACPAD
2007
IEEE
16 years 1 months ago
2007
IEEE
The necessity of devising novel thread-level speculation (TLS) techniques has become extremely important with the growing acceptance of multi-core architectures by the industry. H...
223
Voted
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...