Sciweavers

773 search results - page 18 / 155
» Traversing the Machining Graph
Sort
View
TCS
2012
13 years 9 months ago
Improved simulation of nondeterministic Turing machines
Abstract. The standard simulation of a nondeterministic Turing machine (NTM) by a deterministic one essentially searches a large boundeddegree graph whose size is exponential in th...
Subrahmanyam Kalyanasundaram, Richard J. Lipton, K...
ICRA
1994
IEEE
97views Robotics» more  ICRA 1994»
15 years 5 months ago
Gait Generation for a Six-Legged Walking Machine Through Graph Search
Prabir K. Pal, Mahadev Venkatraman, K. Jayarajan
WCET
2007
15 years 2 months ago
Analysis of path exclusion at the machine code level
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
Ingmar Stein, Florian Martin