Sciweavers

1188 search results - page 61 / 238
» Extended Graph Unification
Sort
View
WDAG
2007
Springer
86views Algorithms» more  WDAG 2007»
14 years 4 months ago
Deterministic Distributed Construction of Linear Stretch Spanners in Polylogarithmic Time
The paper presents a deterministic distributed algorithm that given an n node unweighted graph constructs an O(n3/2 ) edge 3-spanner for it in O(log n) time. This algorithm is the...
Bilel Derbel, Cyril Gavoille, David Peleg
RELMICS
1997
Springer
14 years 2 months ago
Relational Matching for Graphical Calculi of Relations
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...
Wolfram Kahl
JCT
2008
68views more  JCT 2008»
13 years 10 months ago
An Ore-type theorem on equitable coloring
A proper vertex coloring of a graph is equitable if the sizes of its color classes differ by at most one. In this note, we prove that if G is a graph such that for each edge xy E...
Hal A. Kierstead, Alexandr V. Kostochka
CORR
2004
Springer
92views Education» more  CORR 2004»
13 years 9 months ago
Embeddings into the Pancake Interconnection Network
Owing to its nice properties, the pancake is one of the Cayley graphs that were proposed as alternatives to the hypercube for interconnecting processors in parallel computers. In ...
Christian Lavault
DEDS
2002
106views more  DEDS 2002»
13 years 9 months ago
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...
Peter Buchholz, Peter Kemper