Mercurial > hg > Papers > 2015 > parusu-midterm

comparison midterm.tex @ 5:81268be687e6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add pdf
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Mon, 26 Oct 2015 16:09:57 +0900
parents 0c15ef224a10
children 1e530e8bb7ef
comparison
equal deleted inserted replaced
4:0c15ef224a10 5:81268be687e6
154 \bibitem{alice} 154 \bibitem{alice}
155 赤嶺一樹，河野真治：DataSegment API 155 赤嶺一樹，河野真治：DataSegment API
156 を用いた分散フレームワークの設計，日本ソフトウェア科学会第28回大会論文集 156 を用いた分散フレームワークの設計，日本ソフトウェア科学会第28回大会論文集
157 (2011). 157 (2011).
158 158
159 \bibitem{cell}
160 {Sony Corporation}: {Cell broadband engine architecture} (2005).
161
162 \bibitem{segment} 159 \bibitem{segment}
163 河野真治，杉本　優：Code Segment と Data Segment 160 河野真治，杉本　優：Code Segment と Data Segment
164 によるプログラミング手法，第54回プログラミング・シンポジウム (2013). 161 によるプログラミング手法，第54回プログラミング・シンポジウム (2013).
165 162
166 \bibitem{cbc-llvm} 163 \bibitem{cell}
167 徳森海斗，河野真治：Continuation based C の LLVM/clang 3.5 164 {Sony Corporation}: {Cell broadband engine architecture} (2005).
168 上の実装について，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
169 (2014).
170 165
171 \bibitem{monad} 166 \bibitem{monad}
172 Moggi, E.: Computational lambda-calculus and monads, {\em Proceedings of the Fourth Annual Symposium on Logic in computer science} (1989). 167 Moggi, E.: Computational lambda-calculus and monads, {\em Proceedings of the Fourth Annual Symposium on Logic in computer science} (1989).
173 168
174 \bibitem{model-check} 169 \bibitem{model-check}
175 下地篤樹，河野真治：線形時相論理によるContinuation based 170 下地篤樹，河野真治：線形時相論理によるContinuation based
176 Cプログラムの検証，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) 171 Cプログラムの検証，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
177 (2007). 172 (2007).
178 173
174 \bibitem{cbc-llvm}
175 徳森海斗，河野真治：Continuation based C の LLVM/clang 3.5
176 上の実装について，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
177 (2014).
178
179 \bibitem{opencl} 179 \bibitem{opencl}
180 {Aaftab Munshi, Khronos OpenCL Working Group}: {\em {The OpenCL Specification Version 1.0}} (2007). 180 {Aaftab Munshi, Khronos OpenCL Working Group}: {\em {The OpenCL Specification Version 1.0}} (2007).
181 181
182 \bibitem{cuda} 182 \bibitem{cuda}
183 : {CUDA}, {https://developer.nvidia.com/category/zone/cuda-zone/}. 183 : {CUDA}, {https://developer.nvidia.com/category/zone/cuda-zone/}.