default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2004: Palma de Mallorca, Spain
- Albert Llamosí, Alfred Strohmeier:
Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings. Lecture Notes in Computer Science 3063, Springer 2004, ISBN 3-540-22011-9
Invited Papers
- Martin Gogolla:
Benefits and Problems of Formal Methods. 1-15 - Antoni Olivé:
On the Role of Conceptual Schemas in Information Systems Development. 16-34 - Steve Vinoski:
An Overview of Middleware. 35-51
Static Analysis
- Peter T. Breuer
, Marisol García-Valls:
Static Deadlock Detection in the Linux Kernel. 52-64 - Ricky E. Sward:
Extracting Ada 95 Objects from Legacy Ada Programs. 65-77 - Bernd Burgstaller, Johann Blieberger, Bernhard Scholz:
On the Tree Width of Ada Programs. 78-90
Distributed Systems
- Juan López Campos, J. Javier Gutiérrez, Michael González Harbour:
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems. 91-105 - Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. 106-119 - Stepan P. Nadrchal:
Event Language for Real-Time On-the-Fly Control According to the Initial Requirements. 120-131
Real-Time Systems
- Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente:
Implementing Execution-Time Clocks for the Ada Ravenscar Profile. 132-143 - Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo:
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux. 144-155 - Alan Burns, Andy J. Wellings, S. Tucker Taft:
Supporting Deadlines and EDF Scheduling in Ada. 156-165
Reflection and XML
- Patrick Rogers, Andy J. Wellings:
OpenAda: Compile-Time Reflection for Ada 95. 166-177 - Zdenko Vrandecic, Daniel Simon:
XML4Ada95 Accessing XML Using the DOM in Ada95. 178-189
Testing
- Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar:
A Randomised Test Approach to Testing Safety Critical Ada Code. 190-199 - Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Good Random Testing. 200-212 - Bárbara Álvarez, Juan Angel Pastor, Francisco J. Ortiz, Pedro Sánchez, Pedro Javier Navarro Lorente:
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada. 213-224
Critical Systems Modeling
- Peter Amey, Neil White:
High Integrity Ada in a UML and C World. 225-236 - Helge Hagenauer, Norbert Martinek, Werner Pohlmann:
Ada Meets Giotto. 237-248 - Adrian J. Hilton, Jon G. Hall:
High-Integrity Interfacing to Programmable Logic with Ada. 249-260
Scheduling
- Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo:
Dynamic Ceiling Priorities: A Proposal for Ada0Y. 261-272 - Agustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena:
Mixing Scheduling Policies in Ada. 273-282 - Mario Aldea Rivas, Javier Miranda, Michael González Harbour:
Implementing an Application-Defined Scheduling Framework for Ada Tasking. 283-296
Application Programming Interface
- Mário Amado Alves:
A Theory of Persistent Containers and Its Application to Ada. 297-308 - Matthew Heaney:
Shortcuts: A Critical Look. 309-320 - Franco Gasperoni:
Vector Processing in Ada. 321-331
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 2025-11-09 22:56 CET 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:
