1011 search results - page 22 / 203 » Exception Analysis for Java |
162
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
Traditionally, the emphasis among computer scientists has been on the more rigorous and theoretical modes of worstcase and average-case analysis of algorithms. However, theoretica...
149
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 12 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
130
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
195
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
204
click to vote
TOPLAS
2010
15 years 4 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...