Mercurial > hg > Papers > 2009 > rep-verify-sigos

annotate rep-verify-sigos.mm @ 5:34bfeb51e287

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add section tex file, Makefile
author gongo@gendarme.local
date Sat, 28 Mar 2009 16:26:43 +0900
parents 5de476fabbbc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 <map version="0.8.0">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 <node CREATED="1237625426161" ID="Freemind_Link_1466801335" MODIFIED="1237625435600" TEXT="Remote Editing Protocol &#x306e;&#x5b9f;&#x88c5;&#x3068;&#x691c;&#x8a3c;">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 <node CREATED="1237625640017" ID="Freemind_Link_714280035" MODIFIED="1237625647244" POSITION="right" TEXT="Design Decision">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 <node CREATED="1237625835023" ID="Freemind_Link_132267554" MODIFIED="1237625839098" TEXT="&#x5206;&#x6563;&#x5b9f;&#x88c5;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 <node CREATED="1237625648873" ID="Freemind_Link_815400463" MODIFIED="1237625667796" TEXT="local&#x306a;eidting &#x3092;&#x59a8;&#x3052;&#x306a;&#x3044;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 <node CREATED="1237625669208" ID="Freemind_Link_1520481315" MODIFIED="1237625675628" TEXT="Network&#x8ca0;&#x8377;&#x304c;&#x8efd;&#x3044;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 <node CREATED="1237625676160" ID="Freemind_Link_894703456" MODIFIED="1237625683708" TEXT="Simple &#x306a;&#x30e6;&#x30fc;&#x30b6;Interface"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 <node CREATED="1237625688512" ID="Freemind_Link_1085461171" MODIFIED="1237625703931" TEXT="Conflict&#x3092;&#x975e;&#x540c;&#x671f;&#x306b;&#x89e3;&#x6c7a;&#x3059;&#x308b;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 <node CREATED="1237625715315" ID="Freemind_Link_1341564588" MODIFIED="1237625729998" TEXT="&#x5c0f;&#x4eba;&#x6570;&#x5411;&#x3051;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 <node CREATED="1237625731219" ID="Freemind_Link_318731797" MODIFIED="1237625742719" TEXT="&#x9060;&#x8ddd;&#x96e2;&#x3067;&#x3082;&#x4f7f;&#x7528;&#x53ef;&#x80fd;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 <node CREATED="1237625761402" ID="Freemind_Link_1438980687" MODIFIED="1237625767389" TEXT="&#x6559;&#x80b2;&#x7528;&#x9014;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 <node CREATED="1237625767841" ID="Freemind_Link_21406229" MODIFIED="1237625773757" TEXT="Pair Programming"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 <node CREATED="1237625774282" ID="Freemind_Link_1916001654" MODIFIED="1237625784493" TEXT="Emacs/vim/Eclipse&#x306e;&#x76f8;&#x4e92;&#x63a5;&#x7d9a;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 <node CREATED="1237625785825" ID="Freemind_Link_637456813" MODIFIED="1237625798141" TEXT="Inter-Application Protocol&#x3068;&#x3057;&#x3066;"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 <node CREATED="1237625438663" ID="_" MODIFIED="1237625444787" POSITION="right" TEXT="REP">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 <node CREATED="1237625445470" ID="Freemind_Link_212540496" MODIFIED="1237625457828" TEXT="Session Manager Connection">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 <node CREATED="1237625931277" ID="Freemind_Link_1431184228" MODIFIED="1237625941298" TEXT="Tree structure">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 <node CREATED="1237625941701" ID="Freemind_Link_154209774" MODIFIED="1237625950448" TEXT="no circle"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 <node CREATED="1237625980381" ID="Freemind_Link_1254248169" MODIFIED="1237625981824" TEXT="routring"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 <node CREATED="1237625988532" ID="Freemind_Link_732926715" MODIFIED="1237625992792" TEXT="SessionManager ID"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 <node CREATED="1237625474718" ID="Freemind_Link_1012987053" MODIFIED="1237625482282" TEXT="Join/Put">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 <node CREATED="1237626008803" ID="Freemind_Link_677030519" MODIFIED="1237626021199" TEXT="put propergation"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 <node CREATED="1237625972836" ID="Freemind_Link_1723043676" MODIFIED="1237625974928" TEXT="Select">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 <node CREATED="1237626041308" ID="Freemind_Link_1216162628" MODIFIED="1237626311641" TEXT="session ring search"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 <node CREATED="1237626315638" ID="Freemind_Link_1148724853" MODIFIED="1237626321425" TEXT="session owner search"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 <node CREATED="1237625459662" ID="Freemind_Link_865511208" MODIFIED="1237625470706" TEXT="Remote Editor Command"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 <node CREATED="1237626329766" ID="Freemind_Link_675634205" MODIFIED="1237626337753" TEXT="Merge"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 <node CREATED="1237625856615" ID="Freemind_Link_1893859000" MODIFIED="1237625859186" POSITION="right" TEXT="&#x5b9f;&#x88c5;">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 <node CREATED="1237625859687" ID="Freemind_Link_573086474" MODIFIED="1237625865842" TEXT="Session Manager">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 <node CREATED="1237626340629" ID="Freemind_Link_291919965" MODIFIED="1237626342457" TEXT="Merger"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 <node CREATED="1237626344997" ID="Freemind_Link_42841994" MODIFIED="1237626354145" TEXT="Merger/Editor protocol"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 <node CREATED="1237625867526" ID="Freemind_Link_1954583124" MODIFIED="1237625876530" TEXT="Eclipse Pulgin"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 <node CREATED="1237625877102" ID="Freemind_Link_1678378173" MODIFIED="1237625878714" TEXT="vim"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 <node CREATED="1237625879190" ID="Freemind_Link_1560815525" MODIFIED="1237625881274" TEXT="Emacs"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 <node CREATED="1237625884374" ID="Freemind_Link_1113636367" MODIFIED="1237625888897" TEXT="TestEditor"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 <node CREATED="1237625494430" ID="Freemind_Link_1478227562" MODIFIED="1237625505731" POSITION="left" TEXT=" &#x8a3c;&#x660e;">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 <node CREATED="1237625506845" ID="Freemind_Link_574606344" MODIFIED="1237625518544" TEXT=" Merge"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 <node CREATED="1237625521845" ID="Freemind_Link_711757047" MODIFIED="1237625527233" TEXT="Session Manager connection"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 <node CREATED="1237625531845" ID="Freemind_Link_1381092928" MODIFIED="1237625534200" TEXT="Termination"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 <node CREATED="1237625539980" ID="Freemind_Link_488867478" MODIFIED="1237625546176" POSITION="left" TEXT="&#x691c;&#x8a3c;">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 <node CREATED="1237625546764" ID="Freemind_Link_1492537541" MODIFIED="1237625551408" TEXT="Java PathFinder"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 <node CREATED="1237625552180" ID="Freemind_Link_1944336334" MODIFIED="1237625558359" TEXT="Communiction Library">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 <node CREATED="1237625915206" ID="Freemind_Link_844697966" MODIFIED="1237625917209" TEXT="Socket"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 <node CREATED="1237625917581" ID="Freemind_Link_990418261" MODIFIED="1237625919177" TEXT="Thread"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 <node CREATED="1237626099793" ID="Freemind_Link_861771495" MODIFIED="1237626104489" TEXT="Packet Packer">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 <node CREATED="1237626113309" ID="Freemind_Link_201925484" MODIFIED="1237626119241" TEXT="shared data"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 <node CREATED="1237626119566" ID="Freemind_Link_961072572" MODIFIED="1237626120241" TEXT="copy"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 <node CREATED="1237625588739" ID="Freemind_Link_1032449120" MODIFIED="1237625590807" POSITION="left" TEXT="debug">
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 <node CREATED="1237625893342" ID="Freemind_Link_1270003345" MODIFIED="1237625905209" TEXT="Thread based Simulator"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 <node CREATED="1237625592195" ID="Freemind_Link_536950664" MODIFIED="1237625600694" TEXT="Protocol Timing"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 <node CREATED="1237625601507" ID="Freemind_Link_801509191" MODIFIED="1237625615622" TEXT="Data Consistency"/>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 </node>
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 </map>