4722 search results - page 466 / 945 » Encoding Program Executions |
201
click to vote
ACL2
2006
ACM
16 years 8 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
169
click to vote
AADEBUG
2005
Springer
15 years 12 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
169
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
173
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
158
click to vote
IEEEINTERACT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper introduces a method for improving program run-time performance by gathering work in an application and executing it efficiently in an integrated thread. Our methods ext...