5015 search results - page 304 / 1003 » Model Checking a Path |
167
click to vote
ISPASS
2006
IEEE
16 years 16 days ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
164
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
181
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Vision feedback control loop techniques are efficient for a great class of applications but they come up against difficulties when the initial and desired positions of the camer...
173
click to vote
ACTA
2002
15 years 6 months ago
2002
In the constraint database community, FO+poly and FO+linear have been proposed as foundations for spatial database query languages. One of the strengths of this approach is that t...
153
click to vote
IJSYSC
2006
15 years 6 months ago
2006
: The paper deals with collision free path planning for industrial robotic manipulators. A new efficient algorithm is proposed that is based on a topologically ordered neural netwo...