133 search results - page 13 / 27 » Locally Excluding a Minor |
ACTA
2007
13 years 7 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
VMV
2001
13 years 8 months ago
2001
Today, it is possible to acquire volume representations of the vessel structures in the brain. The selfadjusting probe, a new tool introduced in a previous paper, enables semi-aut...
MLQ
2007
13 years 6 months ago
2007
It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w.r.t. the class of all finite MTL-chains. In order to reach a deeper understanding ...
JSYML
2010
13 years 2 months ago
2010
A set A of vertices of a graph G is called d-scattered in G if no two d-neighborhoods of (distinct) vertices of A intersect. In other words, A is d-scattered if no two distinct ver...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
In this paper, we extensively tune and then compare the performance of web servers based on three different server architectures. The µserver utilizes an event-driven architectur...