5015 search results - page 295 / 1003 » Model Checking a Path |
188
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a methodology based on a variation of the Quintic Pythagorean Hodographs curves for generating smooth feasible paths for autonomous vehicles in three-dimensiona...
207
click to vote
IJRR
2010
15 years 5 months ago
2010
Path planning and trajectory design for autonomous underwater vehicles (AUVs) is of great importance to the oceanographic research community because automated data collection is b...
143
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Increasing system complexity and test cost demands new system-level solutions for mixed-signal systems. In this paper, we present a testability analysis and DfT insertion methodol...
198
click to vote
ISCAS
2007
IEEE
16 years 24 days ago
2007
IEEE
Due to the development of high speed circuits beyond the 2-GHz mark, the significance of automatic test pattern generation for Path Delay Faults (PDFs) drastically increased in t...
143
click to vote
DATE
2006
IEEE
16 years 17 days ago
2006
IEEE
State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated. Spatial correlation and correlation caused by p...