0
|
1 \begin{thebibliography}{10}
|
|
2
|
|
3 \bibitem{modelcheck}
|
|
4 東恩納琢偉,奥田光希,河野真治(琉球大学)\:Gears
|
|
5 OSでモデル検査を実現する手法について,情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
|
|
6 (2020).
|
|
7
|
|
8 \bibitem{cbcllvm}
|
|
9 並列信頼研究室\:CbC, http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/.
|
|
10
|
|
11 \bibitem{cbc}
|
|
12 河野真治\:継続を持つCの下位言語によるシステム記述,日本ソフトウェア科学会第17回大会論文集 (2000).
|
|
13
|
|
14 \bibitem{gears}
|
|
15 清水隆博\:GearsOSのメタ計算,修士 (工学) 学位論文 (2021).
|
|
16
|
|
17 \bibitem{gearsos}
|
|
18 並列信頼研究室\:GearsOS, http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/.
|
|
19
|
|
20 \bibitem{cr}
|
|
21 伊波立樹\:GearsOSの並列処理,修士 (工学) 学位論文 (2018).
|
|
22
|
1
|
23 \bibitem{file}
|
|
24 河野~真治(琉球大学)一木~貴裕\:GearsOSの分散ファイルシステムの設計,情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
|
|
25 (2021).
|
0
|
26
|
1
|
27 \bibitem{cfile}
|
|
28 一木貴裕\:GearsOSの分散ファイルシステム設計,修士 (工学) 学位論文 (2022).
|
0
|
29
|
|
30 \bibitem{xv6kernel}
|
|
31 河野 真治~(琉球大学工学部情報工学科)坂本 昂弘~(琉球大学工学部情報工学科)\:継続を用いた xv6
|
|
32 kernel
|
|
33 の書き換え,情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
|
|
34 (2019).
|
|
35
|
1
|
36 \bibitem{xv6component}
|
|
37 清水隆博,河野真治(琉球大学)\:xv6の構成要素の継続の分析,情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
|
|
38 (2020).
|
0
|
39
|
1
|
40 \bibitem{xv6}
|
|
41 {Russ Cox, Frans Kaashoek, Robert Morris}: xv6 a simple, Unix-like teaching
|
|
42 operating system, https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf.
|
0
|
43
|
|
44 \bibitem{christie}
|
|
45 {河野 真治}\:分散フレームワーク Christie と分散木構造データベースJungle
|
|
46 (2018).
|
|
47
|
|
48 \end{thebibliography}
|