Sciweavers

6941 search results - page 417 / 1389
» Testing as a Certification Approach
Sort
View
DATE
2007
IEEE
116views Hardware» more  DATE 2007»
16 years 1 months ago
Testable design for advanced serial-link transceivers
This paper describes a DfT solution for modern seriallink transceivers. We first summarize the architectures of the Crosstalk Canceller and the Equalizer used in advanced transcei...
Mitchell Lin, Kwang-Ting (Tim) Cheng
DSD
2005
IEEE
105views Hardware» more  DSD 2005»
16 years 13 days ago
Improved Fault Emulation for Synchronous Sequential Circuits
Current paper presents new alternatives for accelerating the task of fault simulation for sequential circuits by hardware emulation on FPGA. Fault simulation is an important subta...
Jaan Raik, Peeter Ellervee, Valentin Tihhomirov, R...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
16 years 3 days ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
IDA
2003
Springer
16 years 16 hour ago
Large Scale Mining of Molecular Fragments with Wildcards
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
Heiko Hofer, Christian Borgelt, Michael R. Berthol...
KBSE
2002
IEEE
15 years 11 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic