Foundations of Dependable Computing

A tour of dependable computing research in Latin America

Communications of the ACM ◽

10.1145/3416979 ◽

2020 ◽

Vol 63 (11) ◽

pp. 96-101

Author(s):

Elias P. Duarte ◽

Raimundo J. A. Macêdo ◽

Eliane Martins ◽

Sergio Rajsbaum

Keyword(s):

Latin America ◽

Dependable Computing

Download Full-text

Asynchrony and real-time dependable computing

Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003). ◽

10.1109/words.2003.1218061 ◽

2003 ◽

Cited By ~ 6

Author(s):

G. Le Lann

Keyword(s):

Real Time ◽

Dependable Computing

Download Full-text

Dependable Computing - EDCC 2021 Workshops

10.1007/978-3-030-86507-8 ◽

2021 ◽

Keyword(s):

Dependable Computing

Download Full-text

A Highly Dependable Computing Architecture for Safety-Critical Control Applications

Safety-Critical Real-Time Systems ◽

10.1007/978-1-4757-6463-5_2 ◽

1997 ◽

pp. 21-35 ◽

Cited By ~ 1

Author(s):

Bernd J. Krämer ◽

Norbert Völker

Keyword(s):

Control Applications ◽

Computing Architecture ◽

Safety Critical ◽

Dependable Computing

Download Full-text

Second Workshop on Theses and Dissertations in Dependable Computing

Lecture Notes in Computer Science - Dependable Computing ◽

10.1007/978-3-540-45214-0_27 ◽

2003 ◽

pp. 363-363

Author(s):

Avelino Zorzo ◽

Francisco Brasileiro ◽

Ingrid Jansch-Pôrto

Keyword(s):

Dependable Computing ◽

Theses And Dissertations

Download Full-text

Predictive Analytics: A Shortcut to Dependable Computing

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_1 ◽

2017 ◽

pp. 3-17

Author(s):

Miroslaw Malek

Keyword(s):

Predictive Analytics ◽

Dependable Computing

Download Full-text

Dependable Computing for Critical Applications 3

10.1007/978-3-7091-4009-3 ◽

1993 ◽

Keyword(s):

Dependable Computing

Download Full-text

REACT: An Integrated Tool for the Design of Dependable Computing Systems

The Springer International Series in Engineering and Computer Science - Foundations of Dependable Computing ◽

10.1007/978-0-585-27377-8_6 ◽

2007 ◽

pp. 169-192 ◽

Cited By ~ 1

Author(s):

Jeffrey A. Clark ◽

Dhiraj K. Pradhan

Keyword(s):

Computing Systems ◽

Dependable Computing

Download Full-text

12th Pacific Rim International Symposium on Dependable Computing - Table of Contents

2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) ◽

10.1109/prdc.2006.3 ◽

2006 ◽

Keyword(s):

International Symposium ◽

Pacific Rim ◽

Dependable Computing

Download Full-text

Performance improvement approach for dependable computing system with optical voting circuit

Electronics and Communications in Japan (Part II Electronics) ◽

10.1002/ecjb.20422 ◽

2007 ◽

Vol 90 (12) ◽

pp. 35-46

Author(s):

Yoshimitsu Yanagawa ◽

Takuya Takahara ◽

Takahide Mizuno ◽

Hirobumi Saito

Keyword(s):

Performance Improvement ◽

Computing System ◽

Dependable Computing

Download Full-text