Home >

news Help

Publication Information


Title
Japanese:GPGPUカーネル検証のための分離論理のCoｑによる形式化 
English: 
Author
Japanese: 朝倉 泉, 増原 英彦, 青谷 知幸.  
English: Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Mar. 2014 
Publisher
Japanese: 
English: 
Conference name
Japanese:第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014) 
English: 
Conference site
Japanese:阿蘇市 
English: 

©2007 Tokyo Institute of Technology All rights reserved.