Conferences in DBLP
Martin Gogolla Benefits and Problems of Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni Olivé On the Role of Conceptual Schemas in Information Systems Development. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Vinoski An Overview of Middleware. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Breuer , Marisol García-Valls Static Deadlock Detection in the Linux Kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Ricky E. Sward Extracting Ada 95 Objects from Legacy Ada Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Burgstaller , Johann Blieberger , Bernhard Scholz On the Tree Width of Ada Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Vergnaud , Jérôme Hugues , Laurent Pautet , Fabrice Kordon PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Stepan P. Nadrchal Event Language for Real-Time On-the-Fly Control According to the Initial Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Zamorano , Alejandro Alonso , José Antonio Pulido , Juan Antonio de la Puente Implementing Execution-Time Clocks for the Ada Ravenscar Profile. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Masmano , Jorge Real , Ismael Ripoll , Alfons Crespo Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Burns , Andy J. Wellings , S. Tucker Taft Supporting Deadlines and EDF Scheduling in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Rogers , Andy J. Wellings OpenAda: Compile-Time Reflection for Ada 95. [Citation Graph (0, 0)][DBLP ] Conf ] Zdenko Vrandecic , Daniel Simon XML4Ada95 Accessing XML Using the DOM in Ada95. [Citation Graph (0, 0)][DBLP ] Conf ] Sukant K. Giri , Atit Mishra , Yogananda V. Jeppu , Kundapur Karunakar A Randomised Test Approach to Testing Safety Critical Ada Code. [Citation Graph (0, 0)][DBLP ] Conf ] Kwok Ping Chan , Tsong Yueh Chen , Dave Towey Good Random Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Bárbara Álvarez , Juan A. Pastor , Francisco J. Ortiz , Pedro Sánchez , Pedro J. Navarro Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Amey , Neil White High Integrity Ada in a UML and C World. [Citation Graph (0, 0)][DBLP ] Conf ] Helge Hagenauer , Norbert Martinek , Werner Pohlmann Ada Meets Giotto. [Citation Graph (0, 0)][DBLP ] Conf ] Adrian J. Hilton , Jon G. Hall High-Integrity Interfacing to Programmable Logic with Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Real , Alan Burns , Francisco Javier Miranda González , Edmond Schonberg , Alfons Crespo Dynamic Ceiling Priorities: A Proposal for Ada0Y. [Citation Graph (0, 0)][DBLP ] Conf ] Agustín Espinosa Minguet , Ana García-Fornes , Vicente Lorente Garcés , Andrés Terrasa Barrena Mixing Scheduling Policies in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Aldea Rivas , Francisco Javier Miranda González , Michael González Harbour Implementing an Application-Defined Scheduling Framework for Ada Tasking. [Citation Graph (0, 0)][DBLP ] Conf ] Mário Amado Alves A Theory of Persistent Containers and Its Application to Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Heaney Shortcuts: A Critical Look. [Citation Graph (0, 0)][DBLP ] Conf ] Franco Gasperoni Vector Processing in Ada. [Citation Graph (0, 0)][DBLP ] Conf ] 