changeset 93:16dc3337a5a9

Update
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 09 Feb 2017 18:54:18 +0900
parents c407b7403548
children 2bc816f4af27
files paper/atton-master.pdf paper/cbc.tex paper/reference.bib
diffstat 3 files changed, 9 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
Binary file paper/atton-master.pdf has changed
--- a/paper/cbc.tex	Thu Feb 09 18:52:09 2017 +0900
+++ b/paper/cbc.tex	Thu Feb 09 18:54:18 2017 +0900
@@ -107,7 +107,7 @@
 CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142109_1}が存在する。
 GearsOS は並列に、信頼性高く動作することを目標としたOS であり、 マルチコアCPUやGPU環境での動作を対象としている。
 現在OSの設計と並列処理部分の実装が行なわれている。
-GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている。 %TODO: kkb さんの修論
+GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている~\cite{kkb-master}。
 現在実装済みのメタ計算はメモリの管理、並列に書き込むことが可能な Synchronized Queue、データの保存用の非破壊赤黒木がある。
 
 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。
--- a/paper/reference.bib	Thu Feb 09 18:52:09 2017 +0900
+++ b/paper/reference.bib	Thu Feb 09 18:54:18 2017 +0900
@@ -158,7 +158,14 @@
     school = "琉球大学 大学院理工学研究科 情報工学専攻",
     year   = "2016"
 }
-:
+
+@mastersthesis{kkb-master,
+    author = "小久保 翔平",
+    title  = "Code Segment と Data Segment を持つ Gears OS の 設計",
+    school = "琉球大学 大学院理工学研究科 情報工学専攻",
+    year   = "2016"
+}
+
 @book{Pierce:2002:TPL:509043,
     author = {Pierce, Benjamin C.},
     title = {Types and Programming Languages},