1206 search results - page 109 / 242 » Concurrent Abstract Predicates |
123
click to vote
CONCURRENCY
2006
15 years 2 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
114
click to vote
CONCURRENCY
2006
15 years 2 months ago
2006
vices provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. In this scenario, applications, like sc...
107
click to vote
CONCURRENCY
2000
15 years 2 months ago
2000
The Virtual Interface (VI) architecture has become the industry standard for user-level network interfaces. This paper presents the implementation and evaluation of Javia, a Java ...
108
Voted
FORMATS
2010
Springer
15 years 15 days ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
113
Voted
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...