Sciweavers

1192 search results - page 106 / 239
» Variation-Aware Fault Modeling
Sort
View
106
Voted
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
15 years 9 months ago
Testing of Droplet-Based Microelectrofluidic Systems
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
Fei Su, Sule Ozev, Krishnendu Chakrabarty
129
Voted
SNPD
2008
15 years 5 months ago
A Comparative Evaluation of Tests Generated from Different UML Diagrams
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik,...
150
Voted
ET
1998
52views more  ET 1998»
15 years 3 months ago
Scalable Test Generators for High-Speed Datapath Circuits
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...
Hussain Al-Asaad, John P. Hayes, Brian T. Murray
142
Voted
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 1 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
136
Voted
IEEESCC
2008
IEEE
15 years 10 months ago
Byzantine Fault Tolerant Coordination for Web Services Business Activities
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
Wenbing Zhao, Honglei Zhang