Computers DirectoryListing Details
| ID: | 4877 |
| Title: | PSP group at UT Austin - http://www.cs.utexas.edu |
| Pagerank: | 7 |
| Description: | PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner. |
| Category: | Parallel Computing: Vendors |
| Link Owner: | cs.utexas.edu |
| Date Added: | February 27, 2010 04:21:10 AM |
| Number Hits: | 0 |