Start Over
You searched for: subject "Parallel programs (Computer programs)+Verification."

Search Results

Cover image for A Survey of verification techniques for parallel programs

A Survey of verification techniques for parallel programs

  • 1985
  • Format: Book
Joyner Library - General Stacks
Call Number: QA76.5 .S897 1985
Cover image for Modelling distributed systems

Modelling distributed systems

Joyner Library - General Stacks
Call Number: QA 76.58 .F65 2007
Cover image for Experiences with Cray multi-tasking

Experiences with Cray multi-tasking

Joyner Library - Microforms B300
Call Number: View Items
Cover image for Enhancing aeropropulsion research with high-speed interactive computing

Enhancing aeropropulsion research with high-speed interactive computing

Location
Access Content Online
Cover image for CONCUR '98

CONCUR '98

Joyner Library - General Stacks
Call Number: QA76.58 .I53 1998
Cover image for Extensions of the UNITY methodology

Extensions of the UNITY methodology

Joyner Library - General Stacks
Call Number: QA76.642 .R43 1995
Cover image for Extensions of the UNITY methodology

Extensions of the UNITY methodology

Location
Access Content Online
Cover image for Extending post-processing and run time capabilities of the CTH shock physics code

Extending post-processing and run time capabilities of the CTH shock physics code

Location
Access Content Online
Cover image for Parallel ALLSPD-3D

Parallel ALLSPD-3D

Joyner Library - Microforms B300
Call Number: NAS 1.15:107489
Cover image for Automated verification of specifications with typestates and access permissions

Automated verification of specifications with typestates and access permissions

Location
Access Content Online