Proceedings of the third international IEEE conference on Ada applications and environments
Conference
·
OSTI ID:5865435
These proceedings collect papers on software applications. Topics include: An interleaving symbolic execution approach for the formal verification of Ada programs with tasking, fault-tolerant Ada software, object-oriented frameworks for Ada, and generating multitasking Ada programs from high-level specifications.
- OSTI ID:
- 5865435
- Report Number(s):
- CONF-8805166-
- Country of Publication:
- United States
- Language:
- English
Similar Records
Proceedings of the IEEE Society's ninth international computer software and applications conference
The IEEE eighteenth international symposium on fault-tolerant computing (Digest of Papers)
Simulation in Ada; Proceedings of the Eastern Simulation Conference, Norfolk, VA, March 3-8, 1985
Conference
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:5380772
The IEEE eighteenth international symposium on fault-tolerant computing (Digest of Papers)
Conference
·
Thu Dec 31 23:00:00 EST 1987
·
OSTI ID:5805601
Simulation in Ada; Proceedings of the Eastern Simulation Conference, Norfolk, VA, March 3-8, 1985
Conference
·
Mon Dec 31 23:00:00 EST 1984
·
OSTI ID:5870573
Related Subjects
99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
ABSTRACTS
ADA
ARRAY PROCESSORS
COMPUTER CODES
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DOCUMENT TYPES
EXECUTIVE CODES
LEADING ABSTRACT
PARALLEL PROCESSING
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
SUPERCOMPUTERS
TASK SCHEDULING
990210* -- Supercomputers-- (1987-1989)
ABSTRACTS
ADA
ARRAY PROCESSORS
COMPUTER CODES
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DOCUMENT TYPES
EXECUTIVE CODES
LEADING ABSTRACT
PARALLEL PROCESSING
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
SUPERCOMPUTERS
TASK SCHEDULING