Christian Urban <urbanc@in.tum.de> [Thu, 21 Sep 2017 14:15:55 +0100] rev 194
cleaned up
Christian Urban <urbanc@in.tum.de> [Thu, 07 Sep 2017 16:04:03 +0100] rev 193
polishing
Christian Urban <urbanc@in.tum.de> [Mon, 14 Aug 2017 14:16:25 +0100] rev 192
updated
Christian Urban <urbanc@in.tum.de> [Fri, 11 Aug 2017 16:09:02 +0100] rev 191
updated
Christian Urban <urbanc@in.tum.de> [Wed, 02 Aug 2017 14:56:47 +0100] rev 190
updated
Christian Urban <urbanc@in.tum.de> [Wed, 02 Aug 2017 13:18:14 +0100] rev 189
updated
Christian Urban <urbanc@in.tum.de> [Tue, 18 Jul 2017 14:46:14 +0100] rev 188
updated
Christian Urban <urbanc@in.tum.de> [Fri, 14 Jul 2017 15:08:39 +0100] rev 187
updated
Christian Urban <urbanc@in.tum.de> [Tue, 11 Jul 2017 17:01:50 +0100] rev 186
updated
Christian Urban <urbanc@in.tum.de> [Fri, 07 Jul 2017 15:10:14 +0100] rev 185
updated
Christian Urban <urbanc@in.tum.de> [Mon, 03 Jul 2017 15:29:29 +0100] rev 184
updated
Christian Urban <urbanc@in.tum.de> [Mon, 03 Jul 2017 14:29:24 +0100] rev 183
updated
Christian Urban <urbanc@in.tum.de> [Mon, 03 Jul 2017 13:31:20 +0100] rev 182
updated
Christian Urban <urbanc@in.tum.de> [Thu, 29 Jun 2017 15:31:24 +0100] rev 181
updated
Christian Urban <urbanc@in.tum.de> [Thu, 29 Jun 2017 14:59:55 +0100] rev 180
updated
Christian Urban <urbanc@in.tum.de> [Tue, 27 Jun 2017 14:49:42 +0100] rev 179
updated
Christian Urban <urbanc@in.tum.de> [Fri, 23 Jun 2017 00:27:16 +0100] rev 178
updated
Christian Urban <urbanc@in.tum.de> [Fri, 09 Jun 2017 15:08:54 +0100] rev 177
updated
Christian Urban <urbanc@in.tum.de> [Fri, 02 Jun 2017 14:36:44 +0100] rev 176
updated
Christian Urban <urbanc@in.tum.de> [Tue, 23 May 2017 15:10:48 +0100] rev 175
updated
Christian Urban <urbanc@in.tum.de> [Tue, 23 May 2017 15:08:47 +0100] rev 174
updated
Christian Urban <urbanc@in.tum.de> [Thu, 18 May 2017 15:11:49 +0100] rev 173
updated
Christian Urban <urbanc@in.tum.de> [Thu, 18 May 2017 14:30:08 +0100] rev 172
updated
Christian Urban <urbanc@in.tum.de> [Tue, 16 May 2017 17:20:49 +0100] rev 171
updated
Christian Urban <urbanc@in.tum.de> [Fri, 12 May 2017 14:55:35 +0100] rev 170
updated
Christian Urban <urbanc@in.tum.de> [Fri, 05 May 2017 15:03:30 +0100] rev 169
updated
Christian Urban <urbanc@in.tum.de> [Fri, 05 May 2017 14:53:56 +0100] rev 168
updated
Christian Urban <urbanc@in.tum.de> [Fri, 05 May 2017 14:26:00 +0100] rev 167
updated
Christian Urban <urbanc@in.tum.de> [Thu, 04 May 2017 15:21:18 +0100] rev 166
updated
Christian Urban <urbanc@in.tum.de> [Tue, 02 May 2017 14:42:52 +0100] rev 165
updated
Christian Urban <urbanc@in.tum.de> [Fri, 28 Apr 2017 15:05:36 +0100] rev 164
updated
Christian Urban <urbanc@in.tum.de> [Fri, 28 Apr 2017 13:20:44 +0100] rev 163
updated
Christian Urban <urbanc@in.tum.de> [Tue, 25 Apr 2017 16:23:46 +0100] rev 162
updated
Christian Urban <urbanc@in.tum.de> [Tue, 25 Apr 2017 14:05:57 +0100] rev 161
updated
zhangx [Fri, 21 Apr 2017 20:17:13 +0800] rev 160
"up_to" added and main theorems improved.
Christian Urban <urbanc@in.tum.de> [Thu, 20 Apr 2017 14:22:01 +0100] rev 159
updated
Christian Urban <urbanc@in.tum.de> [Tue, 11 Apr 2017 03:03:33 +0800] rev 158
updated
Christian Urban <urbanc@in.tum.de> [Fri, 17 Mar 2017 14:57:30 +0000] rev 157
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 16 Mar 2017 13:20:46 +0000] rev 156
updasted
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Mar 2017 13:11:16 +0000] rev 155
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 20 Feb 2017 15:53:22 +0000] rev 154
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 20 Feb 2017 13:08:04 +0000] rev 153
merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 20 Feb 2017 13:07:26 +0000] rev 152
updated
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 02:10:22 +0000] rev 151
test9
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:56:57 +0000] rev 150
test8
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:24:38 +0000] rev 149
test7
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:22:14 +0000] rev 148
test6
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:20:26 +0000] rev 147
test
Christian Urban <urbanc@in.tum.de> [Tue, 07 Feb 2017 01:10:46 +0000] rev 146
test
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Feb 2017 12:27:20 +0000] rev 145
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 19 Dec 2016 23:43:54 +0000] rev 144
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 09 Dec 2016 15:18:19 +0000] rev 143
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 09 Dec 2016 12:51:29 +0000] rev 142
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Oct 2016 14:47:01 +0100] rev 141
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 07 Oct 2016 21:15:35 +0100] rev 140
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 07 Oct 2016 14:05:08 +0100] rev 139
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 02 Oct 2016 14:32:05 +0100] rev 138
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Aug 2016 16:13:20 +0200] rev 137
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 16 Aug 2016 11:49:37 +0100] rev 136
updated tG definition
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Jul 2016 15:09:09 +0100] rev 135
updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 08 Jul 2016 01:25:19 +0100] rev 134
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 07 Jul 2016 13:32:09 +0100] rev 133
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 04 Jul 2016 14:04:11 +0100] rev 132
added version with fgraphs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 27 Jun 2016 14:08:21 +0100] rev 131
unified Rtree.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 17 Jun 2016 09:46:25 +0100] rev 130
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 15:06:16 +0100] rev 129
removed some files to attic
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 14 Jun 2016 13:56:51 +0100] rev 128
removed most instances of raw
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 Jun 2016 23:01:36 +0100] rev 127
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 07 Jun 2016 13:51:39 +0100] rev 126
minor update
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 Jun 2016 13:15:03 +0100] rev 125
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Apr 2016 14:44:09 +0100] rev 124
updated journal paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Apr 2016 13:52:07 +0100] rev 123
added style files.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 15:06:52 +0000] rev 122
all updated to Isabelle 2016
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:41:40 +0000] rev 121
added ? to PIPBasics
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:33:02 +0000] rev 120
updated to Isabelle 2016
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:15:51 +0000] rev 119
updated partially
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 21 Mar 2016 14:07:37 +0000] rev 118
updated to Isabelle 2016
zhangx [Sat, 13 Feb 2016 17:18:51 +0800] rev 117
Slight changes in commenting.
zhangx [Fri, 12 Feb 2016 17:50:24 +0800] rev 116
PIPBasics.thy is tidied up now.
zhangx [Fri, 12 Feb 2016 12:32:57 +0800] rev 115
Commenting of PIPBasics.thy almost completed. The last section needs to be distributed to Correctness.thy and Implementation.thy
zhangx [Tue, 09 Feb 2016 22:30:43 +0800] rev 114
More refinements in PIPBasics.thy.
zhangx [Mon, 08 Feb 2016 10:57:01 +0800] rev 113
More improvements in PIPBasics.thy and Implemenation.thy.
zhangx [Sun, 07 Feb 2016 21:21:53 +0800] rev 112
Small improvements.
zhangx [Sat, 06 Feb 2016 23:42:03 +0800] rev 111
More redundant lemmas are reomved.
zhangx [Sat, 06 Feb 2016 08:35:45 +0800] rev 110
About to change the proof of waiting_unique_pre and waiting_unqie.
zhangx [Fri, 05 Feb 2016 20:11:12 +0800] rev 109
wq_in_inv and wq_out_inv are removed, a number of loop holes need to be filled.
zhangx [Thu, 04 Feb 2016 14:45:30 +0800] rev 108
Several redundant lemmas removed.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 04 Feb 2016 00:43:05 +0000] rev 107
updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 03 Feb 2016 14:37:35 +0000] rev 106
updated files
zhangx [Wed, 03 Feb 2016 22:17:29 +0800] rev 105
Commit to revert
zhangx [Wed, 03 Feb 2016 21:51:57 +0800] rev 104
A fake merge. Used to revert to 98
zhangx [Wed, 03 Feb 2016 21:41:42 +0800] rev 103
PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.
zhangx [Wed, 03 Feb 2016 21:05:15 +0800] rev 102
Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
zhangx [Wed, 03 Feb 2016 12:04:03 +0800] rev 101
Reorganzing PIPBasics.thy intro sections.
zhangx [Mon, 01 Feb 2016 20:56:39 +0800] rev 100
Reorganizing PIPBasics.thy
zhangx [Sun, 31 Jan 2016 18:15:13 +0800] rev 99
Small improvemnts in PIPBasis.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:08:54 +0000] rev 98
deleted superflous files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Jan 2016 17:06:02 +0000] rev 97
merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:57:36 +0000] rev 96
merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 14:26:10 +0000] rev 95
changes to my repository
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Jan 2016 13:46:45 +0000] rev 94
some small changes
zhangx [Fri, 29 Jan 2016 11:01:13 +0800] rev 93
The overwriten original .thy files are working now. The ones in last revision aren't.
zhangx [Fri, 29 Jan 2016 10:51:52 +0800] rev 92
Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).
zhangx [Fri, 29 Jan 2016 09:46:07 +0800] rev 91
Removed *.*~, #***#, log, etc.
zhangx [Thu, 28 Jan 2016 21:14:17 +0800] rev 90
Retrofiting of:
CpsG.thy (the parallel copy of PIPBasics.thy),
ExtGG.thy (The paralell copy of Implemenation.thy),
PrioG.thy (The paralell copy of Correctness.thy)
has completed.
The next step is to overwite original copies with the paralell ones.
zhangx [Thu, 28 Jan 2016 16:36:46 +0800] rev 89
Slightly modified ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 16:33:49 +0800] rev 88
Merged back ExtGG.thy and PrioG.thy.
zhangx [Thu, 28 Jan 2016 15:36:48 +0800] rev 87
Tracking ExtGG.thy etc., so that a update to 83 is possible.
zhangx [Thu, 28 Jan 2016 07:46:05 +0800] rev 86
Added PrioG.thy again
zhangx [Thu, 28 Jan 2016 07:43:05 +0800] rev 85
Added PrioG.thy as a parallel copy of Correctness.thy
zhangx [Wed, 27 Jan 2016 23:34:23 +0800] rev 84
The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in
CpsG.thy have also been corrected.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Jan 2016 13:50:02 +0000] rev 83
merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Jan 2016 13:47:08 +0000] rev 82
some small changes to Correctness and Paper
zhangx [Wed, 27 Jan 2016 19:28:42 +0800] rev 81
CpsG.thy restored. It was deleted. But now restored as a temporary holder of PIPBasics.thy.
zhangx [Wed, 27 Jan 2016 19:26:56 +0800] rev 80
CpsG.thy retrofiting almost completed. An important mile stone.
zhangx [Sun, 17 Jan 2016 22:18:35 +0800] rev 79
Still improving CpsG.thy
zhangx [Sat, 16 Jan 2016 11:02:17 +0800] rev 78
Merged with 77
zhangx [Sat, 16 Jan 2016 10:59:03 +0800] rev 77
CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Jan 2016 02:05:29 +0000] rev 76
some small changes to the paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Jan 2016 03:29:22 +0000] rev 75
updated paper
zhangx [Thu, 14 Jan 2016 00:55:54 +0800] rev 74
Moment.thy further simplified.
zhangx [Wed, 13 Jan 2016 23:39:59 +0800] rev 73
Moment.thy further improved.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 15:22:14 +0000] rev 72
another simplification
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 15:16:59 +0000] rev 71
some small change
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 14:20:58 +0000] rev 70
further simplificaton of Moment.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 13:20:45 +0000] rev 69
simplified Moment.thy
zhangx [Tue, 12 Jan 2016 08:35:36 +0800] rev 68
Before retrofiting PIPBasics.thy
zhangx [Sat, 09 Jan 2016 22:19:27 +0800] rev 67
Correctness simplified a great deal.
zhangx [Thu, 07 Jan 2016 22:10:06 +0800] rev 66
Some small improvements in Correctness.thy.
zhangx [Thu, 07 Jan 2016 08:33:13 +0800] rev 65
Reorganization completed, added "scripts_structure.pdf" and "scirpts_structure.pptx".
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Jan 2016 16:34:26 +0000] rev 64
renamed files
zhangx [Wed, 06 Jan 2016 20:46:14 +0800] rev 63
ExtGG.thy finished, but more comments are needed.
zhangx [Tue, 22 Dec 2015 23:13:31 +0800] rev 62
In the middle of retrofiting ExtGG.thy.
zhangx [Fri, 18 Dec 2015 22:47:32 +0800] rev 61
CpsG.thy has been cleaned up.
The next step is to add more comments and make slight changes along the way.
zhangx [Fri, 18 Dec 2015 19:13:19 +0800] rev 60
Main proofs in CpsG.thy completed.
The next step is to remove lemmas unused in new proofs.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 15 Dec 2015 15:10:40 +0000] rev 59
removed some fixes about which Isabelle complains
zhangx [Tue, 15 Dec 2015 21:45:46 +0800] rev 58
Extended RTree.thy
xingyuan zhang <xingyuanzhang@126.com> [Thu, 03 Dec 2015 14:34:29 +0800] rev 57
Added generic theory "RTree.thy"
xingyuan zhang <xingyuanzhang@126.com> [Thu, 03 Dec 2015 14:34:00 +0800] rev 56
Before switching to generic theory of relational trees.
xingyuan zhang <xingyuanzhang@126.com> [Fri, 30 Oct 2015 20:40:11 +0800] rev 55
Comments for Set-operation finished
xingyuan zhang <xingyuanzhang@126.com> [Sat, 17 Oct 2015 16:14:30 +0800] rev 54
Merge with tip
xingyuan zhang <xingyuanzhang@126.com> [Sat, 17 Oct 2015 16:10:33 +0800] rev 53
Finished comments on PrioGDef.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 06 Oct 2015 14:22:34 +0100] rev 52
test
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 06 Oct 2015 14:13:52 +0100] rev 51
another test
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 06 Oct 2015 14:11:28 +0100] rev 50
test
xingyuan zhang <xingyuanzhang@126.com> [Tue, 06 Oct 2015 18:52:04 +0800] rev 49
A little more change.
xingyuan zhang <xingyuanzhang@126.com> [Tue, 06 Oct 2015 13:08:00 +0800] rev 48
Some changes in the PrioGDef.thy.
xingyuan zhang <xingyuanzhang@126.com> [Tue, 06 Oct 2015 11:26:18 +0800] rev 47
Just a test change
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 04 Oct 2015 23:02:57 +0100] rev 46
added one more reference to an incorrect specification
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 09 Sep 2015 11:24:19 +0100] rev 45
updated for Isabelle 2015
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 15 Jul 2014 17:25:53 +0200] rev 44
updated teh theories to newer Isabelle version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 12 Jun 2014 10:14:50 +0100] rev 43
a few additions
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 10 Jun 2014 10:44:48 +0100] rev 42
added scheduling book
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 Jun 2014 16:01:28 +0100] rev 41
added another book that makes the error, some more proofs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 03 Jun 2014 15:00:12 +0100] rev 40
added a library about graphs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 02 Jun 2014 14:58:42 +0100] rev 39
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 07:56:39 +0100] rev 38
finished proof of acyclity
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 24 May 2014 12:39:12 +0100] rev 37
simplified RAG_acyclic proof
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 23 May 2014 15:19:32 +0100] rev 36
added a test theory for polishing teh proofs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 22 May 2014 17:40:39 +0100] rev 35
added a bit more text to the paper and separated a theory about Max
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 20 May 2014 12:49:21 +0100] rev 34
updated ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 15 May 2014 16:02:44 +0100] rev 33
simplified the cp_rec proof
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 06 May 2014 14:36:40 +0100] rev 32
made some modifications.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 12 Mar 2014 10:08:20 +0000] rev 31
added paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 14 May 2014 11:52:53 +0100] rev 30
test
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Mar 2014 16:47:54 +0000] rev 29
updated readme
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Mar 2014 16:38:38 +0000] rev 28
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Mar 2014 15:49:36 +0000] rev 27
cleaned up
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Mar 2014 15:30:24 +0000] rev 26
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Mar 2014 15:27:59 +0000] rev 25
added two more references
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Mar 2014 09:40:40 +0000] rev 24
some additions
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 04 Mar 2014 08:45:11 +0000] rev 23
made some small chages
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 03 Mar 2014 16:22:48 +0000] rev 22
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 28 Feb 2014 12:49:58 +0000] rev 21
added llncs to journal
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 25 Feb 2014 20:01:47 +0000] rev 20
added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 20 Jun 2013 23:28:26 -0400] rev 19
added paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 20 Jun 2013 13:50:01 -0400] rev 18
added nasa talk
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 22 Dec 2012 14:50:29 +0000] rev 17
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 22 Dec 2012 01:58:45 +0000] rev 16
added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Dec 2012 23:32:58 +0000] rev 15
added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Dec 2012 18:06:00 +0000] rev 14
more one the implementation
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Dec 2012 13:30:14 +0000] rev 13
added explanation of the code
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Dec 2012 00:24:30 +0000] rev 12
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 20 Dec 2012 14:54:06 +0000] rev 11
added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 20 Dec 2012 12:23:44 +0000] rev 10
added two papers about PIP on multiprocs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 20 Dec 2012 10:53:31 +0000] rev 9
added original Sha paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 19 Dec 2012 23:46:36 +0000] rev 8
added a paragraph about RAGS
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 19 Dec 2012 12:51:06 +0000] rev 7
started code explanation
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 17 Dec 2012 12:34:24 +0000] rev 6
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 10 Dec 2012 21:27:22 +0000] rev 5
updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Dec 2012 16:30:57 +0000] rev 4
added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Dec 2012 15:49:20 +0000] rev 3
made everything working
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Dec 2012 15:12:49 +0000] rev 2
added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Dec 2012 15:11:51 +0000] rev 1
added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Dec 2012 15:11:21 +0000] rev 0
added