5448 search results - page 439 / 1090 » Breakpoints and Time in Distributed Computations |
190
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Interest is rising in genuinely distributed ('peer-to-peer') resource discovery systems, which all provide mechanisms for self-organization of their resource pr...
192
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
145
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents provable work-optimal parallelizations of STL (Standard Template Library) algorithms based on the workstealing technique. Unlike previous approaches where a deq...
167
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper describes SYNAPSIS, a parser for performing real-time understanding of spoken utterances in a parallel computational environment. Understanding continuous speech allowi...
154
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
We develop a novel framework for supporting e-Science applications that require streaming of information between sites. Using a Synchronous Dataflow (SDF) model, our framework inco...