663 search results - page 20 / 133 » Process Algebra with Local Communication |
134
Voted
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
126
click to vote
IADIS
2004
15 years 6 months ago
2004
This paper addresses the problem of establishing collaboration between devices in a home environment, even when no previous knowledge is known or stored on the devices. It focuses...
99
Voted
SRDS
2006
IEEE
15 years 11 months ago
2006
IEEE
The paper presents a comparative performance study of the two main classes of randomized binary consensus protocols: a local coin protocol, with an expected high communication com...
157
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
120
Voted
JGAA
2006
15 years 5 months ago
2006
In this paper we introduce a direct motivation for solving the minimum 2-sum problem, for which we present a linear-time algorithm inspired by the Algebraic Multigrid approach whi...