Title

PSP group at UT Austin

Url http://www.cs.utexas.edu/users/psp/welcome.html 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. Random Quote This is the home page for the PSP group in the . 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. The group is supervised developed the theories we work on. The research areas are:
waiting for hand_moderation Category Vendors Keywords PSP group at UT Austin

Write a Review

Add to My Favorite

Refer it to Friend

Report Broken Link

Popular Tags

# A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Google Ads

Other links at Vendors

1. Dolphin Interconnect

Scalable Coherent Interface adapter cards, bridge chips, switches, and Beowulf kits. Product information, whitepapers, benchmarks, and drivers available for download.

Category:

Vendors

2. ParTec

Builds parallel computing clusters from commodity hardware using a high performance communication subsystem. Information about products, downloadable manuals, research papers.

Category:

Vendors

3. Southwest Parallel Software

SPSoft provides high-performance and high-throughput bioinformatics software solutions on general-purpose computer systems.

Category:

Vendors

4. Pallas

Compilers and developers' tools for high performance and parallel computing.

Category:

Vendors

5. Emulex

Develops, markets and supports high-performance storage networking products for Intel-based server clusters.