2025 search results - page 269 / 405 » A Reliable Software Architecture for Complex Embedded System... |
153
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
The increasing use of Multiprocessor Systems-on-Chip (MPSoCs) for high performance demands of embedded applications results in high power dissipation. The memory subsystem is a la...
159
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
173
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
143
click to vote
ETS
2007
IEEE
16 years 12 days ago
2007
IEEE
— The growth in System-on-Chip complexity puts pressure on system verification. Due to limitations in the pre-silicon verification process, errors in hardware and software slip...