Reliable Software Technologiey – Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / edited by Jorge Real, Tullio Vardanega.

Contributor(s): Real, Jorge [editor.] | Vardanega, Tullio [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 6106Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: XII, 277p. 65 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642135507Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Programming Languages, Compilers, Interpreters | Software Engineering | Logics and Meanings of Programs | Computer Communication Networks | Programming Techniques | Mathematical Logic and Formal LanguagesAdditional physical formats: Printed edition:: No titleDDC classification: 005.13 LOC classification: QA76.7-76.73QA76.76.C65Online resources: Click here to access online
Contents:
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.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK9075

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha