Muutke küpsiste eelistusi

Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings 2013 ed. [Pehme köide]

Edited by , Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 177 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 50 Illustrations, black and white; XII, 177 p. 50 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7896
  • Ilmumisaeg: 16-May-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642386008
  • ISBN-13: 9783642386008
Teised raamatud teemal:
  • Pehme köide
  • Hind: 45,00 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 52,94 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings 2013 ed.Suurem pilt
  • Formaat: Paperback / softback, 177 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 50 Illustrations, black and white; XII, 177 p. 50 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 7896
  • Ilmumisaeg: 16-May-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642386008
  • ISBN-13: 9783642386008
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783642386008.html
Märksõnad:
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.
Session: Multicore and Distributed Systems
Experience with the Integration of Distribution Middleware into Partitioned Systems
1(16)
Hector Perez
J. Javier Gutierrez
Tasklettes -- A Fine Grained Parallelism for Ada on Multicores
17(18)
Stephen Michell
Brad Moore
Luis Miguel Pinho
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors
35(16)
J. Reinier van Kampenhout
Robert Hilbrich
Session: Ada and Spark
A SPARK/Ada CubeSat Control Program
51(14)
Carl Brandon
Peter Chapin
Lady Ada Mediates Peace Treaty in Endianness War
65(16)
Thomas Quinot
Eric Botcazou
Session: Dependability
Provably Secure DNS: A Case Study in Reliable Software
81(14)
Barry Fagin
Martin Carlisle
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems
95(14)
Irene Bicchierai
Giacomo Bucci
Carlo Nocentini
Enrico Vicario
Measuring the Odds of Statements Being Faulty
109(18)
Xiaozhen Xue
Akbar Siami Namin
Session: Real-Time Systems
A Model-Based Framework for Developing Real-Time Safety Ada Systems
127(16)
Emilio Salazar
Alejandro Alonso
Miguel A. de Miguel
Juan A. de la Puente
Towards a Time-Composable Operating System
143(18)
Andrea Baldovin
Enrico Mezzetti
Tullio Vardanega
Worst-Case Execution Time Analysis Approach for Safety--Critical Airborne Software
161(16)
Esteban Asensio
Ismael Lafoz
Andrew Coombes
Julian Navas
Author Index 177