1027 search results - page 26 / 206 » Callgraph properties of executables |
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 9 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
ICFP
2004
ACM
14 years 11 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
CDC
2010
IEEE
13 years 6 months ago
2010
IEEE
Pursuit strategies for interacting particles and feedback laws to execute them are formulated in three dimensions, focusing on constant bearing (CB) pursuit
ASPLOS
2012
ACM
12 years 6 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
ASPLOS
2011
ACM
13 years 2 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...