5015 search results - page 483 / 1003 » Model Checking a Path |
156
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Electrical characterization of the resistance, capacitance, and inductance of inter-plane 3-D vias is presented in this paper. Both capacitive and inductive coupling be...
218
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A major challenge in the path of widespread use of mobile robots is the ability to function autonomously, learning useful features from the environment and using them to adapt ...
164
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...
181
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
156
click to vote
SDL
2001
15 years 8 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...