Sciweavers

5159 search results - page 179 / 1032
» Structural Testing of Executables
Sort
View
CIKM
2006
Springer
15 years 10 months ago
Structure-based querying of proteins using wavelets
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
Keith Marsolo, Srinivasan Parthasarathy, Kotagiri ...
ICCAD
1997
IEEE
147views Hardware» more  ICCAD 1997»
15 years 11 months ago
Built-in test generation for synchronous sequential circuits
We consider the problem of built-in test generation for synchronous sequential circuits. The proposed scheme leaves the circuit flip-flops unmodified, and thus allows at-speed ...
Irith Pomeranz, Sudhakar M. Reddy
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 7 months ago
Online Sensor Testing through Superposition of Encoded Stimulus
Online monitoring remains an important requirement for a range of microsystems. The solution based on the injection of an actuating test stimulus into the bias structure of active...
Norbert Dumas, Zhou Xu, Kostas Georgopoulos, R. Jo...
CPHYSICS
2006
135views more  CPHYSICS 2006»
15 years 7 months ago
USPEX - Evolutionary crystal structure prediction
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
Colin W. Glass, Artem R. Oganov, Nikolaus Hansen