28445 search results - page 421 / 5689 » Anatomically based modeling |
144
click to vote
MTDT
2003
IEEE
15 years 8 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
120
Voted
ECBS
2009
IEEE
15 years 7 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
113
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...
105
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— The analysis of the EKF error sequence in [1] is expanded to the case with non-vanishing perturbations. The robust stability of NMPC and EKF pair is established. In addition, w...
118
click to vote
ADBIS
1995
Springer
15 years 7 months ago
1995
Springer
A comparison of several indexing techniques for complex object in object-oriented database systems is presented, based on assumption of non-uniform distribution of attribute value...