385 search results - page 35 / 77 » Verified Code Generation for Embedded Systems |
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...
137
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
The high transistor density afforded by modern VLSI processes have enabled the design of embedded processors that use clustered execution units to deliver high levels of performan...
113
click to vote
SAMOS
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a new tool for the automatic generation of highly parallelized Finite Impulse Response (FIR) filters. In this approach we follow our PARO design methodology. P...
121
click to vote
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...
119
click to vote
ICPADS
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the major factors that can potentially slow down widespread use of embedded chip multiprocessors is lack of efficient software support. In particular, automated code paral...