Journées Nationales 2010

DocumentsDate added

Order by : Name | Date | Hits [ Ascendant ]

Ce document est un extrait des actes des journées nationales qui reprend les 5 articles retenus pour l'appel à défis.

Peggy Cellier, Mireille Ducassé, Sébastien Ferré and Olivier Ridoux.
Fouille de données pour la localisation de fautes dans les programmes

Sabina Akhtar, Stephan Merz and Martin Quinson.
Extending PlusCal: A Language for Describing Concurrent
and Distributed Algorithms

Diapositive 2

.O {color:black; font-size:149%;} a:link {color:#CCCCFF !important;} a:active {color:#3333CC !important;} a:visited {color:#B2B2B2 !important;}

Arnaud Gotlieb.
EUclide is a Constraint Language based on Imperative DEfinitions

Prix du meilleur poster 2010
file icon Cloture Pau 2010hot!Tooltip 03/14/2010 Hits: 511

Transparents de la session de clôture avec la proclamation du prix du meilleur poster.

file icon OuverturePau2010hot!Tooltip 03/11/2010 Hits: 603

Transparents présentés pour l'ouverture des journées 2010 du GDR GPL.

file icon DefisGPLCnrsV3hot!Tooltip 03/11/2010 Hits: 1235

Document "Défis" qui résume les réponses à l'appel à défis 2010.

« DébutPrécédent12SuivantFin »
Page 1 sur 2