Reliable Software Technologiey – Ada-Europe 2010 | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

Reliable Software Technologiey – Ada-Europe 2010 / Jorge Real, Takeo Kanade, Tullio Vardanega, Josef Kittler

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642135491 [3642135498]
9786613564986 [6613564982]

書誌ID:

OB00503451

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

LECTURE NOTES IN COMPUTER SCIENCE / PROGRAMMING AND SOFTWARE ENGINEERING

言語:

英語

目次情報:

Keynote Talks

What to Make of Multicore Processors for Reliable Real-Time Systems? / Theodore P. Baker

Control Co-design: Algorithms and Their Implementation / Pedro Albertos ; Alfons Crespo ; JosÃ© SimÃ³ ; Adel FernÃ¡ndez

Multicores and Ada

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada / Alan Burns ; Andy Wellings

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 / BjÃ¶rn Andersson ; LuÃs-Miguel Pinho

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems / Sergio SÃ¡ez

Software Dependability

Practical Limits on Software Dependability: A Case Study / Patrick J. Graydon ; John C. Knight ; Xiang Yin

Program Verification in SPARK and ACSL: A Comparative Case Study / Eduardo Brito ; Jorge Sousa Pinto

Static Versioning of Global State for Race Condition Detection / Steffen Keul

Critical Systems

Using Hardware Support for Scheduling with Ada / Rod white

Cache-Aware Development of High-Integrity Systems / Enrico Mezzetti ; Adam Betts ; JosÃ© Ruiz ; Tullio Vardanega

Preservation of Timing Properties with the Ada Ravenscar Profile / Marco Panunzio

Real-Time Systems

Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach / Juan Ãngel Pastor ; Diego Alonso ; Pedro SÃ¡nchez ; BÃ¡rbara Ãlvarez

Scheduling Configuration of Real-Time Component-Based Applications / Patricia LÃ³pez MartÃnez ; Laura Barros ; JosÃ© M. Drake

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 / Gingun Hong ; Kirak Hong ; Bernd Burgstaller ; Johann Blieberger

A Comparison of Generic Template Support: Ada, C++, C#, and JavaÃ– / Benjamin M. Brosgol

Towards Ada 2012: An Interim Report / Edmond Schonberg

Distribution and Persistency

Managing Transactions in Flexible Distributed Real-Time Systems / Daniel SangorrÃn ; Michael GonzÃ¡lez Harbour ; HÃ©ctor PÃ©rez ; J. Javier GutiÃ©rrez

An Efficient Implementation of Persistent Objects / Jacob Sparre Andersen

Author Index

Keynote Talks

What to Make of Multicore Processors for Reliable Real-Time Systems? / Theodore P. Baker

Multicores and Ada

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada / Alan Burns ; Andy Wellings

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 / BjÃ¶rn Andersson ; LuÃs-Miguel Pinho

続きを見る

ブックレビュー

類似資料:

1 電子ブック Reliable Software Technologiey ? Ada-Europe 2010 Real, Jorge, Kanade, Takeo, Vardanega, Tullio Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies Ada-Europe International Conference on Reliable Software Technologies, Kanade, Takeo, Vardanega, Tullio, Wellings, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Reliable Software Technologies - Ada-Europe 2011 Romanovsky, Alexander, Kanade, Takeo, Vardanega, Tullio, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Reliable Software Technologies ? Ada-Europe 2014 Laurent George, Tullio Vardanega Springer eBooks Computer Science, Springer International Publishing
3 電子ブック Reliable Software Technologies – Ada-Europe 2008 Kordon, Fabrice, Kanade, Takeo, Vardanega, Tullio, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Reliable Software Technologies - Ada-Europe 2015 de la Puente, Vardanega, Tullio SpringerLink Books - AutoHoldings, Springer International Publishing
4 電子ブック Reliable Software Technologies – Ada-Europe 2014 Laurent George, Tullio Vardanega, Kittler, Josef, Vardanega, Tullio SpringerLink Books - AutoHoldings, Springer International Publishing	10 電子ブック Reliable Software Technology ? Ada-Europe 2005 Ada-Europe International Conference on Reliable Software Technologies, Kanade, Takeo, Vardanega, Tullio, Wellings, … Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Reliable Software Technologies ? Ada-Europe 2008 Kordon, Fabrice, Kanade, Takeo, Vardanega, Tullio Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Reliable Software Technologies ? Ada-Europe 2013 Hutchison, David; Kanade, Takeo; Kittler, Josef; Klenk, Herbert Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Reliable Software Technologies - Ada-Europe 2011 Romanovsky, Alexander, Kanade, Takeo, Vardanega, Tullio Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Reliable Software Technologies – Ada-Europe 2009 Kordon, Fabrice, Kanade, Takeo, Kermarrec, Yvon, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12