6952 search results - page 111 / 1391 » The information integrity imperative |
148
click to vote
CAV
2007
Springer
16 years 12 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
150
click to vote
DSN
2006
IEEE
16 years 9 days ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
208
click to vote
PLDI
2006
ACM
16 years 5 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
143
click to vote
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...
198
click to vote
WCFLP
2005
ACM
15 years 11 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...