Sciweavers

SIGADA
1998
Springer
14 years 2 months ago
Dependency Analysis of Ada Programs
Janusz W. Laski, William Stanley, Jim Hurst
SIGADA
1998
Springer
14 years 3 months ago
Kernel Ada to Unify Hardware and Software Design
Sy Wong, Gertrude Levine
SIGADA
1998
Springer
14 years 3 months ago
Building Fault Tolerant Distributed Systems Using IP Multicast
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
Samuel Tardieu, Laurent Pautet
SIGADA
1998
Springer
14 years 3 months ago
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95
John A. Reisner, Zeenat Lainwala, Thomas J. Peters...
SIGADA
1998
Springer
14 years 3 months ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
SIGADA
1998
Springer
14 years 3 months ago
A Specification and Code Generation Tool for Message Translation and Validation
Charles Plinta, Richard D'Ippolito, Roger Van Scoy
SIGADA
1998
Springer
14 years 3 months ago
Extensible Protected Types
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
O. P. Kiddle, Andy J. Wellings