Sciweavers

2069 search results - page 109 / 414
» Synthesizing
Sort
View
CSMR
2007
IEEE
16 years 18 days ago
Consistently Incorporating Changes to Evolve Transition-based Systems
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
Mahadevan Subramaniam, Harvey P. Siy
DATE
2007
IEEE
83views Hardware» more  DATE 2007»
16 years 18 days ago
High-level test synthesis for delay fault testability
A high-level test synthesis (HLTS) method targeted for delay fault testability is presented. The proposed method, when combined with hierarchical test pattern generation for embed...
Sying-Jyan Wang, Tung-Hua Yeh
ICIP
2007
IEEE
16 years 17 days ago
Dynamic Audio-Visual Mapping using Fused Hidden Markov Model Inversion Method
Realistic audio-visual mapping remains a very challenging problem. Having short time delay between inputs and outputs is also of great importance. In this paper, we present a new ...
Le Xin, Jianhua Tao, Tieniu Tan
ACSD
2006
IEEE
81views Hardware» more  ACSD 2006»
16 years 9 days ago
Monitoring and fault-diagnosis with digital clocks
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
Karine Altisen, Franck Cassez, Stavros Tripakis
DFT
2006
IEEE
125views VLSI» more  DFT 2006»
16 years 9 days ago
Synthesis of Efficient Linear Test Pattern Generators
This paper presents a procedure for Synthesis of LINear test pattern Generators called SLING. SLING can synthesize linear test pattern generators that satisfy constraints on area,...
Avijit Dutta, Nur A. Touba