6 search results - page 1 / 2 » Distributed Interval Voting with Node Failures of Various Ty... |
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
CCGRID
2007
IEEE
13 years 11 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
Ambient Intelligent Systems provide an unexplored hardware platform for executing distributed applications under strict energy constraints. These systems must respond quickly to c...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
Fault-tolerant Beacon Vector Routing (FBVR) is an efficient technique for routing in the presence of node failures. Several common wireless topologies exist that can be used with...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...