Sciweavers

1249 search results - page 39 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
ICCV
2009
IEEE
13 years 5 months ago
Structural SVM for visual localization and continuous state estimation
We present an integrated model for visual object localization and continuous state estimation in a discriminative structured prediction framework. While existing discriminative `p...
Catalin Ionescu, Liefeng Bo, Cristian Sminchisescu
DAC
1997
ACM
13 years 12 months ago
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
Oriol Roig, Jordi Cortadella, Marco A. Peña...
ASWEC
2005
IEEE
14 years 1 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
TCAD
1998
110views more  TCAD 1998»
13 years 7 months ago
Application of genetically engineered finite-state-machine sequences to sequential circuit ATPG
—New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing se...
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. P...
OSDI
2006
ACM
14 years 8 months ago
Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...
Chad Verbowski, Emre Kiciman, Arunvijay Kumar, Bra...