Search results for "ada"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Mike Kamrad	An Application (Layer 7) Routing Switch with Ada95 Software.	Ada-Europe	1999	DBLP DOI BibTeX RDF
77	Rune Thyselius, Magnus Sjöland, Barbro Sjöland	Adam, an Ada Simulation Toolkit.	Ada-Europe	1993	DBLP DOI BibTeX RDF
77	Gary N. Bundy, Diane E. Mularz	Error-Prone Exception Handling in Large Ada Systems.	Ada-Europe	1993	DBLP DOI BibTeX RDF
77	Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend	MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project.	Ada-Europe	2000	DBLP DOI BibTeX RDF
76	Yijuan Lu, Qi Tian 0001, Jennifer L. Neary, Feng Liu, Yufeng Wang 0002	Adaptive discriminant analysis for microarray-based classification.	ACM Trans. Knowl. Discov. Data	2008	DBLP DOI BibTeX RDF	BDA, boosted ADA, ADA, microarray, LDA, dimension reduction
76	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
76	Sergey Rybin, Alfred Strohmeier	About the Difficulties of Building a Pretty-Printer for Ada.	Ada-Europe	2002	DBLP DOI BibTeX RDF	Pretty-Printer, Ada, ASIS
76	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
75	E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh 0002, Kenneth J. Fowler	A unique tool set for engineering complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	tool set, life-cycle management, large-system features, Ada 83, C System Dependency Analyzers, Ada 83 Common Code Recognizer, Ada 83 Tasking Identifier, Rate Monotonic Analysis Scheduler, source code analysis tools, software engineering, reliability, software architecture, Ada, Ada, software maintenance, software tools, complex systems, portability, maintainability, software portability, software systems, porting
75	Mario Aldea Rivas, José F. Ruiz	Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Real-Time Systems, Compilers, POSIX, Ada 2005
75	Patrick Rogers, Andy J. Wellings	OpenAda: Compile-Time Reflection for Ada 95.	Ada-Europe	2004	DBLP DOI BibTeX RDF	compiler, tools, Reflection, Ada language
75	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
75	Kristina Lundqvist, Lars Asplund, Stephen Mitchell	A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects
75	S. R. Waterman	Techniques for Testing Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Controlled Types, Hierarchical Libraries, Testing, Ada 95, Protected Objects
75	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
75	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
75	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
75	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
74	Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond	Critical Races in Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	critical races, concurrent Ada programs, system errors, CRF language, caller selection mechanism, discriminatory mutual exclusion, dimutex, MLog language, gas-station example, parallel programming, Ada, rapid-prototyping, Ada language
74	Michael B. Feldman	SF1: introduction to ada.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, reliability, ada, object-oriented programming, programming language, software, concurrent programming
74	Martin C. Carlisle, Leemon C. Baird III	Timing neural networks in C and ada.	SIGAda	2007	DBLP DOI BibTeX RDF	neural networks, ada, benchmarking, C
73	Michael J. Glasgow, Brian D. Nettleton	Data Compatibility in a Heterogeneous Processor Environment.	Ada-Europe	1993	DBLP DOI BibTeX RDF
73	Irfan Hamid, Elie Najm	Operational Semantics of Ada Ravenscar.	Ada-Europe	2008	DBLP DOI BibTeX RDF
73	Raul Fechete, Georg Kienesberger, Johann Blieberger	A Framework for CFG-Based Static Program Analysis of Ada Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
73	Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre	Modelling Remote Concurrency with Ada.	Ada-Europe	2007	DBLP DOI BibTeX RDF
73	Gustavo Aranda Bada, Javier Palanca Cámara, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes	Towards Developing Multi-agent Systems in Ada.	Ada-Europe	2006	DBLP DOI BibTeX RDF
73	José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente	Hierarchical Scheduling with Ada 2005.	Ada-Europe	2006	DBLP DOI BibTeX RDF
73	Benjamin M. Brosgol, Andy J. Wellings	A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications.	Ada-Europe	2006	DBLP DOI BibTeX RDF
73	Agustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena	Mixing Scheduling Policies in Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF
73	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
73	Ehud Lamm	Adding Design by Contract to the Ada Language.	Ada-Europe	2002	DBLP DOI BibTeX RDF
73	Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo	An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard.	Ada-Europe	2002	DBLP DOI BibTeX RDF
73	Björn Källberg	Is an Ada Lint Necessary?	Ada-Europe	2000	DBLP DOI BibTeX RDF
73	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
73	Eric Bruneton, Jean-François Pradat-Peyre	Automatic Verification of Concurrent Ada Programs.	Ada-Europe	1999	DBLP DOI BibTeX RDF
73	Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings	On Programming Atomic Actions in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF
73	Theodore P. Baker, Dong-Ik Oh	Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation.	Ada-Europe	1997	DBLP DOI BibTeX RDF
73	Xavier Franch	Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection.	Ada-Europe	1997	DBLP DOI BibTeX RDF
73	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
73	Roland Feith, Michael Tonndorf	Planning the Transition to Ada 95 for a Large Real-Time Project.	Ada-Europe	1996	DBLP DOI BibTeX RDF
73	Alan Burns 0001, Andy J. Wellings	Ada 95: An Effective Concurrent Programming Language.	Ada-Europe	1996	DBLP DOI BibTeX RDF
73	Kristina Lundqvist, Göran Wall	Using Object-Oriented Methods in Ada 95 to Implement Linda.	Ada-Europe	1996	DBLP DOI BibTeX RDF
73	Jingde Cheng, Kazuo Ushijima	Tasking Deadlocks in Ada 95 Programs and Their Detection.	Ada-Europe	1996	DBLP DOI BibTeX RDF
73	André Laurens	PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S.	Ada-Europe	1995	DBLP DOI BibTeX RDF
73	Lars Björnfot	Ada and Timed Automata.	Ada-Europe	1995	DBLP DOI BibTeX RDF
73	Jørgen Bundgaard	An ANDF Based Ada 95 Compiler System.	Ada-Europe	1995	DBLP DOI BibTeX RDF
73	William M. Thomas, Alex Delis, Victor R. Basili	An Evaluation of Ada Source Code Reuse.	Ada-Europe	1992	DBLP DOI BibTeX RDF
73	Jean Willain, Pierrot Baesens, Joël Sanzot, Stef van Vlierberghe	Real-Time Electronic Funds Transfer and Ada.	Ada-Europe	1991	DBLP DOI BibTeX RDF
73	Alfred Rosskopf	Reusable Input/Output Packages for Ada Avionic Applications.	Ada-Europe	1991	DBLP DOI BibTeX RDF
73	Mark W. Borger, Marilyn Keller	Ada real-time design case study tutorial TRI-ada '91.	TRI-Ada Tutorial	1991	DBLP DOI BibTeX RDF
72	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
72	Mark Aldrich	Secured Systems and Ada: A Trusted System Software Architecture.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
72	John D. Riley	A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada
72	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
72	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
72	Arthur G. Duncan	Conversion to Ada and Ada 95: A Software Re-engineering Approach.	TRI-Ada Tutorials	1995	DBLP DOI BibTeX RDF	Ada
71	Jon Bondy	Uninitialized Modula-2 Abstract Object Instances, Yet Again.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Modula-2
71	Ravinder Chandhok, Terry A. Gill	Ada Edu Project: Supporting the Use of Ada in Introductory Computer Science.	CSEE	1988	DBLP DOI BibTeX RDF
71	Sergey Rybin, Alfred Strohmeier	Ada and ASIS: Justification of Differences in Terminology and Mechanisms.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, Ada
71	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
71	Yvon Kermarrec, Laurent Nana, Laurent Pautet	Providing Fault-Tolerant Services to Distributed Ada 95 Applications.	TRI-Ada	1996	DBLP DOI BibTeX RDF	Ada, Ada
71	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
70	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
70	Karl Rehmer	Ada software development using generics.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada
70	George Romanski	Ada in the avionics industry.	SIGAda	2005	DBLP DOI BibTeX RDF	Ada
70	C. Wayne Brown	Teaching graphics using Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	Ada, computer graphics, C, VRML, cross compiling, code conversion
70	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
70	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
69	Javier Miranda, Edmond Schonberg	GNAT: on the road to Ada 2005.	SIGAda	2004	DBLP DOI BibTeX RDF	compiler, Ada 2005, front-end, GNAT
69	Bill Taylor, Einar W. Karlsen	Mapping UML to Ada.	Ada-Europe	2001	DBLP DOI BibTeX RDF
69	David Mundie, John Fardo, Ed Kuzemchak	Implementing Protected Types on Embedded Targets.	Ada-Europe	1996	DBLP DOI BibTeX RDF
69	Alan Burns 0001, Andy J. Wellings, A. D. Hutcheon	The Impact of an Ada Run-Time System's Performance Characteristics on Scheduling Models.	Ada-Europe	1993	DBLP DOI BibTeX RDF
68	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
68	Francisco Guerra Santana, Javier Miranda, Angel Alvarez, Sergio Arévalo	An Ada Library to Program Fault-Tolerant Distributed Applications.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Distributed Systems, Ada, Fault-Tolerant Systems, Isis
68	Jim E. Cooling, N. Duff, Joanne Cooling	Computer Aided Teaching of Programming Languages: An Ada-specific Development.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Computer aided teaching, animation and simulation, Ada, programming languages
68	Vincent Celier	Visibility Control and Migration of Interfaces in Large Ada Systems.	Ada-Europe	1996	DBLP DOI BibTeX RDF	Interface Management, Ada, Packaging, Program Evolution
68	Yvon Kermarrec, Laurent Pautet	Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
67	M. E. Gordon, W. B. Robinson	Using preliminary Ada in a process control application.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
67	Andrew Berns	A comparison of CORBA and ada's distributed systems annex.	SIGAda	2005	DBLP DOI BibTeX RDF	distributed computing, CORBA, distributed systems annex
67	Ricky E. Sward, A. T. Chamillard	AdaSlicer: an Ada program slicer.	SIGAda	2003	DBLP DOI BibTeX RDF	program slicing, ASIS
67	Sergio Sáez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo	Implementing Reactive Systems with UML State Machines and Ada 2005.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005
67	Mario Aldea Rivas, Michael González Harbour, José F. Ruiz	Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.	Ada-Europe	2009	DBLP DOI BibTeX RDF	Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005
67	Michael B. Feldman	An Ada 95 Sort Race Construction Set.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Concurrent Programming, Ada 95, Algorithm Animation
67	Philippe Waroquiers	Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question!	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada 83 Experience, Design, Tasking, Air Traffic Control, Dynamic Memory
67	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
66	Michael B. Feldman, Melinda L. Moran	Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	demonstration tool, graphics-assisted debugging, Ada concurrent programs, static task-specification diagrams, communicating tasks, DEC GIGI terminal, VAX 11-780, partial Ada compiler, tasking programs, graphical debugger, parallel programming, Ada, computer graphics, software tools, program verification, program debugging, intertask communication
66	Sol M. Shatz	Towards Complexity Metrics for Ada Tasking.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	concurrently active rendezvous, representative distributed programming language, Petri net graph model, Ada rendezvous, rendezvous graph, software engineering, software engineering, computational complexity, Ada, distributed processing, directed graphs, communication complexity, software complexity, complexity metrics, Ada tasking
65	Narain H. Gehani, William D. Roome	Rendezvous Facilities: Concurrent C and the Ada Language.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	rendezvous concept, parallel programming, parallel programming, Ada, Ada, concurrent programming, C language, Concurrent C
65	Richard Mancusi, Joyce L. Tokar, Moshe Rabinowitz, Eliezer N. Solomon, Marc Pitarys, Clive L. Benjamin	Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures.	Ada-Europe	1993	DBLP DOI BibTeX RDF
65	John Beidler	Structuring Iterators to Encourage Reuse.	Ada-Europe	1993	DBLP DOI BibTeX RDF
65	Alan Burns 0001, Andy J. Wellings, C. M. Bailey, E. Fyfe	The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation.	Ada-Europe	1993	DBLP DOI BibTeX RDF
65	Jürgen Schwille	Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handling.	Ada-Europe	1993	DBLP DOI BibTeX RDF
65	Alan Burns 0001, Andy J. Wellings, Fengxiang Zhang	Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.	Ada-Europe	2009	DBLP DOI BibTeX RDF
65	Francisco J. Montoya-Dato, José Luis Fernández Alemán, Ginés García-Mateos	An Experience on Ada Programming Using On-Line Judging.	Ada-Europe	2009	DBLP DOI BibTeX RDF	e-learning, Programming, assessment
65	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
65	Bárbara Álvarez, Juan Angel Pastor, Francisco J. Ortiz, Pedro Sánchez, Pedro Javier Navarro Lorente	Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada.	Ada-Europe	2004	DBLP DOI BibTeX RDF	object-oriented pro-gramming, real-time systems, Education and training
65	Bernd Burgstaller, Johann Blieberger, Bernhard Scholz	On the Tree Width of Ada Programs.	Ada-Europe	2004	DBLP DOI BibTeX RDF
65	William M. Evanco, June M. Verner	Some Architectural Features of Ada Systems Affecting Defects.	Ada-Europe	2003	DBLP DOI BibTeX RDF
65	Xavier Franch, Jordi Marco	A Quality Model for the Ada Standard Container Library.	Ada-Europe	2003	DBLP DOI BibTeX RDF
65	Ehud Lamm	Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design.	Ada-Europe	2003	DBLP DOI BibTeX RDF