Search results for "ADA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
158	Edward L. Bosworth Jr.	The adaptability of Ada as a language for expert systems (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Ada
144	Steen Stilberg	Considerations with Regard to Validation of Ada Debuggers.	Ada-Europe	1992	DBLP DOI BibTeX RDF
128	Fred A. Maymir-Ducharme	Ada 9X Real-Time Scheduling Alternatives.	Ada-Europe	1991	DBLP DOI BibTeX RDF
124	Arthur G. Duncan	Implementing Internal Program Representations with Ada and Ada 9X.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
121	Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill	Ada Program Partitioning Language: A Notation for Distributing Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, distributed processing, software tools, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration
111	Frank Singhoff	MP1: real time scheduling theory and its use with ada.	SIGAda	2007	DBLP DOI BibTeX RDF
109	Michael Tonndorf	An Efficient Compiler Validation Method for Ada 9X.	Ada-Europe	1993	DBLP DOI BibTeX RDF	Glossary of Terms and Abbreviations ACVC Ada Compiler Validation Capability, AVF Ada Validation Facility, AJPO Ada Joint Program Office, AVO Ada Validation Organisation, AMO ACVC Maintenance Organisation
108	Karim El Guemhioui, Steven A. Demurjian, Thomas J. Peters, Heidi J. C. Ellis	Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
105	David E. Emery, Robert F. Mathias, Karl A. Nyberg	Automating the Ada Binding Process for Java- How Far Can We Go?	Ada-Europe	1998	DBLP DOI BibTeX RDF
105	Frank Mueller 0001	Supporting Ada 95 Passive Partitions in a Distributed Environment.	Ada-Europe	1997	DBLP DOI BibTeX RDF
105	S. Tucker Taft	Programming the Internet in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
104	Philippe Pichon	CCO-Mars'96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project.	Ada-Europe	1997	DBLP DOI BibTeX RDF	XInAda, Ada, parallel I/Os, Operational, MMI, HOOD
102	Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu	Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	Ada tasking analysis, analysis framework, tasking-oriented toolkit for the Ada language, TOTAL, front-end translator subsystem, FETS, back-end information display subsystem, Ada-net reachability graphs, Petri net, Petri nets, Ada, software tools, query, toolkit, utility, BIDS, Ada tasking
101	Riadh Lebib	The Impact of Ada on MIS Applications.	Ada-Europe	1993	DBLP DOI BibTeX RDF
101	Marc Richard-Foy	Safe Ada Executive: An Executive for Ada Safety Critical Applications.	Ada-Europe	1995	DBLP DOI BibTeX RDF
100	Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier	OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Ada Semantic Interface Specification, GNU Ada Compiler, ASIS-for-GNAT, Ada, Object-Oriented Programming, ASIS, GNAT
100	Mario Aldea Rivas, Javier Miranda, Michael González Harbour	Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Scheduling, Real-Time Systems, Ada, Compilers, Kernel, POSIX
99	Michael Tonndorf	Ada conformity assessments: a model for other programming languages?.	SIGAda	1999	DBLP DOI BibTeX RDF	Ada conformity assessments, Ada standardization, programming languages validations
98	Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid	Debugging Concurrent Ada Programs by Deterministic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	synchronisation sequences, concurrent Ada programs, deterministic execution debugging, Ada language constructs, SYN-sequences, sufficient information, previous executions, parallel programming, Ada, tools, transformation, program debugging, program execution
97	Thierry Millan, Myriam Lamolle, Frédéric Mulatero	An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada 83, O2, data environment, Java, interoperability, Persistence, Ada 95, Object Oriented Database Management System
97	Thierry Millan, Pierre Bazex	Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83.	Ada-Europe	1996	DBLP DOI BibTeX RDF	data environment, Ada 83, O2 object-oriented database management system, programming techniques, experience report from project using Ada 83, information systems, graph, persistence
97	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.	Ada-Europe	2008	DBLP DOI BibTeX RDF
97	Francis Thom	The Standard UML-Ada Profile.	Ada-Europe	2003	DBLP DOI BibTeX RDF
97	Shayne Flint, Brian Dobbing	Using JavaTM APIs with Native Ada Compilers.	Ada-Europe	2000	DBLP DOI BibTeX RDF
97	Robert F. Mathis	Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status.	Ada-Europe	1993	DBLP DOI BibTeX RDF
96	John Thornley	Integrating Parallel Dataflow Programming with the Ada Tasking Model.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
96	Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson	Transparent Fault Tolerance for Distributed Ada Applications.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
95	John G. P. Barnes	SP1: introducing the best of ada 2005.	SIGAda	2007	DBLP DOI BibTeX RDF
94	Vincent Celier, Drasko M. Sotirovski, Christopher J. Thompson	Code-Data Consistency in Ada.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada Semantic Interface Specification, Ada, Air Traffic Control
93	Jacques Brygier, Marc Richard-Foy	Certification of Ada Real-Time Executives for Safety Critical Applications.	Ada-Europe	1993	DBLP DOI BibTeX RDF
93	Jesper Jørgensen II	A Comparison of the Object-Oriented Features of Ada 9X and C++.	Ada-Europe	1993	DBLP DOI BibTeX RDF
93	Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall	Distributed Run-Time Systems, a Protocol for Ada.	Ada-Europe	1993	DBLP DOI BibTeX RDF
93	Benjamin M. Brosgol	Information Systems Support in Ada 9X.	Ada-Europe	1993	DBLP DOI BibTeX RDF
92	Norman R. Howes, Alfred C. Weaver	Measurements of Ada Overhead in OSI-Style Communications Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	OSI-style communications systems, Ada model, seven-layer OSI reference model, single-processor machines, VAX 11/785, Rational 1000, expected message delay, novel model, server tasks, eight-processor Sequent Model 821, 14-processor Encore Multimax 320, Buhr model, server task model, Ada rendezvous, Ada overhead per message, parallel programming, Ada, concurrency, standards, computer networks, open systems, communications model, procedure calls
92	Hyoseob Kim, Cornelia Boldyreff	An Approach to Increasing Software Component Reusability in Ada.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Reuse Metrics, Ada, Guidelines, Code Reuse
91	Emilio Tuosto	An Ada95 Implementation of a Network Coordination Language with Code Mobility.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Language and Tools, Ada Experience Reports, Case Studies and Experiments, Ada and other Languages, Distributed Systems
91	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.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Component-based technology, OMG standards, embedded systems, realtime, Ada 2005
91	Alejandro R. Mosteo, Luis Montano	Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research.	Ada-Europe	2007	DBLP DOI BibTeX RDF	GNAT GPL, multi-robot, Ada 2005, control architecture
91	Javier Miranda, Edmond Schonberg, Gary Dismukes	The Implementation of Ada 2005 Interface Types in the GNAT Compiler.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Abstract Interface Types, Tagged Types, Ada 2005, GNAT
91	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
89	Jingde Cheng	Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
89	Pascal Leroy	An Invitation to Ada 2005.	Ada-Europe	2003	DBLP DOI BibTeX RDF
89	Bryan Pflug	Ada after 10 Years of Usage - Is There a Commercial Future?	Ada-Europe	2000	DBLP DOI BibTeX RDF
89	Johann Blieberger, Johann Klasek, Eva Kühn	Ada Binding to a Shared Object Layer.	Ada-Europe	1999	DBLP DOI BibTeX RDF
89	Hongfeng Shen, Arnaud Charlet, Theodore P. Baker	A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel.	Ada-Europe	1999	DBLP DOI BibTeX RDF
89	M. J. Looney, A. O'Brien	Distributed Application Designed Using MASCOT and Implemented in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
89	M. Gobin, M. Timmerman, Frank Gielen	Runtime System Support for Data-Oriented Synchronization in Ada-9X.	Ada-Europe	1992	DBLP DOI BibTeX RDF
89	Jingde Cheng, Kazuo Ushijima	Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.	Ada-Europe	1991	DBLP DOI BibTeX RDF
88	Stéphane Barbey	Working with Ada 9X Classes.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
88	N. Badaro, Th. Moineau	ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes.	Ada-Europe	1991	DBLP DOI BibTeX RDF	Key-words software reuse, ESF-ROSE, Ada, software adaptation, software components retrieval
87	Mario Aldea Rivas	Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Real-Time Systems, Embedded Systems, Operating System, Kernel, Ada 95, POSIX
85	Robert C. Leif, Suzanne B. Leif, Stephanie H. Leif	XML and Ada complement each other.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada DICOM, XML, standards, schema
85	Mike Kamrad, Jim Hassett	Applying Ada 9X to Two Real-Time Applications: A Case Study.	Ada-Europe	1993	DBLP DOI BibTeX RDF
85	Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist	Performance Expectations on Ada Programs.	Ada-Europe	1993	DBLP DOI BibTeX RDF
85	Jerome R. Cherniack, Harpal S. Dhama, Jeanne F. Fandozzi	Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part.	Ada-Europe	1993	DBLP DOI BibTeX RDF
85	Ricky E. Sward	Extracting Ada 95 Objects from Legacy Ada Programs.	Ada-Europe	2004	DBLP DOI BibTeX RDF
84	Drasko M. Sotirovski, Philippe Kruchten	Handling Irregular Grammars in Ada.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada, Parsing
83	Héctor Pérez 0001, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour	Real-Time Distribution Middleware from the Ada Perspective.	Ada-Europe	2008	DBLP DOI BibTeX RDF	RT-CORBA, Ada DSA, performance, communications, real-time, distribution middleware
83	Frank Singhoff, Alain Plantec	Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Ada code generating, Cheddar, Platypus, Meta-modeling
83	Mario Aldea Rivas, Javier Miranda, Michael González Harbour	Implementing an Application-Defined Scheduling Framework for Ada Tasking.	Ada-Europe	2004	DBLP DOI BibTeX RDF	Scheduling, Real-Time, Compilers, Kernel, Ada 95, POSIX
83	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.	Ada-Europe	2004	DBLP DOI BibTeX RDF	Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Ada 95
83	Javier Miranda, Michael González Harbour	A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	Scheduling, Execution-Time, Ada 95, Hard Real-Time, GNAT
83	Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell	Object-Oriented Programming and Protected Objects in Ada 95.	Ada-Europe	2000	DBLP DOI BibTeX RDF	inheritance ano, maly, Ada 95, concurrent object-oriented programming
83	Jörg Kienzle, Alexander B. Romanovsky	On Persistent and Reliable Streaming in Ada.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Fault Tolerance, Object-Oriented Programming, Design Patterns, Streams, Persistence, Ada 95, Stable Storage
83	Alfred Strohmeier	Mapping Object-Oriented Designs to Ada.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Programming Language, Object-Oriented Software Development, Fusion Method
83	Andy J. Wellings, Alan Burns 0001, Offer Pazy	Task Termination in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	termination, asynchronous communication, Ada 95
83	Juan Antonio de la Puente, Alejandro Alonso 0001, Angel Alvarez	Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries.	Ada-Europe	1996	DBLP DOI BibTeX RDF	HRT-HOOD, real-time systems, object-oriented methods, Ada 95, Software development methods
83	Neel Madhav	Testing Ada 95 Programs for Conformance to Rapide Architectures.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Software architecture, Ada 95, program instrumentation, run time monitoring
81	Ward Douglas Maurer	Removing backward go-to statements from Ada programs: possibilities and problems.	SIGAda	2008	DBLP DOI BibTeX RDF	ada compilers, go-to statements, loop trees, directed graphs
81	Barrie Baston, Robert M. Schoenborn, Deb Waterman	SAMeDL - A Pilot Project.	Ada-Europe	1993	DBLP DOI BibTeX RDF
81	R. H. Pierce, I. Marshall, S. J. Goodenough	Object-Oriented Design of an Air-Defence Simulator.	Ada-Europe	1993	DBLP DOI BibTeX RDF
81	Matteo Bordin, Tullio Vardanega	A New Strategy for the HRT-HOOD to Ada Mapping.	Ada-Europe	2005	DBLP DOI BibTeX RDF
81	Adrian J. Hilton, Jon G. Hall	High-Integrity Interfacing to Programmable Logic with Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
81	Mário Amado Alves, Alípio Jorge, Matthew Heaney	The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project.	Ada-Europe	2003	DBLP DOI BibTeX RDF
81	Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo	Running Ada on Real-Time Linux.	Ada-Europe	2003	DBLP DOI BibTeX RDF
81	Michael Ward, Neil C. Audsley	Language Issues of Compiling Ada to Hardware.	Ada-Europe	2002	DBLP DOI BibTeX RDF
81	Emmanuel Briot, Joël Brobecker, Arnaud Charlet	GtkAda: Design and Implementation of a High Level Binding in Ada.	Ada-Europe	2000	DBLP DOI BibTeX RDF
81	Francisco J. García Izquierdo, José Luis Villarroel	Translating Time Petri Net Structures into Ada 95 Statements.	Ada-Europe	1999	DBLP DOI BibTeX RDF
81	W. L. Yeung	Semantics-Based Support Tools for High Integrity Ada Software.	Ada-Europe	1997	DBLP DOI BibTeX RDF
81	John D. Smart	A Decade of Development and Development of Distributed Ada Systems.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Techniques and Tools, Software Development Methods and Techniques, Distributed Systems, Real-Time Systems, Frameworks, Metrics, Experience Report
81	G. Bazalgette, D. Bekele, Carole Bernon, Mamoun Filali, J. M. Rigaud, A. Sayah	STRAda - An Ada Transformation and Distribution System.	Ada-Europe	1992	DBLP DOI BibTeX RDF
81	M. Bayassi, H. Bitteur, J. F. Jézéquel, P. Legrain	A Practical Use of the Ada Rendez-Vous Paradigm in Distributed Systems.	Ada-Europe	1992	DBLP DOI BibTeX RDF
81	A. Welz	Ada in Safety Critical Applications.	Ada-Europe	1991	DBLP DOI BibTeX RDF
80	David Hemmendinger	Specifying Ada Server Tasks with Executable Formal Grammars.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Ada server tasks specification, executable formal grammars, concurrent programming problems, synchronization constructs, Prolog programs, formal specification, parallel programming, Ada, grammars
80	S. Ron Oliver	Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
80	Jordan R. Kayloe, Patricia K. Lawlis	Easy-Sim: Using Ada 9X in a Graphics System Software Architecture.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada, C++
80	E. W. Giering, Frank Mueller 0001, Theodore P. Baker	Features of the GNU Ada Runtime Library.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
80	Magnus Kempe	Abstract Data Types are Under Full Control with Ada 9X.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
80	Henri Pidault	Graphics Development in Ada.	Ada-Europe	1993	DBLP DOI BibTeX RDF	Heragraph, Ada, Graphics
79	Jeffrey O'Leary	Federal aviation administration and Ada.	SIGAda	2007	DBLP DOI BibTeX RDF
78	James H. Cross II	Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Ada
78	Fred J. Pollack, George W. Cox, Dan W. Hammerstrom, Kevin C. Kahn, Konrad K. Lai, Justin R. Rattner	Supporting Ada Memory Management in the iAPX-432.	ASPLOS	1982	DBLP DOI BibTeX RDF	iAPX Series, Ada
78	Robert W. Carey, Paul J. Van Arsdall, John P. Woodruff	The national ignition facility: early operational experience with a large Ada control system.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada
77	Javier Miranda, Edmond Schonberg, Hristian Hristov Kirtchev	The implementation of ada 2005 synchronized interfaces in the GNAT compiler.	SIGAda	2005	DBLP DOI BibTeX RDF	compiler, synchronization, interfaces, Ada 2005, GNAT
77	Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson	The case for Ada at the USAF academy.	SIGAda	2003	DBLP DOI BibTeX RDF	Java, C++, computer science education, Ada 95, C#
77	Martin C. Carlisle, Ricky E. Sward, Jeffrey W. Humphries	Weaving Ada 95 into the .net environment.	SIGAda	2002	DBLP DOI BibTeX RDF	Microsoft .Net environment, common language runtime, Ada 95, just-in-time compiling
77	Romain Berrendonner, Jérôme Guitton	The ESA Ravenscar Benchmark.	Ada-Europe	2005	DBLP DOI BibTeX RDF
77	Jorge Real, Alan Burns 0001, Javier Miranda, Edmond Schonberg, Alfons Crespo	Dynamic Ceiling Priorities: A Proposal for Ada0Y.	Ada-Europe	2004	DBLP DOI BibTeX RDF
77	Pascal Héraud, Thierry Lelégard	Using Ada in Interactive Digital Television Systems.	Ada-Europe	2001	DBLP DOI BibTeX RDF
77	Joyce L. Tokar	New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.	Ada-Europe	2001	DBLP DOI BibTeX RDF