1724 search results - page 205 / 345 » Models for Concurrency |
110
click to vote
SIGADA
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
142
Voted
FORTE
1994
15 years 2 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
100
click to vote
CONCURRENCY
2008
15 years 25 days ago
2008
: Over the last few years, several nations around the world have set up Grids to share resources such as computers, data, and instruments to enable collaborative science, engineeri...
111
click to vote
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
116
Voted
COORDINATION
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...