Proposition de sujets
L'implémentation d'un de ces sujets au choix, pourra être réalisée en JAVA/RMI ou CUDA, voire avec un couplage des deux via JCUDA. Vous pouvez également proposer un sujet de votre choix, validez dans ce cas l'idée auprès de nous.
- Simulation de modèles atmosphériques sur GPU présentation, sujet
Une implementation séquentielle se trouve ici. Des instructions pour la compilation et l'usage sont résumées dans README.txt. - Campagne sismique synthétique
- Recherche d'une séquence d'ADN
- Résolution du problème NP-complet SAT:
- tout sur SAT et les solveurs SAT satlive
- un survey sur la parallélisation de ce problème
- une version CUDA simple dont vous pouvez partir
- le format CNF (utilisé dans la version CUDA ci-dessus) pour représenter des expressions booléennes format CNF, ou format CNF + quelques cas tests
- la page de compétition de solveurs SAT et benchmarks: satcompetition.org
- des solveurs SAT parallèles: manySAT, transparents, ou parallel-SAT
- résolution SAT spécifique CUDA: rapport, article1, article2
- des essais des années précédentes: abrasatcuda, gpusat
- et pour comparaison, des solveurs libres non parallèles: Yices (c'est un solveur SMT mais bon pour SAT également), clasp
- ... ou un sujet de votre choix (à discuter)
Notation
La notation du cours se fait sur le projet, sous la forme d'un court rapport (5 pages environ) et d'une soutenance. Nous attendons un bref rappel du sujet, une présentation des algorithmes (pas de code) et des choix qui ont été faits, des tests et une analyse des performances obtenues en particulier par rapport à une implémentation séquentielle. Expliquer éventuellement pourquoi et comment on aurait pu faire mieux.