| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Hind, Edmond Schonberg |
Efficient loop-level parallelism in Ada.  |
TRI-Ada  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard E. Copra, Joseph R. Vogl |
Gun turret drive stabilization system for the M1A2. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Chase Dane |
Large development teams and the Ada library or who recompiled the #%$@!& Ada library. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne E. Erdos, Ralph Crafts, Robert Dewar, Kenneth Fussichen, Robert Roe, John P. Solomond |
The first 100 days of Ada. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela S. Kimminau, Russell J. Graves |
Promoting Ada at the National Security Agency. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas D. Fenton, Bart Jeffcoat |
Development of the Standard Army Ammunition System. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Rosenfeld |
Supporting packed decimal in Ada. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Cochran, Hassan Gomaa |
Validating the ADARTS software design method for real-time systems. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | J.-M. Lippens, J. Arnol |
A large on-board real time system in submarines. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianzhong Liang, Zhenyu Wang |
Ada-based support for abstraction, encapsulation and unit hierarchy. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Anneliese von Mayrhauser |
AMT - the Ada maintenance toolchest. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | William K. Krutz, Kent Allen, Daniel P. Olivier |
The costs related to making software reusable: experience from a real project. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | S. M. Austin, D. R. Wilkins, Brian A. Wichmann |
An Ada program test generator. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth C. Elsom |
Grow: an APSE stress tester. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kari Kruempel |
Ada and CMS-2 cohabitation: A transition method for U.S. Navy realtime tactical systems. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney M. Bates, Viswa Santhanam, Donald E. Johnson |
Design and implementation of a multi-tool Ada front end. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David Field, Bryan Cordell, Gaynor Murray, Geoff Cram, Richard Patrick |
US Naval airship. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Noah S. Prywes, Evan D. Lock, Xiang Ge |
Automatic abstraction of real-time software and re-implementation in Ada. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Anderson, John D. Sheffler, Elaine S. Ward |
Manageable object-oriented development: abstraction, decomposition, and modeling. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruhiko Nishida, Takumi Itoh, Ryuji Nakayama |
Distribution of Ada tasks onto a heterogeneous environment. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Brownsword, Rick McUmber |
Applying the iterative development process to large 2167A Ada projects. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvonne LaMarr, William E. Fravel Jr. |
Software independent verification and validation: a process perspective. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Henry |
AdaTRAN as a teaching tool. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Lee Silverthorn |
Ada optimizations - why should a user care? |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Judah Mogilensky |
Future approaches to software procurement. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf H. Olsson |
Bofors 9LV Mk3 system - developing for maximum software reuse. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Pen-Nan Lee, Ravinder P. Reddy, Yiwei Chen |
Allocation strategies for Ada tasks on hypercube multi-processors. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfred Scholldorf |
Reuters: experience with D2000 and Globex. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | R. A. Lees |
A tailored design language: putting model based formal specification into practice. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Walker E. Royce |
Pragmatic quality metrics for evolutionary software development models. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David E. Emery |
A prototype implementation of the Ada binding to POSIX. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Burton |
Some effects of coding styles on optimizations. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Larry E. Druffel |
Ada-oriented software engineering environments. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Conners |
Selecting an Ada contractor - one way that worked. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. McGarvey |
ABET - a standard for Ada in a test environment. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ed Seidewitz |
How much object-orientation in Ada? (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin E. Carlin, Dino R. Russo, Brad Balfour |
A proposal for a recursive object-oriented life-cycle. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Anderson |
Getting Ada into the mainstream. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Springman, Jeffrey L. Richardson |
Command center processing and display system replacement - CCPDS-R. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert F. Mathis |
Personal thoughts on Ada's object orientation. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John Foreman, Richard R. Gross |
Track 4 background and purpose. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc H. Graham |
Down in the details: lessons learned in interfacing Ada and SQL. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Crafts |
Ada awareness issues: in government, Congress, and industry (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Chia-Shiang Shih, John A. Stankovic |
Distributed deadlock detection in Ada run-time environments. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney C. Bailin, Manju Bewtra, J. Mike Moore |
Combining object-oriented and functional paradigms in a design methodology for Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Harlan D. Mills |
Ada systems. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Patti J. Hicks, Jennifer M. Taulbee |
LINX - Ada in an open systems architecture. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Devesh Bhatt |
Implementing a distributed fault-tolerant embedded system in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dick Drake, William H. Ett |
Reuse: the two concurrent life cycles paradigm. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Erhard Ploedereder |
Status of Ada then and now (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | William Carlson |
Language design and standardization. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck Engle |
Ada education in universities (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald G. Krantz |
Ada development system technical and performance requirements (with rationale). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas J. Brady |
Ada implementation of a real-time communications system. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Rebecca Abraham |
Compiler evaluation within DoD (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Solomond |
Current and future trends in compiler validation and evaluation (invited presentation). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Allison LeClair, Susan Phillips |
A prototype implementation of the SQL Ada module extension (SAME) method. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Mark S. Gerhardt |
Sociological concerns about Ada in the 1990s. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Tucker Taft |
Ideas for kick-starting the Ada market of the 1990s. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingde Cheng |
Task-wait-for graphs and their application to handling tasking deadlocks. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Daniel Lee |
Toward the efficient implementation of expert systems in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | R. H. Pierce, S. D. Bluck |
Reverse engineering Ada into HOOD. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank C. Belz, David C. Luckham |
A new approach to prototyping Ada-based hardware/software systems. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman R. Howes |
Toward a real-time Ada design methodology. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary J. Gregory, Kwei-Jay Lin |
Building real-time imprecise computations in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Sholom Cohen |
Process and products for software reuse in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey R. Hird |
Towards reuse of verified Ada software. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert F. Mathis |
People, events, and technology insertion in the Ada program. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Juttelstad, Rich Bergman |
Ada and the Navy next generation computer resources operating system interface standard. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul A. Jennings |
Ada interrupt handlers for hard real-time systems. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard T. Gallivan, Tom McMannus |
DIGITAC III digital flight control system. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Bevin R. Brett |
Optimisation and performance issues: things the user can do to exploit VAX Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | James Ware |
Integrating Ada with existing systems: the ATACC experience. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard R. Gross, David A. Umphress |
Software engineering as a radical novelty: the Air Force Ada experience. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | James Peters, William J. Hankley |
Proving specifications of tasking systems using Ada/TL. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron Van Huss |
Simulation and design in an object-oriented world: a methodology for large software systems. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald J. Reifer |
SoftCost-Ada: user experiences and lessons learned at the age of three. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. McMahon |
Ada: experience it again for the first time. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey O. Mendal |
An Ada 9X town meeting: getting Ada into the mainstream in the 1990s (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence Collingbourne |
Ada optimizations - an embedded systems view. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Solomond |
Ada compiler evaluation. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Litke |
A systematic approach for implementing fault tolerant software designs in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith M. Hines |
Ada impacts on a second generation project. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Ottenweller, Nathan Palmer |
STANFINS: one year later. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale J. Gaumer, Ronald L. Lawson |
AFATDS - from concept evaluation to full scale development. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | J. F. Barhorst, R. W. Seelye |
Ada run-time system contention measurement. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Carré, Johnathan Randall Garnsworthy |
SPARK - an annotated Ada subset for safety-critical programming. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles B. Engle Jr. (eds.) |
Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990 |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John Chludzinski, Robert Chi Tau Lai |
An experiment with Graphite. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert C. Shock |
Fashioning conceptual constructs in Ada. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Stowe Boyd |
Ada interface technology (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Ville, Alain Bratel |
A real-time Ada design method based on DoD-STD-2167A. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Judah Mogilensky |
Barriers to Ada adoption: have they changed? (panel). |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kent Allen, William K. Krutz, Daniel P. Olivier |
Software reuse: mining, refining, and designing. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Brad Balfour |
Position paper. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | T. James Cannaliato, F. Michael Thomas |
A portable communication facility for distributed client/server architectures. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Fussichen |
Getting Ada into the mainstream in the 1990's. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Wengelin, Lars Asplund |
Application of Ada on a distributed missile control system. |
TRI-Ada |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license