1491 search results - page 108 / 299 » Resource-Passing Concurrent Programming |
SPIN
2000
Springer
15 years 1 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...
CAV
2008
Springer
14 years 12 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...
ITICSE
2010
ACM
14 years 12 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...
COMPSAC
2008
IEEE
14 years 11 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...
CSFW
2012
IEEE
13 years 10 days ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...