%PDF-1.5
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Outlines 3 0 R
/Names 4 0 R
/PageMode /UseOutlines
/OpenAction 5 0 R
>>
endobj
6 0 obj
<<
/Author ()
/Title ()
/Subject ()
/Creator (LaTeX with hyperref package)
/Producer (pdfTeX-1.40.13)
/Keywords ()
/CreationDate (D:20131112173147Z)
/ModDate (D:20131112173147Z)
/Trapped /False
/PTEX.Fullbanner (This is MiKTeX-pdfTeX 2.9.4535 \(1.40.13\))
>>
endobj
2 0 obj
<<
/Type /Pages
/Count 13
/Kids [7 0 R 8 0 R]
>>
endobj
3 0 obj
<<
/Type /Outlines
/First 9 0 R
/Last 10 0 R
/Count 13
>>
endobj
4 0 obj
<<
/Dests 11 0 R
>>
endobj
5 0 obj
<<
/S /GoTo
/D [12 0 R /FitH]
>>
endobj
7 0 obj
<<
/Type /Pages
/Count 7
/Parent 2 0 R
/Kids [13 0 R 12 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R]
>>
endobj
8 0 obj
<<
/Type /Pages
/Count 6
/Parent 2 0 R
/Kids [19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R]
>>
endobj
9 0 obj
<<
/Title (Introduction)
/A 25 0 R
/Parent 3 0 R
/Next 26 0 R
>>
endobj
10 0 obj
<<
/Title (Related work)
/A 27 0 R
/Parent 3 0 R
/Prev 28 0 R
>>
endobj
11 0 obj
<<
/Kids [29 0 R 30 0 R 31 0 R 32 0 R 33 0 R]
/Limits [(Doc-Start) (theorem.2)]
>>
endobj
12 0 obj
<<
/Type /Page
/Contents 34 0 R
/Resources 35 0 R
/MediaBox [0 0 612 792]
/Parent 7 0 R
/Annots [36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R
46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R
56 0 R 57 0 R 58 0 R]
>>
endobj
13 0 obj
<<
/Contents 59 0 R
/Type /Page
/Resources <<
/Font <<
/F1 60 0 R
>>
/XObject <<
/Xf1 61 0 R
>>
>>
/Annots [62 0 R 63 0 R 64 0 R 65 0 R]
/Parent 7 0 R
/MediaBox [0 0 595 842]
>>
endobj
14 0 obj
<<
/Type /Page
/Contents 66 0 R
/Resources 67 0 R
/MediaBox [0 0 612 792]
/Parent 7 0 R
/Annots [68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R]
>>
endobj
15 0 obj
<<
/Type /Page
/Contents 77 0 R
/Resources 78 0 R
/MediaBox [0 0 612 792]
/Parent 7 0 R
/Annots [79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R]
>>
endobj
16 0 obj
<<
/Type /Page
/Contents 85 0 R
/Resources 86 0 R
/MediaBox [0 0 612 792]
/Parent 7 0 R
/Annots [87 0 R 88 0 R 89 0 R 90 0 R 91 0 R 92 0 R]
>>
endobj
17 0 obj
<<
/Type /Page
/Contents 93 0 R
/Resources 94 0 R
/MediaBox [0 0 612 792]
/Parent 7 0 R
/Annots [95 0 R 96 0 R]
>>
endobj
18 0 obj
<<
/Type /Page
/Contents 97 0 R
/Resources 98 0 R
/MediaBox [0 0 612 792]
/Parent 7 0 R
/Annots [99 0 R 100 0 R 101 0 R 102 0 R]
>>
endobj
19 0 obj
<<
/Type /Page
/Contents 103 0 R
/Resources 104 0 R
/MediaBox [0 0 612 792]
/Parent 8 0 R
/Annots [105 0 R]
>>
endobj
20 0 obj
<<
/Type /Page
/Contents 106 0 R
/Resources 107 0 R
/MediaBox [0 0 612 792]
/Parent 8 0 R
/Annots [108 0 R 109 0 R 110 0 R]
>>
endobj
21 0 obj
<<
/Type /Page
/Contents 111 0 R
/Resources 112 0 R
/MediaBox [0 0 612 792]
/Parent 8 0 R
/Annots [113 0 R 114 0 R 115 0 R 116 0 R 117 0 R 118 0 R]
>>
endobj
22 0 obj
<<
/Type /Page
/Contents 119 0 R
/Resources 120 0 R
/MediaBox [0 0 612 792]
/Parent 8 0 R
/Annots [121 0 R 122 0 R 123 0 R 124 0 R 125 0 R 126 0 R 127 0 R 128 0 R]
>>
endobj
23 0 obj
<<
/Type /Page
/Contents 129 0 R
/Resources 130 0 R
/MediaBox [0 0 612 792]
/Parent 8 0 R
/Annots [131 0 R 132 0 R 133 0 R 134 0 R 135 0 R 136 0 R 137 0 R 138 0 R 139 0 R 140 0 R
141 0 R]
>>
endobj
24 0 obj
<<
/Type /Page
/Contents 142 0 R
/Resources 143 0 R
/MediaBox [0 0 612 792]
/Parent 8 0 R
/Annots [144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 151 0 R]
>>
endobj
25 0 obj
<<
/S /GoTo
/D (section.1)
>>
endobj
26 0 obj
<<
/Title (Preliminaries)
/A 152 0 R
/Parent 3 0 R
/Prev 9 0 R
/Next 153 0 R
>>
endobj
27 0 obj
<<
/S /GoTo
/D (section.6)
>>
endobj
28 0 obj
<<
/Title (Implementation and evaluation)
/A 154 0 R
/Parent 3 0 R
/Prev 155 0 R
/Next 10 0 R
/First 156 0 R
/Last 157 0 R
/Count 3
>>
endobj
29 0 obj
<<
/Kids [158 0 R 159 0 R 160 0 R 161 0 R 162 0 R 163 0 R]
/Limits [(Doc-Start) (Item.38)]
>>
endobj
30 0 obj
<<
/Kids [164 0 R 165 0 R 166 0 R 167 0 R 168 0 R 169 0 R]
/Limits [(Item.39) (cite.ong-llrs2010)]
>>
endobj
31 0 obj
<<
/Kids [170 0 R 171 0 R 172 0 R 173 0 R 174 0 R 175 0 R]
/Limits [(cite.ong-ramsay-popl2011) (page.4)]
>>
endobj
32 0 obj
<<
/Kids [176 0 R 177 0 R 178 0 R 179 0 R 180 0 R 181 0 R]
/Limits [(page.5) (section*.36)]
>>
endobj
33 0 obj
<<
/Kids [182 0 R 183 0 R 184 0 R 185 0 R 186 0 R]
/Limits [(section*.37) (theorem.2)]
>>
endobj
34 0 obj
<<
/Length 5575
/Filter /FlateDecode
>>
stream
xڭ;۲6
=lJUG4e;3Y{ڭJ@87!g~x2_ĵw*\YO=!NV*
Hg
M` aju_~Yl8\oR~=AbJ'AüowlF)}-8OIYpaA;,psnn37NRo/kؔEytHJ_k{0,f{A.5L kiGD`3cqʬwU-jOdkp7=1lG~w:\o[~w^,̟b4O<&]0Ǣgۓe`O,Q>.el SfۦY#S5-Td՞r}
tP.p2|7xb9-FZXc
!*\gi닃$KWpppHeg)mpR=l
a{Y(B;Gfyhv;o:y\tJmy计XI3Z- LcO/ppK?
Nq{$?`sW[#|X0ç/MّS8+u| Ɉ#ȃ; ]~+h$p~lڥgwW8JZWQԇu<&YV
]tH=pʱNνe9pd㛡AvKk I
4 ~X~:V B;UW0%&JYC,p#-KbX)fzJó'HUwXŰp;1*ж60±U7~
9&{P36,צuwxU|Ңxu3G`l亱VVWkq=