Mercurial > hg > Papers > 2009 > rep-verify-sigos
view rep-verify-sigos.mm @ 2:ac15ac2df491
fix
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 26 Mar 2009 03:33:07 +0900 |
parents | 5de476fabbbc |
children |
line wrap: on
line source
<map version="0.8.0"> <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net --> <node CREATED="1237625426161" ID="Freemind_Link_1466801335" MODIFIED="1237625435600" TEXT="Remote Editing Protocol の実装と検証"> <node CREATED="1237625640017" ID="Freemind_Link_714280035" MODIFIED="1237625647244" POSITION="right" TEXT="Design Decision"> <node CREATED="1237625835023" ID="Freemind_Link_132267554" MODIFIED="1237625839098" TEXT="分散実装"/> <node CREATED="1237625648873" ID="Freemind_Link_815400463" MODIFIED="1237625667796" TEXT="localなeidting を妨げない"/> <node CREATED="1237625669208" ID="Freemind_Link_1520481315" MODIFIED="1237625675628" TEXT="Network負荷が軽い"/> <node CREATED="1237625676160" ID="Freemind_Link_894703456" MODIFIED="1237625683708" TEXT="Simple なユーザInterface"/> <node CREATED="1237625688512" ID="Freemind_Link_1085461171" MODIFIED="1237625703931" TEXT="Conflictを非同期に解決する"/> <node CREATED="1237625715315" ID="Freemind_Link_1341564588" MODIFIED="1237625729998" TEXT="小人数向け"/> <node CREATED="1237625731219" ID="Freemind_Link_318731797" MODIFIED="1237625742719" TEXT="遠距離でも使用可能"/> <node CREATED="1237625761402" ID="Freemind_Link_1438980687" MODIFIED="1237625767389" TEXT="教育用途"/> <node CREATED="1237625767841" ID="Freemind_Link_21406229" MODIFIED="1237625773757" TEXT="Pair Programming"/> <node CREATED="1237625774282" ID="Freemind_Link_1916001654" MODIFIED="1237625784493" TEXT="Emacs/vim/Eclipseの相互接続"/> <node CREATED="1237625785825" ID="Freemind_Link_637456813" MODIFIED="1237625798141" TEXT="Inter-Application Protocolとして"/> </node> <node CREATED="1237625438663" ID="_" MODIFIED="1237625444787" POSITION="right" TEXT="REP"> <node CREATED="1237625445470" ID="Freemind_Link_212540496" MODIFIED="1237625457828" TEXT="Session Manager Connection"> <node CREATED="1237625931277" ID="Freemind_Link_1431184228" MODIFIED="1237625941298" TEXT="Tree structure"> <node CREATED="1237625941701" ID="Freemind_Link_154209774" MODIFIED="1237625950448" TEXT="no circle"/> </node> <node CREATED="1237625980381" ID="Freemind_Link_1254248169" MODIFIED="1237625981824" TEXT="routring"/> <node CREATED="1237625988532" ID="Freemind_Link_732926715" MODIFIED="1237625992792" TEXT="SessionManager ID"/> </node> <node CREATED="1237625474718" ID="Freemind_Link_1012987053" MODIFIED="1237625482282" TEXT="Join/Put"> <node CREATED="1237626008803" ID="Freemind_Link_677030519" MODIFIED="1237626021199" TEXT="put propergation"/> </node> <node CREATED="1237625972836" ID="Freemind_Link_1723043676" MODIFIED="1237625974928" TEXT="Select"> <node CREATED="1237626041308" ID="Freemind_Link_1216162628" MODIFIED="1237626311641" TEXT="session ring search"/> <node CREATED="1237626315638" ID="Freemind_Link_1148724853" MODIFIED="1237626321425" TEXT="session owner search"/> </node> <node CREATED="1237625459662" ID="Freemind_Link_865511208" MODIFIED="1237625470706" TEXT="Remote Editor Command"/> <node CREATED="1237626329766" ID="Freemind_Link_675634205" MODIFIED="1237626337753" TEXT="Merge"/> </node> <node CREATED="1237625856615" ID="Freemind_Link_1893859000" MODIFIED="1237625859186" POSITION="right" TEXT="実装"> <node CREATED="1237625859687" ID="Freemind_Link_573086474" MODIFIED="1237625865842" TEXT="Session Manager"> <node CREATED="1237626340629" ID="Freemind_Link_291919965" MODIFIED="1237626342457" TEXT="Merger"/> <node CREATED="1237626344997" ID="Freemind_Link_42841994" MODIFIED="1237626354145" TEXT="Merger/Editor protocol"/> </node> <node CREATED="1237625867526" ID="Freemind_Link_1954583124" MODIFIED="1237625876530" TEXT="Eclipse Pulgin"/> <node CREATED="1237625877102" ID="Freemind_Link_1678378173" MODIFIED="1237625878714" TEXT="vim"/> <node CREATED="1237625879190" ID="Freemind_Link_1560815525" MODIFIED="1237625881274" TEXT="Emacs"/> <node CREATED="1237625884374" ID="Freemind_Link_1113636367" MODIFIED="1237625888897" TEXT="TestEditor"/> </node> <node CREATED="1237625494430" ID="Freemind_Link_1478227562" MODIFIED="1237625505731" POSITION="left" TEXT=" 証明"> <node CREATED="1237625506845" ID="Freemind_Link_574606344" MODIFIED="1237625518544" TEXT=" Merge"/> <node CREATED="1237625521845" ID="Freemind_Link_711757047" MODIFIED="1237625527233" TEXT="Session Manager connection"/> <node CREATED="1237625531845" ID="Freemind_Link_1381092928" MODIFIED="1237625534200" TEXT="Termination"/> </node> <node CREATED="1237625539980" ID="Freemind_Link_488867478" MODIFIED="1237625546176" POSITION="left" TEXT="検証"> <node CREATED="1237625546764" ID="Freemind_Link_1492537541" MODIFIED="1237625551408" TEXT="Java PathFinder"/> <node CREATED="1237625552180" ID="Freemind_Link_1944336334" MODIFIED="1237625558359" TEXT="Communiction Library"> <node CREATED="1237625915206" ID="Freemind_Link_844697966" MODIFIED="1237625917209" TEXT="Socket"/> <node CREATED="1237625917581" ID="Freemind_Link_990418261" MODIFIED="1237625919177" TEXT="Thread"/> <node CREATED="1237626099793" ID="Freemind_Link_861771495" MODIFIED="1237626104489" TEXT="Packet Packer"> <node CREATED="1237626113309" ID="Freemind_Link_201925484" MODIFIED="1237626119241" TEXT="shared data"/> <node CREATED="1237626119566" ID="Freemind_Link_961072572" MODIFIED="1237626120241" TEXT="copy"/> </node> </node> </node> <node CREATED="1237625588739" ID="Freemind_Link_1032449120" MODIFIED="1237625590807" POSITION="left" TEXT="debug"> <node CREATED="1237625893342" ID="Freemind_Link_1270003345" MODIFIED="1237625905209" TEXT="Thread based Simulator"/> <node CREATED="1237625592195" ID="Freemind_Link_536950664" MODIFIED="1237625600694" TEXT="Protocol Timing"/> <node CREATED="1237625601507" ID="Freemind_Link_801509191" MODIFIED="1237625615622" TEXT="Data Consistency"/> </node> </node> </map>