CAMUS

L'équipe CAMUS se concentre sur le développement, l'adaptation et l'extension de techniques de parallélisation et d'optimisation automatiques et semi-automatiques, ainsi que sur des méthodes de preuve et de certification, afin d'accélérer les applications en utilisant efficacement les plates-formes matérielles multiprocesseurs et multicœurs actuelles et futures.