Sciweavers

1192 search results - page 197 / 239
» Variation-Aware Fault Modeling
Sort
View
HYBRID
2007
Springer
15 years 10 months ago
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
Lars Blackmore, Askar Bektassov, Masahiro Ono, Bri...
ISSTA
2006
ACM
15 years 10 months ago
Producing scheduling that causes concurrent programs to fail
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel...
ICPADS
2005
IEEE
15 years 9 months ago
Comparison of Software Reliability Assessment Methods for Open Source Software
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
Yoshinobu Tamura, Shigeru Yamada
IJCNN
2000
IEEE
15 years 8 months ago
Storage and Recall of Complex Temporal Sequences through a Contextually Guided Self-Organizing Neural Network
A self-organizing neural network for learning and recall of complex temporal sequences is proposed. we consider a single sequence with repeated items, or several sequences with a c...
Guilherme De A. Barreto, Aluizio F. R. Araú...
PODC
1997
ACM
15 years 8 months ago
The Load and Availability of Byzantine Quorum Systems
Replicated services accessed via quorums enable each access to be performed at only a subset (quorum) of the servers and achieve consistency across accesses by requiring any two qu...
Dahlia Malkhi, Michael K. Reiter, Avishai Wool