Research and development in high performance architectures and their compilers, operating and runtime systems, and high-speed hardware. http://www.first.gmd.de/
The Laboratoire Spécification et Vérification is the Computer Science laboratory of the École Normale Supérieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification. http://www.lsv.ens-cachan.fr/index-en.php
Provides high-performance computing support to the state-supported institutions of higher learning in Mississippi and the University of Mississippi Medical Center. Papers and description of computing resources. http://www.mcsr.olemiss.edu/