|
|
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 |
49 | Erhard Ploedereder |
Status of Ada then and now (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Chuck Engle |
Ada education in universities (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Donald G. Krantz |
Ada development system technical and performance requirements (with rationale). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Thomas J. Brady |
Ada implementation of a real-time communications system. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Allison LeClair, Susan Phillips |
A prototype implementation of the SQL Ada module extension (SAME) method. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Frederic H. Wild III |
A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Mark S. Gerhardt |
Sociological concerns about Ada in the 1990s. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | S. Tucker Taft |
Ideas for kick-starting the Ada market of the 1990s. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | S. Daniel Lee |
Toward the efficient implementation of expert systems in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | R. H. Pierce, S. D. Bluck |
Reverse engineering Ada into HOOD. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Frank C. Belz, David C. Luckham |
A new approach to prototyping Ada-based hardware/software systems. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Norman R. Howes |
Toward a real-time Ada design methodology. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Gary J. Gregory, Kwei-Jay Lin |
Building real-time imprecise computations in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Sholom Cohen |
Process and products for software reuse in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Geoffrey R. Hird |
Towards reuse of verified Ada software. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Robert F. Mathis |
People, events, and technology insertion in the Ada program. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Daniel Juttelstad, Rich Bergman |
Ada and the Navy next generation computer resources operating system interface standard. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Paul A. Jennings |
Ada interrupt handlers for hard real-time systems. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Bevin R. Brett |
Optimisation and performance issues: things the user can do to exploit VAX Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | James Ware |
Integrating Ada with existing systems: the ATACC experience. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Richard R. Gross, David A. Umphress |
Software engineering as a radical novelty: the Air Force Ada experience. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | James Peters, William J. Hankley |
Proving specifications of tasking systems using Ada/TL. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Donald J. Reifer |
SoftCost-Ada: user experiences and lessons learned at the age of three. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Paul E. McMahon |
Ada: experience it again for the first time. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Lawrence Collingbourne |
Ada optimizations - an embedded systems view. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | John P. Solomond |
Ada compiler evaluation. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | John D. Litke |
A systematic approach for implementing fault tolerant software designs in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Keith M. Hines |
Ada impacts on a second generation project. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | J. F. Barhorst, R. W. Seelye |
Ada run-time system contention measurement. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Bernard Carré, Johnathan Randall Garnsworthy |
SPARK - an annotated Ada subset for safety-critical programming. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Robert C. Shock |
Fashioning conceptual constructs in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Stowe Boyd |
Ada interface technology (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Christophe Ville, Alain Bratel |
A real-time Ada design method based on DoD-STD-2167A. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Judah Mogilensky |
Barriers to Ada adoption: have they changed? (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Kenneth Fussichen |
Getting Ada into the mainstream in the 1990's. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | D. Wengelin, Lars Asplund |
Application of Ada on a distributed missile control system. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Paul A. Bailes, Dan Johnson, Eric J. Salzman, Li Wang 0003 |
DAda - an Ada preprocessor for functional programming. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Philip E. Railsback, Louis C. Rose, Ann E. Corrigan |
Effects of Ada on design problems in a discrete event simulator. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Eli Solomon |
The Ada tasking model is adequate for real-time embedded applications (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Joachim Roos |
The performance of a prototype coprocessor for Ada tasking. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Jack H. Schwartz |
Object oriented extensions to Ada: a dissenting opinion. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Kenneth L. James, Gregory J. Saul, David L. Shroads, William F. Zickefoose |
Weirton Steel - Ada in process control. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Philippe Collard, Andre Goforth, Matthew Marquardt |
Ada as a parallel language for high performance computers: experience and results. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Valérie Lecompte |
Practical use of Ada in a heterogeneous multi-processor computer. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Charles B. Engle Jr. |
The marriage of Ada and Joe College. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Virginia L. Castor |
Ada policy. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Kenneth Fussichen |
Why COBOL programmers refuse Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Daniel Roy |
Ada optimizations - why the user should care (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Robert J. Knapper |
An introduction for the TRI-Ada session on reusability. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Nelson H. Weiderman |
Evaluating real-time performance of Ada implementations. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | William T. Howle |
Ada in real-time embedded systems Orbital Maneuvering Vehicle (OMV). |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Victor Berman, Carl Schaefer |
The VHDL design system: an Ada-based ECAD system for VLSI. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Mary E. Biddle |
Lessons learned by using different methodologies on five Ada projects. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Paul J. Mayer |
Entering the Ada systems design and coding market. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Larry Ritter |
Tools and methods for embedded system design using Ada. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Bill Miller |
Improved HELLFIRE, successful use of the Ada language in an embedded, real-time application. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Ralph Crafts |
Ada for flexible manufacturing: foundation for success. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Marc Pitarys |
Real-time Ada-observations & experiences with respect to avionics. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Mark S. Gerhardt |
The real transition problem or don't blame Ada. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Donald G. Firesmith |
Managing Ada projects: the people issues. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Karen E. Sivley |
Ada software productivity issues: results from the AFATDS project. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Goran Hemdal |
Generating efficient and complete Ada from a CASE tool. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | David Nelson-Gal |
High performance implementations for Ada interrupts in real-time systems. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Linda S. Alger |
Ada software experience with the advanced information processing system. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Donald J. Reifer |
Ada cost issues and answers. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Judy Bamberger |
Distributed Ada real-time kernel (DARK). |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Chuck Hobin |
The Ada test and verification systems (ATVS). |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Robert M. David |
Parallel Ada on Alliant's FX/series. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | P. Simon Tuffs |
Real-time process control in Ada. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | William A. Whitaker |
Selling Ada - the early days. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Thomas E. Griest |
Distributed Ada for deadline driven applications. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | David L. Barton |
VHDL and Ada firmware. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Dale J. Gaumer, Daniel Roy, Mark S. Gerhardt, Kenneth L. Bowles, G. Smith |
Undoing Ada hype. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Bruce W. Soares, Harry H. Sun |
Advanced combat systems interactive design laboratory (ACSIDL)-the Ada experience. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Claton J. Horning |
Ada integration into MIS environment. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | John Schabowski |
Ada on the AM 29000 in military real-time embedded control applications. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Stowe Boyd |
The Ada binding for POSIX. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Michael F. Tighe |
Instruction scheduling of Ada on RISC processors. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Don O'Neill |
Managing Ada transition. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | David L. Barton |
Systems design issues using Ada and VHDL. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Kathy Schubert |
The evaluation of Ada software to support the space station power management and distribution system. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Beth Cockerham |
Parallel compilation of Ada units. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Barbara Scott |
Explorer platform Ada flight software. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Gary Frankel |
Ada software engineering and optimized code. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Larry Howard |
Risk management in Ada technology transfer. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Richard P. Wesenberg, Bruce W. Johnston, Patrick Mulligan |
Using Ada for development of a wird sensing Clear Air Doppler Radar (CADR) work station at the Kennedy space station. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Daniel F. Sterne, G. Pretti, A. Glendening, B. Jachowski |
A simplified graphic notation for Ada programs. |
TRI-Ada |
1988 |
DBLP DOI BibTeX RDF |
|
49 | Vic Stenning |
The Ada Environment - A Personal View. |
System Development and Ada |
1986 |
DBLP BibTeX RDF |
|
49 | David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler |
Task Sequencing Languages for Specifying Distributed Ada Systems. |
System Development and Ada |
1986 |
DBLP BibTeX RDF |
|
49 | Charles Z. Mitchell |
Engineering VAX Ada for a Multi-Language Programming Environment. |
System Development and Ada |
1986 |
DBLP BibTeX RDF |
|
49 | John B. Goodenough 0002 |
Ada Compiler Validation: An Example of Software Testing Theory and Practice. |
System Development and Ada |
1986 |
DBLP BibTeX RDF |
|
49 | S. Tucker Taft |
Diana as an internal representation in an Ada-in-Ada compiler. |
AdaTEC Conference on Ada |
1982 |
DBLP DOI BibTeX RDF |
|
49 | Laura K. Dillon |
Verifying General Safety Properties of Ada Tasking Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs |
49 | Louise E. Moser |
Data Dependency Graphs for Ada Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment |
49 | David Guaspari, Carla Marceau, Wolfgang Polak |
Formal Verification of Ada Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs |
49 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
49 | Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein |
An Attribute Grammar for Ada. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Ada compiler, Attribute grammer, Ordered attribute grammer, Ada, Static semantics, Compiler compiler |
48 | Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov |
ASIS-for-GNAT: A Report of Practical Experiences. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Ada, Programming Language, Programming Environment, Programming Tool, ASIS |
48 | Tse-Min Lin, John A. McDermid |
(True) Polymorphism in SPARK2000. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
Ada, Object-Oriented Programming, Polymorphism, SPARK |
48 | Cyrille Comar, Gary Dismukes, Franco Gasperoni |
Targeting GNAT to the Java Virtual Machine. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Java, Internet, Ada |
|
|