Reliable Software Technologies - Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliab
54.95 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10474247
Beschreibung
Safety and Security.- Using Safety Contracts to Verify Design Assumptions During Runtime.- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.- Ada 202X.- Safe Dynamic Memory Management in Ada and SPARK.- Safe Non-Blocking Synchronization in Ada2x.- Handling Implicit Overhead.- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling.- Real-Time Scheduling.- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems.- New Application Domains.- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies.
Eigenschaften
Breite: | 157 |
Gewicht: | 301 g |
Höhe: | 236 |
Länge: | 11 |
Seiten: | 175 |
Sprachen: | Englisch |
Autor: | António Casimiro, Pedro M. Ferreira |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen