Search results for "Ada-95"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	John G. P. Barnes	SP1: introducing the best of ada 2005.	SIGAda	2007	DBLP DOI BibTeX RDF
67	Frank Mueller 0001	Supporting Ada 95 Passive Partitions in a Distributed Environment.	Ada-Europe	1997	DBLP DOI BibTeX RDF
67	S. Tucker Taft	Programming the Internet in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
52	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
52	Joyce L. Tokar	New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.	Ada-Europe	2001	DBLP DOI BibTeX RDF
50	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
50	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
48	Kelvin Nilsen	Ada-Java middleware for legacy software modernization.	JTRES	2010	DBLP DOI BibTeX RDF	mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical
48	Kenneth L. Ehresman, Joey L. Frantzen	Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck.	SIGAda	2001	DBLP DOI BibTeX RDF	Contact Avoidance, GtkAda, Maneuvering Board, Officer of the Deck Aid, U.S. Navy, UML, Ada, Navigation, Model-View-Controller, GNAT
48	Ricky E. Sward	Extracting Ada 95 Objects from Legacy Ada Programs.	Ada-Europe	2004	DBLP DOI BibTeX RDF
46	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
46	Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell	Integrating object-oriented programming and protected objects in Ada 95.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	concurrency, Ada 95, inheritance anomaly, concurrent object-oriented programming
46	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
46	Steven Doran	Interfacing low-level C device drivers with Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, Ada 95, device drivers, C programming language
46	Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre	Petri nets based proofs of Ada 95 solution for preference control.	APSEC	1997	DBLP DOI BibTeX RDF	Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
46	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
46	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
44	Francisco J. García Izquierdo, José Luis Villarroel	Translating Time Petri Net Structures into Ada 95 Statements.	Ada-Europe	1999	DBLP DOI BibTeX RDF
40	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
40	Pascal Leroy	An Invitation to Ada 2005.	Ada-Europe	2003	DBLP DOI BibTeX RDF
40	Pascal Héraud, Thierry Lelégard	Using Ada in Interactive Digital Television Systems.	Ada-Europe	2001	DBLP DOI BibTeX RDF
39	Ravi K. Gedela, Sol M. Shatz, Haiping Xu	Formal modeling of synchronization methods for concurrent objects in Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods
38	Paul Anderson	A refactoring tool for Ada 95.	SIGAda	2004	DBLP DOI BibTeX RDF	static analysis, refactoring, Ada 95, ASIS, software engineering tools
38	Andy J. Wellings, Alan Burns 0001	Implementing Atomic Actions in Ada 95.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	exception handling, conversations, Software fault tolerance, Ada 95, atomic actions, recovery blocks
38	Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez	Implementing Application-Level Sporadic Server Schedulers in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Scheduling, Real-Time, Jitter, Ada 95, Sporadic Server
38	Stéphane Barbey	Testing Ada 95 Object-Oriented Programs.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Test Sets Selection, Reduction Hypothesis, Testing, Object-Oriented Programming, Oracle, Ada 95
36	Alain Plantec, Frank Singhoff	Refactoring of an Ada 95 library with a Meta CASE tool.	SIGAda	2006	DBLP DOI BibTeX RDF	PlatypusCheddar, code generating, meta-modeling, EXPRESS, STEP, Meta CASE
36	William W. Pritchett	An object-oriented metrics suite for Ada 95.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada
36	Thomas Wolf 0013, Alfred Strohmeier	Fault Tolerance by Transparent Replication for Distributed Ada 95.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Piecewise Determinism, Replica Consistency, Semi-Active Replication, Fault Tolerance, Distributed Systems, Non-Determinism
36	Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings	On Programming Atomic Actions in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF
36	Jorge Real, Agustín Espinosa, Alfons Crespo	Using Ada 95 for Prototyping Real-Time Systems.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Real-time Systems, Prototyping, Object-oriented methods, Software Development Environments
36	Roland Feith, Michael Tonndorf	Planning the Transition to Ada 95 for a Large Real-Time Project.	Ada-Europe	1996	DBLP DOI BibTeX RDF
36	Alan Burns 0001, Andy J. Wellings	Ada 95: An Effective Concurrent Programming Language.	Ada-Europe	1996	DBLP DOI BibTeX RDF
36	Kristina Lundqvist, Göran Wall	Using Object-Oriented Methods in Ada 95 to Implement Linda.	Ada-Europe	1996	DBLP DOI BibTeX RDF
36	Jingde Cheng, Kazuo Ushijima	Tasking Deadlocks in Ada 95 Programs and Their Detection.	Ada-Europe	1996	DBLP DOI BibTeX RDF
36	Jørgen Bundgaard	An ANDF Based Ada 95 Compiler System.	Ada-Europe	1995	DBLP DOI BibTeX RDF
34	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
34	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
34	Jörg Kienzle, Ricardo Jiménez-Peris, Alexander B. Romanovsky, Marta Patiño-Martínez	Transaction Support for Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Open Multithreaded Transactions, OPTIMA Framework, Fault-Tolerance, Design Patterns, Transactions, Ada 95
34	Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng	Monitoring facilities in languages supporting development of concurrent self-measurement programs.	APSEC	2000	DBLP DOI BibTeX RDF	concurrent self-measurement programs, reliable concurrent systems, measurement handler, Ada MH, Ada, object-oriented programming, software maintenance, software maintenance, monitoring, software development, distributed processing, programming languages, software reliability, object-oriented languages, Ada 95, system monitoring
34	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
34	Yakov Persky, Mordechai Ben-Ari	Re-engineering a concurrency simulator.	ITiCSE	1998	DBLP DOI BibTeX RDF	Ada, virtual machine, Ada 95, compiler design, concurrency simulator
34	B. Noorduin, Jan van Katwijk, Cornelis Pronk	Gnass: a Gnat-based allocation and scheduling system.	RTCSA	1996	DBLP DOI BibTeX RDF	Gnass, Gnat-based allocation and scheduling system, Ada 95 programming language, flexible task scheduling, real-time multiprocessor applications, parallel processing, concurrent programming, processor allocation, timing requirements, Solaris
32	Matteo Bordin, Tullio Vardanega	A New Strategy for the HRT-HOOD to Ada Mapping.	Ada-Europe	2005	DBLP DOI BibTeX RDF
32	Laurent Pautet, Samuel Tardieu	What future for the distributed systems annex?.	SIGAda	1999	DBLP DOI BibTeX RDF
32	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
32	David Mundie, John Fardo, Ed Kuzemchak	Implementing Protected Types on Embedded Targets.	Ada-Europe	1996	DBLP DOI BibTeX RDF
30	S. Tucker Taft	Using Ada 95 in a compiler course.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada, Ada 95, course, compiler construction
30	Michael B. Feldman	An Ada 95 Sort Race Construction Set.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Concurrent Programming, Ada 95, Algorithm Animation
30	Klaas Brink, Jan van Katwijk, W. J. Toetenel	Ada 95 as implementation vehicle for formal specifications.	RTCSA	1996	DBLP DOI BibTeX RDF	implementation vehicle, transformation steps, real-time systems, formal specification, formal specifications, Ada 95, system requirements
30	Bernd Holzmüller	Extending the Object-Orientedness of Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF	flexible type concepts, tagged types, language evaluation, polymorphism, object-oriented languages, Ada 95, dispatching, multi-methods
28	Zhengqiang Chen, Baowen Xu, Jianjun Zhao 0001, Hongji Yang	Static Dependency Analysis for Concurrent Ada 95 Programs.	Ada-Europe	2002	DBLP DOI BibTeX RDF
28	Ingmar Ögren	Ada 95 as a Base to Architect Systems in O4STM.	Ada-Europe	1997	DBLP DOI BibTeX RDF
28	Benjamin M. Brosgol	The Dining Philosophers in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
28	Patrick de Bondeli	An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming.	Ada-Europe	1996	DBLP DOI BibTeX RDF
28	Heinz Schneeweiss, V. Amiot, O. Vix	Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95.	Ada-Europe	1995	DBLP DOI BibTeX RDF
28	Zièd Choukair, Yvon Kermarrec	Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach.	Ada-Europe	1995	DBLP DOI BibTeX RDF
28	Yvon Kermarrec, Laurent Pautet	Programming Distributed Systems with Both Ada 95 and PVM.	Ada-Europe	1995	DBLP DOI BibTeX RDF
26	Mario Aldea Rivas, Michael González Harbour	A POSIX-Ada Interface for Application-Defined Scheduling.	Ada-Europe	2002	DBLP DOI BibTeX RDF	Scheduling, Real-Time Systems, Operating Systems, Kernel, Ada 95, POSIX
26	Xavier Caron, Jörg Kienzle, Alfred Strohmeier	Object-Oriented Stable Storage Based on Mirroring.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Fault Tolerance, Memory Management, Shadowing, Ada 95, Mirroring, Stable Storage
26	Jörg Kienzle, Alfred Strohmeier	Shared Recoverable Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95
26	Jörg Kienzle, Thomas Wolf 0013, Alfred Strohmeier	Secure Communication in Distributed Ada.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Object-Oriented Program-ming, Security, Distributed Systems, Communication, Cryptography, Ada 95
26	Magnus Kempe	Heterogeneous Data Structures and Cross-Classification of Objects with Ada95.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Heterogeneous Collections, Classification, Abstract Data Types, Ada 95, Catalogues
24	Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers	Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.	Ada-Europe	2003	DBLP DOI BibTeX RDF
24	Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González	A Technique to Build Ada Preprocessors.	PDP	2002	DBLP DOI BibTeX RDF	Ada, Compilers, Pre-processing, GNAT
24	Benjamin M. Brosgol, Brian Dobbing	Can Java Meet Its Real-Time Deadlines?	Ada-Europe	2001	DBLP DOI BibTeX RDF
24	Arthur Vargas Lopes	Ada+SQL-an overview.	SIGAda	1999	DBLP DOI BibTeX RDF	compilers, relational databases, programming, interpreters, environments, computer education
24	Ming Wang	Integrating a software engineering approach into an Ada closed laboratory.	SIGAda	1999	DBLP DOI BibTeX RDF	software engineering, Ada, closed lab
24	Pierre Breguet, Luigi Zaffalon	Railway Scale Model Simulator.	Ada-Europe	1999	DBLP DOI BibTeX RDF	simulation, concurrency, resource management, rendezvous, protected objects, Education and training
24	Alfred Strohmeier	Mapping Object-Oriented Designs to Ada.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Programming Language, Object-Oriented Software Development, Fusion Method
24	Patrick Rogers, Andy J. Wellings	An Incremental RecoveryCache Supporting Sotware Fault Tolerance.	Ada-Europe	1999	DBLP DOI BibTeX RDF	user-defined assignment, Ada, checkpointing, fault-tolerant systems
24	Scott Arthur Moody	Object Oriented Abstractions for Real-Time Distributes Systems.	Ada-Europe	1998	DBLP DOI BibTeX RDF
24	Mordechai Ben-Ari	Using inheritance to implement concurrency.	SIGCSE	1996	DBLP DOI BibTeX RDF	object-oriented programming, concurrent programming
24	Jon. Hallett	Formulating Update Messages.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Smalltalk
24	Volkert Barr, Sergio Montenegro 0001	Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT).	Ada Deutschland Tagung	2002	DBLP BibTeX RDF
24	Scott Arthur Moody	Migrating Well Engineered Ada 83 Applications into Newer Architecture and Reuse Based Ada 95 Systems: Experiences from Boeing's Reuse Initiative Project.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
24	Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman	Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
24	Linda Safford, Phil Brashear, Oliver Cole, Robert Dewar, Nelson H. Weiderman	For environment initiatives, will Ada 95 experiences parallel Ada 83 experiences? (panel session).	TRI-Ada	1995	DBLP DOI BibTeX RDF
24	Arthur G. Duncan	Conversion to Ada and Ada 95: A Software Re-engineering Approach.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
24	Gary Shupe	For partnership initiatives, will Ada 95 experiences parallel Ada 83 experiences?	TRI-Ada	1995	DBLP DOI BibTeX RDF
23	Shan Barkataki, Stuart Harte, Patricia J. Dousette, Gary Johnson	Strategies for developing reusable software components in Ada-95.	SAC	1998	DBLP DOI BibTeX RDF	Ada, object-oriented, reuse, reengineering, Ada-95
23	Shan Barkataki, Stuart Harte, Tong Dinh	Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, design patterns, reuse, reengineering, Ada-95
22	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
22	Luís Miguel Pinho, Francisco Vasques	Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems.	SIGAda	1998	DBLP DOI BibTeX RDF	software based fault tolerance, real-time systems, Ada, Ada 95, off-the-shelf components
22	Jörg Kienzle	Network Applications in Ada 95.	TRI-Ada	1997	DBLP DOI BibTeX RDF	GLADE, distributed systems, Ada, replication, Ada 95, client-server architectures, GNAT
22	S. R. Waterman	Techniques for Testing Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Controlled Types, Hierarchical Libraries, Testing, Ada 95, Protected Objects
22	Robert G. Pettit IV	Using Ada 95 for the Design of Distributed Real-Time Systems.	TRI-Ada	1996	DBLP DOI BibTeX RDF	ADARTS, software design methods, distributed systems, Ada, Ada 95
22	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
20	Yvon Kermarrec	CORBA vs. Ada 95 DSA: a programmer's view.	SIGAda	1999	DBLP DOI BibTeX RDF
20	Alexandr Korochkin	Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine.	Ada-Europe	1999	DBLP DOI BibTeX RDF
20	Dominique Canazzi	yaRTI, an Ada 95 HLA Run-Time Infrastructure.	Ada-Europe	1999	DBLP DOI BibTeX RDF
20	Helge Hagenauer, Werner Pohlmann	Ada 95 for a Distributed Simulation System.	Ada-Europe	1998	DBLP DOI BibTeX RDF
20	Dieter K. Hammer, Onno S. van Roosmalen, Lonnie R. Welch	Classifying Object-Oriented Real-time Systems: Ada 95 and Deal.	ECBS	1996	DBLP DOI BibTeX RDF
20	Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar	Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems.	Ada-Europe	1995	DBLP DOI BibTeX RDF
19	Loren Larsen, Mary Jean Harrold	Slicing Object-Oriented Software.	ICSE	1996	DBLP BibTeX RDF	class representation reuse, efficient slicing algorithms, incomplete object-oriented programs, incremental construction, interacting classes, object-oriented software slicing, procedure call simulation, procedure dependence graph, public methods, statically typed object-oriented languages, object-oriented programming, graphs, software reusability, diagrams, software libraries, Ada-95, subroutines, program diagnostics, class libraries, system dependence graphs, C++ language
18	José María Martínez, Michael González Harbour	RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95
18	Simon Fowler 0002, Andy J. Wellings	Formal development of a real-time kernel.	RTSS	1997	DBLP DOI BibTeX RDF	formal development, simple real time operating system kernel, restricted Ada 95 tasking model, fixed priority real time systems, abstract specification, PVS proof system, computational model, RTL, operating system kernels
16	Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez	Incorporating Precise Garbage Collection in an Ada Compiler.	Ada-Europe	2007	DBLP DOI BibTeX RDF
16	Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon	PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.	Ada-Europe	2004	DBLP DOI BibTeX RDF
16	Eric Potratz	A practical comparison between Java and Ada in implementing a real-time embedded system.	SIGAda	2003	DBLP DOI BibTeX RDF	conditional synchronization, package elaboration, scheduling, Java, performance, real-time systems, embedded systems, Ada, concurrency, object-oriented programming, memory management, drivers, priority inversion