Sciweavers

4305 search results - page 85 / 861
» The Test of Time
Sort
View
CVPR
2005
IEEE
16 years 8 months ago
WaldBoost - Learning for Time Constrained Sequential Detection
: In many computer vision classification problems, both the error and time characterizes the quality of a decision. We show that such problems can be formalized in the framework of...
Jan Sochman, Jiri Matas
ISSAC
1990
Springer
65views Mathematics» more  ISSAC 1990»
15 years 10 months ago
Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...
Dima Grigoriev
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 12 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 6 months ago
Heuristic approach to optimize the number of test cases for simple circuits
In this paper a new solution is proposed for testing simple stwo stage electronic circuits. It minimizes the number of tests to be performed to determine the genuinity of the circ...
S. M. Thamarai, K. Kuppusamy, T. Meyyappan
ATS
2005
IEEE
84views Hardware» more  ATS 2005»
15 years 11 months ago
Current Testing for Nanotechnologies: A Demystifying Application Perspective.
: This paper addresses the challenges imposed on current testing with the advent of Nanotechnologies. It shows why existing measurement solutions embedded in ATE systems are not ad...
Hans A. R. Manhaeve