annotate doc/GearsOS.mm @ 32:7787f54b59ba

Add GearBoxExample
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Mon, 04 May 2015 16:07:33 +0900
parents e95bf956f853
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e237b6466b02 add mindmap
kkb
parents:
diff changeset
1 <map version="1.0.1">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
2 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
e237b6466b02 add mindmap
kkb
parents:
diff changeset
3 <node CREATED="1426152933167" ID="ID_1394936235" MODIFIED="1426155741172" TEXT="GearsOS">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
4 <node CREATED="1426152966934" ID="ID_926214418" MODIFIED="1426153027700" POSITION="right" TEXT="Member">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
5 <node CREATED="1426152983515" ID="ID_315863972" MODIFIED="1426153034164" TEXT="kokubo">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
6 <node CREATED="1426157329277" ID="ID_967617319" MODIFIED="1426157360912" TEXT="OS"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
7 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
8 <node CREATED="1426153040121" ID="ID_1490408945" MODIFIED="1426153055980" TEXT="kohagura">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
9 <node CREATED="1426157344434" ID="ID_1301091078" MODIFIED="1426157348748" TEXT="Game Engine"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
10 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
11 <node CREATED="1426153086427" ID="ID_271352674" MODIFIED="1426153088812" TEXT="uehara">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
12 <node CREATED="1426157351698" ID="ID_414616265" MODIFIED="1426157355988" TEXT="Game Engine"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
13 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
14 <node CREATED="1426157318773" ID="ID_1658827704" MODIFIED="1426157322972" TEXT="atton">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
15 <node CREATED="1426157364821" ID="ID_1532498971" MODIFIED="1426157371348" TEXT="model checking"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
16 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
17 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
18 <node CREATED="1426153119258" ID="ID_53279667" MODIFIED="1426153327907" POSITION="right" TEXT="language">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
19 <node CREATED="1426153145562" ID="ID_1355656507" MODIFIED="1426153147340" TEXT="CbC"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
20 <node CREATED="1426153153171" ID="ID_1511264970" MODIFIED="1426153161508" TEXT="new CbC">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
21 <node CREATED="1426153163027" ID="ID_759638038" MODIFIED="1426153173012" TEXT="no prototype"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
22 <node CREATED="1426153184219" ID="ID_1430583325" MODIFIED="1426153227180" TEXT="automatic generation of Data Segment(Data Gears)">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
23 <node CREATED="1426153231121" ID="ID_700105794" MODIFIED="1426153237363" TEXT="spwan CbC"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
24 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
25 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
26 <node CREATED="1426153274251" ID="ID_78468290" MODIFIED="1426153279700" TEXT="python script version"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
27 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
28 <node CREATED="1426153322268" ID="ID_1071082360" MODIFIED="1426153325292" POSITION="right" TEXT="build tools">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
29 <node CREATED="1426153329857" ID="ID_826335459" MODIFIED="1426153335756" TEXT="CMake"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
30 <node CREATED="1426153336401" ID="ID_923090507" MODIFIED="1426153343388" TEXT="Auto tools"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
31 <node CREATED="1426153350195" ID="ID_655815813" MODIFIED="1426153359260" TEXT="IDE">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
32 <node CREATED="1426153389677" ID="ID_778711395" MODIFIED="1426153394028" TEXT="IntelliJ"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
33 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
34 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
35 <node CREATED="1426154537515" ID="ID_365848952" MODIFIED="1426156294511" POSITION="right" TEXT="development">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
36 <node CREATED="1426154560883" ID="ID_1901328801" MODIFIED="1426154627384" TEXT="early prototype">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
37 <node CREATED="1426154582077" ID="ID_1888549243" MODIFIED="1426154603220" TEXT="3 month"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
38 <node CREATED="1426154629243" ID="ID_464270918" MODIFIED="1426154849492" TEXT="1. Allocator">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
39 <node CREATED="1426157491597" ID="ID_807395376" MODIFIED="1426157532940" TEXT="DataGears* getGear(int size)">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
40 <node CREATED="1426157572156" ID="ID_991868194" MODIFIED="1426157574148" TEXT="malloc">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
41 <node CREATED="1426157578361" ID="ID_291148740" MODIFIED="1426157585148" TEXT="meta getGear"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
42 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
43 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
44 </node>
3
e95bf956f853 add file
kkb
parents: 0
diff changeset
45 <node CREATED="1426409063316" ID="ID_1899250473" MODIFIED="1426409071500" TEXT="1.1 List">
e95bf956f853 add file
kkb
parents: 0
diff changeset
46 <node CREATED="1426409095822" ID="ID_1785436904" MODIFIED="1426409103076" TEXT="create"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
47 <node CREATED="1426409073273" ID="ID_1742724689" MODIFIED="1426409080204" TEXT="copy"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
48 <node CREATED="1426409081042" ID="ID_182541638" MODIFIED="1426409083564" TEXT="append"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
49 <node CREATED="1426409105800" ID="ID_1064006824" MODIFIED="1426409109036" TEXT="reverse"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
50 </node>
0
e237b6466b02 add mindmap
kkb
parents:
diff changeset
51 <node CREATED="1426154724851" ID="ID_295772151" MODIFIED="1426156325656" TEXT="2. DataBase">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
52 <node CREATED="1426157645997" ID="ID_262918456" MODIFIED="1426157659805" TEXT="AVL Tree"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
53 <node CREATED="1426157661326" ID="ID_563061658" MODIFIED="1426157665276" TEXT="key">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
54 <node CREATED="1426157665868" ID="ID_79635745" MODIFIED="1426157667540" TEXT="string">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
55 <node CREATED="1426157670677" ID="ID_375812324" MODIFIED="1426157682692" TEXT="Data Gears"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
56 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
57 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
58 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
59 <node CREATED="1426154651552" ID="ID_370250011" MODIFIED="1426154807974" TEXT="3. Syncronized Queue"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
60 <node CREATED="1426154712139" ID="ID_1667993532" MODIFIED="1426155207228" TEXT="4. Worker"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
61 <node CREATED="1426154752805" ID="ID_1626191390" MODIFIED="1426154865727" TEXT="5. Simple Example">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
62 <node CREATED="1426154769709" ID="ID_1222841837" MODIFIED="1426154834220" TEXT="Sort"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
63 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
64 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
65 <node CREATED="1426154871340" ID="ID_860185644" MODIFIED="1426154889286" TEXT="Gears Programming Style">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
66 <node CREATED="1426154891777" ID="ID_1029912550" MODIFIED="1426154899276" TEXT="Data Gears">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
67 <node CREATED="1426154909445" ID="ID_1269120432" MODIFIED="1426154913988" TEXT="C Struct"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
68 <node CREATED="1426154980177" ID="ID_1056927698" MODIFIED="1426154983524" TEXT="Meta Gears">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
69 <node CREATED="1426154918611" ID="ID_76961203" MODIFIED="1426154922596" TEXT="Signature"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
70 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
71 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
72 <node CREATED="1426154899923" ID="ID_97366629" MODIFIED="1426154903556" TEXT="Code Gears">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
73 <node CREATED="1426154940433" ID="ID_200663807" MODIFIED="1426154947364" TEXT="Input Gears"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
74 <node CREATED="1426154948433" ID="ID_1435437719" MODIFIED="1426154952652" TEXT="Output Gears"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
75 <node CREATED="1426154963132" ID="ID_1536120296" MODIFIED="1426154969060" TEXT="Meta Gears"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
76 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
77 <node CREATED="1426156865749" ID="ID_7930485" MODIFIED="1426156876788" TEXT="Model Checking">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
78 <node CREATED="1426156952525" ID="ID_779877247" MODIFIED="1426156973639" TEXT="AVL Tree Model checking"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
79 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
80 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
81 <node CREATED="1426155169668" ID="ID_725052821" MODIFIED="1426155183396" TEXT="Worker">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
82 <node CREATED="1426155002891" ID="ID_791942587" MODIFIED="1426155013980" TEXT="Context Gears">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
83 <node CREATED="1426155019548" ID="ID_1811887181" MODIFIED="1426155025740" TEXT="htask">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
84 <node CREATED="1426155041276" ID="ID_1363363970" MODIFIED="1426155043260" TEXT="input"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
85 <node CREATED="1426155043640" ID="ID_299145546" MODIFIED="1426155044756" TEXT="output"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
86 <node CREATED="1426155049410" ID="ID_1300888330" MODIFIED="1426155051300" TEXT="task"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
87 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
88 <node CREATED="1426155113077" ID="ID_918979021" MODIFIED="1426155141892" TEXT="Gears Dependency"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
89 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
90 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
91 <node CREATED="1426155217688" ID="ID_1636644002" MODIFIED="1426155220132" TEXT="DataBase">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
92 <node CREATED="1426155226188" ID="ID_1806060214" MODIFIED="1426155233412" TEXT="Code Gears"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
93 <node CREATED="1426155234424" ID="ID_1356661761" MODIFIED="1426155247116" TEXT="Persistent Data Gears"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
94 <node CREATED="1426155265668" ID="ID_283754374" MODIFIED="1426155269164" TEXT="AVL Tree"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
95 <node CREATED="1426155275113" ID="ID_1182453147" MODIFIED="1426155384260" TEXT="non Destructed"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
96 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
97 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
98 <node CREATED="1426155398723" ID="ID_1514777935" MODIFIED="1426155408740" POSITION="right" TEXT="Feature">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
99 <node CREATED="1426155423877" ID="ID_188930462" MODIFIED="1426155454396" TEXT="inherent Parallel"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
100 <node CREATED="1426155458907" ID="ID_604916009" MODIFIED="1426155480644" TEXT="Distributed Open Computation"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
101 <node CREATED="1426155488461" ID="ID_1043965627" MODIFIED="1426155604552" TEXT="Meta Computation">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
102 <node CREATED="1426155512325" ID="ID_1252599336" MODIFIED="1426155555164" TEXT="Software evolution"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
103 <node CREATED="1426155566909" ID="ID_557282183" MODIFIED="1426155571924" TEXT="Open System"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
104 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
105 <node CREATED="1426155587059" ID="ID_58101192" MODIFIED="1426155602084" TEXT="Real-time"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
106 <node CREATED="1426155618321" ID="ID_520602045" MODIFIED="1426155624420" TEXT="Multi Language"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
107 <node CREATED="1426155632277" ID="ID_223519948" MODIFIED="1426155642972" TEXT="Version Management"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
108 <node CREATED="1426156755795" ID="ID_1441690163" MODIFIED="1426156773100" TEXT="Reliability">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
109 <node CREATED="1426156788522" ID="ID_854392582" MODIFIED="1426156837908" TEXT="Separated Data Segment"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
110 <node CREATED="1426156807481" ID="ID_1118801883" MODIFIED="1426156818708" TEXT="Model checking"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
111 <node CREATED="1426156819876" ID="ID_1150871307" MODIFIED="1426156825516" TEXT="Proof System"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
112 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
113 <node CREATED="1426157270285" ID="ID_1262373678" MODIFIED="1426157275860" TEXT="Power Management"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
114 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
115 <node CREATED="1426153400356" ID="ID_696309465" MODIFIED="1426153419804" POSITION="left" TEXT="Component">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
116 <node CREATED="1426153422221" ID="ID_170447910" MODIFIED="1426153441117" TEXT="multi thread Memory allocator"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
117 <node CREATED="1426153448892" ID="ID_1900502755" MODIFIED="1426153457804" TEXT="multi thread Worker">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
118 <node CREATED="1426153613977" ID="ID_1645792182" MODIFIED="1426153617756" TEXT="pipeline"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
119 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
120 <node CREATED="1426153458716" ID="ID_1124613383" MODIFIED="1426153488468" TEXT="Syncronized Queue"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
121 <node CREATED="1426153490725" ID="ID_426141298" MODIFIED="1426153518972" TEXT="Persistent Data Segment DataBase"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
122 <node CREATED="1426153534498" ID="ID_35994479" MODIFIED="1426153558980" TEXT="Segmentation and Paging"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
123 <node CREATED="1426153594957" ID="ID_1850375021" MODIFIED="1426153609052" TEXT="Meta computation Manager"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
124 <node CREATED="1426153636133" ID="ID_1010534239" MODIFIED="1426153656316" TEXT="Code Segment Manager"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
125 <node CREATED="1426153749589" ID="ID_1391099215" MODIFIED="1426153776636" TEXT="Remote Data Segment Manager">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
126 <node CREATED="1426153777954" ID="ID_189259534" MODIFIED="1426153782636" TEXT="network"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
127 <node CREATED="1426153786269" ID="ID_765224759" MODIFIED="1426153796700" TEXT="network driver"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
128 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
129 <node CREATED="1426154466067" ID="ID_1935735577" MODIFIED="1426154484121" TEXT="Language Runtime">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
130 <node CREATED="1426154485042" ID="ID_750402783" MODIFIED="1426154487332" TEXT="LLVM"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
131 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
132 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
133 <node CREATED="1426153727000" ID="ID_1201066571" MODIFIED="1426153731420" POSITION="left" TEXT="Target Application">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
134 <node CREATED="1426153732779" ID="ID_1276834998" MODIFIED="1426153813588" TEXT="Parallel">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
135 <node CREATED="1426153831245" ID="ID_1795258059" MODIFIED="1426153844396" TEXT="Shared Memory Base"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
136 <node CREATED="1426153845205" ID="ID_124400642" MODIFIED="1426153861148" TEXT="Shared nothing"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
137 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
138 <node CREATED="1426153814625" ID="ID_957965095" MODIFIED="1426153820588" TEXT="Distributed">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
139 <node CREATED="1426153903914" ID="ID_1148137834" MODIFIED="1426153905660" TEXT="Open">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
140 <node CREATED="1426153930901" ID="ID_1261167193" MODIFIED="1426153939716" TEXT="Web Server"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
141 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
142 <node CREATED="1426153905940" ID="ID_104926031" MODIFIED="1426153910252" TEXT="Close">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
143 <node CREATED="1426153918797" ID="ID_1026709537" MODIFIED="1426153925124" TEXT="hadoop?"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
144 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
145 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
146 <node CREATED="1426154001205" ID="ID_820959932" MODIFIED="1426154008028" TEXT="Game Framework">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
147 <node CREATED="1426154055549" ID="ID_1090149281" MODIFIED="1426154077788" TEXT="Scene Graph Engine"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
148 <node CREATED="1426154090346" ID="ID_705558919" MODIFIED="1426154102292" TEXT="Rendering Engine">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
149 <node CREATED="1426154102915" ID="ID_402944114" MODIFIED="1426154105948" TEXT="OpenGL"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
150 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
151 <node CREATED="1426154111684" ID="ID_1790478825" MODIFIED="1426154122564" TEXT="Network Comminucation"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
152 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
153 <node CREATED="1426154170325" ID="ID_1343322314" MODIFIED="1426154176372" TEXT="Simple Examples">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
154 <node CREATED="1426154177397" ID="ID_149902551" MODIFIED="1426154182044" TEXT="WordCount"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
155 <node CREATED="1426154182613" ID="ID_1170950426" MODIFIED="1426154184180" TEXT="Sort"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
156 <node CREATED="1426154184820" ID="ID_227037195" MODIFIED="1426154186860" TEXT="FFT"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
157 <node CREATED="1426154194373" ID="ID_743768242" MODIFIED="1426154195868" TEXT="grep"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
158 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
159 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
160 <node CREATED="1426154241672" ID="ID_1732591315" MODIFIED="1426154262292" POSITION="left" TEXT="Target Architecture">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
161 <node CREATED="1426154268221" ID="ID_1750857503" MODIFIED="1426154277612" TEXT="Cell">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
162 <node CREATED="1426154278477" ID="ID_1838269808" MODIFIED="1426154282028" TEXT="X"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
163 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
164 <node CREATED="1426154287485" ID="ID_1994697303" MODIFIED="1426154292228" TEXT="Xeon Phi"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
165 <node CREATED="1426154295730" ID="ID_404288782" MODIFIED="1426154399112" TEXT="Intel CPU">
e237b6466b02 add mindmap
kkb
parents:
diff changeset
166 <node CREATED="1426154320649" ID="ID_1294744639" MODIFIED="1426154326260" TEXT="Xeon"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
167 <node CREATED="1426154326889" ID="ID_1671534233" MODIFIED="1426154332260" TEXT="Core ix"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
168 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
169 <node CREATED="1426154388209" ID="ID_766793265" MODIFIED="1426154389356" TEXT="ARM"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
170 <node CREATED="1426154362117" ID="ID_101910456" MODIFIED="1426154364468" TEXT="FPGA"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
171 <node CREATED="1426154365632" ID="ID_1185664664" MODIFIED="1426154421092" TEXT="NVIDIA"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
172 <node CREATED="1426154401101" ID="ID_1582370381" MODIFIED="1426154406700" TEXT="Power PC"/>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
173 </node>
3
e95bf956f853 add file
kkb
parents: 0
diff changeset
174 <node CREATED="1426503430814" ID="ID_755387002" MODIFIED="1426503434221" POSITION="left" TEXT="Theory">
e95bf956f853 add file
kkb
parents: 0
diff changeset
175 <node CREATED="1426503434222" ID="ID_1097315101" MODIFIED="1426503438416" TEXT="Monad"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
176 <node CREATED="1426503439614" ID="ID_1402116978" MODIFIED="1426503447930" TEXT="Operational semantics"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
177 <node CREATED="1426503451465" ID="ID_838122665" MODIFIED="1426503457120" TEXT="Model Checking"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
178 <node CREATED="1426503458321" ID="ID_672360813" MODIFIED="1426503462888" TEXT="Proof Syste">
e95bf956f853 add file
kkb
parents: 0
diff changeset
179 <node CREATED="1426503510409" ID="ID_61060240" MODIFIED="1426503537584" TEXT="Linear Logic"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
180 <node CREATED="1426503540072" ID="ID_92514386" MODIFIED="1426503546144" TEXT="System F"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
181 </node>
e95bf956f853 add file
kkb
parents: 0
diff changeset
182 <node CREATED="1426503465113" ID="ID_1206595312" MODIFIED="1426503469936" TEXT="Dependent type"/>
e95bf956f853 add file
kkb
parents: 0
diff changeset
183 </node>
0
e237b6466b02 add mindmap
kkb
parents:
diff changeset
184 </node>
e237b6466b02 add mindmap
kkb
parents:
diff changeset
185 </map>