1485 search results - page 8 / 297 » Whole Program Paths |
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes the last of three experiments that investigate relative motion between a surface and the fingertip (slip) as part of a larger program of research on “finger...
TPDS
1998
13 years 7 months ago
1998
—In this paper, we introduce a runtime, nontrace-based algorithm to compute the critical path profile of the execution of message passing and shared-memory parallel programs. Our...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper describes a unique approach of applying a pattern classification technique to robot path planning. A collision-free path connecting a start and a goal point provide...