1492 search results - page 171 / 299 » Concurrent programming in VISO |
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
110
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
107
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
98
Voted
ITICSE
2010
ACM
15 years 2 months ago
2010
ACM
In this paper we introduce the JavaSpaces NetBeans IDE (JSN) which integrates the JavaSpaces technology, an implementation of Linda principles in Java, with the NetBeans1 IDE. JSN...
103
click to vote
COMPSAC
2008
IEEE
15 years 2 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...