Jeudi 23 Octobre

Retour à la vue des calendrier
Jeudi 23 Octobre
Heure: 15:30 - 16:30
Lieu: Salle A303
Résumé: The implementation of GPGPU for Model Checking Problems
Description: WU Zhimin In this presentation, I will introduce the implementation of GPGPU
techniques in model checking area. I target Nvidia GPU so firstly, the
latest CUDA Compute Architecture will be introduced, together with the key
points of GPU Program optimization. Then I will refer to some existing
research on GPU accelerated Model Checking Problems. Finally, I will
briefly introduce my research work. (This will be an informal presentation.)