annotate paper/thesis.bib @ 56:e55a4d44423c default tip

...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Thu, 17 Feb 2022 19:53:47 +0900 (2022-02-17)
parents 9f1d0d94ac78
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 @misc{gearsos,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 title = {GearsOS},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 author = {並列信頼研究室},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 organization = {琉球大学},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/Gears/Gears/}}
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 @misc{cbcllvm,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 title = {CbC},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 author = {並列信頼研究室},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 organization = {琉球大学},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 howpublished = {\url{http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/}}
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 @article{cbc,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 author = {河野 真治},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 title = {継続を持つCの下位言語によるシステム記述},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 journal = {日本ソフトウェア科学会第17回大会論文集},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 month = {September},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 year = 2000
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 @article{cr,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 author = {伊波 立樹},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 title = {GearsOSの並列処理},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 journal = {修士 (工学) 学位論文},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 month = {March},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 year = 2018
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 @article{gears,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 author = {清水隆博},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 title = {GearsOSのメタ計算},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 institution = {琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 journal = {修士 (工学) 学位論文},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 month = {March},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 year = 2021
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 @article{file,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 author = {一木 貴裕, 河野 真治(琉球大学)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 title = {GearsOSの分散ファイルシステムの設計},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 month = {May},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 year = 2021
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 @article{modelcheck,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 author = {東恩納 琢偉,奥田 光希,河野 真治(琉球大学)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 title = {Gears OSでモデル検査を実現する手法について},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 month = {May},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 year = 2020
23
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
55 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
56
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
57 @article{xv6kernel,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
58 author = {坂本 昂弘 (琉球大学工学部情報工学科), 桃原 優 (琉球大学大学院理工学研究科情報工学専攻), 河野 真治 (琉球大学工学部情報工学科)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
59 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
60 title = {継続を用いた xv6 kernel の書き換え},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
61 month = {May},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
62 year = 2019
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
63 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
64
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
65 @article{xv6component,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
66 author = {清水 隆博,河野 真治(琉球大学)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
67 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
68 title = {xv6の構成要素の継続の分析},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
69 month = {May},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
70 year = 2020
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
71 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
72
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
73 @misc{xv6,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
74 author = {{Russ Cox, Frans Kaashoek, Robert Morris}},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
75 title = {xv6 a simple, Unix-like teaching operating system},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 4
diff changeset
76 howpublished = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf}
52
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
77 }
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
78
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
79 @misc{christie,
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
80 author = {{河野 真治}},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
81 title = {分散フレームワーク Christie と分散木構造データベースJungle},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
82 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
83 month = {May},
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 23
diff changeset
84 year = 2018
4
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 }