Commit c0bc851d authored by pguenezan's avatar pguenezan
Browse files

bib/csi.bib: fix 1904

parent 9a9abcb0
Pipeline #10377 passed with stages
in 3 minutes and 56 seconds
......@@ -3171,7 +3171,7 @@ templates through type-erasure and using contextual information for the type ret
@TechReport{ guenezan.19.seminar,
author = {Paul Gu\'en\'ezan},
title = {Distributed State Space Exploration},
titre = {Parall\'elisation et Indexation de Quickref},
titre = {Exploration d'espace d'\'etat distribu\'e},
institution = {EPITA Research and Development Laboratory (LRDE)},
year = 2019,
number = 1904,
......@@ -3189,9 +3189,9 @@ templates through type-erasure and using contextual information for the type ret
donn\'ees utilis\'ees pour repr\'esenter un programme ne peuvent \^etre
stock\'ees en m\'emoire \`a cause l'explosion combinatoire. Pour
acc\'el\'erer l'exploration de structures de donn\'ees aussi grandes,
nous pouvons utiliser des algorithmes parall\`eles ou distribu`es. Dans
nous pouvons utiliser des algorithmes parall\`eles ou distribu\`es. Dans
ce rapport, nous pr\'esenterons une implemention d'un algorithme
d'exploration d'espace d'\'etat distribu`e propos`e par Camille Coti
d'exploration d'espace d'\'etat distribu\`e propos\`e par Camille Coti
dans "One-Sided Communications for more Efficient Parallel State
Exploration over RDMA Clusters". Nous le comparerons avec un
algorithme synchrone et un algorithme asynchrone utilisant des
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment