Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Book information
Description
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.
Similar books
Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
2013 · PDF
Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming
2015 · PDF
Geo-Informatics in Resource Management and Sustainable Ecosystem: Second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014. Proceedings
2015 · PDF
Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming
2013 · PDF
Predictably Dependable Computing Systems
1995 · PDF
Analysis, Architectures and Modelling of Embedded Systems: Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings
2009 · PDF
Dependable Computing: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings
2007 · PDF
Geo-Informatics in Resource Management and Sustainable Ecosystem: International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
2013 · PDF