Reliable Software Technologies -- Ada-Europe 2013
18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
Editors: Keller, H.B., Plödereder, E., Dencker, P., Klenk, H. (Eds.)
Free Preview- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.
- Table of contents (11 chapters)
-
-
Experience with the Integration of Distribution Middleware into Partitioned Systems
Pages 1-16
-
Tasklettes – A Fine Grained Parallelism for Ada on Multicores
Pages 17-34
-
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors
Pages 35-50
-
A SPARK/Ada CubeSat Control Program
Pages 51-64
-
Lady Ada Mediates Peace Treaty in Endianness War
Pages 65-80
-
Table of contents (11 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Reliable Software Technologies -- Ada-Europe 2013
- Book Subtitle
- 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
- Editors
-
- Hubert B. Keller
- Erhard Plödereder
- Peter Dencker
- Herbert Klenk
- Series Title
- Programming and Software Engineering
- Series Volume
- 7896
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-38601-5
- DOI
- 10.1007/978-3-642-38601-5
- Softcover ISBN
- 978-3-642-38600-8
- Edition Number
- 1
- Number of Pages
- XII, 177
- Number of Illustrations
- 50 b/w illustrations
- Topics