DSN 2002:
Washington, DC, USADependable Computing and Communications
Session 1A:
Distributed Systems 1
export record as
dblp key:
export record as
dblp key:
conf/dsn/KrishnamurthySC02 export record as
dblp key:
Session 1B:
Practical Experience Reports 1
export record as
dblp key:
export record as
dblp key:
M. Edwin Johnson :
Model Checking Safety Properties of Servo-Loop Control Systems.
45-50
export record as
dblp key:
Session 2A:
Dependable Networking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3A:
Modeling & Evaluation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3B:
Software Techniques
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 4A:
Distributed Systems II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 4B:
Practical Experience Reports II
export record as
dblp key:
Gary Schwartz :
Reliability and Survivability in the Reduced Ship?s Crew by Virtual Presence System.
199-204
export record as
dblp key:
conf/dsn/Constantinescu02 export record as
dblp key:
Session 5A:
Security & Intrusion Tolerance
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 6A:
Panel:
Dependability and the Grid
export record as
dblp key:
conf/dsn/SchlichtingCKMPS02
Session 6B:
Software and System Demonstrations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 7A:
Group Communication
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 7B:
Practical Experience Reports III
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 8A:
Consensus & Failure Detectors
export record as
dblp key:
conf/dsn/Delporte-GalletFG02 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 9A:
Hardware Architecture and Design
export record as
dblp key:
conf/dsn/ShivakumarKKBA02 export record as
dblp key:
Markus Jochim :
Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems.
399-408
export record as
dblp key:
Jiri Gaisler :
A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 Architecture.
409-415
export record as
dblp key:
Seongwoo Kim ,
Arun K. Somani :
Soft Error Sensitivity Characterization for Microprocessor Dependability Enhancement Strategy.
416-428
Session 9B:
Detection and Correction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Philip Koopman :
32-Bit Cyclic Redundancy Codes for Internet Applications.
459-472
International Performance and Dependability Symposium
Session 1C:
IPDS Practical Experience Reports
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 2C:
Security and Fault Tolerance
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dsn/Betous-AlmeidaK02 export record as
dblp key:
Session 3C:
Modeling, Simulation, and Evaluation Tools
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dsn/FranceschinisGIVB02 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kishor S. Trivedi :
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator.
544
export record as
dblp key:
export record as
dblp key:
Kishor S. Trivedi :
SREPT: A Tool for Software Reliability Estimation and Prediction.
546
export record as
dblp key:
Session 4C:
Performance and Dependability Modeling
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel on Dependability Benchmarking:
Methods, Techniques and Approaches
export record as
dblp key:
conf/dsn/IyerIKKMHKLMVW02
Session 5C:
Fault Tolerant Design and Evaluation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 6C:
Modeling Techniques
export record as
dblp key:
export record as
dblp key:
Andrew S. Miner :
Efficient State Space Generation of GSPNs using Decision Diagrams.
637-646
export record as
dblp key:
Peter Buchholz :
An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets.
647-656
export record as
dblp key:
Peter Kemper :
Parallel Randomization for Large Structured Markov Chains.
657-668
Session 7C:
Invited Industry Session:
Measurements and Evaluation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 8C:
Internet Performance and Dependability
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gerardo Rubino :
Evaluation of the Maximum Level Reached by a Queue Over a Finite Period.
735-744
Session 9C:
Modeling, Measurement and Analysis of Distributed Systems
export record as
dblp key:
Olivia Das ,
C. Murray Woodside :
Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems.
745-754
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Workshops
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:
export record as
dblp key:
data released under the ODC-BY 1.0 license
