966 search results - page 21 / 194 » Code Generation for Embedded Processors |
DAC
2001
ACM
14 years 9 months ago
2001
ACM
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
CASES
2007
ACM
14 years 21 days ago
2007
ACM
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
VLSID
2004
IEEE
14 years 9 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
ITC
1996
IEEE
14 years 26 days ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...