391 search results - page 19 / 79 » On Time-Aware Instrumentation of Programs |
142
click to vote
PC
1998
15 years 5 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
165
click to vote
PUC
1998
15 years 5 months ago
1998
In this paper we describe a way to save and restore the state of a running Java program. We achieve this on the language level, without modifying the Java virtual machine, by instr...
150
click to vote
ENTCS
2007
15 years 5 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
129
click to vote
CGO
2008
IEEE
16 years 11 days ago
2008
IEEE
We propose a new instruction, branch-on-random, that is like a standard conditional branch, except rather than specifying the condition on which the branch should be taken, it spe...
167
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...