1550 search results - page 174 / 310 » Erlang for Concurrent Programming |
106
click to vote
ITICSE
2010
ACM
15 years 3 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...
120
click to vote
COMPSAC
2008
IEEE
15 years 3 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...
106
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...
87
Voted
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
122
click to vote
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...