Conferences in DBLP
Franco Gasperoni Embedded Opportunities. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Chapront Ada+B The Formula for Safety Critical Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Millet , Ted Baker Porting the GNAT Tasking Runtime System to the Java Virtual Machine. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Emery , Robert F. Mathias , Karl A. Nyberg Automating the Ada Binding Process for Java- How Far Can We Go? [Citation Graph (0, 0)][DBLP ] Conf ] Mordechai Ben-Ari Synchronizing Multiple Clients and Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Guido Schumacher , Wolfgang Nebel How to Avoid the Inheritance Anomaly in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Pautet , Samuel Tardieu Inside the Distributed Systems Annex. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Patiño-Martínez , Ricardo Jiménez-Peris , Sergio Arévalo Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Michael González Harbour , Mario Aldea Rivas , J. J. Gutiérrez García , J. C. Palencia Gutiérrez Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Agustín Espinosa , Vicente Julián , Carlos Carrascosa , Andrés Terrasa , Ana García-Fornes Programming Hard Real-Time Systems with Optional Components in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Arthur Moody Object Oriented Abstractions for Real-Time Distributes Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin J. Stift (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative. [Citation Graph (0, 0)][DBLP ] Conf ] Helge Hagenauer , Werner Pohlmann Ada 95 for a Distributed Simulation System. [Citation Graph (0, 0)][DBLP ] Conf ] Michael González Harbour , R. Gómez Somarriba , Alfred Strohmeier , J. Jacot PINROB: A Portable API for Industrial Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Strohmeier , Vasiliy Fofanov , Sergey Rybin , Stéphane Barbey Quality-for-ASIS: A Portable Testing Facility for ASIS. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Tonndorf Ten Years of Tool Based Ada Compiler Validations. An Experience Report. [Citation Graph (0, 0)][DBLP ] Conf ] Saeed Araban , A. S. M. Sajeev A Two-Level Matching Mechanism for Object-Oriented Class Libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce Lewis , Steve Vestal , David J. McConnell Modern Avionics Requirements for the Distributed Systems Annex. [Citation Graph (0, 0)][DBLP ] Conf ] José L. Fernández , Bárbara Álvarez , Francisco Garcia , Ángel Pérez , Juan Antonio de la Puente A Case Study in Quantitative Evaluation of Real-Time Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús M. González-Barahona , Pedro de las Heras Quirós , José Centeno-González , Francisco J. Ballesteros Building Modular Communication Systems in Ada: The Simple_Com Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Blieberger , Bernd Burgstaller Symbolic Reaching Definitions Analysis of Ada Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Wong Looking at Code With Your Safety Goggles On. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Burns , Brian Dobbing , G. Romanski The Ravenscar Tasking Profile for High Integrity Real-Time Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Michell , Mark Saaltink Guidance on the Use of Ada95 in High Integrity Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bo Frisberg Ada in the JAS 39 Gripen Flight Control System. [Citation Graph (0, 0)][DBLP ] Conf ] 