Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Seminar/2008-05-28 + (Nous présenterons BSML (Bulk Synchronous P … Nous présenterons BSML (Bulk Synchronous Parallel ML), un langage de</br>programmation de haut-niveau pour machines parallèles, ainsi que des</br>exemples classiques de parallélisme implémentés dans ce langage. Nous</br>complèterons cette présentation par une étude comparative des coûts</br>théoriques de ces algorithmes réalisée sur la grappe de PC du LACL.hmes réalisée sur la grappe de PC du LACL.)
- Seminar/2008-05-28 + (L'algorithmique constructive permet, parta … L'algorithmique constructive permet, partant d'une spécification écrite</br>sous forme d'une combinaison non-efficace de fonctions, de dériver, sous</br>certaines conditions, des algorithmes parallèles efficaces. Cette dérivation</br>s'appuie sur des théorèmes d'équivalence de programmes et est formellement</br>correcte. Elle aide le programmeur à concevoir des programmes parallèles.</br>Toutefois les bibliothèques de squelettes proposées ne sont pas certifiées.</br>Dans le cadre d'une collaboration avec l'université de Tokyo, nous proposons</br>de cibler des squelettes algorithmiques développés en BSML et certifiés à</br>l'aide de l'assistant de preuve Coq.iés à l'aide de l'assistant de preuve Coq.)