\mbox{}

近年、CPUの性能向上は、クロックサイクルをあげることよりも、
複数のCPUコア(Many Core Architecture)を導入することにより
得られるようになって来てい
る。しかし、Many Core Architecture のプログラムは複雑であり、
その信頼性を確保することは難しい。本論文では、本研究室で開
発した Cのサブセット であるContination based C を用いて、Many
Core Architecture のプログラミングと、その検証を行う手法に
ついて考察する。ここでは例題として、Cell Broadband Engine
を用いたレンダリングエンジンを用いる。