1534 search results - page 52 / 307 » Stochastic Bounds on Execution Times of Parallel Computation... |
166
click to vote
PPAM
2005
Springer
15 years 11 months ago
2005
Springer
We present a web computing library (PUBWCL) in Java that allows to execute tightly coupled, massively parallel algorithms in the bulk-synchronous (BSP) style on PCs distributed ove...
166
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
165
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
158
click to vote
MFCS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
151
click to vote
VMV
2004
15 years 7 months ago
2004
In this paper we present a new framework for collision and self-collision detection for highly deformable objects such as cloth. It permits to efficiently trade off accuracy for s...