\relax 
\bibstyle{jplain}
\@input{title.aux}
\@input{abstract.tex.aux}
\@input{title-e.tex.aux}
\@input{author-e.tex.aux}
\@input{abstract-e.tex.aux}
\citation{Cell}
\@writefile{toc}{\contentsline {section}{\numberline {1} Multi core system}{1}}
\citation{java-conncurrecy}
\newlabel{cellarch}{{1}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2} Many Core 上のプログラムの特徴}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1} 定常的な並列度の必要性}{2}}
\newlabel{amdahl}{{2.1}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2} プログラムとデータの分割}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3} 同期の問題}{2}}
\citation{spurs}
\citation{kono08b}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4} マルチスレッド}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5} デバッグ}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3} Many Core 上のプログラムの作り方}{3}}
\citation{cbc-sourceforge}
\@writefile{toc}{\contentsline {section}{\numberline {4} Continuation based C}{4}}
\newlabel{fig000}{{4}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1} CからCbCへの変換}{4}}
\citation{kono01g}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2} CbCでの並列実行記述}{5}}
\citation{wolper82}
\citation{synBTTL}
\citation{kono93b}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3} CbCでの並列実行の実装}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {5} CbCでのCellのプログラムの流れ}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {6} CbCでのCellのプログラムの検証}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1} コードセグメントの入出力テスト}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2} FIFOスケジューラレベルでのテスト}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {7} 本手法の利点と欠点}{7}}
\citation{holzmann97model}
\citation{havelund98model}
\citation{groce04understanding}
\@writefile{toc}{\contentsline {section}{\numberline {8} 学生による実際の実装の現状}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {9} CbCを用いた検証手法と他の手法との比較}{8}}