Search
Now showing items 11-19 of 19
On a hierarchical approach to the verification and validation of communication protocols
(Texas A&M University, 1992)
Not available
Visualization and continuous simulation of a space nuclear power system
(Texas A&M University, 1992)
Not available
A distributed computing environment for volume visualization
(Texas A&M University, 1992)
Not available
On the detectability of test sequences for protocol verification and validation
(Texas A&M University, 1992)
Not available
Conformance testing of timed protocols
(Texas A&M University, 1992)
Not available
An availability mechanism for the execution of distributed programs
(Texas A&M University, 1992)
Not available
A protocol for consistent checkpointing recovery in time-stamp based distributed database systems
(Texas A&M University, 1992)
Not available
Parallel implementation of sparse matrix solvers
(Texas A&M University, 1992)
Not available
Concurrency control in a fully replicated database environment
(Texas A&M University, 1992)
Not available