3146 search results - page 216 / 630 » The use of compiler optimizations for embedded systems softw... |
184
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
173
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
169
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
187
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
166
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...