changeset 18:d276144b815c draft

modify
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Fri, 24 Feb 2012 19:42:48 +0900
parents 0f406370c241
children 669655c106eb
files paper/.DS_Store paper/resume.tex
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
Binary file paper/.DS_Store has changed
--- a/paper/resume.tex	Fri Feb 24 18:54:13 2012 +0900
+++ b/paper/resume.tex	Fri Feb 24 19:42:48 2012 +0900
@@ -33,7 +33,7 @@
 %コードセグメントは並列実行の単位として使うことができ, プログラムの正しさを示す単位としても使用することができる.これにより,
 % Many Core での並列実行を高い性能と高い信頼性で実現することができると考えている.
 コードセグメントは C の関数よりも細かな単位で, 状態を表すことができる.
-その為 CbC では状態遷移記述を行うことができ, 状態探索といったモデル検査等に使えると考えられている.
+その為 CbC では状態遷移記述を行うことができ, 状態探索といったモデル検査等に使えると考えている.
 
 %GCC をベースとした CbC のコンパイラ (以下 CbC-GCC)は, GCC のアップデートに合わせて変更する必要がある.
 %当研究室には 2008 年に開発されて以来アップデートがGCC-4.5 をベースとした CbC コンパイラがある.
@@ -41,7 +41,7 @@
 しかし, CbC-GCC はいくつかバグがあり機能の修正の余地があった.
 また, GCC の最新の機能を使用する為にも CbC-GCC は GCC のアップデートに合わせていく必要がある.
 本研究では, GCC-4.5 をベースとしていた CbC-GCC を GCC-4.6 へのアップデートをすると共に実装の修正
-を行う.
+を行った.
 %本研究では, GCC-4.5 をベースとしていた CbC-GCC を GCC-4.6 へのアップデートを行い, Intel64 に対応するとともに, CbC の拡張を行う.
 
 \section{Continuation basede C (CbC)}