Sciweavers

3031 search results - page 118 / 607
» Model Driven Testing Based on Test History
Sort
View
IJCAI
2001
15 years 2 months ago
Balance and Filtering in Structured Satisfiable Problems
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduc...
Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas...
95
Voted
ASPDAC
2004
ACM
102views Hardware» more  ASPDAC 2004»
15 years 6 months ago
TranGen: a SAT-based ATPG for path-oriented transition faults
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
Kai Yang, Kwang-Ting Cheng, Li-C. Wang
121
Voted
CAISE
2008
Springer
15 years 2 months ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
81
Voted
ITC
2003
IEEE
129views Hardware» more  ITC 2003»
15 years 6 months ago
Relating Yield Models to Burn-In Fall-Out in Time
An early-life reliability model is presented that allows wafer test information to be used to predict not only the total number of burn-in failures that occur for a given product,...
Thomas S. Barnett, Adit D. Singh
SCANGIS
2003
15 years 2 months ago
Need for Context-Aware Topographic Maps in Mobile Devices
Recently, along with the breakthrough of the Internet and mobile environment, the development towards screen maps used as intelligent user interfaces appears to be emergent. This m...
Annu-Maaria Nivala, L. Tiina Sarjakoski