Search Results
You searched for:
subject
"Parallel programs (Computer programs)+Verification."
Remove constraint
Showing 1 - 10 of 12 results
Search Results
/LC.GIF&client=easterncarolinaedu)
A Survey of verification techniques for parallel programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.5 .S897 1985 | ✔ Available |
Modelling distributed systems
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA 76.58 .F65 2007 | ✔ Available |
Experiences with Cray multi-tasking
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88200 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88200 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88200 | ✔ Available |
Enhancing aeropropulsion research with high-speed interactive computing
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:104374 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Extensions of the UNITY methodology
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.642 .R43 1995 | ✔ Available |