Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2013: Berlin, Germany
- Hubert B. Keller
, Erhard Plödereder, Peter Dencker, Herbert Klenk:
Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7896, Springer 2013, ISBN 978-3-642-38600-8
Session: Multicore and Distributed Systems
- Héctor Pérez, J. Javier Gutiérrez:
Experience with the Integration of Distribution Middleware into Partitioned Systems. 1-16 - Stephen Michell, Brad Moore, Luís Miguel Pinho:
Tasklettes - A Fine Grained Parallelism for Ada on Multicores. 17-34 - J. Reinier van Kampenhout, Robert Hilbrich:
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors. 35-50
Session: Ada and Spark
- Carl Brandon, Peter Chapin:
A SPARK/Ada CubeSat Control Program. 51-64 - Thomas Quinot, Eric Botcazou:
Lady Ada Mediates Peace Treaty in Endianness War. 65-80
Session: Dependability
- Barry S. Fagin, Martin C. Carlisle:
Provably Secure DNS: A Case Study in Reliable Software. 81-93 - Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario:
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. 95-108 - Xiaozhen Xue, Akbar Siami Namin:
Measuring the Odds of Statements Being Faulty. 109-126
Session: Real-Time Systems
- Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan Antonio de la Puente:
A Model-Based Framework for Developing Real-Time Safety Ada Systems. 127-142 - Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega:
Towards a Time-Composable Operating System. 143-160 - Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas:
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software. 161-176
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
