Sciweavers

1187 search results - page 63 / 238
» On Modeling Cross-Talk Faults
Sort
View
124
Voted
CBSE
2009
Springer
15 years 10 months ago
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, F...
125
Voted
SRDS
2000
IEEE
15 years 8 months ago
Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems
Fault-tolerance is fundamental to the further development of mobile agent applications. In the context of mobile agents, fault-tolerance prevents a partial or complete loss of the...
Stefan Pleisch, André Schiper
137
Voted
DATE
2005
IEEE
115views Hardware» more  DATE 2005»
15 years 9 months ago
Functional Coverage Driven Test Generation for Validation of Pipelined Processors
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
Prabhat Mishra, Nikil D. Dutt
76
Voted
DATE
2008
IEEE
76views Hardware» more  DATE 2008»
15 years 10 months ago
On Modeling and Testing of Lithography Related Open Faults in Nano-CMOS Circuits
Aswin Sreedhar, Alodeep Sanyal, Sandip Kundu