3146 search results - page 114 / 630 » The use of compiler optimizations for embedded systems softw... |
146
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
165
click to vote
ASWEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
120
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
130
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...
128
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
After many years of prefetching research, most commercially available systems support only two types of prefetching: software-directed prefetching and hardware-based prefetchers u...