4722 search results - page 152 / 945 » Encoding Program Executions |
116
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we describe some of the techniques we used in SmallEiffel, T...
133
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
113
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
142
click to vote
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...