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
|
23
|
55 }
|
|
56
|
|
57 @article{xv6kernel,
|
|
58 author = {坂本 昂弘 (琉球大学工学部情報工学科), 桃原 優 (琉球大学大学院理工学研究科情報工学専攻), 河野 真治 (琉球大学工学部情報工学科)},
|
|
59 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
|
|
60 title = {継続を用いた xv6 kernel の書き換え},
|
|
61 month = {May},
|
|
62 year = 2019
|
|
63 }
|
|
64
|
|
65 @article{xv6component,
|
|
66 author = {清水 隆博,河野 真治(琉球大学)},
|
|
67 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
|
|
68 title = {xv6の構成要素の継続の分析},
|
|
69 month = {May},
|
|
70 year = 2020
|
|
71 }
|
|
72
|
|
73 @misc{xv6,
|
|
74 author = {{Russ Cox, Frans Kaashoek, Robert Morris}},
|
|
75 title = {xv6 a simple, Unix-like teaching operating system},
|
|
76 howpublished = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf}
|
52
|
77 }
|
|
78
|
|
79 @misc{christie,
|
|
80 author = {{河野 真治}},
|
|
81 title = {分散フレームワーク Christie と分散木構造データベースJungle},
|
|
82 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
|
|
83 month = {May},
|
|
84 year = 2018
|
4
|
85 } |