Sciweavers

1192 search results - page 146 / 239
» Variation-Aware Fault Modeling
Sort
View
VTS
2000
IEEE
113views Hardware» more  VTS 2000»
15 years 8 months ago
Hidden Markov and Independence Models with Patterns for Sequential BIST
We propose a novel BIST technique for non-scan sequential circuits which does not modify the circuit under test. It uses a learning algorithm to build a hardware test sequence gen...
Laurent Bréhélin, Olivier Gascuel, G...
PRDC
1999
IEEE
15 years 8 months ago
An Architecture-Based Software Reliability Model
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
Wen-Li Wang, Ye Wu, Mei-Hwa Chen
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 7 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
HPCN
2000
Springer
15 years 7 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
ICCS
2003
Springer
15 years 9 months ago
Interacting Data Services for Distributed Earthquake Modeling
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
Marlon E. Pierce, Choon-Han Youn, Geoffrey Fox