MOSAda: méthodes et outils de simulation en AdaBOURGEOIS, R; DEMAILLY, G.Revue technique - Thomson-CSF. 1993, Vol 25, Num 2, pp 533-547, issn 0035-4279Article

Using Ada in interactive Digital Television systemsHERAUD, Pascal; LELEGARD, Thierry.Lecture notes in computer science. 2001, pp 21-34, issn 0302-9743, isbn 3-540-42123-8Conference Paper

DAP-ada: ada facilities for SIMD architecturesDELVES, L. M; MCCRANN, M.ICL technical journal. 1987, Vol 5, Num 4, pp 778-788, issn 0142-1557Article

Functional refinement and nested objects for object-oriented designJALOTE, P.IEEE transactions on software engineering. 1989, Vol 15, Num 3, pp 264-270, issn 0098-5589Article

Implementation of the ADA programming support systemYASUHARA, R; TANAKA, K; NISHIYAMA, S et al.Japan Telecommunications Review. 1990, Vol 2, Num 3, pp 82-89, issn 0021-4744Article

Building modular communication systems in Ada : The Simple-Com approachGONZALEZ-BARAHONA, J. M; DE-LAS-HERAS-QUIROS, P; CENTENO-GONZALEZ, J et al.Lecture notes in computer science. 1998, pp 225-237, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Ada et les Systèmes Orientés Objets: les environnements Persistants au travers d'un SGBD Orienté Objets = Ada and Object Oriented Systems: the persistent environments through an object oriented DBMSMillan, Thierry; Bazex, P.1995, 195 p.Thesis

Petri net models of concurrent Ada programsSTANSIFER, R; MARINESCU, D.Microelectronics and reliability. 1991, Vol 31, Num 4, pp 577-594, issn 0026-2714Article

Ada 95 et les systèmes distribués: la tolérance aux fautes = Ada 95 and distributed systems: fault toleranceNana Tchamnda, Laurent; Raynal, M.1996, 153 p.Thesis

Effets des mécanismes d'exception sur la structure des logiciels. Application aux systèmes Ada sûrs de fonctionnement = Effects of exception mechanisms on the structure of software. Application to dependable Ada systemsMarpinard, Alain; Motet, Gilles.1993, 170 p.Thesis

The distributed ada run-time system DARTSGÖTHE, M. C; WENGELIN, D; ASPLUND, L et al.Software, practice & experience. 1991, Vol 21, Num 11, pp 1249-1263, issn 0038-0644Article

ADACTIF: Extension d'un SGBD à l'Activité par une Approche Procédurale Basée sur les Rendez-vous = ADACTIF: Introducing Activity into a DBMS using a Procedural Approach based on RendezvousTawbi, Chawki; Bazex, P.1996, 171 p.Thesis

High-integrity systems development for Integrated modular avionics using VxWorks and GNATPARKINSON, Paul; GASPERONI, Franco.Lecture notes in computer science. 2002, pp 163-178, issn 0302-9743, isbn 3-540-43784-3, 16 p.Conference Paper

Prototypage de systèmes parallèles à partir de réseaux de Petri colorés, application au langage Ada dans un environnement centralisé ou réparti = Rapid prototyping of parallel system from a coloured Petri net specification, application to da language within a centralized or distributed contextKordon, Fabrice; Estraillier, Pascal.1992, 438 p.Thesis

Run-time detection of tasking deadlocks in real-time systems with the ada 95 annex of real-time systemsJINGDE CHENG.Lecture notes in computer science. 2006, pp 167-178, issn 0302-9743, isbn 3-540-34663-5, 1Vol, 12 p.Conference Paper

Experimenting with dynamic linking with AdaINVERARDI, P; MAZZANTI, F.Software, practice & experience. 1993, Vol 23, Num 1, pp 1-14, issn 0038-0644Article

Defining new non-preemptive dispatching and locking policies for AdaBURNS, Alan.Lecture notes in computer science. 2001, pp 328-336, issn 0302-9743, isbn 3-540-42123-8Conference Paper

Inter-opérabilité des objets distribués : extension temps-réel du modèle CORBA et application avec Ada 95 = Interoperability of distributed objects : real-time extension of the CORBA model and application with Ada 95Choukair, Zied; Kermarrec, Yvon.1997, 252 p.Thesis

Réseaux de Pétri et parallélisme = Petri networks and parallelismBeaufils, Frédéric.1989, 9 p.Report

Sprachmittel zur Programmierung verteilter Echtzeitsysteme = Langages pour la programmation de systèmes répartis fonctionnant en temps réel = Languages for the programming of distributed real time systemsHERRTWICH, R. G.Automatisierungstechnische Praxis. 1988, Vol 30, Num 8, pp 388-396, issn 0178-2320Article

A POSIX-Ada interface for application-defined schedulingRIVAS, Mario Aldea; GONZALEZ HARBOUR, Michael.Lecture notes in computer science. 2002, pp 136-150, issn 0302-9743, isbn 3-540-43784-3, 15 p.Conference Paper

Distributed and parallel execution in ADA 83VOLZ, R. A; THERIAULT, R; SMITH, G et al.International journal of mini & microcomputers. 1996, Vol 18, Num 3, pp 118-129, issn 0702-0481Conference Paper

A parallel Ada system on an experimental multiprocessorLUNDBERG, L.Software, practice & experience. 1989, Vol 19, Num 8, pp 787-800, issn 0038-0644Article

Synchronization of asynchronous processes in CSPBAGRODIA, R.ACM transactions on programming languages and systems. 1989, Vol 11, Num 4, pp 585-597, issn 0164-0925Article

Distributing concurrent Ada programs by source translationBISHOP, J. M; ADAMS, S. R; PRITCHARD, D. J et al.Software, practice & experience. 1987, Vol 17, Num 12, pp 859-884, issn 0038-0644Article