|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989, pp. 517-527, 1989, ACM, 978-0-89791-329-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
61 | Betty Alexandra Toole |
Ada Lovelace lives forever: Ada's four questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada Lovelace Symposium ![In: Ada Lovelace Symposium 2015 - Celebrating 200 Years of a Computer Visionary, Ada Lovelace Symposium 2015, Oxford, UK, December 10, 2015, pp. 11, 2015, ACM, 978-1-4503-4150-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, November 5 -10, 1995, Anaheim, CA, USA, pp. 239-244, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, November 5 -10, 1995, Anaheim, CA, USA, pp. 446-454, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
61 | Gary Shupe |
For partnership initiatives, will Ada 95 experiences parallel Ada 83 experiences? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, November 5 -10, 1995, Anaheim, CA, USA, pp. 245-246, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 444-455, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
61 | George H. Marschalk IV |
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991, pp. 64-74, 1991, ACM, 978-0-89791-445-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Chase Dane |
Large development teams and the Ada library or who recompiled the #%$@!& Ada library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991, pp. 301-310, 1991, ACM, 978-0-89791-445-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990, pp. 508-516, 1990, ACM, 978-0-89791-409-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
61 | Geoffrey O. Mendal |
An Ada 9X town meeting: getting Ada into the mainstream in the 1990s (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990, pp. 426, 1990, ACM, 978-0-89791-409-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
61 | Thomas S. Radi |
Testing Ada designers and code. Test Gen-Ada testing tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988, pp. 165-180, 1988, ACM, 978-0-89791-285-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
61 | Hector Villarreal |
Ada in data base environment- SYBASE implementation of an Ada/SQL interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988, pp. 466-476, 1988, ACM, 978-0-89791-285-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
61 | Kim Levis Hoover |
Ada and MIS - establishing an Ada foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988, pp. 495-502, 1988, ACM, 978-0-89791-285-3. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 281-292, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 67-78, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 305-312, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Patricia K. Lawlis |
Is the Answer Always Ada? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 297-302, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | A. T. Chamillard, William C. Hobart Jr. |
Transitioning to Ada in an Introductory Course for Non-Majors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 37-40, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 31-36, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | James B. White III |
Performance Issues of Scientific Programming in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 279-294, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 105-110, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Benjamin M. Brosgol |
A Comparison of the Object-Oriented Features of Ada 95 and Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 213-229, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java, Ada |
60 | Anthony B. Gargaro |
Ada-Java Communication in ADEPT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 231-245, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java, Ada |
60 | Dong-Ik Oh, Theodore P. Baker |
Optimization of Ada '95 Tasking Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 79-88, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 135-139, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Vincent Celier |
Managing Usage of Dynamic Structures with Ada Controlled Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 165-170, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Randall Brukardt, Tom Moran |
CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 91-104, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 125-132, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Brad Balfour |
Combining Ada 95, Java Byte Code, and the Distributed Systems Annex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 247-260, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java, Ada |
60 | Kevin Tucker |
Debugging Highly-Optimized Ada with Code Motion (DHACM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 197-203, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Ada |
60 | Helge Hagenauer, Werner Pohlmann |
Prototyping a Parallel Discrete Event Simulation System in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 11-22, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Matthew B. Dwyer, Matthew J. Craig, Eric Runquist |
An Application-Independent Concurrency Skeleton in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 179-192, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 143-147, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | John Beidler |
REUSE/Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 211-217, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 255-268, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 99-113, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada, C++, Eiffel |
60 | Terry J. Westley |
TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 165-178, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Bohdan Nebesh, Michael B. Feldman |
Learning to Use Ada 95 Components Using HTML Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 207-210, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada, HTML |
60 | Yvon Kermarrec, Laurent Nana, Laurent Pautet |
GNATDIST: A Configuration Language for Distributed Ada 95 Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 63-72, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 3-9, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 151-155, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 157-161, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Huiming Yu, Albert C. Esterline, Joseph Monroe |
Object Oriented Formal Specifications to Support Ada 95 Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA, pp. 125-131, 1996, ACM, 0-89791-808-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ada |
60 | Michael B. Feldman, Jack Beidler |
Teaching Object Programming with Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 655-685, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Brad Balfour, Mark S. Gerhardt |
Patterns and paradigms for using Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 243-310, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Bryce M. Bardin |
Implementing Concurrent Programs in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 557-654, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Ken Shumate |
Software Specification and Design with Ada: A Disciplined Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 118-119, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | David Weller |
The GNU Ada 95 Booch Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 173-223, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Janet Johns, J. L. Diaz-Herrara |
Intelligent Systems and Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 311-357, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Stéphane Barbey, Magnus Kempe, A. Strohmeir |
Advanced Object-Oriented Features and Programming in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada Tutorials ![In: Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA., pp. 359-489, 1995, ACM, 0-89791-705-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Ada |
60 | Yvon Kermarrec, Laurent Pautet |
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA., pp. 242-251, 1993, ACM, 0-89791-621-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Ada |
60 | John W. McCormick |
Teaching Ada by the Book: The Pedagogy of Ada in CS1 (Panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA., pp. 162-167, 1993, ACM, 0-89791-621-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992., pp. 484-492, 1992, ACM, 0-89791-529-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Ada |
60 | Kenneth Fussichen |
Ada and CICS: or (yes! Ada can be done on an IBM Mainframe). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992., pp. 415-422, 1992, ACM, 0-89791-529-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Ada, CICS |
59 | Benjamin M. Brosgol |
Ada and the Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 438, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
59 | Paul Keller, Thomas Maas |
An OPTRAN-generated Front-End for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAGA ![In: Attribute Grammars and their Applications, International Conference WAGA, Paris, France, September 19-21, 1990, Proceedings, pp. 266-283, 1990, Springer, 3-540-53101-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 39-56, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interoperability, dependability, heterogeneity, architectural description |
59 | Ricky E. Sward, A. T. Chamillard |
Re-engineering global variables in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004, pp. 29-34, 2004, ACM, 1-58113-906-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ASIS, SPARK, global variables |
59 | Michael B. Feldman |
Ada 83 and Ada 9X in the universities: filling the pipeline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADAS ![In: Proceedings of the Tenth Annual Washington Ada Symposium on Ada - Ada's Role in Software Engineering, WADAS 1993, McLean, Virginia, USA, June 28 - July 1, 1993, pp. 106, 1993, ACM, 978-0-89791-609-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
59 | J. C. Helm, T. E. Cook |
Ada implementation in a non-Ada environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADAS ![In: Proceedings of the Second Annual Washington Ada Symposium on Ada - Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, D.C., USA, 1985, pp. 5-10, 1985, ACM, 978-1-4503-7318-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
59 | Vasiliy Fofanov, Sergey Rybin, Alfred Strohmeier |
ASIStint: An Interactive ASIS Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 205-209, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 56-63, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 21-50, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 314-326, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001., pp. 61-70, 2001, ACM, 1-58113-392-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Testing, Analysis, and Verification ![In: Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989, pp. 187-196, 1989, ACM, 0-89791-342-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Ada |
59 | Linda Rising |
A comparison of two object-oriented design methodologies (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 409, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Ada |
58 | John W. McCormick |
MA1: Ada for real-time and parallel processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 5-6, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 75-84, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dpcp, dsrp, edf, ada, pcp, rms, srp |
58 | Tom Grosman |
Hibachi: the eclipse ada development toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 99, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003, pp. 29-37, 2003, ACM, 1-58113-476-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 163-168, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
software engineering, Ada, closed lab |
58 | Laurent Pautet, Thomas Wolf |
Transparent Filtering of Streams in GLADE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA, pp. 11-19, 1997, ACM, 0-89791-981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 97-104, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 109-120, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 57-74, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 1-10, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 133-143, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time, Ada 95, device drivers, C programming language |
57 | Frederic H. Wild III |
Avoiding Anomalies in Inheritance Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings, pp. 108-113, 1993, Springer, 3-540-56802-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 158-170, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 15-28, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Andy J. Wellings, Alan Burns 0001 |
Real-Time Utilities for Ada 2005. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 1-14, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 168-179, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Johann Blieberger, Bernd Burgstaller, Robert Mittermayr |
Static Detection of Livelocks in Ada Multitasking Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 69-83, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Ward Douglas Maurer |
Using Mathematics to Improve Ada Compiled Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings, pp. 191-202, 2006, Springer, 3-540-34663-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 129-143, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa 0004 |
An Ada Framework for QoS-Aware Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 25-38, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll |
Distributing Criticality Across Ada Partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings, pp. 196-207, 2005, Springer, 3-540-26286-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Alan Burns 0001, Andy J. Wellings, S. Tucker Taft |
Supporting Deadlines and EDF Scheduling in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 156-165, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 190-199, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Mário Amado Alves |
A Theory of Persistent Containers and Its Application to Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 297-308, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 132-143, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Helge Hagenauer, Norbert Martinek, Werner Pohlmann |
Ada Meets Giotto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 237-248, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Franco Gasperoni |
Vector Processing in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings, pp. 321-331, 2004, Springer, 3-540-22011-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 168-181, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Christoph Grein, Dmitry A. Kazakov, Fraser Wilson |
A Survey of Physical Unit Handling Techniques in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 258-270, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 113-128, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Alan Burns 0001, Michael González Harbour, Andy J. Wellings |
A Round Robin Scheduling Policy for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 334-343, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 282-296, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Jean-Pierre Rosen |
Ada, Interfaces and the Listener Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 344-356, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|