2255 search results - page 84 / 451 » High Assurance Software Systems |
CBMS
2004
IEEE
14 years 1 months ago
2004
IEEE
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
ECBS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
SCFBM
2008
13 years 9 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
ICDCS
2000
IEEE
14 years 2 months ago
2000
IEEE
Fault-tolerant techniques that can cope with system failures in software distributed shared memory (SDSM) are essential for creating productive and highly available parallel compu...