default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGAda 1998: Washington, DC, USA
- Ed Seidewitz, William Thomas, Michael B. Feldman:
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998. ACM 1998, ISBN 1-58113-033-3 - Brian Dobbing, Alan Burns:
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. 1-6 - Stephen Michell, Mark Saaltink, Brian A. Wichmann:
Looking into Safety with the Safety and Security Rapporteur Group. 7-11 - William W. Pritchett IV, John D. Riley:
An ASIS-Based Static Analysis Tool for High-Integrity Systems. 12-17 - Mike Mills, Greg Peterson:
Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis. 18-27 - Sy Wong, Gertrude Levine:
Kernel Ada to Unify Hardware and Software Design. 28-38 - Scott James:
The Evolution of a Distributed dataflow Processing Model Using Ada. 39-44 - Samuel Tardieu, Laurent Pautet:
Building Fault Tolerant Distributed Systems Using IP Multicast. 45-51 - Luís Miguel Pinho
, Francisco Vasques:
Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. 52-60 - A. T. Chamillard, Ronald J. Lisowski, Richard R. Young:
Using Ada in Non-CS Majors. 61-67 - Duane J. Jarc, Michael B. Feldman:
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course. 68-74 - Jeanne L. Murtagh, John A. Hamilton Jr.:
A Comparison of Ada and Pascal in an Introductory Computer Science Course. 75-80 - Nathan Fleener, Laura Moody, Mary Stewart:
A Reusable Lightweight Executive for Command and Control Systems. 81-88 - Arthur G. Duncan:
Reusable Ada Libraries Supporting Infinite Data Structures. 89-103 - John A. Reisner, Zeenat Lainwala, Thomas J. Peters, Steven A. Demurjian:
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95. 104-113 - Robert C. Leif, Suzanne B. Leif:
Ada in Embedded Boards for Scientific and Medical Instruments. 114-120 - John P. Woodruff, Paul J. Van Arsdall:
A Large Distributed Control System Using Ada in Fusion Research. 121-131 - Victor D. Albertini, Craig J. Berrett:
Ada in an On-Board Military Communication System. 132-136 - Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom Haberlandt:
Use of Ada in Digital Radar Landmass Simulation (DRLMS). 137-139 - Bo Frisberg:
Usage of Ada in the Gripen Flight Control System. 140-141 - Shan Barkataki, Stuart Harte, Tong Dinh:
Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features. 148-152 - T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias:
Visual Support for Incremental Abstraction and Refinement in Ada 95. 152-157 - Martin C. Carlisle, Patrick Maes:
RAPID: A Free, Portable GUI Design Tool. 158-164 - Ross H. Wainwright:
An Application Engineering Workbench for Tailoring Ada Flight Components. 165-174 - Benjamin M. Brosgol:
A Comparison of the Concurrency Features of Ada 95 and Java. 175-192 - Shayne Flint:
Using Java APIs with Native Ada Compilers. 193-203 - Yoav Tzruya, Mordechai Ben-Ari:
A Portable Implementation of the Distributed Systems Annex in Java. 204-211 - Patricia J. Dousette, Ari Danesh, Matthew Jones:
Command and Control Using World Wide Web Technology. 212-214 - Mike Kamrad:
Ada experience report for BlazeNet, Inc.. 215-216 - Brad S. Crawford:
Algorithm Animation with Symbol Processing Robots. 217-218 - David Silberberg:
Applying the Personal Software Process (PSP) with Ada. 219-228 - O. P. Kiddle, Andy J. Wellings:
Extensible Protected Types. 229-239 - Bangqing Li, Baowen Xu, Huiming Yu:
Transforming Ada Serving Tasks into Protected Objects. 240-245 - Stephen H. Kaisler, Michael B. Feldman:
Object-Oriented and Concurrent Program Design Issues in Ada 95. 246-254 - Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper:
Testing Generic Ada Packages with APE. 255-262 - Janusz W. Laski, William Stanley, Jim Hurst:
Dependency Analysis of Ada Programs. 263-275 - Charles Plinta, Richard D'Ippolito, Roger Van Scoy:
A Specification and Code Generation Tool for Message Translation and Validation. 276-286 - Dragan Macos, Frank Mueller:
The Rendezvous is Dead - Long Live the Protected Object. 287-293
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-22 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
