Sciweavers

5 search results - page 1 / 1
» Label-guided graph exploration by a finite automaton
Sort
View
61
Voted
TALG
2008
59views more  TALG 2008»
15 years 17 days ago
Label-guided graph exploration by a finite automaton
Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, A...
DAM
2008
69views more  DAM 2008»
15 years 22 days ago
Impact of memory size on graph exploration capability
A mobile agent (robot), modeled as a finite automaton, has to visit all nodes of a regular graph. How does the memory size of the agent (the number of states of the automaton) inf...
Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc
109
Voted
TCS
2008
15 years 17 days ago
Setting port numbers for fast graph exploration
We consider the problem of periodic graph exploration by a finite automaton in which an automaton with a constant number of states has to explore all unknown anonymous graphs of a...
David Ilcinkas
153
Voted
CORR
2004
Springer
177views Education» more  CORR 2004»
15 years 15 days ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
98
Voted
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 22 days ago
Parameterizing by the Number of Numbers
The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization." In this paper we introduce and expl...
Michael R. Fellows, Serge Gaspers, Frances A. Rosa...