• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Reliable Software Technologies - Ada-Europe 2010

      15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings

      AvJorge Real,Tullio Vardanega

      Häftad, Engelska, 2010

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      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.

      Produktinformation

      • Utgivningsdatum:2010-06-01
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:277
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642135491

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Hårdvara inom Data och IT

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      Tullio Vardanega, Jorge Real - Reliable Software Technologies - Ada-Europe 2010, E-bok

      Reliable Software Technologies - Ada-Europe 2010

      Tullio Vardanega, Jorge Real

      E-bok
      2010

      734 kr

      Andy Wellings, Tullio Vardanega - Reliable Software Technology - Ada-Europe 2005, E-bok

      Reliable Software Technology - Ada-Europe 2005

      Andy Wellings, Tullio Vardanega

      E-bok
      2005

      732 kr

      Tullio Vardanega, Alexander Romanovsky - Reliable Software Technologies - Ada-Europe 2011, E-bok

      Reliable Software Technologies - Ada-Europe 2011

      Tullio Vardanega, Alexander Romanovsky

      E-bok
      2011

      732 kr

      Juan Antonio de la Puente, Tullio Vardanega - Reliable Software Technologies – Ada-Europe 2015, Häftad
      Del 9111

      Reliable Software Technologies – Ada-Europe 2015

      Juan Antonio de la Puente, Tullio Vardanega

      Häftad, 2015

      544 kr

      Alexander Romanovsky, Tullio Vardanega - Reliable Software Technologies – Ada-Europe 2011, Häftad

      Reliable Software Technologies – Ada-Europe 2011

      Alexander Romanovsky, Tullio Vardanega

      Häftad, 2011

      566 kr

      Fabrice Kordon, Tullio Vardanega - Reliable Software Technologies - Ada-Europe 2008, Häftad

      Reliable Software Technologies - Ada-Europe 2008

      Fabrice Kordon, Tullio Vardanega

      Häftad, 2008

      566 kr

      Tullio Vardanega, Laurent George - Reliable Software Technologies - Ada-Europe 2014, E-bok

      Reliable Software Technologies - Ada-Europe 2014

      Tullio Vardanega, Laurent George

      E-bok
      2014

      650 kr

      Tullio Vardanega, Andy Wellings - Reliable Software Technology – Ada-Europe 2005, Häftad

      Reliable Software Technology – Ada-Europe 2005

      Tullio Vardanega, Andy Wellings

      Häftad, 2005

      566 kr

      Laurent George, Tullio Vardanega - Reliable Software Technologies – Ada-Europe 2014, Häftad
      Del 8454

      Reliable Software Technologies – Ada-Europe 2014

      Laurent George, Tullio Vardanega

      Häftad, 2014

      544 kr

      Tullio Vardanega, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2008, E-bok

      Reliable Software Technologies - Ada-Europe 2008

      Tullio Vardanega, Fabrice Kordon

      E-bok
      2008

      732 kr