@article{kono:2008a,
	author = "河野真治",
	title = "検証を自身で表現できるハードウェア、ソフトウェア記述言語 Continuation based C と、そのCell への応用",
	journal = "電子情報通信学会VLSI設計技術研究会",
	month = "March",
	year = 2008
}

@article{akira:2008a,
	author = "神里 晃 and 宮國 渡 and 杉山 千秋 and 河野 真治",
	title = "CからCellアーキテクチャを利用したCbCへの変換",
	journal = "電子情報通信学会VLSI設計技術研究会",
	month = "March",
	year = 2008
}

@article{akira:2006a,
	author = "神里 晃 and 河野 真治",
	title = "Continuation based CによるPS3 Cell のシミュレーション",
	journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会",
	month = "May",
	year = 2006
}

@mastersthesis{akira:master,
	author = "神里 晃",
	title = "Cell を用いたゲームフレームワークの提案",
	school = "琉球大学理工学研究科情報工学専攻",
	month = "Feb",
	year = 2008
}

@mastersthesis{gongo:master,
	author = "宮國 渡",
	title = "Cell用の Fine-Grain Task Manager の実装",
	school = "琉球大学理工学研究科情報工学専攻",
	month = "Feb",
	year = 2009
}

@article{gongo:2008a,
	author = "宮國 渡 and 河野 真治 and 神里 晃 and 杉山 千秋",
	title = "Cell 用の Fine-grain Task Manager の実装",
	journal = "情報処理学会 システムソフトウェアとオペレーティング・システム研究会",
	month = "April",
	year = 2008
}

@article{chiaki:thesis,
	author = "杉山 千秋",
	title = "SceneGraph と StatePattern を用いたゲームフレームワークの設計と実装",
	journal = "琉球大学工学部情報工学科 平成19年度卒業論文",
	year = 2008
}

@article{akamine:2010a,
	author = "赤嶺 一樹 and 河野 真治",
	title = "Meta Engine を用いた Federated Linda の実験",
	journal = "日本ソフトウェア科学会第 27 会大会(2010 年度)",
	month = "Sep",
	year = 2010
}

@mastersthesis{kaito:master,
	author = "多賀野 海人",
	title = "Cell Task Manager Cerium における Task を用いたパイプラインの改良",
	school = "琉球大学理工学研究科情報工学専攻",
	month = "Feb",
	year = 2011
}

@article{yutaka:2010a,
	author = "金城 裕 and 河野 真治",
	title = "Fine Grain Task Manager Cerium  のチューニング",
	journal = "日本ソフトウェア科学会第 27 会大会",
	month = "Sep",
	year = 2010
}

@article{yutaka:2011a,
	author = "金城 裕 and 河野 真治",
	title = "ゲームフレームワーク Cerium TaskManager の改良",
	journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会",
	month = "Apr",
	year = 2011
}

@article{yutaka:2011b,
	author = "金城 裕 and 河野 真治",
	title = "Cerium におけるDataSegment APIの設計",
	journal = "日本ソフトウェア科学会第 28 会大会",
	month = "Sep",
	year = 2011
}

@article{Jaeschke93,
	author={G. Jaeschke},
	title={On Strong Pseudoprimes to Several Bases},
	journal= MC,
	volume= 61,
	year= 1993,
	pages={915-926},
	mrnumber={94d:11004},
	annote={Greatly extends the computations of \cite{PSW80} useful for \href{http://primes.utm.edu/prove/prove2_3.html}{testing
		small numbers}.}
}