Sciweavers

1605 search results - page 18 / 321
» On Partitional Labelings of Graphs
Sort
View
110
Voted
COMBINATORICS
2006
105views more  COMBINATORICS 2006»
15 years 3 months ago
Edge-Magic Group Labellings of Countable Graphs
We investigate the existence of edge-magic labellings of countably infinite graphs by abelian groups. We show for that for a large class of abelian groups, including the integers ...
Nicholas J. Cavenagh, Diana Combe, Adrian M. Nelso...
94
Voted
ARSCOM
2007
91views more  ARSCOM 2007»
15 years 3 months ago
Zero-Sum Magic Graphs And Their Null Sets
For any h ∈ N, a graph G = (V, E) is said to be h-magic if there exists a labeling l : E(G) → Zh − {0} such that the induced vertex labeling l+ : V (G) → Zh defined by l+ ...
Ebrahim Salehi
144
Voted
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 3 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
110
Voted
ASYNC
1998
IEEE
110views Hardware» more  ASYNC 1998»
15 years 8 months ago
Analyzing Specifications for Delay-Insensitive Circuits
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
Tom Verhoeff
134
Voted
ENTCS
2002
72views more  ENTCS 2002»
15 years 3 months ago
The synchronized graphs trace the context-sensitive languages
Morvan and Stirling have proved that the context-sensitive languages are exactly the traces of graphs defined by transducers with labelled final states. We prove that this result ...
Chloe Rispal