Skip to content
プログラミング研究室
東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系
Menu
ホーム
構成員
研究プロジェクト
論文
連絡先・アクセス
ISMM最優秀学生発表賞, Matthias Springer, 2019, Massively Parallel GPU Memory Compaction
Please wait while you are redirected...or
Click Here
if you do not want to wait.
2019-06-23
.
ACM学生研究コンテスト第一位, Matthias Springer, 2019, CompactGpu: Massively Parallel Memory Defragmentation on GPUs
→
←
情報処理学会論文賞, 朝倉泉他, 2018, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq