Search results for "Ada-95"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers	Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.	Ada-Europe	2002	DBLP DOI BibTeX RDF
16	Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández	Development of a Control System for Teleoperated Robots Using UML and Ada95.	Ada-Europe	2002	DBLP DOI BibTeX RDF
16	Benjamin M. Brosgol, Brian Dobbing	Real-time convergence of Ada and Java™.	SIGAda	2001	DBLP DOI BibTeX RDF	scheduling, Java, Java, Real-Time, Ada, Ada, garbage collection, threads, asynchrony
16	Laurent Pautet, Samuel Tardieu	GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems.	ISORC	2000	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, Ada
16	Laurent Pautet, Thomas Quinot, Samuel Tardieu	CORBA and CORBA services for DSA.	SIGAda	1999	DBLP DOI BibTeX RDF
16	Kristina Lundqvist, Lars Asplund	A Formal Model of a Run-Time Kernel for Ravenscar.	RTCSA	1999	DBLP DOI BibTeX RDF
16	Helge Hagenauer	On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems.	Ada-Europe	1999	DBLP DOI BibTeX RDF
16	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo	Efficient and Extensible Multithreaded Remote Servers.	Ada-Europe	1999	DBLP DOI BibTeX RDF
16	Laurent Millet, Ted Baker	Porting the GNAT Tasking Runtime System to the Java Virtual Machine.	Ada-Europe	1998	DBLP DOI BibTeX RDF
16	Javier Miranda, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana	Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Distributed Systems, Ada, Tools, Fault-Tolerant Systems, Isis
16	Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov	ASIS for GNAT: From the Prototype to the Full Implementation.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada, Compiler, Programming Environment, ASIS
16	Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu	PARIS - Partitioned Ada for Remotely Invoked Services.	Ada-Europe	1995	DBLP DOI BibTeX RDF
12	Patrick Rogers, Andy J. Wellings	The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery
12	Daniel Simon, Gunther Vogel, Erhard Plödereder	Teaching Software Engineering with Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF
12	Patrick Rogers, Andy J. Wellings	OpenAda: Compile-Time Reflection for Ada 95.	Ada-Europe	2004	DBLP DOI BibTeX RDF	compiler, tools, Reflection, Ada language
12	Manfred Nagl	Softwaretechnik mit Ada 95 - Entwicklung großer Systeme.		2003	RDF
12	Andy J. Wellings	Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?	IRTAW	2003	DBLP DOI BibTeX RDF
12	Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf	DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.	Ada-Europe	2002	DBLP DOI BibTeX RDF	language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical
12	Eugene Bingue	The Development of Reliable Metrics to Measure the Efficiency of Object-Oriented Dispatching using Ada 95 a High-Level Language implementing Hard-Deadline Real-time Programming.		2002	RDF
12	Bruce R. Barkstrom	Ada 95 bindings for the NCSA hierarchical data format.	SIGAda	2001	DBLP DOI BibTeX RDF	HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF
12	Patrick Rogers, Andy J. Wellings	State restoration in Ada 95: a portable approach to supporting software fault tolerance.	J. Syst. Softw.	2000	DBLP DOI BibTeX RDF
12	Férial Benachour Hait	Implementing a multi-agent system with Ada'95: A case study of a stock market.	PDPTA	2000	DBLP BibTeX RDF
12	Ravi K. Gedela, Sol M. Shatz, Haiping Xu	Compositional Petri net models of advanced tasking in Ada-95.	Comput. Lang.	1999	DBLP DOI BibTeX RDF
12	Thomas Wolf 0013	Transparent replication for fault tolerance in distributed Ada 95.	IRTAW	1999	DBLP DOI BibTeX RDF
12	Jorge Real, Andy J. Wellings	Dynamic ceiling priorities and Ada 95.	IRTAW	1999	DBLP DOI BibTeX RDF
12	Luís Miguel Pinho, Francisco Vasques	Replica management in real-time Ada 95 applications.	IRTAW	1999	DBLP DOI BibTeX RDF
12	W. M. Walker, P. T. Woolley, Alan Burns 0001	An experimental testbed for embedded real time Ada 95.	IRTAW	1999	DBLP DOI BibTeX RDF
12	David Botton	Interfacing Ada 95 to Microsoft COM and DCOM technologies.	SIGAda	1999	DBLP DOI BibTeX RDF	distributed COM, components, ActiveX, OLE, COM, component object model
12	Jeffrey R. Carter, Bo Ingvar Sandén	Practical use of Ada 95's concurrency features.	IEEE Concurr.	1998	DBLP DOI BibTeX RDF
12	Zeki O. Bayram	Implementing Constructor Calls with Parameters in Ada 95.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
12	Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky	Distributed Atomic Actions in Ada 95.	Comput. J.	1998	DBLP DOI BibTeX RDF
12	Scott Arthur Moody	Distributed Object-Oriented Real-Time Systems using a Hybrid Model of Ada 95's Built-in Distributed Capability and Emerging Real-Time CORBA Capabilities.	ISORC	1998	DBLP DOI BibTeX RDF
12	Stephen H. Kaisler, Michael B. Feldman	Object-Oriented and Concurrent Program Design Issues in Ada 95.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
12	John A. Reisner, Zeenat Lainwala, Thomas J. Peters, Steven A. Demurjian	Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95.	SIGAda	1998	DBLP DOI BibTeX RDF	CAD applications, culling algorithms, stereolithography, Ada, computer graphics, topology
12	Mike Mills, Greg Peterson	Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada
12	T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias	Visual Support for Incremental Abstraction and Refinement in Ada 95.	SIGAda	1998	DBLP DOI BibTeX RDF	software visualizaton, Ada, program understanding, GRASP, folding
12	Benjamin M. Brosgol	A Comparison of the Concurrency Features of Ada 95 and Java.	SIGAda	1998	DBLP DOI BibTeX RDF	Java, Java, Ada, Ada, concurrency, object-oriented programming, threads, tasking, inheritance anomaly
12	Francis R. Cirillo	A Complexity Comparison of Ada 95 and C++.		1998	RDF
12	John Beidler	Data structures and algorithms - an object-oriented approach using Ada 95.		1997	RDF
12	David A. Wheeler	Ada 95 - the lovelace tutorial.		1997	RDF
12	Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl (eds.)	Ada 95 Quality and Style, Guideline for Professional Programmers		1997	DOI RDF
12	John G. P. Barnes (eds.)	Ada 95 Rationale, The Language, The Standard Libraries		1997	DOI RDF
12	S. Tucker Taft, Robert A. Duff (eds.)	Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E)		1997	DOI RDF
12	Brian G. Ujvary, Nick I. Kamenoff, Jorge L. Díaz-Herrera	Benchmarking of hard real-time distributed systems with Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Scott Arthur Moody	Object-oriented real-time systems using a hybrid distributed model of Ada 95's built-in DSA capability (distributed systems annex-E) and CORBA.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Richard D. Powers	Implementing CIFO using Ada 95 and POSIX.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis	Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Patrick de Bondeli	A fully reusable class of objects for synchronization and communication in Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Thomas Wolf 0013	Fault tolerance in distributed Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Pierre Dissaux, Laurent Pautet, Lars Björnfot, Yvon Kermarrec, Dominique LeCampion	Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Andy J. Wellings, Alan Burns 0001, Offer Pazy	Task termination and Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
12	Patrick de Bondeli	Developing reusable multi-tasking components using object-oriented techniques in Ada 95.	IRTAW	1997	DBLP DOI BibTeX RDF
12	David C. Hunter	Building object-oriented data structures in Ada 95.	ACM Southeast Regional Conference	1997	DBLP DOI BibTeX RDF
12	Jingde Cheng	Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
12	William K. Suchan, Todd L. Smith	Using Ada 95 as a Tool to Teach Problem Solving to Non-CS Majors.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
12	James B. White III	Performance Issues of Scientific Programming in Ada 95.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada, C++, FORTRAN
12	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 95 and Java.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Java, Ada
12	Dong-Ik Oh, Theodore P. Baker	Optimization of Ada '95 Tasking Constructs.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
12	T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias	Visualization of Control Structure and Complexity in Ada 95.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
12	Randall Brukardt, Tom Moran	CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
12	Margaretha W. Price, Steven A. Demurjian, Donald M. Needham	A Reusability Measurement Framework and Tool for Ada 95.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Ada
12	Brad Balfour	Combining Ada 95, Java Byte Code, and the Distributed Systems Annex.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Java, Ada
12	Ravi K. Gedela, Sol M. Shatz	Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective.	PDSE	1997	DBLP DOI BibTeX RDF
12	Bernd Holzmüller, Erhard Plödereder	Finite Unions for Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Finite Unions, Polymorphism, Language Extension, Dispatching, Multi-Methods
12	Richard Riehle	Stringing along with Ada 95.	J. Object Oriented Program.	1996	DBLP BibTeX RDF
12	Jim Abu-Ras	Priority inheritance protocol in Ada 95.	Inf. Softw. Technol.	1996	DBLP DOI BibTeX RDF
12	Andy J. Wellings, Alan Burns 0001	Programming Replicated Systems in Ada 95.	Comput. J.	1996	DBLP DOI BibTeX RDF
12	James H. Cross II, Thomas M. Phillips	Successfully integrating traditional and object-oriented approaches with Ada 95.	SIGCSE	1996	DBLP DOI BibTeX RDF
12	Matthew B. Dwyer, Matthew J. Craig, Eric Runquist	An Application-Independent Concurrency Skeleton in Ada 95.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
12	James H. Cross II, Larry A. Barowski, T. Dean Hendrix, Joseph C. Teate	Control Structure Diagrams for Ada 95.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
12	Antoine Beugnard, Zièd Choukair, Yvon Kermarrec	COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
12	Donald M. Needham, Steven A. Demurjian, Karim El Guemhioui, Thomas J. Peters, P. Zamani, M. McMahon, Heidi J. C. Ellis	ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, C++, Eiffel
12	M. Bari, P. Gabrini, Colette Rolland, Kacem Zeroual	Active Information Systems, From Object-Oriented Design to Ada 95.	TRI-Ada	1996	DBLP DOI BibTeX RDF	active information systems, Ada, Ada, object-oriented design, traceability, mapping rules
12	Bohdan Nebesh, Michael B. Feldman	Learning to Use Ada 95 Components Using HTML Linking.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, HTML
12	Yvon Kermarrec, Laurent Nana, Laurent Pautet	GNATDIST: A Configuration Language for Distributed Ada 95 Applications.	TRI-Ada	1996	DBLP DOI BibTeX RDF	distributed systems programming, Ada, GNAT, configuration language
12	Yvon Kermarrec, Laurent Nana, Laurent Pautet	Providing Fault-Tolerant Services to Distributed Ada 95 Applications.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, Ada
12	Huiming Yu, Albert C. Esterline, Joseph Monroe	Object Oriented Formal Specifications to Support Ada 95 Reuse.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
12	Alejandro Alonso 0001, Juan Antonio de la Puente	Building Reusable Software Architectures with Ada 95.	ICECCS	1996	DBLP DOI BibTeX RDF
12	Dan Craigen, Mark Saaltink, Steve Michell	Ada 95 and Critical Systems: An Analytical Approach.	Ada-Europe	1996	DBLP DOI BibTeX RDF
12	Johann Blieberger, Roland Lieger, Bernd Burgstaller	Augmenting Ada 95 with Additional Real-Time Features.	Ada-Europe	1996	DBLP DOI BibTeX RDF
12	Bernd Gliss	An Ada 95 Harness for Converting Legacy Fortran Applications.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Fortran language, Object-Orientation, Reuse, Software Development Methods, Ada language
12	Michael Oudshoorn, Stephen Crawley	Beyond Ada 95: The Addition of Persistence and Its Consequences.	Ada-Europe	1996	DBLP DOI BibTeX RDF
12	Chad Bremmon	The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada95 Transition, Object Oriented, Information Systems, Experience Report, Client/Server
12	Kor Molenmaker	Converting the Part Task Nautical Simulator to Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
12	Susan Fife Dorchak	An Investigation of Data Integrity in Ada 95.		1996	RDF
12	John G. P. Barnes	Programming in Ada 95.		1995	RDF
12	Ingmar Ögren, Håkan Lindergren	Ada 95 a base to architect systems in O4S (Objects For Systems).	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	David A. Mundie	Using Ada 95 for embedded applications.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Magnus Kempe	The composition of abstractions: evolution of software component design with Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Michael B. Feldman, Jack Beidler	Teaching Object Programming with Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
12	John A. Hamilton Jr., David A. Cook, Udo W. Pooch	Distributed simulation in Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Robert G. Pettit IV, Hassan Gomaa	A software design method for Ada 95 based concurrent and real-time systems.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Brad Balfour, Mark S. Gerhardt	Patterns and paradigms for using Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
12	Jørgen Bundgaard	An ANDF based Ada 95 compiler system.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Bryce M. Bardin	Implementing Concurrent Programs in Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
12	David Weller	The GNU Ada 95 Booch Components.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
12	Stéphane Barbey	Ada 95 as implementation language for object-oriented designs.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Jodene M. Sasine, Raymond J. Toal	Implementing the model-view-controller paradigm in Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	I Lee Patton II, William W. Pritchett IV	Early experiences adopting Ada 95.	TRI-Ada	1995	DBLP DOI BibTeX RDF
12	Janet Johns, J. L. Diaz-Herrara	Intelligent Systems and Ada 95.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada