3441 search results - page 471 / 689 » Parallel Logic Programming Systems |
169
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
Parallel dataflow programs generate enormous amounts of distributed data that are short-lived, yet are critical for completion of the job and for good run-time performance. We ca...
158
click to vote
ICA3PP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present the thread migration mechanism of DSM-PEPE, a multithreaded distributed shared memory system. DSM systems like DSM-PEPE provide a parallel environment to h...
153
click to vote
GRID
2008
Springer
15 years 6 months ago
2008
Springer
Desktop Grids have emerged as an important methodology to harness the idle cycles of millions of participant desktop PCs over the Internet. However, to effectively utilize the res...
143
click to vote
SAGA
2005
Springer
15 years 10 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
128
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...