4107 search results - page 82 / 822 » The Generalized Lambda Test |
NMR
2004
Springer
15 years 6 months ago
2004
Springer
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
113
click to vote
STEP
2003
IEEE
15 years 6 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
104
click to vote
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
105
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
ITC
1997
IEEE
15 years 5 months ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...