Sciweavers

773 search results - page 18 / 155
» Traversing the Machining Graph
Sort
View
TCS
2012
12 years 5 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»
14 years 1 months ago
Gait Generation for a Six-Legged Walking Machine Through Graph Search
Prabir K. Pal, Mahadev Venkatraman, K. Jayarajan
WCET
2007
13 years 10 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