|
Publication List - Izumi Asakura 2017 (6 / 13 entries)
Journal Paper
International Conference (Reviewed)
Domestic Conference (Not reviewed / Unknown)
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ,
日本ソフトウェア科学会第34回大会,
Sept. 2017.
-
蟹暁,
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA,
情報処理学会第113回プログラミング研究会発表:,
pp. 2016-5-(6),
Mar. 2017.
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
検証済みコンパイラCertSkelによるGPGPUプログラム開発,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
Official location
-
蟹暁,
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
Kani-CUDAによるGPGPUプログラムの合成,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
Official location
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|