PGI is an independent supplier of high performance scalar and parallel compilers and tools for workstations, servers, and high-performance computing systems.
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.
Builds parallel computing clusters from commodity hardware using a high performance communication subsystem. Information about products, downloadable manuals, research papers.
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.