DSN 2000:
New York, NY, USAEmbedded Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Hiller :
Executable Assertions for Detecting Data Errors in Embedded Control Systems.
24-33
Practical Experience Reports I Networks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Language Support
export record as
dblp key:
export record as
dblp key:
Practical Experience Reports II ? COTS Evaluation
export record as
dblp key:
Yutao He ,
Algirdas Avizienis :
Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study.
81-86
export record as
dblp key:
Measurement and Assessment
export record as
dblp key:
export record as
dblp key:
Practical Experience Reports III ? Validation and Evaluation
export record as
dblp key:
export record as
dblp key:
Mobile Agents
export record as
dblp key:
export record as
dblp key:
Practical Experience Reports IV ? System Architecture
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Analysis and Evaluation
export record as
dblp key:
John F. Meyer :
Performability of Algorithms for Connection Admission Control.
181-190
export record as
dblp key:
Theory
export record as
dblp key:
export record as
dblp key:
Software Demonstrations
export record as
dblp key:
export record as
dblp key:
conf/dsn/BondavalliMCFPS00 export record as
dblp key:
export record as
dblp key:
Testing of COTS Systems
export record as
dblp key:
export record as
dblp key:
Byzantine Faults
export record as
dblp key:
export record as
dblp key:
Analysis and Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Group Communication
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
System Demonstrations
export record as
dblp key:
export record as
dblp key:
Testing and Applications of Coding
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software Fault Injection
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Replication
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
High Performance Architecture
export record as
dblp key:
Avi Mendelson ,
Neeraj Suri :
Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach.
473-481
export record as
dblp key:
export record as
dblp key:
Algirdas Avizienis :
A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components.
492-500
export record as
dblp key:
Distributed System Models
export record as
dblp key:
export record as
dblp key:
conf/dsn/Charron-BostGS00 export record as
dblp key:
export record as
dblp key:
Workshop on Dependability of IP Applications Platforms and Networks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Workshop on Dependability Despite Malicious Faults
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
