annotate Paper/paper.bbl @ 3:ff938946c7f8

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