High-performance networking for cluster communication. Sells interconnect hardware and provides open-source message passing software. Product information, benchmarks, and links to customer research projects.
PGI is an independent supplier of high performance scalar and parallel compilers and tools for workstations, servers, and high-performance computing systems.
Scalable Coherent Interface adapter cards, bridge chips, switches, and Beowulf kits. Product information, whitepapers, benchmarks, and drivers available for download.
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.