4716 search results - page 601 / 944 » Iterative-free program analysis |
164
click to vote
ISPASS
2006
IEEE
16 years 15 days ago
2006
IEEE
SimPoint is a technique used to pick what parts of the program’s execution to simulate in order to have a complete picture of execution. SimPoint uses data clustering algorithms...
204
click to vote
ACL2
2006
ACM
16 years 14 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...
173
click to vote
ASSETS
2006
ACM
16 years 14 days ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
176
click to vote
SIGSOFT
2006
ACM
16 years 13 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
158
click to vote
CGO
2005
IEEE
16 years 4 days ago
2005
IEEE
Many excepting instructions cannot be removed by existing Partial Redundancy Elimination (PRE) algorithms because the ordering constraints must be preserved between the excepting ...