Dependable Computing - EDCC-2 Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings

Dependable Computing - EDCC-2 Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings / edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini.

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hlawiczka, Andrzej (Editor), Silva, Joao G.S (Editor), Simoncini, Luca (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.
Edition:	1st ed. 1996.
Series:	Lecture Notes in Computer Science, 1150 Springer eBook Collection.
Subjects:	Computer engineering. Computers. Special purpose computers. Computer system failures. Computer hardware. Software engineering. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings
Published: (2002)

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
Published: (2005)

Dependable Computing - EDDC-3 Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
Published: (1999)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Published: (2006)

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
Published: (2005)

Architecting Dependable Systems VI
Published: (2009)

Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
Published: (2003)

Advances in Computer Graphics Hardware V Rendering, Ray Tracing and Visualization Systems
Published: (1992)

Real Time Computing
Published: (1994)

Predictably Dependable Computing Systems
Published: (1995)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
Published: (2001)

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
by: Pflanz, Matthias
Published: (2002)

Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Published: (2007)

Computer Aided Verification 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Published: (1996)

Fault-Tolerant Computing Systems Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25–27, 1991 Proceedings
Published: (1991)

Dependable Computing for Critical Applications 2
Published: (1992)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
Published: (2010)

Design of Dependable Computing Systems
by: Geffroy, J.C, et al.
Published: (2002)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Published: (2004)

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers
Published: (2016)

System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings
Published: (2017)

Dependable computing -- EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
Published: (2020)

Dependable Computing for Critical Applications 4
Published: (1995)

Dependable Computing for Critical Applications
Published: (1991)

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings
Published: (2013)

Encyclopedia of Parallel Computing
Published: (2011)

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Published: (2012)

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Published: (2019)

Embedded software timing : methodology, analysis and practical tips with a focus on automotive
by: Gliwa, Peter
Published: (2021)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Published: (2019)

Dependable Computing for Critical Applications 3
Published: (1993)

High-Performance Computing and Networking International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Networking and Tools
Published: (1994)

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Published: (2019)

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings
Published: (2014)

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07
Published: (2008)

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selcted Papers
Published: (2007)

High-Performance Computing and Networking International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications
Published: (1994)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Published: (2011)

Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings
Published: (2015)

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Published: (2018)