Scalable Coherent Interface adapter cards, bridge chips, switches, and Beowulf kits. Product information, whitepapers, benchmarks, and drivers available for download.
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.
Builds parallel computing clusters from commodity hardware using a high performance communication subsystem. Information about products, downloadable manuals, research papers.
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.