|
|
Conferences in DBLP
- Brian Dobbing, Alan Burns
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:1-6 [Conf]
- Stephen Michell, Mark Saaltink, Brian A. Wichmann
Looking into Safety with the Safety and Security Rapporteur Group. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:7-11 [Conf]
- William W. Pritchett IV, John D. Riley
An ASIS-Based Static Analysis Tool for High-Integrity Systems. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:12-17 [Conf]
- Mike Mills, Greg Peterson
Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:18-27 [Conf]
- Sy Wong, Gertrude Levine
Kernel Ada to Unify Hardware and Software Design. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:28-38 [Conf]
- Scott James
The Evolution of a Distributed dataflow Processing Model Using Ada. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:39-44 [Conf]
- Samuel Tardieu, Laurent Pautet
Building Fault Tolerant Distributed Systems Using IP Multicast. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:45-51 [Conf]
- Luís Miguel Pinho, Francisco Vasques
Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:52-60 [Conf]
- A. T. Chamillard, Ronald J. Lisowski, Richard R. Young
Using Ada in Non-CS Majors. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:61-67 [Conf]
- Duane J. Jarc, Michael B. Feldman
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:68-74 [Conf]
- Jeanne L. Murtagh, John A. Hamilton Jr.
A Comparison of Ada and Pascal in an Introductory Computer Science Course. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:75-80 [Conf]
- Nathan Fleener, Laura Moody, Mary Stewart
A Reusable Lightweight Executive for Command and Control Systems. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:81-88 [Conf]
- Arthur G. Duncan
Reusable Ada Libraries Supporting Infinite Data Structures. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:89-103 [Conf]
- John A. Reisner, Zeenat Lainwala, Thomas J. Peters, Steven A. Demurjian
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:104-113 [Conf]
- Robert C. Leif, Suzanne B. Leif
Ada in Embedded Boards for Scientific and Medical Instruments. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:114-120 [Conf]
- John P. Woodruff, Paul J. Van Arsdall
A Large Distributed Control System Using Ada in Fusion Research. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:121-131 [Conf]
- Victor D. Albertini, Craig J. Berrett
Ada in an On-Board Military Communication System. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:132-136 [Conf]
- Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom Haberlandt
Use of Ada in Digital Radar Landmass Simulation (DRLMS). [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:137-139 [Conf]
- Bo Frisberg
Usage of Ada in the Gripen Flight Control System. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:140-141 [Conf]
- Shan Barkataki, Stuart Harte, Tong Dinh
Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:148-152 [Conf]
- T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias
Visual Support for Incremental Abstraction and Refinement in Ada 95. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:152-157 [Conf]
- Martin C. Carlisle, Patrick Maes
RAPID: A Free, Portable GUI Design Tool. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:158-164 [Conf]
- Ross H. Wainwright
An Application Engineering Workbench for Tailoring Ada Flight Components. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:165-174 [Conf]
- Benjamin M. Brosgol
A Comparison of the Concurrency Features of Ada 95 and Java. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:175-192 [Conf]
- Shayne Flint
Using Java APIs with Native Ada Compilers. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:193-203 [Conf]
- Yoav Tzruya, Mordechai Ben-Ari
A Portable Implementation of the Distributed Systems Annex in Java. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:204-211 [Conf]
- Patricia J. Dousette, Ari Danesh, Matthew Jones
Command and Control Using World Wide Web Technology. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:212-214 [Conf]
- J. Michael Kamrad II
Ada experience report for BlazeNet, Inc.. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:215-216 [Conf]
- Brad S. Crawford
Algorithm Animation with Symbol Processing Robots. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:217-218 [Conf]
- David Silberberg
Applying the Personal Software Process (PSP) with Ada. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:219-228 [Conf]
- O. P. Kiddle, Andy J. Wellings
Extensible Protected Types. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:229-239 [Conf]
- Bangqing Li, Baowen Xu, Huiming Yu
Transforming Ada Serving Tasks into Protected Objects. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:240-245 [Conf]
- Stephen H. Kaisler, Michael B. Feldman
Object-Oriented and Concurrent Program Design Issues in Ada 95. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:246-254 [Conf]
- Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper
Testing Generic Ada Packages with APE. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:255-262 [Conf]
- Janusz W. Laski, William Stanley, Jim Hurst
Dependency Analysis of Ada Programs. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:263-275 [Conf]
- Charles Plinta, Richard D'Ippolito, Roger Van Scoy
A Specification and Code Generation Tool for Message Translation and Validation. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:276-286 [Conf]
- Dragan Macos, Frank Mueller
The Rendezvous is Dead - Long Live the Protected Object. [Citation Graph (0, 0)][DBLP]
SIGAda, 1998, pp:287-293 [Conf]
|
