452 search results - page 67 / 91 » Symbolic Execution of Behavioral Requirements |
112
click to vote
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
The use of large instruction windows coupled with aggressive out-oforder and prefetching capabilities has provided significant improvements in processor performance. In this paper...
126
Voted
ISCA
2003
IEEE
15 years 6 months ago
2003
IEEE
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
103
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
143
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
104
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...