4722 search results - page 775 / 945 » Encoding Program Executions |
147
click to vote
ISCA
1995
IEEE
15 years 6 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...
132
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
130
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Harvard architecture CPU design is common in the embedded world. Examples of Harvard-based architecture devices are the Mica family of wireless sensors. Mica motes have limited me...
140
Voted
DAC
2006
ACM
15 years 4 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
117
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...