Muutke küpsiste eelistusi

E-raamat: Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Edited by , Edited by , Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 7896
  • Ilmumisaeg: 27-May-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642386015
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 49,39 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, ProceedingsSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 7896
  • Ilmumisaeg: 27-May-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642386015
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836423860152e.html
Märksõnad: