5171 search results - page 499 / 1035 » Deterministic Parallel Processing |
147
Voted
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
Traditional sensor network deployments consisted of fixed infrastructures and were relatively small in size. More and more, we see the deployment of ad-hoc sensor networks with h...
110
click to vote
PDP
2008
IEEE
15 years 11 months ago
2008
IEEE
The need for integration of human interaction scenarios into BPEL processes lead to the formalisation of tasks and human roles. The specifications BPEL4People and WSHumanTask int...
125
click to vote
CALCO
2007
Springer
15 years 11 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
156
click to vote
HIPC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Large graphs involving millions of vertices are common in many practical applications and are challenging to process. Practical-time implementations using high-end comput...
122
click to vote
PVM
2007
Springer
15 years 10 months ago
2007
Springer
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...