Reliable Software Technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings /
Reliable Software Technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings / [electronic resource] :
edited by Jorge Real, Tullio Vardanega.
- 1st ed. 2010.
- XII, 277 p. 65 illus. online resource.
- Programming and Software Engineering, 6106 2945-9168 ; .
- Programming and Software Engineering, 6106 .
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.
9783642135507
10.1007/978-3-642-13550-7 doi
Compilers (Computer programs).
Software engineering.
Computer networks .
Computer science.
Computer programming.
Machine theory.
Compilers and Interpreters.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Formal Languages and Automata Theory.
QA76.76.C65
005.45
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.
9783642135507
10.1007/978-3-642-13550-7 doi
Compilers (Computer programs).
Software engineering.
Computer networks .
Computer science.
Computer programming.
Machine theory.
Compilers and Interpreters.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Formal Languages and Automata Theory.
QA76.76.C65
005.45