Difference between revisions of "Jobs/PHD 2019 omegaGPU"
From LRDE
m |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 5: | Line 5: | ||
|Research field=Automates et vérification |
|Research field=Automates et vérification |
||
|Related project=Spot |
|Related project=Spot |
||
− | |Advisor= |
+ | |Advisor=Alexandre Duret-Lutz, Étienne Renault |
|General presentation of the field=Les ω-automates sont des automates représentant des mots de longueur |
|General presentation of the field=Les ω-automates sont des automates représentant des mots de longueur |
||
infinie. Le projet Spot propose différent outils et algorithmes pour |
infinie. Le projet Spot propose différent outils et algorithmes pour |
||
Line 20: | Line 20: | ||
* https://arxiv.org/pdf/1801.05857.pdf |
* https://arxiv.org/pdf/1801.05857.pdf |
||
* https://fmt.ewi.utwente.nl/media/101.pdf |
* https://fmt.ewi.utwente.nl/media/101.pdf |
||
− | |Contact= |
+ | |Contact=adl@lrde.epita.fr |
|Compensation=environ 1750 euros nets/mois pendant 36 mois |
|Compensation=environ 1750 euros nets/mois pendant 36 mois |
||
|Type=PhD position |
|Type=PhD position |
Latest revision as of 15:39, 5 July 2019
Parallélisation des algorithmes d'ω-automates sur GPU | |
---|---|
Reference id |
PHD 2019 omegaGPU |
Dates |
2019 |
Research field |
Automates et vérification |
Related project | |
Advisor | |
General presentation of the field |
Les ω-automates sont des automates représentant des mots de longueur infinie. Le projet Spot propose différent outils et algorithmes pour la manipulation de ces automates. Pour le moment tous ces algorithmes sont écrits de façon séquentielle, parfois en utilisant des structures de données symboliques (par exemple des diagrammes de décision binaires). |
Prerequisites |
C++ |
Objectives |
L'objectif de ce projet est d'étudier dans quelle mesure les algorithmes de manipulation d'ω-automates peuvent être accélérés à l'aide de GPU. |
Benefit for the candidate | |
References | |
Place | LRDE: How to get to us |
Compensation |
environ 1750 euros nets/mois pendant 36 mois |
Future work opportunities | |
Contact |