APLAS 2016で GPGPU 用 DSL の形式検証に関するポスター発表
朝倉,増原,青谷によるポスター “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” が APLAS 2016 で発表されます.
朝倉,増原,青谷によるポスター “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” が APLAS 2016 で発表されます.