Expert system verification and validation study | Libros

Strategies for concurrent processing of complex algorithms in data driven architectures

John W. Stoughton

1987

New double-byte error-correcting codes for memory systems

Gui-Liang Feng

1996

Parallel Navier-Stokes computations on shared and distributed memory architectures

Ehteshamul Md Hayder

1995

Measurement and analysis of failures in computer systems

Anshuman Thakur

1997

UNIX-based operating systems robustness evaluation

Youming Zhang

1996

Parallel processors and nonlinear structural dynamics algorithms and software

Ted Belytschko

1986

HPCCP/CAS Workshop 98

HPCCP/CAS Workshop (1998 NASA/Ames Research Center)

1999

Software dependability in the operational phase

Inhwan Lee

1994