4722 search results - page 558 / 945 » Encoding Program Executions |
127
Voted
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
148
click to vote
PTS
2010
15 years 2 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
161
click to vote
CLUSTER
2009
IEEE
15 years 2 months ago
2009
IEEE
With the advent of high-performance COTS clusters, there is a need for a simple, scalable and faulttolerant parallel programming and execution paradigm. In this paper, we show that...
126
click to vote
FIW
2009
15 years 2 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
138
Voted
CACM
2010
15 years 2 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...