10625 search results - page 1715 / 2125 » Supporting delay-intolerant applications |
169
Voted
PVM
2005
Springer
16 years 10 days ago
2005
Springer
We present an algorithm for implementing byte-range locks using MPI passive-target one-sided communication. This algorithm is useful in any scenario in which multiple processes of ...
231
Voted
SELMAS
2005
Springer
16 years 10 days ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
160
click to vote
SIGADA
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
176
Voted
SOFSEM
2005
Springer
16 years 10 days ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
183
Voted
WEA
2005
Springer
16 years 10 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...