Reliable Software Technologies - Ada-Europe 2010
(Sprache: Englisch)
selectionprocessof17submissionsoutof42receivedfromauthorsof19di?erent countries.
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Reliable Software Technologies - Ada-Europe 2010 “
Klappentext zu „Reliable Software Technologies - Ada-Europe 2010 “
selectionprocessof17submissionsoutof42receivedfromauthorsof19di?erent countries.
Inhaltsverzeichnis zu „Reliable Software Technologies - Ada-Europe 2010 “
Keynote Talks.- What to Make of Multicore Processors for Reliable Real-Time Systems?.- Control Co-design: Algorithms and Their Implementation.- Multicores and Ada.- Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems.- Software Dependability.- Practical Limits on Software Dependability: A Case Study.- Program Verification in SPARK and ACSL: A Comparative Case Study.- Static Versioning of Global State for Race Condition Detection.- Critical Systems.- Using Hardware Support for Scheduling with Ada.- Cache-Aware Development of High-Integrity Systems.- Preservation of Timing Properties with the Ada Ravenscar Profile.- Real-Time Systems.- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach.- Scheduling Configuration of Real-Time Component-Based Applications.- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.- Language Technology.- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.- A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM.- Towards Ada 2012: An Interim Report.- Distribution and Persistency.- Managing Transactions in Flexible Distributed Real-Time Systems.- An Efficient Implementation of Persistent Objects.
Bibliographische Angaben
- XII, 275 Seiten, Maße: 15,9 x 23,8 cm, Kartoniert (TB), Englisch
- Herausgegeben: Jorge Real, Tullio Vardanega
- Verlag: Springer Berlin
- ISBN-10: 3642135498
- ISBN-13: 9783642135491
- Erscheinungsdatum: 01.06.2010
Sprache:
Englisch
Kommentar zu "Reliable Software Technologies - Ada-Europe 2010"
0 Gebrauchte Artikel zu „Reliable Software Technologies - Ada-Europe 2010“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Reliable Software Technologies - Ada-Europe 2010".
Kommentar verfassen