Mercurial > hg > Papers > 2022 > pine-thesis

annotate paper/text/reference.tex @ 0:c1b0c73d36ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add mindmap and thesis
author Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
date Tue, 18 Jan 2022 17:39:39 +0900
parents
children 1ba2a1f7c4e5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 \begin{thebibliography}{99}
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 \bibitem{gdb} https://www.gnu.org/software/gdb/
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 \bibitem{lldb} https://lldb.llvm.org/
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 \bibitem{ikkunMaster} 東恩納琢偉. GearsOS におけるモデル検査を実現する手法について. 琉球大学大学院理工学研究科情報工学専攻修士論文, March2021.
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 \bibitem{stateDB} 東恩納琢偉. GearsOS におけるモデル検査を実現する手法について. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp.13, March2021.
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 \bibitem{GearsDebugger} 東恩納琢偉. GearsOS におけるモデル検査を実現する手法について. 琉球大学大学院理工学研究科情報工学専攻修士論文, pp26-27, March 2021.
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 \bibitem{cbc_kono} 河野真治. 継続を持つ c の下位言語によるシステム記述. 日本ソフトウェア科学会第 17 回大会, 2000.
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 \bibitem{GearsOS} 河野真治, 伊波立樹, 東恩納琢偉. Code gear、data gear に基づく os のプロトタイ プ. 情報処理学会システムソフトウェアとオペレーティング・システム研究会 (OS), May 2016.
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 \bibitem{cmake} https://cmake.org/
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 \bibitem{parusuMaster} 伊波 立樹. Gears OSの並列処理. 琉球大学大学院理工学研究科情報工学専攻修士論文, March 2018.
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 \bibitem{anaguraMaster} 清水隆博. GearsOSのメタ計算. 琉球大学大学院理工学研究科情報工学専攻修士論文, March 2021.
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
c1b0c73d36ce add mindmap and thesis
Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 \end{thebibliography}