Publication Date:
2019-06-28
Description:
Several short summaries of the work performed during this reporting period are presented. Topics discussed in this document include: (1) resilient seeded errors via simple techniques; (2) knowledge representation for engineering design; (3) analysis of faults in a multiversion software experiment; (4) implementation of parallel programming environment; (5) symbolic execution of concurrent programs; (6) two computer graphics systems for visualization of pressure distribution and convective density particles; (7) design of a source code management system; (8) vectorizing incomplete conjugate gradient on the Cyber 203/205; (9) extensions of domain testing theory and; (10) performance analyzer for the pisces system.
Keywords:
COMPUTER OPERATIONS AND HARDWARE
Type:
NASA-CR-174088
,
NAS 1.26:174088
,
UVA/528209/AM85/106
Format:
application/pdf
Permalink