Sciweavers

4306 search results - page 26 / 862
» Timed Testing with TorX
Sort
View
73
Voted
ALGORITHMICA
2010
108views more  ALGORITHMICA 2010»
14 years 9 months ago
An Efficient Algorithm for Batch Stability Testing
Given a stable marriage problem instance represented by a bipartite graph having 2n vertices and m edges, we describe an algorithm that can verify the stability of k different mat...
John Dabney, Brian C. Dean
58
Voted
FORMATS
2004
Springer
15 years 3 months ago
Real-Time Testing with Timed Automata Testers and Coverage Criteria
Moez Krichen, Stavros Tripakis
ITC
1998
IEEE
120views Hardware» more  ITC 1998»
15 years 1 months ago
Test generation in VLSI circuits for crosstalk noise
This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital c...
Weiyu Chen, Sandeep K. Gupta, Melvin A. Breuer
FATES
2006
Springer
15 years 1 months ago
Hybrid Input-Output Conformance and Test Generation
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
Michiel van Osch
CC
2008
Springer
131views System Software» more  CC 2008»
14 years 9 months ago
Exposure-Resilient Extractors and the Derandomization of Probabilistic Sublinear Time
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...
Marius Zimand