International Conference on Dependable Systems and Networks, 2004
Latest Publications

TOTAL DOCUMENTS

114

(FIVE YEARS 0)

H-INDEX

25

(FIVE YEARS 0)

Published By IEEE

0769520529

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Copyright @2004 by The Institute of Electrical and Electronics Engineers, Inc.

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311858 ◽

2004 ◽

Download Full-text

Fault detection and isolation techniques for quasi delay-insensitive circuits

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311875 ◽

2004 ◽

Author(s):

C. LaFrieda ◽

R. Manohar

Keyword(s):

Fault Detection ◽

Fault Detection And Isolation ◽

Isolation Techniques

Download Full-text

A Markov reward model for reliable synchronous dataflow system design

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311952 ◽

2004 ◽

Author(s):

V. Vijay Kumar ◽

R. Verma ◽

J. Lach ◽

J. Bechta Dugan

Keyword(s):

System Design ◽

Synchronous Dataflow ◽

Markov Reward ◽

Markov Reward Model

Download Full-text

DCCS reviewers

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311864 ◽

2004 ◽

Download Full-text

Automated synthesis of multitolerance

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311891 ◽

2004 ◽

Author(s):

S.S. Kulkarni ◽

A. Ebnenasir

Keyword(s):

Automated Synthesis

Download Full-text

DCCS program committee

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311863 ◽

2004 ◽

Keyword(s):

Program Committee

Download Full-text

Cyclic redundancy code (CRC) polynomial selection for embedded networks

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311885 ◽

2004 ◽

Author(s):

P. Koopman ◽

T. Chakravarty

Keyword(s):

Embedded Networks ◽

Download Full-text

Verifying Web applications using bounded model checking

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311890 ◽

2004 ◽

Author(s):

Yao-Wen Huang ◽

Fang Yu ◽

C. Hang ◽

Chung-Hung Tsai ◽

D.T. Lee ◽

...

Keyword(s):

Model Checking ◽

Web Applications ◽

Bounded Model Checking

Download Full-text

Workshop on interdisciplinary approaches to achieving and analysing system dependability

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311960 ◽

2004 ◽

Author(s):

M. Harrison ◽

L. Strigini

Keyword(s):

Interdisciplinary Approaches

Download Full-text

Why PCs are fragile and what we can do about it: a study of Windows registry problems

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311926 ◽

2004 ◽

Author(s):

A. Ganapathi ◽

Yi-Min Wang ◽

Ni Lao ◽

Ji-Rong Wen

Keyword(s):

Windows Registry

Download Full-text