3500 search results - page 350 / 700 » Implementing Java on Clusters |
78
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
88
Voted
CHI
2003
ACM
16 years 1 months ago
2003
ACM
We present a new interface for large-scale online conversations. Our technique, the Conversation Thumbnail, differs from existing discussion interfaces in two respects. First, it ...
188
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
Now that the use of garbage collection in languages like Java is becoming widely accepted due to the safety and software engineering benefits it provides, there is significant int...
177
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
109
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...