Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Braz

基本信息·出版社：Springer
·页码：267 页
·出版日期：2005年11月
·ISBN：3540295720
·条形码：9783540295723
·版本：1
·装帧：平装
·丛书名：Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
·外文书名：可靠计算/会议录

内容简介 在线阅读本书

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.