Sciweavers

1605 search results - page 18 / 321
» On Partitional Labelings of Graphs
Sort
View
COMBINATORICS
2006
105views more  COMBINATORICS 2006»
13 years 8 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...
ARSCOM
2007
91views more  ARSCOM 2007»
13 years 8 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
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 8 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...
ASYNC
1998
IEEE
110views Hardware» more  ASYNC 1998»
14 years 26 days 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
ENTCS
2002
72views more  ENTCS 2002»
13 years 8 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