# HG changeset patch
# User Yuhi TOMARI <yuhi@cr.ie.u-ryukyu.ac.jp>
# Date 1389341974 -32400
# Node ID d602bd03a4db5d151fc29a7774a1abe7fcd175b0
# Parent  1e019b5d85777fdae059c2c1d07598d015825823
minorfix

diff -r 1e019b5d8577 -r d602bd03a4db presen/index.html
--- a/presen/index.html	Fri Jan 10 16:06:16 2014 +0900
+++ b/presen/index.html	Fri Jan 10 17:19:34 2014 +0900
@@ -453,6 +453,10 @@
             <li>GPU</li>
             OpenCLのAPI(clGetEventProfilingInfo)を用いて測定
           </ul>
+          <p>
+            Taskがtask_start_time, task_end_timeを持っていて、
+            SchedulerがTaskを開始・終了した時に値を書き込む。
+          </p>
         </article>
      </slide>