Lady Ada Mediates Peace Treaty in Endianness War (English)
- New search for: Quinot, T.
- New search for: Botcazou, E.
- New search for: Quinot, T.
- New search for: Botcazou, E.
- New search for: Keller, H. B.
- New search for: Plodereder, Erhard
- New search for: Dencker, Peter
In:
Reliable software technologies; Ada-Europe 2013
7896
;
65-80
;
2013
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Lady Ada Mediates Peace Treaty in Endianness War
-
Contributors:Quinot, T. ( author ) / Botcazou, E. ( author ) / Keller, H. B. / Plodereder, Erhard / Dencker, Peter
-
Conference:International Conference; 18th, Reliable software technologies; Ada-Europe 2013 ; 2013 ; Berlin
-
Published in:Reliable software technologies; Ada-Europe 2013 , 7896 ; 65-80LECTURE NOTES IN COMPUTER SCIENCE , 7896 ; 65-80
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2013-01-01
-
Size:16 pages
-
Remarks:Includes bibliographical references and index. Also issued online
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Experience with the Integration of Distribution Middleware into Partitioned SystemsPerez, H. / Gutierrez, J.J. et al. | 2013
- 17
-
Tasklettes - A Fine Grained Parallelism for Ada on MulticoresMichell, S. / Moore, B. / Pinho, L.M. et al. | 2013
- 35
-
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processorsvan Kampenhout, J.R. / Hilbrich, R. et al. | 2013
- 51
-
A SPARK/Ada CubeSat Control ProgramBrandon, C. / Chapin, P. et al. | 2013
- 65
-
Lady Ada Mediates Peace Treaty in Endianness WarQuinot, T. / Botcazou, E. et al. | 2013
- 81
-
Provably Secure DNS: A Case Study in Reliable SoftwareFagin, B. / Carlisle, M. et al. | 2013
- 95
-
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical SystemsBicchierai, I. / Bucci, G. / Nocentini, C. / Vicario, E. et al. | 2013
- 109
-
Measuring the Odds of Statements Being FaultyXue, X. / Namin, A.S. et al. | 2013
- 127
-
A Model-Based Framework for Developing Real-Time Safety Ada SystemsSalazar, E. / Alonso, A. / de Miguel, M.A. / de la Puente, J.A. et al. | 2013
- 143
-
Towards a Time-Composable Operating SystemBaldovin, A. / Mezzetti, E. / Vardanega, T. et al. | 2013
- 161
-
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne SoftwareAsensio, E. / Lafoz, I. / Coombes, A. / Navas, J. et al. | 2013