Muutke küpsiste eelistusi

E-raamat: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

Edited by , Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * 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 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, ProceedingsSuurem pilt
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 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.





The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.
Why the Expressive Power of Programming Languages such as Ada Is Needed
for Future Cyber Physical Systems.- Modeling and Analysis of Data Flow Graphs
Using the Digraph Real-Time Task Model.- Eliminating Data Race Warnings Using
CSP.- Real-Time Stream Processing in Java.- Addressing the Regression Test
Problem with Change Impact Analysis for Ada.- Test Case Prioritization Using
Online Fault Detection Information.- An Experience in Ada Multicore
Programming: Parallelisation of a Model Checking Engine.- Lessons Learned in
a Journey Toward Correct-by-Construction Model-Based Development.- Extension
of the Ocarina Tool Suite to Support Reliable Replication-Based
Fault-Tolerance.- Kronecker Algebra for Static Analysis of Barriers in Ada.-
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global
Limited Preemptive Scheduling.- The Polling Effect on the Schedulability of
Distributed Real-Time Systems.- Combining Time-Triggered Plans with Priority
Scheduled Task Sets. 
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833193908332e.html
Märksõnad: