|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2580 occurrences of 979 keywords
|
|
|
Results
Found 5018 publication records. Showing 4847 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
61 | E. J. Dowling |
Testing distributed Ada programs. |
TRI-Ada |
1989 |
DBLP DOI BibTeX RDF |
|
61 | Betty Alexandra Toole |
Ada Lovelace lives forever: Ada's four questions. |
Ada Lovelace Symposium |
2015 |
DBLP DOI BibTeX RDF |
|
61 | 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 |
|
61 | Michael B. Feldman, Charles W. Kann, Arthur Vargas Lopes, Manuel A. Pérez-Quiñones |
GW-Ada/Ed: free Ada 83 development environments for IBM PC-compatible and Apple Macintosh computers. |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
61 | Gary Shupe |
For partnership initiatives, will Ada 95 experiences parallel Ada 83 experiences? |
TRI-Ada |
1995 |
DBLP DOI BibTeX RDF |
|
61 | D. De Gabaï |
LAMPBADA: Logiciel d'Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool). |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
61 | George H. Marschalk IV |
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Chase Dane |
Large development teams and the Ada library or who recompiled the #%$@!& Ada library. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Kourosh R. Dinyari, Thomas M. Johndrew, Kenneth J. Lamarche |
Managing Ada development risk in a non-Ada-based workstation environment. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
61 | Geoffrey O. Mendal |
An Ada 9X town meeting: getting Ada into the mainstream in the 1990s (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
61 | Thomas S. Radi |
Testing Ada designers and code. Test Gen-Ada testing tool. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
61 | Hector Villarreal |
Ada in data base environment- SYBASE implementation of an Ada/SQL interface. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
61 | Kim Levis Hoover |
Ada and MIS - establishing an Ada foundation. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
60 | Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan |
Translation and Execution of Distributed Ada Programs: Is It Still Ada? |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
distributed Ada programs, memory access architecture, binding time, system homogeneity, library packages, Ada, distributed processing, programming, program interpreters, distributed execution |
60 | Jingde Cheng |
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Hal Hart, Linda Brown, Patricia K. Lawlis, Richard Riehle, Maretta Holden |
Software Engineering Plan Reviews - Better for Ada Than the Mandate? (Panel). |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Patricia K. Lawlis |
Is the Answer Always Ada? |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | A. T. Chamillard, William C. Hobart Jr. |
Transitioning to Ada in an Introductory Course for Non-Majors. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | 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 |
60 | James B. White III |
Performance Issues of Scientific Programming in Ada 95. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada, C++, FORTRAN |
60 | Jesús M. González-Barahona, José Centeno-González, Pedro de las Heras Quirós, Francisco J. Ballesteros-Cámara, Luis López-Fernández |
Teaching Network Programming with Ada and Lower_Layer. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Benjamin M. Brosgol |
A Comparison of the Object-Oriented Features of Ada 95 and Java. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Java, Ada |
60 | Anthony B. Gargaro |
Ada-Java Communication in ADEPT. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Java, Ada |
60 | Dong-Ik Oh, Theodore P. Baker |
Optimization of Ada '95 Tasking Constructs. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | 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 |
60 | Vincent Celier |
Managing Usage of Dynamic Structures with Ada Controlled Objects. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Randall Brukardt, Tom Moran |
CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | 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 |
60 | Brad Balfour |
Combining Ada 95, Java Byte Code, and the Distributed Systems Annex. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Java, Ada |
60 | Kevin Tucker |
Debugging Highly-Optimized Ada with Code Motion (DHACM). |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Helge Hagenauer, Werner Pohlmann |
Prototyping a Parallel Discrete Event Simulation System in Ada. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Matthew B. Dwyer, Matthew J. Craig, Eric Runquist |
An Application-Independent Concurrency Skeleton in Ada 95. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | 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 |
60 | John Beidler |
REUSE/Ada. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | 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 |
60 | 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 |
60 | Terry J. Westley |
TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Bohdan Nebesh, Michael B. Feldman |
Learning to Use Ada 95 Components Using HTML Linking. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada, HTML |
60 | 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 |
60 | Kwok-Bun Yue, Sadegh Davari, Ted Leibfried |
Priority Ceiling Protocol in Ada. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | John A. Hamilton Jr., David A. Cook |
Ada Training and Education in the US Army and US Air Force. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Allen S. Parrish, David Cordes, Cynthia Lester, Deanne Moore |
Active Learning and Process Assessment: Two Experiments in an Ada-Based Software Engineering Course. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Huiming Yu, Albert C. Esterline, Joseph Monroe |
Object Oriented Formal Specifications to Support Ada 95 Reuse. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Michael B. Feldman, Jack Beidler |
Teaching Object Programming with Ada 95. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Brad Balfour, Mark S. Gerhardt |
Patterns and paradigms for using Ada 95. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Bryce M. Bardin |
Implementing Concurrent Programs in Ada 95. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Ken Shumate |
Software Specification and Design with Ada: A Disciplined Approach. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | David Weller |
The GNU Ada 95 Booch Components. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Janet Johns, J. L. Diaz-Herrara |
Intelligent Systems and Ada 95. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Stéphane Barbey, Magnus Kempe, A. Strohmeir |
Advanced Object-Oriented Features and Programming in Ada 95. |
TRI-Ada Tutorials |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Yvon Kermarrec, Laurent Pautet |
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
60 | John W. McCormick |
Teaching Ada by the Book: The Pedagogy of Ada in CS1 (Panel). |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada, Pascal |
60 | Tom Burger, James B. Bladen, Richard A. Volz, Ron Theriault, Gary W. Smith, Kali H. Buhariwalla |
A Practical Tool for Distributing Ada Programs: TeleSoft's Distributed Ada Configuration Tool. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
60 | Kenneth Fussichen |
Ada and CICS: or (yes! Ada can be done on an IBM Mainframe). |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, CICS |
59 | Benjamin M. Brosgol |
Ada and the Objects. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
59 | Paul Keller, Thomas Maas |
An OPTRAN-generated Front-End for Ada. |
WAGA |
1990 |
DBLP DOI BibTeX RDF |
|
59 | Sheldon X. Liang, Lyle A. Reibling, John Betts |
Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
interoperability, dependability, heterogeneity, architectural description |
59 | Ricky E. Sward, A. T. Chamillard |
Re-engineering global variables in Ada. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
ASIS, SPARK, global variables |
59 | Michael B. Feldman |
Ada 83 and Ada 9X in the universities: filling the pipeline. |
WADAS |
1993 |
DBLP DOI BibTeX RDF |
|
59 | J. C. Helm, T. E. Cook |
Ada implementation in a non-Ada environment. |
WADAS |
1985 |
DBLP DOI BibTeX RDF |
|
59 | Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier |
ASIStint: An Interactive ASIS Interpreter. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada, Ada, interpreter, ASIS |
59 | Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen |
Developing Scripting Capabilities for an Ada-Based Simulator. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Simulation, Scripting, Ada 95 |
59 | P. David, T. Planche, A. Corrégé, J.-F. Chane |
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
Key-words Ada for dependable software, Software Implemented Fault Tolerance Techniques, Defensive Programming, On-Board Computer System Software, Error Confinement area, Error propagation |
59 | Tadao Murata, Boris Shenker, Sol M. Shatz |
Detection of Ada Static Deadlocks Using Petri Net Invariants. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow |
59 | 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 |
59 | David S. Rosenblum, David C. Luckham |
Testing the Correctness of Tasking Supervisors with TSL Specifications. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
Ada |
59 | Linda Rising |
A comparison of two object-oriented design methodologies (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
Ada |
58 | John W. McCormick |
MA1: Ada for real-time and parallel processing. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity |
58 | Jim Ras, Albert M. K. Cheng |
Real-time synchronization on distributed architecture with Ada-2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
dpcp, dsrp, edf, ada, pcp, rms, srp |
58 | Tom Grosman |
Hibachi: the eclipse ada development toolset. |
SIGAda |
2007 |
DBLP DOI BibTeX RDF |
reliability, ada, software, safety, languages, eclipse, development environment, high integrity |
58 | Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers |
European air traffic flow management: porting a large application to GNU/linux. |
SIGAda |
2003 |
DBLP DOI BibTeX RDF |
CFMU, ETFMS, GNU, HP-PA RISC, HP-UX, Korn shell, eurocontrol, intel 80x86, performance, Ada, C++, C, linux, portability, COTS, POSIX, GNAT, air traffic management |
58 | Ming Wang |
Integrating a software engineering approach into an Ada closed laboratory. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
software engineering, Ada, closed lab |
58 | Laurent Pautet, Thomas Wolf |
Transparent Filtering of Streams in GLADE. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
security, distributed systems, cryptography, Ada, compression, distributed objects, Ada 95 |
57 | S. Tucker Taft |
Implementing the extended return statement for Ada 2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
build in place, extended return statement, limited types, ada 2005 |
57 | Brad J. Moore |
Distributed status monitoring and controlusing remote buffers and Ada 2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
multicast, c++, ada 2005, remote interfaces, distributed systems annex |
57 | Brad J. Moore |
A buffer container class hierarchy using Ada 2005. |
SIGAda |
2008 |
DBLP DOI BibTeX RDF |
container, ada 2005, remote interfaces, bounded buffer |
57 | Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé |
Scheduling and memory requirements analysis with AADL. |
SIGAda |
2005 |
DBLP DOI BibTeX RDF |
ada framework, memory requirements and real time scheduling analysis, AADL |
57 | 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 |
57 | Frederic H. Wild III |
Avoiding Anomalies in Inheritance Schemes. |
Ada-Europe |
1993 |
DBLP DOI BibTeX RDF |
|
57 | Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez |
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering |
57 | José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente |
Handling Temporal Faults in Ada 2005. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Andy J. Wellings, Alan Burns 0001 |
Real-Time Utilities for Ada 2005. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla 0001 |
Automatic Ada Code Generation Using a Model-Driven Engineering Approach. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Johann Blieberger, Bernd Burgstaller, Robert Mittermayr |
Static Detection of Livelocks in Ada Multitasking Programs. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Ward Douglas Maurer |
Using Mathematics to Improve Ada Compiled Code. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Benjamin M. Brosgol |
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa 0004 |
An Ada Framework for QoS-Aware Applications. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll |
Distributing Criticality Across Ada Partitions. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Alan Burns 0001, Andy J. Wellings, S. Tucker Taft |
Supporting Deadlines and EDF Scheduling in Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar |
A Randomised Test Approach to Testing Safety Critical Ada Code. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Mário Amado Alves |
A Theory of Persistent Containers and Its Application to Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente |
Implementing Execution-Time Clocks for the Ada Ravenscar Profile. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Helge Hagenauer, Norbert Martinek, Werner Pohlmann |
Ada Meets Giotto. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Franco Gasperoni |
Vector Processing in Ada. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau |
Quasar: A New Tool for Concurrent Ada Programs Analysis. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Christoph Grein, Dmitry A. Kazakov, Fraser Wilson |
A Survey of Physical Unit Handling Techniques in Ada. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Benjamin M. Brosgol, Andy J. Wellings |
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Alan Burns 0001, Michael González Harbour, Andy J. Wellings |
A Round Robin Scheduling Policy for Ada. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour |
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Jean-Pierre Rosen |
Ada, Interfaces and the Listener Paradigm. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 4847 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|