Stop the war!
Остановите войну!
for scientists:
default search action
Ada-Europe 2008: Venice, Italy
- Fabrice Kordon, Tullio Vardanega:
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings. Lecture Notes in Computer Science 5026, Springer 2008, ISBN 978-3-540-68621-7 - Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente:
A New Approach to Memory Partitioning in On-Board Spacecraft Software. 1-14 - Marco Di Natale:
Design and Development of Component-Based Embedded Systems for Automotive Applications. 15-29 - Iulian Ober, Nicolas Halbwachs:
On the Timed Automata-Based Verification of Ravenscar Systems. 30-43 - Irfan Hamid, Elie Najm:
Operational Semantics of Ada Ravenscar. 44-58 - Claude Évéquoz:
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives. 59-72 - Christine Choppy, Laure Petrucci, Gianna Reggio:
A Modelling Approach with Coloured Petri Nets. 73-86 - Laura Carnevali, Leonardo Grassi, Enrico Vicario:
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. 87-100 - Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
Concurrent Program Metrics Drawn by Quasar. 101-114 - Benjamin M. Brosgol:
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM. 115-129 - Raul Fechete, Georg Kienesberger, Johann Blieberger:
A Framework for CFG-Based Static Program Analysis of Ada Programs. 130-143 - Florian Villoing, Emmanuel Briot:
A Type-Safe Database Interface. 144-157 - Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez:
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code. 158-170 - Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin:
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. 171-184 - Sri Hari Krishna Narayanan, Mahmut T. Kandemir:
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions. 185-198 - Robert G. Pettit IV:
Increasing Confidence in Concurrent Software through Architectural Analysis. 199-210 - Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness. 211-225 - Aoun Raza, Gunther Vogel:
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. 226-239 - Frank Singhoff, Alain Plantec, Pierre Dissaux:
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project. 240-253 - Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina:
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications. 254-267 - Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour:
Real-Time Distribution Middleware from the Ada Perspective. 268-281
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.