1855 search results - page 15 / 371 » A coding theorem for distributed computation |
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
SPAA
2003
ACM
14 years 4 months ago
2003
ACM
In the minimum path coloring problem, we are given a graph and a set of pairs of vertices of the graph and we are asked to connect the pairs by colored paths in such a way that pa...
KI
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
ICDCS
2005
IEEE
14 years 4 months ago
2005
IEEE
We prove two theorems saying that no distributed system in which processes coordinate using reliable registers and -resilient services can solve the consensus problem in the prese...