16725 search results - page 2991 / 3345 » Engineering Software Correctness |
160
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
As the importance of multimedia applications in hand-held devices increases, the computational strain and corresponding demand for energy in such devices continues to grow. Portab...
154
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
133
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
170
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we propose a generalized clustering approach for static data flow subgraphs mapped onto individual processors in Multi-Processor System on Chips (MPSoCs). The goal ...
172
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...