6014 search results - page 167 / 1203 » Structural Testing with Use Cases |
77
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Backside light emission and electrical measurements were used to evaluate the susceptibility to latchup of externally cabled I/O pins for a 0.13 µm technology generation [1,2] te...
138
Voted
PTS
2003
15 years 5 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
114
Voted
KI
2006
Springer
15 years 3 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
121
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
125
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– The Mars Exploration Rover (MER) Descent Image Motion Estimation System (DIMES) is the first autonomous machine vision system used to safely land a robotics payload on another ...