Atjaunināt sīkdatņu piekrišanu

E-grāmata: Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings

Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 6106
  • Izdošanas datums: 16-Jun-2010
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642135507
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 6106
  • Izdošanas datums: 16-Jun-2010
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642135507

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

th The 15 edition of the International Conference on Reliable Software Te- nologies - Ada-Europe 2010-took place in the attractive venue of Valencia, deservedly making Spain the most visited country in the conference series. P- vious editions of the conference were held in Switzerland (Montreux 1996 and Geneva2007),United Kingdom(London1997andYork2005),Sweden(Uppsala 1998),Spain(Santander 1999andPalmade Mallorca2004),Germany(Potsdam 2000), Belgium (Leuven 2001), Austria (Vienna 2002), France (Toulouse 2003 and Brest 2009), Portugal (Porto 2006), and Italy (Venice 2008). Theconferencerepresentsthe mainyearlyeventpromotedbyAda-Europe,in cooperation with ACM SIGAda. This third visit to Spain acknowledges the fact that Ada-Spainisthe largestnationalassociationof Ada-Europe,andis a major contributor to Ada-Europe's activities. This year the conference was organized by members of the Instituto de Automat ' ica e Informa 'tica Industrial (AI2) and the Departamento de Inform' atica de Sistemas y Computadores (DISCA) of the Universidad Polit' ecnica de Valencia. Theyear2010isimportantforAda:thisistheyearwhenthenewamendment to the language (known as Ada 2012) is taking its de nitive shape. The conf- ence program was not unaware of this fact, and these proceedings re ect it by including papers about multicore programming in Ada, along with an overview of the key elements of the Ada 2012 amendment in the making. The scienti c program of the conference, which feeds these proceedings, also included sessions devoted to software dependability, critical, real-time and d- tributed systems, and language technology, all under the more general heading of "Reliable Software Technologies." This program is the result of a thorough selectionprocessof17submissionsoutof42receivedfromauthorsof19di erent countries.
Keynote Talks
What to Make of Multicore Processors for Reliable Real-Time Systems?
1(18)
Theodore P. Baker
Control Co-design: Algorithms and Their Implementation
19(22)
Pedro Albertos
Alfons Crespo
Jose Simo
Adel Fernandez
Multicores and Ada
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada
41(13)
Alan Burns
Andy Wellings
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
54(14)
Bjorn Andersson
Luis-Miguel Pinho
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems
68(15)
Sergio Saez
Alfons Crespo
Software Dependability
Practical Limits on Software Dependability: A Case Study
83(14)
Patrick J. Graydon
John C. Knight
Xiang Yin
Program Verification in SPARK and ACSL: A Comparative Case Study
97(14)
Eduardo Brito
Jorge Sousa Pinto
Static Versioning of Global State for Race Condition Detection
111(14)
Steffen Keul
Critical Systems
Using Hardware Support for Scheduling with Ada
125(14)
Rod White
Cache-Aware Development of High-Integrity Systems
139(14)
Enrico Mezzetti
Adam Betts
Jose Ruiz
Tullio Vardanega
Preservation of Timing Properties with the Ada Ravenscar Profile
153(14)
Enrico Mezzetti
Marco Panunzio
Tullio Vardanega
Real-Time Systems
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
167(14)
Juan Angel Pastor
Diego Alonso
Pedro Sanchez
Barbara Alvarez
Scheduling Configuration of Real-Time Component-Based Applications
181(15)
Patricia Lopez Martinez
Laura Barros
Jose M. Drake
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
196(12)
Andy Wellings
Alan Burns
Language Technology
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
208(14)
Gingun Hong
Kirak Hong
Bernd Burgstaller
Johann Blieberger
A Comparison of Generic Template Support: Ada, C++, C#, and Java™
222(16)
Benjamin M. Brosgol
Towards Ada 2012: An Interim Report
238(13)
Edmond Schonberg
Distribution and Persistency
Managing Transactions in Flexible Distributed Real-Time Systems
251(14)
Daniel Sangorrin
Michael Gonzalez Harbour
Hector Perez
J. Javier Gutierrez
An Efficient Implementation of Persistent Objects
265(12)
Jacob Sparre Andersen
Author Index 277