|
4
|
1 @misc{gearsos,
|
|
|
2 title = {GearsOS},
|
|
|
3 author = {並列信頼研究室},
|
|
|
4 organization = {琉球大学},
|
|
|
5 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/}}
|
|
|
6 }
|
|
|
7
|
|
|
8 @misc{cbcllvm,
|
|
|
9 title = {CbC},
|
|
|
10 author = {並列信頼研究室},
|
|
|
11 organization = {琉球大学},
|
|
|
12 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/}}
|
|
|
13 }
|
|
|
14
|
|
|
15 @article{cbc,
|
|
|
16 author = {河野 真治},
|
|
|
17 title = {継続を持つCの下位言語によるシステム記述},
|
|
|
18 journal = {日本ソフトウェア科学会第17回大会論文集},
|
|
|
19 month = {September},
|
|
|
20 year = 2000
|
|
|
21 }
|
|
|
22
|
|
|
23 @article{cr,
|
|
|
24 author = {伊波 立樹},
|
|
|
25 title = {GearsOSの並列処理},
|
|
|
26 institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
|
|
|
27 journal = {修士 (工学) 学位論文},
|
|
|
28 month = {March},
|
|
|
29 year = 2018
|
|
|
30 }
|
|
|
31
|
|
|
32 @article{gears,
|
|
|
33 author = {清水隆博},
|
|
|
34 title = {GearsOSのメタ計算},
|
|
|
35 institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
|
|
|
36 journal = {修士 (工学) 学位論文},
|
|
|
37 month = {March},
|
|
|
38 year = 2021
|
|
|
39 }
|
|
|
40
|
|
|
41 @article{file,
|
|
|
42 author = {一木 貴裕, 河野 真治(琉球大学)},
|
|
|
43 title = {GearsOSの分散ファイルシステムの設計},
|
|
|
44 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
|
|
|
45 month = {May},
|
|
|
46 year = 2021
|
|
|
47 }
|
|
|
48
|
|
|
49 @article{modelcheck,
|
|
|
50 author = {東恩納 琢偉，奥田 光希，河野 真治(琉球大学)},
|
|
|
51 title = {Gears OSでモデル検査を実現する手法について},
|
|
|
52 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
|
|
|
53 month = {May},
|
|
|
54 year = 2020
|
|
|
55 } |
