Sciweavers

106 search results - page 8 / 22
» Distinguishability and identifiability testing of contact st...
Sort
View
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
13 years 12 months ago
Further results on plant parameter identification using continuous-time multiple-model adaptive estimators
This paper describes a deterministic approach to adaptive state and parameter estimation using a multiple model structure. In the set-up adopted, the plant of interest is described...
Vahid Hassani, A. Pedro Aguiar, António Man...
ECCC
2008
122views more  ECCC 2008»
13 years 8 months ago
Every Minor-Closed Property of Sparse Graphs is Testable
Testing a property P of graphs in the bounded degree model is the following computational problem: given a graph G of bounded degree d we should distinguish (with probability 0.9,...
Itai Benjamini, Oded Schramm, Asaf Shapira
ATS
2009
IEEE
113views Hardware» more  ATS 2009»
14 years 2 months ago
Deterministic Algorithms for ATPG under Leakage Constraints
—Measuring the steady state leakage current (IDDQ) is very successful in detecting faults not discovered by standard fault models. But vector dependencies of IDDQ decrease the re...
Gorschwin Fey
VTS
2000
IEEE
114views Hardware» more  VTS 2000»
14 years 7 days ago
Detection of CMOS Defects under Variable Processing Conditions
Transient Signal Analysis is a digital device testing method that is based on the analysis of voltage transients at multiple test points. In this paper, the power supply transient...
Amy Germida, James F. Plusquellic
SIGSOFT
2009
ACM
14 years 8 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
David Lo, Leonardo Mariani, Mauro Pezzè