106 search results - page 2 / 22 » Symbolic Debugging Scheme for Optimized Hardware and Softwar... |
POPL
2010
ACM
14 years 2 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. We present a novel approach to avoid the debugging of optimized code through comparison checking. In the technique presented, both the unoptimized and optimized versions ...
ASPLOS
2008
ACM
13 years 7 months ago
2008
ACM
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
ASPDAC
2001
ACM
13 years 8 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
IESS
2007
Springer
13 years 11 months ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...