1187 search results - page 108 / 238 » On Modeling Cross-Talk Faults |
128
Voted
ETS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we address the test scheduling problem for Builtin Self-tested (BISTed) embedded SRAMs (e-SRAMs) when Data Retention Faults (DRFs) are considered. The proposed test ...
108
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
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...
130
Voted
SNPD
2008
15 years 5 months ago
2008
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...
129
Voted
ENTCS
2000
15 years 3 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
136
Voted
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
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...