1522 search results - page 49 / 305 » Practical Exception Specifications |
127
Voted
ENTCS
2006
15 years 1 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
121
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
143
Voted
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
120
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
In many data mining applications, online labeling feedback is only available for examples which were predicted to belong to the positive class. Such applications include spam filt...
193
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...