Sciweavers

6704 search results - page 46 / 1341
» Testing Scenario-Based Models
Sort
View
AAAI
2010
13 years 11 months ago
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
IPMI
2005
Springer
14 years 11 months ago
Hypothesis Testing with Nonlinear Shape Models
We present a method for two-sample hypothesis testing for statistical shape analysis using nonlinear shape models. Our approach uses a true multivariate permutation test that is in...
Timothy B. Terriberry, Sarang C. Joshi, Guido Geri...
DATE
1999
IEEE
111views Hardware» more  DATE 1999»
14 years 2 months ago
Sequential Circuit Test Generation Using Decision Diagram Models
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
Jaan Raik, Raimund Ubar
MS
2003
13 years 11 months ago
Dynamic Model of Nickel Hydrogen Battery - The Virtual Test Bed Implementation
A dynamic model of a nickel hydrogen battery implemented in the Virtual Test Bed (VTB) is presented. The battery system is simplified as such one-electrontransfer redox reaction o...
Shengyi Liu, Roger Dougal, John W. Weidner, Lijun ...
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
14 years 2 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva