|
|
 |
|
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.) |
|
|
