Dependable Computing

Download or Read eBook Dependable Computing PDF written by Carlos Alberto Maziero and published by Springer Science & Business Media. This book was released on 2005-10-11 with total page 279 pages. Available in PDF, EPUB and Kindle.
Dependable Computing
Author :
Publisher : Springer Science & Business Media
Total Pages : 279
Release :
ISBN-10 : 9783540295723
ISBN-13 : 3540295720
Rating : 4/5 (23 Downloads)

Book Synopsis Dependable Computing by : Carlos Alberto Maziero

Book excerpt: This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005. The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.


Dependable Computing Related Books

Dependable Computing
Language: en
Pages: 279
Authors: Carlos Alberto Maziero
Categories: Computers
Type: BOOK - Published: 2005-10-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2
Dependable Computing
Language: en
Pages: 852
Authors: Ravishankar K. Iyer
Categories: Computers
Type: BOOK - Published: 2024-04-18 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Dependable Computing Covering dependability from software and hardware perspectives Dependable Computing: Design and Assessment looks at both the software and h
Dependable Computing
Language: en
Pages: 252
Authors: Andrea Bondavalli
Categories: Computers
Type: BOOK - Published: 2007-09-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2
Fundamentals of Dependable Computing for Software Engineers
Language: en
Pages: 438
Authors: John Knight
Categories: Computers
Type: BOOK - Published: 2012-01-12 - Publisher: CRC Press

DOWNLOAD EBOOK

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive
Dependable Computing
Language: en
Pages: 384
Authors: Rogério le Lemos
Categories: Computers
Type: BOOK - Published: 2003-09-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 20