0
|
1 @article{kono:2008a,
|
|
2 author = "河野真治",
|
|
3 title = "検証を自身で表現できるハードウェア、ソフトウェア記述言語 Continuation based C と、そのCell への応用",
|
|
4 journal = "電子情報通信学会VLSI設計技術研究会",
|
|
5 month = "March",
|
|
6 year = 2008
|
|
7 }
|
|
8
|
|
9 @article{akira:2008a,
|
|
10 author = "神里 晃 and 宮國 渡 and 杉山 千秋 and 河野 真治",
|
|
11 title = "CからCellアーキテクチャを利用したCbCへの変換",
|
|
12 journal = "電子情報通信学会VLSI設計技術研究会",
|
|
13 month = "March",
|
|
14 year = 2008
|
|
15 }
|
|
16
|
|
17 @article{akira:2006a,
|
|
18 author = "神里 晃 and 河野 真治",
|
|
19 title = "Continuation based CによるPS3 Cell のシミュレーション",
|
|
20 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会",
|
|
21 month = "May",
|
|
22 year = 2006
|
|
23 }
|
|
24
|
|
25 @mastersthesis{akira:master,
|
|
26 author = "神里 晃",
|
|
27 title = "Cell を用いたゲームフレームワークの提案",
|
|
28 school = "琉球大学理工学研究科情報工学専攻",
|
|
29 month = "Feb",
|
|
30 year = 2008
|
|
31 }
|
|
32
|
|
33 @mastersthesis{gongo:master,
|
|
34 author = "宮國 渡",
|
|
35 title = "Cell用の Fine-Grain Task Manager の実装",
|
|
36 school = "琉球大学理工学研究科情報工学専攻",
|
|
37 month = "Feb",
|
|
38 year = 2009
|
|
39 }
|
|
40
|
|
41 @article{gongo:2008a,
|
|
42 author = "宮國 渡 and 河野 真治 and 神里 晃 and 杉山 千秋",
|
|
43 title = "Cell 用の Fine-grain Task Manager の実装",
|
|
44 journal = "情報処理学会 システムソフトウェアとオペレーティング・システム研究会",
|
|
45 month = "April",
|
|
46 year = 2008
|
|
47 }
|
|
48
|
|
49 @article{chiaki:thesis,
|
|
50 author = "杉山 千秋",
|
|
51 title = "SceneGraph と StatePattern を用いたゲームフレームワークの設計と実装",
|
|
52 journal = "琉球大学工学部情報工学科 平成19年度卒業論文",
|
|
53 year = 2008
|
|
54 }
|
|
55
|
|
56 @article{akamine:2010a,
|
|
57 author = "赤嶺 一樹 and 河野 真治",
|
|
58 title = "Meta Engine を用いた Federated Linda の実験",
|
|
59 journal = "日本ソフトウェア科学会第 27 会大会(2010 年度)",
|
|
60 month = "Sep",
|
|
61 year = 2010
|
|
62 }
|
|
63
|
|
64 @mastersthesis{kaito:master,
|
|
65 author = "多賀野 海人",
|
|
66 title = "Cell Task Manager Cerium における Task を用いたパイプラインの改良",
|
|
67 school = "琉球大学理工学研究科情報工学専攻",
|
|
68 month = "Feb",
|
|
69 year = 2011
|
|
70 }
|
|
71
|
|
72 @article{yutaka:2010a,
|
|
73 author = "金城 裕 and 河野 真治",
|
|
74 title = "Fine Grain Task Manager Cerium のチューニング",
|
|
75 journal = "日本ソフトウェア科学会第 27 会大会",
|
|
76 month = "Sep",
|
|
77 year = 2010
|
|
78 }
|
|
79
|
|
80 @article{yutaka:2011a,
|
|
81 author = "金城 裕 and 河野 真治",
|
|
82 title = "ゲームフレームワーク Cerium TaskManager の改良",
|
|
83 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会",
|
|
84 month = "Apr",
|
|
85 year = 2011
|
|
86 }
|
|
87
|
|
88 @article{yutaka:2011b,
|
|
89 author = "金城 裕 and 河野 真治",
|
|
90 title = "Cerium におけるDataSegment APIの設計",
|
|
91 journal = "日本ソフトウェア科学会第 28 会大会",
|
|
92 month = "Sep",
|
|
93 year = 2011
|
|
94 }
|
8
|
95
|
|
96 @article{Jaeschke93,
|
|
97 author={G. Jaeschke},
|
|
98 title={On Strong Pseudoprimes to Several Bases},
|
|
99 journal= MC,
|
|
100 volume= 61,
|
|
101 year= 1993,
|
|
102 pages={915-926},
|
|
103 mrnumber={94d:11004},
|
|
104 annote={Greatly extends the computations of \cite{PSW80} useful for \href{http://primes.utm.edu/prove/prove2_3.html}{testing
|
|
105 small numbers}.}
|
|
106 }
|