Introduction au cours Pipeline logiciel Fusion de boucles. Sans contraintes de ressources. Optimisations des durées de vie
|
|
- Robin Bernard
- il y a 8 ans
- Total affichages :
Transcription
1 Outline Introduction au cours 1 Introduction au cours Compilation et optimisations de codes Des p'tites boucles, toujours des p'tites boucles Exemples de spécicités architecturales 2 3 Intérêts et problèmes simple : variantes Fusion avec décalage
2 Ó Ü Ù Ð Å Ò Ñ ÖÐ Ñ ÒÖ Ø ÕÙ ÔÓÙÖÐ ÓÑÔ Ø ÓÒº Á ÓÙ Ð ÕÙ Ú Ð ÒØÑ Ò Ñ ÖÐ ÙÖ Ñ Ü Ñ Ð ³ÙÒ Ñ ÒÒ³ Ý ÒØÕÙ O(V 2 E) ÓÙ ÓÒØÖ ÒØ Ô Ö Ó ³ ÓÖÐÓ º Ë Ü ÓÑÔÐ Ü Ø O(VElog(V))º г Ð ÓÖ Ø Ñ ÓÙØ¹Ó ¹ ÐØ Ö ÓÑÔÐ Ü Ø O(E Ö ÔÓ ÒÙÐ Ô Ö Ó ³ ÓÖÐÓ µº Ð ÓÖ Ø Ñ Ä Ö ÓÒ Ø 2 Å Ò Ñ ÖÐ ÒÓÑ Ö ÓÒØÖ ÒØ ÔÓÙÖÐ ÓÑÔ Ø ÓÒº ÕÙ Ú Ð ÒØÑ Ñ Ò ÖÐ ÒÓÑ Ö ³ Ö ÔÓ ÒÙÐºÎ Ö ÒØ ) Ú Ö ÓÒ µóù
3 Ê Ø Ñ Ò Ø ÖÙ Ø (u,v) Ê Ø Ñ Ò ÓÒØ ÓÒr : V ZØ ÐÐ ÕÙ ÔÓÙÖØÓÙØ Öe = w(e) ÒÓÑ Ö Ö ØÖ ÙÖг Öeºd(u) ÙÖ Ð³ÓÔ Ö Ø ÙÖuº ÓÖÖ ÔÓÒ Ò Ð Ö Ø Ñ Ò º Ö Ô Ö٠غ È Ö Ó ³ ÓÖÐÓ Φ(G) ÙÖ Ñ Ü Ñ Ð ³ÙÒ Ñ Ò Ò Ö ØÖ º w r (e) = w(e)+r(v) r(u) +1 ÒÓÑ Ö ÔÓ Ø Ö ØÖ µº ÙØÌÖÓÙÚ ÖrØ ÐÕÙ Φ(G r ) Ó ØÑ Ò Ñ Ðº
4 ij Ð ÓÖ Ø Ñ Ä Ö ÓÒ ØË Ü ½»¾µ W(u,v) = min{w(p) u P v}º ÇÒ ÐÙÐ D(u,v) = max{d(p) u P v Øw(P) W(u,v)}º = ÐÓÝ ¹Ï Ö ÐÐ ÐÐ¹Ô Ö ÓÖØ Ø¹Ô Ø µ O(V 3 )º ÈÖÓÔÖ Ø ½Φ(G) = D(u,v)ÔÓÙÖ ÖØ Ò u Øvº ÈÖÓÔÖ Ø ¾Φ(G) c (D(u,v) > c W(u,v) 1)º ÈÖÓÔÖ Ø W r (u,v) = W(u,v)+r(v) r(u) ØD r (u,v) D(u,v)º =
5 ij Ð ÓÖ Ø Ñ Ä Ö ÓÒ ØË Ü ¾»¾µ ÁÐ Ü Ø ÙÒÖ Ø Ñ Ò rø ÐÕÙ φ(g r ÐÓÖ ÕÙ D(u,v) > ÓÒÐÙ ÓÒ cº ) c r(v) r(u)+w(u,v) 1 ÆÓÙÚ ÙÜ Ö Ø ³ ÓÖÐÓ µ uú Ö v ÔÓ W(u,v) 1 ÐÓÖ ÕÙ D(u,v) > Ð ÓÖ Ø Ñ c ÒÔÐÙ Ö Ò Ø Ùܵº Ò Ø º ÐÐÑ Ò¹ ÓÖ O(VE) = Ü Ø Ò ³ÙÒÖ Ø Ñ Ò Ô ÖÙ Ø ÔÓ ØÖ Ø Ñ ÒØ O(V 3 )º ÓÑÔÐ Ü Ø ØÓØ Ð O(V 3 ÑÔÐÓ ÙÜÔÖ Ñ Ö Ø Ô Ô ÖÖ Ö ÓØÓÑ ÕÙ ÙÖ Ð ÕÙ ÒØ Ø D(u,v)ÔÖ ¹ ÐÙÐ º log(v))º Ñ Ð ÓÖ Ø ÓÒÔÓ Ð ÒO(VElog(V))º
6 ¾ºÊ Ô Ø ÖV 1 Ó ½ºÈÓÙÖØÓÙØ ÓÑÑ Øv V r(v) = Î Ö ÒØ ÓÔØ Ñ º µ ÐÙÐ Ö (v)ð ÙÖ Ñ Ü Ñ Ð ³ÙÒ Ñ Ò Ò Ö ØÖ Ò G r ³ ÜØÖ Ñ Ø vº µèóùöøóùøvø ÐÕÙ (v) > c r(v) = r(v)+1º ºË Φ(G r ) > c ÑÔÓ Ð ³ ØØ Ò Ö c ÒÓÒr ØÐ Ö Ø Ñ Ò Ö º
7 Leiserson-Saxe circuit retiming (1991) Delay operators : move registers from out-going to in-going edges. Retiming changes number of registers & clock period of the circuit. Initial circuit : φ(g) =
8 Leiserson-Saxe circuit retiming (1991) Delay operators : move registers from out-going to in-going edges. Retiming changes number of registers & clock period of the circuit. First retiming to apply targeting φ(g) =
9 Leiserson-Saxe circuit retiming (1991) Delay operators : move registers from out-going to in-going edges. Retiming changes number of registers & clock period of the circuit. First retiming applied : φ(g) =
10 Leiserson-Saxe circuit retiming (1991) Delay operators : move registers from out-going to in-going edges. Retiming changes number of registers & clock period of the circuit. Second retiming to apply targeting φ(g) =
11 Leiserson-Saxe circuit retiming (1991) Delay operators : move registers from out-going to in-going edges. Retiming changes number of registers & clock period of the circuit. Second retiming applied : φ(g) =
12 Leiserson-Saxe circuit retiming (1991) Delay operators : move registers from out-going to in-going edges. Retiming changes number of registers & clock period of the circuit. Complete optimal retiming : φ(g) = Nice O(VE log(v )) algorithm for clock period minimization. Similar concepts used in software pipelining and loop shifting.
13 (1 1 p )ΦÓÔØ(G)+λ pº µλ Ê ØÓÙÖ ÙÖÐ Ô Ô Ð Ò ÐÓ Ð (1 1 p )d(p )+λ p ÓÒλ Ð Ð Ä Ö ÓÒ¹Ë Ü ÓÑÔ Ø ÓÒÔ ÖÐ Ø µ Ú s(v) ÙÖ Ñ Üº ³ÙÒ Ñ Ò v Ò Ö ØÖ Ò G r σ(v,k) = s(v)+(r(v)+k)φ(g r )ÓÖ ÓÒÒ Ò Ñ ÒØ ΦÓÔØ(G)º µèóùöóö ÓºÓÔØ Ñ Ðσ (v,k) = s(v)+λ s(v) < λ ØÓÙØ Ñ ÒP u n Ò Ö ØÖ Ò G r Ú Ö (r(v)+k) Ú 1u d(p) s(u n )+d(u n ) s(u 1 ) < λ +max{d(u) u V}º λ ÓÒΦÓÔØ(G) λ +max{d(u) 1 u V}º λ (2 1 p )λ p +max{d(u) 1 u V}
14 Programmation linéaire min 11t + 1u 2t + 3u 5 3t + 2u 4 5t + u 12 t >=, u >= = max 5x + 4y + 12z 2x + 3y + 5z 11 3x + 2y + z 1 x, y, z Problème 1 du dopé acheter la proportion la moins chère de dopants t et u (de prix respectifs 11 et 1) pour un apport susant en 3 éléments de base (resp. 5, 4 et 12) connaissant l'apport dans chaque dopant. Problème 2 du traquant vendre les trois éléments de base au prix le plus cher, tout en étant moins cher que chacun des dopants.
15 Programmation linéaire Théorème de dualité min{c.x Ax b, x } = max{y.b ya c, y } Complexité Solution rationnelle : temps polynomial (L. Khachiyan) Solution entière : NP-complet et inégalité seulement. Algorithmes Algorithmes du simplexe, algorithmes de réduction de base en petites dimensions (Lenstra), programmation linéaire paramétrée (second membre).
16 S(G r S(G ÆÓØ ÙÖÐ Ö ØÖ Ù Ò ÖÙ Ø µ r ) = e E w r(e) = u v e w(e)+r(v) r(u) = S(G)+ v V r(v)( Ò Ö (v) ÓÙØ Ö (v)) ) ÒÓÑ Ö Ö ØÖ ÔÖ Ð Ô Örº min{ r(v)c(v) e = (u,v) E, w(e)+r(v) r(u) } v V ÈÖÓ Ö ÑÑ Ð Ò Ö ÒÒÓÑ Ö ÒØ Ö max{ e E f(e)w(e) v V, v e Ö Ô µ Ø ÓÐÙ Ð ÒØ ÑÔ ÔÓÐÝÒÓÑ Ð f(e) e f(e) = c(v), e E, f(e) } Ù Ð ³ÙÒ Ð ÓÖ Ø Ñ ÓØ Ñ ØÖ ÓÒØÖ ÒØ Ñ ØÖ ³ Ò Ò v
17 Γ(r) Σ(f)ÕÙ Ð ÕÙ Ó ÒØr Øf (u,v), r(v) r(u)+w(e)º Ê Ø Ñ Ò ÓÒØ ÓÒr : V ZØ ÐÐ ÕÙ e = ÔÔÖÓ ÔÖ Ñ Ð ¹ Ù Ð ÓÒØ ÓÒf : E ZØ ÐÐ ÕÙ v ÐÓØÔÓ Ø ÙÒ ÓÒ ÖÙ Ø µ ÒØÖ ÒØ Ú Ö ÙÒ Ö ÓÖØ ÒØ º V, f(e) =. v e ÇÒ ØÔ ÖÙÒÑ Ñ ÒÓÑ Ö Ö ØÖ ÙÒ Ö v. e f(e)º ÈÖ Ò Ô ÓÒÒ Ö Ó Ø Γ(r) ØΣ(f) ÙÜÖ Ø Ñ Ò Ø ÓØ ÔÓÙÖÕÙ ÁÐ Ü Ø r ØfØ Ð ÕÙ Γ(r) = ÇÒ ÒØÖ Ò ÙÒ ÓÑÑ Ø ÙØ ÒØ Ó ÕÙ³ÓÒ Ò ÓÖØ º Σ(f)º
18 r Ê Ø Ñ Ò ÇÒÔÓ v r (e) = w ÇÒ Ö Ñ Ò Ñ ÖΓ(r) = ÆÓØ Ñ Ü Ñ Ø ÓÒ ÆȹÓÑÔÐ Ø Ù Ò ÓÖص Ü ÑÔÐ Ñ Ò Ñ Ø ÓÒ ÙÒÓÑ Ö ³ Ö ÔÓ ÒÙÐ (e) > Øv r e E v r(e)º (e) = 1 w r (e) = º ÐÓØÔÓ Ø ÇÒÔÓ z f (e) = f(e) = Øz ÇÒ Ö Ñ Ü Ñ ÖΣ(f) = f (e) = 1 f(e)w r (e) ÒÓÒº e E z f(e)º ÈÖÓÔÖ Ø ½ e Ef(e)w(e) = e E f(e)w r (e) Σ(f)Ò Ô Ò Ô rº ÈÖÓÔÖ Ø ¾v r (e) z f (e) Ò ÓÒ ÓÖÑ Ø ic(e) ÈÖÓÔÖ Ø r Øf Γ(r) Σ(f) ØÓÔØ Ñ Ð e = v r (e) z f (e) E,ic(e) = º º
19 w (e) r ÓÐÓÖ Ø ÓÒ Ö ÙØ i f,r (e) = ÔÓÙÖØÓÙØ ÖeºÇÒ Incolore Vert Vert i(e)= Ñ Ò Ö i f,r ÓÐÓÖ Ð Ö ÔÓÙÖ Ò ÕÙ Ö ÕÙ ÐÐ (e)ô ÙØ ÖÓ ØÖ º 1 Noir i(e)= Vert Vert Ö ÑÑ ÓÒ ÓÖÑ Ø º i(e)= Noir 1 Noir i(e)= Rouge f(e) Ö ÖÓ ØÖ i f,r ÇÒÔ ÖØ Ù ÓØ Ø Ù Ð ÒÙÐ Ö ÒÓÒÓÒ ÓÖÑ Ò Ø ÙÜ Ö ÔÓ ÒÙÐ ÒÓ Ö µºçò Ó Ø (e) ÙÖØÓÙØ ÖÒÓÒÓÒ ÓÖÑ ÓÒ ÖÚ Öi f,r (e) = ÙÖÐ ÙØÖ º
20 Ä ÑÑ Å ÒØÝ (V,E)ÙÒ Ö Ô ÓÖ ÒØ ÓÒØÐ Ö ÓÒØÒÓ Ö Ú ÖØ ÖÓÙ ÓÙ µáð Ü Ø ÙÒÝÐ ÓÒØ Ò ÒØe µáð Ü Ø ÙÒÓ¹ÝÐ ÓÒØ Ò ÒØe Ò Ö ÒÓÐÓÖ Ø ÓÒØØÓÙ Ð Ö ÒÓ Ö ÓÒØ Ò Ð Ñ Ñ Ò ØØÓÙ Ð Ö Ú ÖØ Ò Ð Ò ÓÒØÖ Ö º Ò Ö ÖÓÙ ÓÒØØÓÙ Ð Ö ÖÓÙ Ò Ð ÙÜ Ò º ËÓ ØG = ÒÓÐÓÖ ºËÓ Øe ÙÒ ÖÒÓ ÖºÍÒ ¾ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ØÚÖ ÑÓÒ ØÖ Ø ÓÒÓÒ ØÖÙØ Ú Ô Ö ÑÔÐ Ñ ÖÕÙ Ò Ù Ú ÒØÔ ÖØ Ö e Ð Ö ÒÓ Ö Ò Ð Ò e ÒÓ Ö ÓÒØ Ò Ð Ñ Ñ Ò ØØÓÙ Ð Ö Ú ÖØ Ò Ð Ò ÓÒØÖ Ö º Ð Ö Ú ÖØ Ò Ð Ò ÓÒØÖ Ö Ð Ö
21 ÕÙ Ô ÖÑ Ø Ö Ò Ö e ÓÒ ÓÖÑ Ò Ö Ö ³ ÖÒÓÒÓÒ ÓÖÑ º Ò Ô ÖÐ Ó¹ÝÐ ¾ºÊ ÓÐÓÖ ÖÐ Ö Ò ÓÒØ ÓÒ Ù Ö ÑÑ ÓÒ ÓÖÑ Ø Ø º ÓÑÔÐ Ü Ø O( E ( E + V ))ºÈÓ Ð Ø Ö ÓÙØ Ö Ö ³ ÓÖÐÓ º ÒÓÙÚ ÙÜr Øf ÓÐÓÖ ÖÐ Ö Ò ÓÒØ ÓÒ Ù Ö ÑÑ ÓÒ ÓÖÑ Ø ÔÓÙÖr=f = Ð ÓÖ Ø Ñ ½º Ó ÖÙÒ ÖÒÓÒÓÒ ÓÖÑ e = (u,v) Ø Ö ÙÐ ÑÑ Å ÒØÝ Ì ÒØÕÙ³ Ð Ü Ø Ö ÒÓÒÓÒ ÓÖÑ ÓÖ ÒØ ÓÑÑ e Ö Ôº Ò Ò ÒÚ Ö e µ ÒÖ Ñ ÒØ ÖÐ Ð ÓÑÑ Ø Ù ÓÙ ¹ Ò Ñ Ð ÓÒØ Ò ÒØv µ µ ÒÖ Ñ ÒØ Ö Ö Ôº Ö Ñ ÒØ ÖµÐ ÓØ Ö ÙÝÐ ÕÙ ÓÒØ
22 ÔÖ ÙÜ Ø Ô È Ø Ø Ü ÑÔÐ d c b d c b a Ê ÙÐØ Ø ÙÖÙÒ Ü ÑÔÐ +1 a +1 Flot unitaire Arc non conforme (noir)
23 Outline Introduction au cours 1 Introduction au cours Compilation et optimisations de codes Des p'tites boucles, toujours des p'tites boucles Exemples de spécicités architecturales 2 3 Intérêts et problèmes simple : variantes Fusion avec décalage
24 et durées de vie. Ex : Maxlive Maxlive = maximum number of simultaneous live values. Dependence graph + xed allocation. kernel a b c a b c 1 time
25 et durées de vie. Ex : Maxlive Maxlive = maximum number of simultaneous live values. Dependence graph + xed allocation. Maxlive = 3 (after b and before c) : kernel a b c a b c 1 time a b c a b c a b c
26 et durées de vie. Ex : Maxlive Maxlive = maximum number of simultaneous live values. Dependence graph + xed allocation. Maxlive = 3 (after b and before c) : kernel a b c a b c 1 time a b c a b c a b c Maxlive = 2, same allocation, b delayed by 1 : a c a b c a b c
27 et durées de vie. Ex : Maxlive Maxlive = maximum number of simultaneous live values. Dependence graph + xed allocation. Maxlive = 3 (after b and before c) : kernel a b c a b c 1 time a b c a b c a b c Maxlive = 2, same allocation, b delayed by 1 : a c a b c a b c Retiming changes both Maxlive and FIFO sizes (if used).
28 FIFO sizes : general constraints More accurate use of memory For each e = (u, v) E, dene t out (u) and t in (e) such that : if t σ(u, i) + t out (u), the result of (u, i) is available. if t σ(v, i) + t in (e), the value was already read by (v, i). By denition of delays d, d(e) > t out (u) t in (e).
29 FIFO sizes : general constraints More accurate use of memory For each e = (u, v) E, dene t out (u) and t in (e) such that : if t σ(u, i) + t out (u), the result of (u, i) is available. if t σ(v, i) + t in (e), the value was already read by (v, i). By denition of delays d, d(e) > t out (u) t in (e). Reminder for a modulo schedule σ(u, i) = λ.i + ρ u, the dependence constraint is expressed as : λ.w(e) + ρ v ρ u d(e)
30 FIFO sizes : general constraints More accurate use of memory For each e = (u, v) E, dene t out (u) and t in (e) such that : if t σ(u, i) + t out (u), the result of (u, i) is available. if t σ(v, i) + t in (e), the value was already read by (v, i). By denition of delays d, d(e) > t out (u) t in (e). Reminder for a modulo schedule σ(u, i) = λ.i + ρ u, the dependence constraint is expressed as : λ.w(e) + ρ v ρ u d(e) FIFO at least k + 1 locations if : σ(u, i + k) + t out (u) σ(v, i + w(e)) + t in (e), i.e., λ.k + ρ u + t in (e) λ.w(e) + ρ v + t out (u) FIFO of size at least 1 + w(e) + ρ v ρ u+t out (u) t in (e) λ.
31 Linear system Introduction au cours Constraints With retiming r(u) : ρ u = λ.r(u) + s u, with s u < λ (s u is xed). r(v) r(u) d(e)+s u s v λ w(e) = d 1 (e). 1 + w(e) + ρ v ρ u+t out (u) t in (e) λ = r(v) r(u) + d 2 (e).
32 Linear system Introduction au cours Constraints With retiming r(u) : ρ u = λ.r(u) + s u, with s u < λ (s u is xed). r(v) r(u) d(e)+s u s v λ w(e) = d 1 (e). 1 + w(e) + ρ v ρ u+t out (u) t in (e) λ = r(v) r(u) + d 2 (e). Linear program min{ u V M(u) r(v) r(u) d 1 (e), M(u) r(v) r(u) + d 2 (e)}
33 Linear system Introduction au cours Constraints With retiming r(u) : ρ u = λ.r(u) + s u, with s u < λ (s u is xed). r(v) r(u) d(e)+s u s v λ w(e) = d 1 (e). 1 + w(e) + ρ v ρ u+t out (u) t in (e) λ = r(v) r(u) + d 2 (e). Linear program min{ u V M(u) r(v) r(u) d 1 (e), M(u) r(v) r(u) + d 2 (e)} Variant Add new vertex u for each u and r(u ) = M(u) + r(u) : min{ u V r(u ) r(u) r(v) r(u) d 1 (e), r(u ) r(v) d 2 (e)} Connection matrix = totally unimodular = polynomial problem
34 With shared storage, e.g., register bank : Maxlive Need to consider each time t modulo λ, actually all σ(v, i) + t in (e). Produced at time t : prod(e, t) = {i N σ(u, i) + t out (u) t}. Consumed at t : cons(e, t) = {i N σ(v, i + w(e)) + t in (e) t}. Live along e at t : live(e, t) = prod(e, t) cons(e, t). Live at t live(u, t) = prod(e, t) min e=(u,v) cons(e, t). Note : a) cons(e, t) is minimal when σ(v, i + w(e)) + t in (e) is maximal (last reader) ; b) v forced to be last reader with similar constraints : σ(v, i + w(e)) + t in (e) σ(v, i + w(e )) + t in (e ).
35 Inequalities with retiming Constraints σ(u, i) + t out (u) t i i t t out(u) s u λ r(u). σ(v, i + w(e)) + t in (e) t i i t t in (e) s v λ w(e) r(v). live(e, t) = w r (e) + s(e, t) with w r (e) = w(e) + r(v) r(u) and s(e, t) = t t out(u) s u λ t t in (e) s v λ.
36 Inequalities with retiming Constraints σ(u, i) + t out (u) t i i t t out(u) s u λ r(u). σ(v, i + w(e)) + t in (e) t i i t t in (e) s v λ w(e) r(v). live(e, t) = w r (e) + s(e, t) with w r (e) = w(e) + r(v) r(u) and s(e, t) = t t out(u) s u λ t t in (e) s v λ. Linear program Opt 1 = ninimize max t [..λ[ u V max e=(u,v) (w r (e) + s(e, t)) = min{m r(v) r(u) d 1 (e), e E M(u, t) r(v) r(u) + w(e) + s(e, t), u V, t M u V M(u, t), t} Strongly NP-complete.
37 Inequalities with retiming Constraints σ(u, i) + t out (u) t i i t t out(u) s u λ r(u). σ(v, i + w(e)) + t in (e) t i i t t in (e) s v λ w(e) r(v). live(e, t) = w r (e) + s(e, t) with w r (e) = w(e) + r(v) r(u) and s(e, t) = t t out(u) s u λ t t in (e) s v λ. Linear program Opt 1 = ninimize max t [..λ[ u V max e=(u,v) (w r (e) + s(e, t)) = min{m r(v) r(u) d 1 (e), e E M(u, t) r(v) r(u) + w(e) + s(e, t), u V, t M u V M(u, t), t} Strongly NP-complete. If only one last reader (along e u ) for each u : polynomial because max t u (w r(e u ) + s(e u, t)) = u w r(e u ) + max t u s(e u, t).
38 Approximation up to V live(e, t) = w r (e) + s(e, t), s(e, t) = t t out(u) s u λ t t in (e) s v λ. t out (u) + s u = λ.α u + β u with β u < λ. t in (e) + s v = λ.δ e + γ e with γ e < λ. s(e, t) = α u + δ e + s (e, t) with s (e, t) = t β u λ t γ e λ.
39 Approximation up to V live(e, t) = w r (e) + s(e, t), s(e, t) = t t out(u) s u λ t t in (e) s v λ. t out (u) + s u = λ.α u + β u with β u < λ. t in (e) + s v = λ.δ e + γ e with γ e < λ. s(e, t) = α u + δ e + s (e, t) with s (e, t) = t β u λ t γ e λ. if β u = γ e, s (e, t) =. Let s min (e) =. if β u < γ e, s (e, t) = or 1. Let s min (e) =. if β u > γ e, s (e, t) = 1 or. Let s min (e) = 1.
40 Approximation up to V live(e, t) = w r (e) + s(e, t), s(e, t) = t t out(u) s u λ t t in (e) s v λ. t out (u) + s u = λ.α u + β u with β u < λ. t in (e) + s v = λ.δ e + γ e with γ e < λ. s(e, t) = α u + δ e + s (e, t) with s (e, t) = t β u λ t γ e λ. if β u = γ e, s (e, t) =. Let s min (e) =. if β u < γ e, s (e, t) = or 1. Let s min (e) =. if β u > γ e, s (e, t) = 1 or. Let s min (e) = 1. This leads to the polynomially-solvable linear program : Opt 2 = min{ u V M(u) r(v) r(u) d 1(e), e E, M(u) r(v) r(u) + w(e) + α u + δ e + s min (e), u V, e = (u, v)} Opt 2 Opt 1 Opt 2 + V
41 Outline Introduction au cours Intérêts et problèmes simple : variantes Fusion avec décalage 1 Introduction au cours Compilation et optimisations de codes Des p'tites boucles, toujours des p'tites boucles Exemples de spécicités architecturales 2 3 Intérêts et problèmes simple : variantes Fusion avec décalage
42 Loop fusion : interest and problems Intérêts et problèmes simple : variantes Fusion avec décalage Why? How? When? Increase size of basic blocks. Useful for both spatial and temporal locality. Useful for array contraction. Be careful of over-fusion. Polynomial algorithms? NP-completeness? Heuristics? Always dicult to nd a cost model... But complementary tool for more general transformations.
43 A few references for the basics Intérêts et problèmes simple : variantes Fusion avec décalage Kennedy and McKinley. Typed Fusion with Applications to Parallel and Sequential Code Generation. McKinley and Kennedy. Maximizing Loop Parallelism and Improving Data Locality via Loop Fusion and Distribution. Roth and Kennedy. Loop Fusion in High Performance Fortran.. On the Complexity of Loop Fusion.
44 Array contraction Introduction au cours Intérêts et problèmes simple : variantes Fusion avec décalage Goal : reduce the size of a local array, possibly into a scalar. do i=2,n a(i) = d(i) + 1 b(i) = a(i)/2 c(i) = b(i) + b(i-1) enddo do i=2,n a = d(i) + 1 b(i) = a/2 c(i) = b(i) + b(i-1) enddo
45 Array assignments and forall loops Intérêts et problèmes simple : variantes Fusion avec décalage A = B + C B = D + 1 A[1:n] = A[:n-1] + A[2:n+1] equivalent to : forall(i=,n+1) A(i) = B(i) + C(i) endforall forall(i=,n+1) B(i) = D(i) + 1 endforall forall(i=1,n) A(i) = A(i-1) + A(i+1) endforall and, then, to : doall(i=,n+1) A(i) = B(i) + C(i) enddoall doall(i=,n+1) B(i) = D(i) + 1 enddoall doall(i=,n+1) A'(i) = A(i) enddoall doall(i=1,n) A(i) = A'(i-1) + A'(i+1) enddoall
46 Partial loop distribution Intérêts et problèmes simple : variantes Fusion avec décalage DO i=1,n A(i) = 2*A(i) + 1 B(i) = C(i-1) + A(i) C(i) = C(i-1) + G(i) D(i) = D(i-1) + A(i) + C(i-1) E(i) = E(i-1) + B(i) F(i) = D(i) + B(i-1) ENDDO C B E 1 1 A D F 1
47 Intérêts et problèmes simple : variantes Fusion avec décalage DOPAR i=1,n A(i) = 2*A(i) + 1 ENDDOPAR DOSEQ i=1,n C(i) = C(i-1) + G(i) ENDDOSEQ DOPAR i=1,n B(i) = C(i-1) + A(i) ENDDOPAR DOSEQ i=1,n E(i) = E(i-1) + B(i) ENDDOSEQ DOSEQ i=1,n D(i) = D(i-1) + A(i) + C(i-1) ENDDOSEQ DOPAR i=1,n F(i) = D(i) + B(i-1) ENDDOPAR How to get the following? DOSEQ i=1,n C(i) = C(i-1) + G(i) ENDDOSEQ DOPAR i=1,n A(i) = 2*A(i) + 1 B(i) = C(i-1) + A(i) ENDDOPAR DOSEQ i=1,n D(i) = D(i-1) + A(i) + C(i-1) E(i) = E(i-1) + B(i) ENDDOSEQ DOPAR i=1,n F(i) = D(i) + B(i-1) ENDDOPAR
48 Outline Introduction au cours Intérêts et problèmes simple : variantes Fusion avec décalage 1 Introduction au cours Compilation et optimisations de codes Des p'tites boucles, toujours des p'tites boucles Exemples de spécicités architecturales 2 3 Intérêts et problèmes simple : variantes Fusion avec décalage
49 Intérêts et problèmes simple : variantes Fusion avec décalage Simple loop fusion/distribution DO i=2, n a(i) = f(i) b(i) = g(i) c(i) = a(i-1) + b(i) d(i) = a(i) + b(i-1) e(i) = d(i-1) + d(i) ENDDO DOPAR i=2, n a(i) = f(i) b(i) = g(i) ENDDOPAR DOPAR i=2, n c(i) = a(i-1) + b(i) d(i) = a(i) + b(i-1) ENDDOPAR DOPAR i=2, n e(i) = d(i-1) + d(i) ENDDO A C B D E 1 prevents fusion simple precedence C 2 = max(1 + 1, 1 + ) Easy : compute longest dependence paths. A 3 = B D E 1 2 = max(1 + 1, 1 + )
50 Maximal unordered typed fusion Intérêts et problèmes simple : variantes Fusion avec décalage Constraint : two loops of dierent types (colors) cannot be fused. Arbitrary number of colors : NP-complete (McKinley & Kennedy, 1994), even for chains of length 2.
51 Maximal unordered typed fusion Intérêts et problèmes simple : variantes Fusion avec décalage Constraint : two loops of dierent types (colors) cannot be fused. Arbitrary number of colors : NP-complete (McKinley & Kennedy, 1994), even for chains of length 2. Ordered typed fusion : polynomial O(T (V + E)) (see after).
52 Maximal unordered typed fusion Intérêts et problèmes simple : variantes Fusion avec décalage Constraint : two loops of dierent types (colors) cannot be fused. Arbitrary number of colors : NP-complete (McKinley & Kennedy, 1994), even for chains of length 2. Ordered typed fusion : polynomial O(T (V + E)) (see after). Fixed number of chains : polynomial O(d N d ) for d chains of length at most N. Dynamic programming.
53 Maximal unordered typed fusion Intérêts et problèmes simple : variantes Fusion avec décalage Constraint : two loops of dierent types (colors) cannot be fused. Arbitrary number of colors : NP-complete (McKinley & Kennedy, 1994), even for chains of length 2. Ordered typed fusion : polynomial O(T (V + E)) (see after). Fixed number of chains : polynomial O(d N d ) for d chains of length at most N. Dynamic programming. Two colors, no fusion-preventing edges : polynomial O(V + E).
54 Maximal unordered typed fusion Intérêts et problèmes simple : variantes Fusion avec décalage Constraint : two loops of dierent types (colors) cannot be fused. Arbitrary number of colors : NP-complete (McKinley & Kennedy, 1994), even for chains of length 2. Ordered typed fusion : polynomial O(T (V + E)) (see after). Fixed number of chains : polynomial O(d N d ) for d chains of length at most N. Dynamic programming. Two colors, no fusion-preventing edges : polynomial O(V + E). Three colors, no fusion-preventing edges : NP-complete.
55 Maximal unordered typed fusion Intérêts et problèmes simple : variantes Fusion avec décalage Constraint : two loops of dierent types (colors) cannot be fused. Arbitrary number of colors : NP-complete (McKinley & Kennedy, 1994), even for chains of length 2. Ordered typed fusion : polynomial O(T (V + E)) (see after). Fixed number of chains : polynomial O(d N d ) for d chains of length at most N. Dynamic programming. Two colors, no fusion-preventing edges : polynomial O(V + E). Three colors, no fusion-preventing edges : NP-complete. Two colors, fusion-preventing edges : NP-complete.
56 Maximal unordered typed fusion Intérêts et problèmes simple : variantes Fusion avec décalage Constraint : two loops of dierent types (colors) cannot be fused. Arbitrary number of colors : NP-complete (McKinley & Kennedy, 1994), even for chains of length 2. Ordered typed fusion : polynomial O(T (V + E)) (see after). Fixed number of chains : polynomial O(d N d ) for d chains of length at most N. Dynamic programming. Two colors, no fusion-preventing edges : polynomial O(V + E). Three colors, no fusion-preventing edges : NP-complete. Two colors, fusion-preventing edges : NP-complete. Two colors, fusion-prev. edges for one color : NP-complete. Ex : partial loop distribution for parallelism detection.
57 Ordered typed fusion Introduction au cours Intérêts et problèmes simple : variantes Fusion avec décalage a b c (a) original graph, (b) fuse black then white, (c) fuse white then black. Optimization of type T : W(v) : minimal number of loops of type T that have to be placed before v. W (v) = if v has no predecessor. For e = (u, v), w(e) = 1 if T (u) = T and either T (v) T or e is fusion-preventing. Otherwise w(e) =.
58 Intérêts et problèmes simple : variantes Fusion avec décalage a b a d (a) weighted graph for fusing black, (b) fusion of black, (c) weighted graph for fusing white after black, (d) fusion of white a b c d (a) weighted graph for fusing white, (b) fusion of white, (c) weighted graph for fusing black after white, (d) fusion of black.
Ê ÙÐ Ø ÓÒ Ö Ò Ð Ý Ø Ñ ØÖ Ù Ö Ø ØÙÖ Ø Ð ÓÖ Ø Ñ Ö Ö Ï ÙØ Ð Ø ÙÐØ ÆÓØÖ ¹ Ñ Ä È Ü Æ ÑÙÖ Ð ÕÙ Û ÙØ Ð Ò Óº ÙÒ Ôº º Ê ÙÑ º ij ÑÔÓÖØ Ò Ð ÓÖ Ø Ñ Ö Ô ÖØ Ø ÓÒ Ö Ò Ð Ý Ø Ñ ØÖ Ù Ò³ Ø ÔÐÙ ÑÓÒØÖ Öº Ò Ø Ð Ó Ü ³ÙÒ ØÝÔ
Plus en détailÎ ÐÙ Ø Ê Ñ ÙÖ Ô Ø Ð ÓÒÓÑ ÕÙ µ Ð Ê ÓÙÐ Ø ² Ì ÖÖÝ ÊÓÒ ÐÐ ÖÓÙÔ Ê Ö ÇÔ Ö Ø ÓÒÒ ÐÐ Ö Ø ÄÝÓÒÒ Ñ Ð ÐºÖ ÓÙÐ ØÖ ØÐÝÓÒÒ º Ö Ø ÖÖݺÖÓÒ ÐÐ Ö ØÐÝÓÒÒ º Ö ÈÐ Ò Ð³ ÒØ ÖÚ ÒØ ÓÒ ½º ÁÒØÖÓ ÙØ ÓÒ ÓÒ ÔÖÓÔÖ Ø Î ÐÙ ¹ Ø¹Ê Ä Ü
Plus en détailÍÒ Ú Ö Ø ËØÖ ÓÙÖ Á ÙÐØ Ë Ò ÓÒÓÑ ÕÙ Î ÄÍ ÌÁÇÆ ÅÈÁÊÁÉÍ Ë Å ÆÁËÅ Ë ÌÊ ÆËÅÁËËÁÇÆ Ë ÀÇ Ë ÇÆ Å ÆÌ Í Ì ÆÇÆ ÇÆ Å ÆÌ Í Î ÊË Ä Ë Å Ê À Ë ÇÍÊËÁ ÊË Ì ÔÖ ÒØ ÔÓÙÖ Ð³Ó Ø ÒØ ÓÒ Ù Ø ØÖ ÓØ ÙÖ Ä³ÍÒ Ú Ö Ø ËØÖ ÓÙÖ Á ÈÖ ÒØ
Plus en détailÊ ÔÔÓÖØ Ø Ù ÐÐ ÙÑ Î Ð ÓÒ ¾ Ù Ò ¾¼¼¼ Ì Ð Ñ Ø Ö Á ÓÖ Ð ÓÑÑÙÒ Ø ÓÒ ½ ÈÖ ÒØ Ø ÓÒ Ð Ó Ø ¾ Ä ÓÑ Ò ³ Ø Ú Ø ¾º½ Ñ Ò ØÖ Ø ÓÒ Ý Ø Ñ Ð³ Ò ÓÖÑ Ø ÓÒ º º º º º º º º º º º ¾º¾ Ö Ø ØÙÖ Ö ÙÜ ÓÑÑÙÒ Ø ÓÒ º º º º º º º º
Plus en détailP etit pat hw o rk de ombinatoire énumérative Mireille Bousquet-Mélou, CNRS, LaBRI, Bo rdeaux http://www.lab ri.fr/ b ousquet
Ô Ø ÛÓÖ È Ø Ø ÓÑ Ò ØÓ Ö ÒÙÑ Ö Ø Ú Å Ö ÐÐ ÓÙ Õ٠عŠÐÓÙ ÆÊË Ä ÊÁ ÓÖ ÙÜ ØØÔ»»ÛÛÛºÐ Ö º Ö» ÓÙ ÕÙ Ø Ä ÓÑ Ò ØÓ Ö ÒÙÑ Ö Ø Ú ººº ³ ØÕÙÓ ÈÓÙÖÕÙÓ ÓÑÑ ÒØ ÇÅÈÌ Ê κ ij ÖØ ÓÑÔØ Ö Ô Ðغ Ø Ð ÖÐ ÒÓÑ Ö Ö Ö ÒÓÑ Ö Ö ÒÓÑ
Plus en détailÏ Í Å Ò Ò ÁÒØ Ö¹Ë Ø Ò ÐÝ Ù ÓÑÔÓÖØ Ñ ÒØ ÍØ Ð Ø ÙÖ ÁÑÔ Ø ÁÑÑ Ø ÁÒØ Ö Ø Ï Í Å Ò Ò Í Ö Ú ÓÙÖ Ò ÐÝ Û Ø ÁÑÑ Ø ÁÑÔ Ø º Å Ð ½ ¾µ ź Ì Ö ½µ Ⱥ ÈÓÒ Ð Ø ½µ ½µ ÄÁÊÅÅ ÍÅÊ ÆÊË ¼ ½ ½ ÊÙ ¾ ÅÓÒØÔ ÐÐ Ö Ü Ö Ò ¾µ Ä ÓÖ ØÓ
Plus en détailÍÒ Ú Ö Ø Ö ÒÓ Ê Ð ÌÓÙÖ ÓÐ ÓØÓÖ Ð Ë ÒØ Ë Ò Ø Ì ÒÓÐÓ ÒÒ ÍÒ Ú Ö Ø Ö ¾¼¼¾¹¾¼¼ BLOIS CHINON ÌÀ Ë ÈÇÍÊ Ç Ì ÆÁÊ Ä Ê Ç Ì ÍÊ Ä³ÍÆÁÎ ÊËÁÌ ÌÇÍÊË ÔÐ Ò ÁÒ ÓÖÑ Ø ÕÙ ÔÖ ÒØ Ø ÓÙØ ÒÙ ÔÙ Ð ÕÙ Ñ ÒØ Ô Ö Æ ÓÐ Ä ÊÇ À Ð Ñ Ö
Plus en détailÓÐ ÓØÓÖ Ð Å Ø Ñ Ø ÕÙ Ë Ò Ø Ì ÒÓÐÓ Ð³ÁÒ ÓÖÑ Ø ÓÒ ÁÒ ÓÖÑ Ø ÕÙ Í Ê ÁÅ ÓÖÑ Ð Ø ÓÒ ÓÒÒ Ò ÓÙÑ ÒØ Ö Ø ÓÒÒ Ò ÓÒ ÔØÙ ÐРг ³ÓÒØÓÐÓ ÔÔÐ Ø ÓÒ Ð Ö ÔØ ÓÒ ÓÙÑ ÒØ Ù ÓÚ Ù Ð ÌÀ Ë ÔÖ ÒØ Ø ÓÙØ ÒÙ ÔÙ Ð ÕÙ Ñ ÒØ Ð Å Ö ¾¼¼ ÔÓÙÖ
Plus en détailÌ ÖÖÝ ÅÓÝ ÙÜ ÖÓÙÔ Å Ë ÂÙ ÐÐ Ø ¾¼¼¾ Ì Ò ÕÙ ÑÙÐØ ÒØ ÔÓÙÖ Ð Ö ÙØ ÓÒ Ð³ ÑÔÐ Ø ÓÒ Ð Ñ Ò Ò ÙÒ Ò ÐÓ Ø ÕÙ ÔÔÐ Ø ÓÒ Ð³ Ò Ù ØÖ ÓÖ Ø Ö Ö Ø ÙÖ ÈÖÓ º Ö Ñ ¹ Ö Ó¹ Ö Ø ÙÖ ÈÖÓ º ËÓÔ ³ ÑÓÙÖ ÈÖÓ º ÖÒ Ö Ô Ò ÈÖÓÔÓ Ø ÓÒ Ø ÓØÓÖ
Plus en détailVérification d invariants de systèmes paramétrés par superposition
Université defranche-comté École doctorale Sciences Pour l Ingénieur et Microtechniques U.F.R. des Sciences et Techniques Vérification d invariants de systèmes paramétrés par superposition THÈSE présentée
Plus en détailÍÒ Ú Ö Ø ÅÓÒØÖ Ð ÍÒ ÑÓ Ð ÙÒ ÓÖÑ ÔÓÙÖ Ð ÑÓ Ð Ø ÓÒ Ø Ð Ñ Ø ÑÓ Ð Ø ÓÒ ³ÙÒ Ñ ÑÓ Ö ³ ÒØÖ ÔÖ Ô Ö ÇÐ Ú Ö Ö Ô ÖØ Ñ ÒØ ³ Ò ÓÖÑ Ø ÕÙ Ø Ö Ö ÓÔ Ö Ø ÓÒÒ ÐÐ ÙÐØ ÖØ Ø Ò Ì ÔÖ ÒØ Ð ÙÐØ ØÙ ÙÔ Ö ÙÖ Ò ÚÙ Ð³Ó Ø ÒØ ÓÒ Ù Ö È
Plus en détailÇÆ ÈÌÁÇÆ Ì Ê ÄÁË ÌÁÇÆ ³ÍÆ ÈÈÄÁ ÌÁÇÆ ËÌÁÇÆ Ê Ë Í Ë ÇÅÈÇË ÆÌË Ê È ÊÌÁË Ô Ö ÅÓ Ñ Ö Þ Ñ ÑÓ Ö ÔÖ ÒØ Ù Ô ÖØ Ñ ÒØ Ñ Ø Ñ Ø ÕÙ Ø ³ Ò ÓÖÑ Ø ÕÙ Ò ÚÙ Ð³Ó Ø ÒØ ÓÒ Ù Ö Ñ ØÖ Ò ÅºËºµ ÍÄÌ Ë Ë Á Æ Ë ÍÆÁÎ ÊËÁÌ ËÀ Ê ÊÇÇÃ
Plus en détail¹ËÁÊ ¹ Ê ÔÔÓÖØ Ø ÈÖÓ Ø Ä Ò Ø Ê Ô ÖØ Ø ÓÒ Ö Ö Ò Ó Ò Æ Ó Ò Ö Ñ ÒØ ÀÙ ÖØ Æ Ë ÔØ Ñ Ö ¾¼¼¾ ¾ Ì Ð Å Ø Ö ÁÒØÖÓ ÙØ ÓÒ ½ Ø Ø Ð³ ÖØ ½ ½º½ ÁÒØÖÓ ÙØ ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º
Plus en détailÄ Ù Ù ÊÇÇÌ Ö ÔÓÙÖ Ä ÒÙÜ Ö ÙÑ Ö º ÙÑ Ä ÒÙܺ ͺÇÖ Ö º ÙÑ Ö Ò ÜºÓÖ Î Ö ÓÒ ¾º ¾½ Ë ÔØ Ñ Ö ½ Ì Ð Ñ Ø Ö ½ ÈÖ Ñ ÙÐ ½ ½º½ À ØÓ Ö Ù º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º
Plus en détailÈÖÓ Ö ÑÑ Ø ÓÒ Ò Â Ú Ü Ò Ö Å ½ ÔØ Ñ Ö ¾¼½ Ì Ñ Ø Ö ½ ÆÓØ ÓÙÖ ¾ ½º½ ÁÒØÖÓ ÙØ ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ ½º½º½ À Ó ÏÓÖ º º º
Plus en détailInstructions Mozilla Thunderbird Page 1
Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Ce manuel est écrit pour les utilisateurs qui font déjà configurer un compte de courrier électronique dans Mozilla Thunderbird et
Plus en détailz x h ÙÖ ½ ÓÑØÖ Ù ÔÖÓÐѺ ½º ÁØÖÓÙØÓ ÁÐ Ø ÓÙ ÕÙ Ù ÓÙ Ó ÔÖÓÖ ÓØ Ý ØÑ Æ ÔÓÙÖ ÔÖ Ð³Ö ÚÙ Ð Ó ÂÖÐ ÂÖÐ ½½µ ÓØ ÐÖÑØ ÙØÐ ÔÓÙÖ ÑÓÖØÖ Ð ÐÔÓØ Ð ÔÓÖØ Ù ÔÖÓÖ ÓØ Ú ÓÑÑ Ý ØÑ ÔÖÓØØÓ ÓØÖ ÚÓÖ ÔÖ ÜÑÔÐ ÖÑ ² ÇÙÑÖ ½ ÓÙ ÐÙ ²
Plus en détailÄ ÇÊ ÌÇÁÊ ÈÀ ËÁÉÍ ÌÀ ÇÊÁÉÍ ÍÆÁÎ ÊËÁÌ ÈÁ ÊÊ ÌÅ ÊÁ ÍÊÁ ij ÇÄ ÆÇÊÅ Ä ËÍÈ ÊÁ ÍÊ ÌÀ Ë Ç ÌÇÊ Ì Ä³ÍÆÁÎ ÊËÁÌ È ÊÁË ËÔ Ð Ø ÈÀ ËÁÉÍ ÌÀ ÇÊÁÉÍ Ë Ö ÄÇÊ ÆË ÔÖ ÒØ Ô Ö Ç Ì ÍÊ Ä³ÍÆÁÎ ÊËÁÌ È ÊÁË ÔÓÙÖÓ Ø Ò ÖÐ Ö ÇÀ Ê Æ ÌÄÇ
Plus en détailStratégie DataCenters Société Générale Enjeux, objectifs et rôle d un partenaire comme Data4
Stratégie DataCenters Société Générale Enjeux, objectifs et rôle d un partenaire comme Data4 Stéphane MARCHINI Responsable Global des services DataCenters Espace Grande Arche Paris La Défense SG figures
Plus en détailSTATUTS DE L ASSOCIATION. Association régie par par la Loi du 1 er juillet 1901
STATUTS DE L ASSOCIATION Association régie par par la Loi du 1 er juillet 1901 Statuts adoptés par l Assemblée Générale Extraordinaire du dimanche 1 er avril 2007 ËØ ØÙØ Ð³ Ó Ø ÓÒ ÖØ Ð ÔÖ Ñ Ö¹ ÒÓÑ Ò Ø
Plus en détailphysicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178
Thèse no. 7178 PROBLEMES D'OPTIMISATION DANS LES SYSTEMES DE CHAUFFAGE A DISTANCE présentée à l'ecole POLYTECHNIQUE FEDERALE DE ZURICH pour l'obtention du titre de Docteur es sciences naturelles par Alain
Plus en détailEditing and managing Systems engineering processes at Snecma
Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués
Plus en détailExemple PLS avec SAS
Exemple PLS avec SAS This example, from Umetrics (1995), demonstrates different ways to examine a PLS model. The data come from the field of drug discovery. New drugs are developed from chemicals that
Plus en détailAPPENDIX 6 BONUS RING FORMAT
#4 EN FRANÇAIS CI-DESSOUS Preamble and Justification This motion is being presented to the membership as an alternative format for clubs to use to encourage increased entries, both in areas where the exhibitor
Plus en détailFace Recognition Performance: Man vs. Machine
1 Face Recognition Performance: Man vs. Machine Andy Adler Systems and Computer Engineering Carleton University, Ottawa, Canada Are these the same person? 2 3 Same person? Yes I have just demonstrated
Plus en détailInstructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00
Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 HFFv2 1. OBJET L accroissement de la taille de code sur la version 2.0.00 a nécessité une évolution du mapping de la flash. La conséquence de ce
Plus en détailUtiliser une WebCam. Micro-ordinateurs, informations, idées, trucs et astuces
Micro-ordinateurs, informations, idées, trucs et astuces Utiliser une WebCam Auteur : François CHAUSSON Date : 8 février 2008 Référence : utiliser une WebCam.doc Préambule Voici quelques informations utiles
Plus en détailTHÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.
École Doctorale d Informatique, Télécommunications et Électronique de Paris THÈSE présentée à TÉLÉCOM PARISTECH pour obtenir le grade de DOCTEUR de TÉLÉCOM PARISTECH Mention Informatique et Réseaux par
Plus en détailCondition inf-sup pour l Elément Fini de Taylor-Hood È ¾ -iso-è ½
Condition inf-sup pour l Elément Fini de Taylor-Hood È ¾ -iso-è ½ Patrick Ciarlet et Vivette Girault ciarlet@ensta.fr & girault@ann.jussieu.fr ENSTA & Laboratoire Jacques-Louis Lions, Paris 6 Condition
Plus en détailApplication Form/ Formulaire de demande
Application Form/ Formulaire de demande Ecosystem Approaches to Health: Summer Workshop and Field school Approches écosystémiques de la santé: Atelier intensif et stage d été Please submit your application
Plus en détailGestion des prestations Volontaire
Gestion des prestations Volontaire Qu estce que l Income Management (Gestion des prestations)? La gestion des prestations est un moyen de vous aider à gérer votre argent pour couvrir vos nécessités et
Plus en détailPARIS ROISSY CHARLES DE GAULLE
GPS 2 34 1 E 49 0 46 N GPS* 2 56 56 E 49 0 12 N Votre contact / Your contact: et / and: Accueil : Cabines téléphoniques publiques Reception: Public telephone kiosks Navette Shuttle AÉROPORT DE TT CAR TRANSIT
Plus en détailPractice Direction. Class Proceedings
Effective Date: 2010/07/01 Number: PD - 5 Title: Practice Direction Class Proceedings Summary: This Practice Direction describes the procedure for requesting the assignment of a judge in a proceeding under
Plus en détailOnce the installation is complete, you can delete the temporary Zip files..
Sommaire Installation... 2 After the download... 2 From a CD... 2 Access codes... 2 DirectX Compatibility... 2 Using the program... 2 Structure... 4 Lier une structure à une autre... 4 Personnaliser une
Plus en détailM2-Images. Rendu Temps Réel - OpenGL 4 et compute shaders. J.C. Iehl. December 18, 2013
Rendu Temps Réel - OpenGL 4 et compute shaders December 18, 2013 résumé des épisodes précédents... création des objets opengl, organisation des données, configuration du pipeline, draw,... opengl 4.3 :
Plus en détail1.The pronouns me, te, nous, and vous are object pronouns.
1.The pronouns me, te, nous, and vous are object pronouns.! Marie t invite au théâtre?!! Oui, elle m invite au théâtre.! Elle te parle au téléphone?!! Oui, elle me parle au téléphone.! Le prof vous regarde?!!!
Plus en détailHow to Login to Career Page
How to Login to Career Page BASF Canada July 2013 To view this instruction manual in French, please scroll down to page 16 1 Job Postings How to Login/Create your Profile/Sign Up for Job Posting Notifications
Plus en détailI. COORDONNÉES PERSONNELLES / PERSONAL DATA
DOSSIER DE CANDIDATUREAPPLICATION FORM 2012 Please tick the admission session of your choice FévrierFebruary SeptembreSeptember MASTER OF ART (Mention the subject) MASTER OF SCIENCE (Mention the subject)
Plus en détailWEB page builder and server for SCADA applications usable from a WEB navigator
Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB WEB page builder and server for SCADA applications usable from a WEB navigator opyright 2007 IRAI Manual Manuel
Plus en détailETABLISSEMENT D ENSEIGNEMENT OU ORGANISME DE FORMATION / UNIVERSITY OR COLLEGE:
8. Tripartite internship agreement La présente convention a pour objet de définir les conditions dans lesquelles le stagiaire ci-après nommé sera accueilli dans l entreprise. This contract defines the
Plus en détailINSTITUT MARITIME DE PREVENTION. For improvement in health and security at work. Created in 1992 Under the aegis of State and the ENIM
INSTITUT MARITIME DE PREVENTION For improvement in health and security at work Created in 1992 Under the aegis of State and the ENIM Maritime fishing Shellfish-farming Sea transport 2005 Le pilier social
Plus en détailMELTING POTES, LA SECTION INTERNATIONALE DU BELLASSO (Association étudiante de lʼensaparis-belleville) PRESENTE :
MELTING POTES, LA SECTION INTERNATIONALE DU BELLASSO (Association étudiante de lʼensaparis-belleville) PRESENTE : Housing system est un service gratuit, qui vous propose de vous mettre en relation avec
Plus en détailExercices sur SQL server 2000
Exercices sur SQL server 2000 La diagramme de classe : Exercices sur SQL server 2000 Le modèle relationnel correspondant : 1 Créer les tables Clic-droit on Tables et choisir «New Table» Créer la table
Plus en détailIDENTITÉ DE L ÉTUDIANT / APPLICANT INFORMATION
vice Direction des Partenariats Internationaux Pôle Mobilités Prrogrramme de bourrses Intterrnattiionalles en Mastterr (MIEM) Intterrnattiionall Mastterr Schollarrshiip Prrogrramme Sorrbonne Parriis Ciitté
Plus en détailGarage Door Monitor Model 829LM
Garage Door Monitor Model 829LM To prevent possible SERIOUS INJURY or DEATH from a closing garage door: NEVER permit children to operate or play with door control push buttons or remote control transmitters.
Plus en détailSurveillance de Scripts LUA et de réception d EVENT. avec LoriotPro Extended & Broadcast Edition
Surveillance de Scripts LUA et de réception d EVENT avec LoriotPro Extended & Broadcast Edition L objectif de ce document est de présenter une solution de surveillance de processus LUA au sein de la solution
Plus en détailCALCUL DE LA CONTRIBUTION - FONDS VERT Budget 2008/2009
Société en commandite Gaz Métro CALCUL DE LA CONTRIBUTION - FONDS VERT Budget 2008/2009 Taux de la contribution au Fonds vert au 1 er janvier 2009 Description Volume Coûts Taux 10³m³ 000 $ /m³ (1) (2)
Plus en détailImproving the breakdown of the Central Credit Register data by category of enterprises
Improving the breakdown of the Central Credit Register data by category of enterprises Workshop on Integrated management of micro-databases Deepening business intelligence within central banks statistical
Plus en détailJudge Group: P Title: Quel est meilleur: le compost ou le fertilisant chimique? Student(s): Emma O'Shea Grade: 6
Project No.1114 Title: Quel est meilleur: le compost ou le fertilisant chimique? Level: Student(s): Emma O'Shea Grade: 6 This progect compares the results of compost, chemical fertilizer and normal earth
Plus en détailCommande Prédictive. J. P. Corriou. LSGC-ENSIC-CNRS, Nancy. e-mail : corriou@ensic.inpl-nancy.fr
Commande Prédictive J P Corriou LSGC-ENSIC-CNRS, Nancy e-mail : corriou@ensicinpl-nancyfr Ý Consigne Trajectoire de référence Ý Ö Réponse Ý Horizon de prédiction À Ô ¹ Ù ¹ Temps Entrée Ù Horizon de commande
Plus en détaillundi 3 août 2009 Choose your language What is Document Connection for Mac? Communautés Numériques L informatique à la portée du Grand Public
Communautés Numériques L informatique à la portée du Grand Public Initiation et perfectionnement à l utilisation de la micro-informatique Microsoft Document Connection pour Mac. Microsoft Document Connection
Plus en détailCompléter le formulaire «Demande de participation» et l envoyer aux bureaux de SGC* à l adresse suivante :
FOIRE AUX QUESTIONS COMMENT ADHÉRER? Compléter le formulaire «Demande de participation» et l envoyer aux bureaux de SGC* à l adresse suivante : 275, boul des Braves Bureau 310 Terrebonne (Qc) J6W 3H6 La
Plus en détailTechnologies quantiques & information quantique
Technologies quantiques & information quantique Edouard Brainis (Dr.) Service OPERA, Faculté des sciences appliquées, Université libre de Bruxelles Email: ebrainis@ulb.ac.be Séminaire V : Ordinateurs quantiques
Plus en détailLesson Plan Physical Descriptions. belle vieille grande petite grosse laide mignonne jolie. beau vieux grand petit gros laid mignon
Lesson Plan Physical Descriptions Objective: Students will comprehend and describe the physical appearance of others. Vocabulary: Elle est Il est Elle/Il est Elle/Il a les cheveux belle vieille grande
Plus en détailPaxton. ins-20605. Net2 desktop reader USB
Paxton ins-20605 Net2 desktop reader USB 1 3 2 4 1 2 Desktop Reader The desktop reader is designed to sit next to the PC. It is used for adding tokens to a Net2 system and also for identifying lost cards.
Plus en détailCette Leçon va remplir ces attentes spécifiques du curriculum :
Dev4Plan1 Le Plan De Leçon 1. Information : Course : Français Cadre Niveau : Septième Année Unité : Mes Relations Interpersonnelles Thème du Leçon : Les Adjectifs Descriptifs Date : Temps : 55 minutes
Plus en détailRèglement sur le télémarketing et les centres d'appel. Call Centres Telemarketing Sales Regulation
THE CONSUMER PROTECTION ACT (C.C.S.M. c. C200) Call Centres Telemarketing Sales Regulation LOI SUR LA PROTECTION DU CONSOMMATEUR (c. C200 de la C.P.L.M.) Règlement sur le télémarketing et les centres d'appel
Plus en détailThe new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you.
General information 120426_CCD_EN_FR Dear Partner, The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you. To assist navigation
Plus en détailContrôle d'accès Access control. Notice technique / Technical Manual
p.1/18 Contrôle d'accès Access control INFX V2-AI Notice technique / Technical Manual p.2/18 Sommaire / Contents Remerciements... 3 Informations et recommandations... 4 Caractéristiques techniques... 5
Plus en détailthat the child(ren) was/were in need of protection under Part III of the Child and Family Services Act, and the court made an order on
ONTARIO Court File Number at (Name of court) Court office address Applicant(s) (In most cases, the applicant will be a children s aid society.) Full legal name & address for service street & number, municipality,
Plus en détailde stabilisation financière
CHAPTER 108 CHAPITRE 108 Fiscal Stabilization Fund Act Loi sur le Fonds de stabilisation financière Table of Contents 1 Definitions eligible securities valeurs admissibles Fund Fonds Minister ministre
Plus en détailLe passé composé. C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past!
> Le passé composé le passé composé C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past! «Je suis vieux maintenant, et ma femme est vieille aussi. Nous n'avons pas eu d'enfants.
Plus en détailGAME CONTENTS CONTENU DU JEU OBJECT OF THE GAME BUT DU JEU
GAME CONTENTS 3 wooden animals: an elephant, a Polar bear and an African lion 1 Playing Board with two tree stumps, one red and one blue 1 Command Board double sided for two game levels (Green for normal
Plus en détail3615 SELFIE. http://graffitiresearchlab.fr HOW-TO / GUIDE D'UTILISATION
3615 SELFIE http://graffitiresearchlab.fr HOW-TO / GUIDE D'UTILISATION Hardware : Minitel Computer DIN FM545 45 connector (http://www.gotronic.fr/art-fiche-din-fm545-4747.htm) Cable Arduino compatible
Plus en détailLycée Français de Hong Kong French International School
Lycée Français de Hong Kong French International School Présentation de la Filière Bilingue Collège, 11 mai 2010 Collège Bilingual Stream Presentation, May 11th 2010 Contenu de la Présentation/ Contents
Plus en détailL ABC de l acquisition de petites entreprises
L ABC de l acquisition de petites entreprises Bienvenue Séries d acquisition de petites entreprises Comment aborder le sujet. Comment vendre aux petites entreprises. Accroître la connaissance des produits
Plus en détailCredit Note and Debit Note Information (GST/ HST) Regulations
CANADA CONSOLIDATION CODIFICATION Credit Note and Debit Note Information (GST/ HST) Regulations Règlement sur les renseignements à inclure dans les notes de crédit et les notes de débit (TPS/ TVH) SOR/91-44
Plus en détailONTARIO Court File Number. Form 17E: Trial Management Conference Brief. Date of trial management conference. Name of party filing this brief
ONTARIO Court File Number at (Name of court) Court office address Form 17E: Trial Management Conference Brief Name of party filing this brief Date of trial management conference Applicant(s) Full legal
Plus en détailRICHEL SERRES DE FRANCE PAR_20120203_02432_ALT DATE: 03/02/2012
CORPORATE EVENT NOTICE: Offre contractuelle de rachat RICHEL SERRES DE FRANCE PLACE: Paris AVIS N : PAR_20120203_02432_ALT DATE: 03/02/2012 MARCHE: Alternext Paris La société RICHEL SERRES DE FRANCE (la
Plus en détailMaster Développement Durable et Organisations Master s degree in Sustainable Development and Organizations Dossier de candidature Application Form
Master Développement Durable et Organisations Master s degree in Sustainable Development and Organizations Dossier de candidature Application Form M / Mr Mme / Mrs Nom Last name... Nom de jeune fille Birth
Plus en détailNotice Technique / Technical Manual
Contrôle d accès Access control Encodeur USB Mifare ENCOD-USB-AI Notice Technique / Technical Manual SOMMAIRE p.2/10 Sommaire Remerciements... 3 Informations et recommandations... 4 Caractéristiques techniques...
Plus en détailPost-processing of multimodel hydrological forecasts for the Baskatong catchment
+ Post-processing of multimodel hydrological forecasts for the Baskatong catchment Fabian Tito Arandia Martinez Marie-Amélie Boucher Jocelyn Gaudet Maria-Helena Ramos + Context n Master degree subject:
Plus en détailFirst Nations Assessment Inspection Regulations. Règlement sur l inspection aux fins d évaluation foncière des premières nations CONSOLIDATION
CANADA CONSOLIDATION CODIFICATION First Nations Assessment Inspection Regulations Règlement sur l inspection aux fins d évaluation foncière des premières nations SOR/2007-242 DORS/2007-242 Current to September
Plus en détailGuide d'installation rapide TFM-560X YO.13
Guide d'installation rapide TFM-560X YO.13 Table of Contents Français 1 1. Avant de commencer 1 2. Procéder à l'installation 2 Troubleshooting 6 Version 06.08.2011 16. Select Install the software automatically
Plus en détailFCM 2015 ANNUAL CONFERENCE AND TRADE SHOW Terms and Conditions for Delegates and Companions Shaw Convention Centre, Edmonton, AB June 5 8, 2015
FCM 2015 ANNUAL CONFERENCE AND TRADE SHOW Terms and Conditions for Delegates and Companions Shaw Convention Centre, Edmonton, AB June 5 8, 2015 Early-bird registration Early-bird registration ends April
Plus en détailTHE SUBJUNCTIVE MOOD. Twenty-nineth lesson Vingt-neuvième leçon
THE SUBJUNCTIVE MOOD Twenty-nineth lesson Vingt-neuvième leçon SOMMAIRE 1) Definition 2) Uses 2.1) Common expressions of doubt 2.2) Common expressions of necessity 2.3) Common expressions of desirability
Plus en détailIf you understand the roles nouns (and their accompanying baggage) play in a sentence...
If you understand the roles nouns (and their accompanying baggage) play in a sentence...... you can use pronouns with ease (words like lui, leur, le/la/les, eux and elles)...... understand complicated
Plus en détailPrincipe de TrueCrypt. Créer un volume pour TrueCrypt
Sommaire : Principe de TrueCrypt...1 Créer un volume pour TrueCrypt...1 Premier montage...6 Réglages...8 Save Currently Mounted Volumes as Favorite...8 Settings > Preferences...9 TrueCrypt Traveller pour
Plus en détailDOCUMENTATION - FRANCAIS... 2
DOCUMENTATION MODULE SHOPDECORATION MODULE PRESTASHOP CREE PAR PRESTACREA INDEX : DOCUMENTATION - FRANCAIS... 2 INSTALLATION... 2 Installation automatique... 2 Installation manuelle... 2 Résolution des
Plus en détailcalls.paris-neuroscience.fr Tutoriel pour Candidatures en ligne *** Online Applications Tutorial
calls.paris-neuroscience.fr Tutoriel pour Candidatures en ligne Online Applications Tutorial 1/4 Pour postuler aux Appels d Offres de l ENP, vous devez aller sur la plateforme : calls.parisneuroscience.fr.
Plus en détailPOLICY: FREE MILK PROGRAM CODE: CS-4
POLICY: FREE MILK PROGRAM CODE: CS-4 Origin: Authority: Reference(s): Community Services Department Cafeteria Services and Nutrition Education Division Resolution #86-02-26-15B.1 POLICY STATEMENT All elementary
Plus en détailQuick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite.
Rational ClearCase or ClearCase MultiSite Version 7.0.1 Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Product Overview IBM Rational
Plus en détailComprendre l impact de l utilisation des réseaux sociaux en entreprise SYNTHESE DES RESULTATS : EUROPE ET FRANCE
Comprendre l impact de l utilisation des réseaux sociaux en entreprise SYNTHESE DES RESULTATS : EUROPE ET FRANCE 1 Objectifs de l étude Comprendre l impact des réseaux sociaux externes ( Facebook, LinkedIn,
Plus en détailLe No.1 de l économie d énergie pour patinoires.
Le No.1 de l économie d énergie pour patinoires. Partner of REALice system Economie d énergie et une meilleure qualité de glace La 2ème génération améliorée du système REALice bien connu, est livré en
Plus en détail2 20 e Journées Bases de Données Avancées (BDA 2004). 1. Introduction
arxiv:0704.3501v1 [cs.db] 26 Apr 2007 Conception d un banc d essais décisionnel : ÖÓÑ º ÖÑÓÒØÙÒ Ú¹ÐÝÓÒ¾º Ö Jérôme Darmont Fadila Bentayeb Omar Boussaïd ERIC Université Lumière Lyon 2 5 avenue Pierre Mendès-France
Plus en détailCONVENTION DE STAGE TYPE STANDART TRAINING CONTRACT
CONVENTION DE STAGE TYPE STANDART TRAINING CONTRACT La présente convention a pour objet de définir les conditions dans lesquelles le stagiaire ci-après nommé sera accueilli dans l entreprise. This contract
Plus en détailContents Windows 8.1... 2
Workaround: Installation of IRIS Devices on Windows 8 Contents Windows 8.1... 2 English Français Windows 8... 13 English Français Windows 8.1 1. English Before installing an I.R.I.S. Device, we need to
Plus en détailData issues in species monitoring: where are the traps?
Data issues in species monitoring: where are the traps? French breeding bird monitoring : Animations locales : - dealing with heterogenous data - working with multi-species multi-sites monitoring schemes
Plus en détailAIDE FINANCIÈRE POUR ATHLÈTES FINANCIAL ASSISTANCE FOR ATHLETES
AIDE FINANCIÈRE POUR ATHLÈTES FINANCIAL ASSISTANCE FOR ATHLETES FORMULAIRE DE DEMANDE D AIDE / APPLICATION FORM Espace réservé pour l utilisation de la fondation This space reserved for foundation use
Plus en détailFÉDÉRATION INTERNATIONALE DE NATATION Diving
QUALIFICATION SYSTEM - 2 ND SUMMER YOUTH OLYMPIC GAMES - NANJING 2014 FÉDÉRATION INTERNATIONALE DE NATATION Diving A. Events (5) MEN S EVENTS (2) WOMEN S EVENTS (2) MIXED EVENTS (2) 3m individual springboard
Plus en détailTABLE DES MATIERES A OBJET PROCEDURE DE CONNEXION
1 12 rue Denis Papin 37300 JOUE LES TOURS Tel: 02.47.68.34.00 Fax: 02.47.68.35.48 www.herve consultants.net contacts@herve consultants.net TABLE DES MATIERES A Objet...1 B Les équipements et pré-requis...2
Plus en détailAUTUMN/WINTER 2013-2014 PARIS COLLECTION
AUTUMN/WINTER 2013-2014 PARIS COLLECTION RED CARPET/Realistic Style Collection Automne-Hiver 2013-2014 Rynshu, avec cette nouvelle collection, veut permettre à chacun de se révéler par un style qui lui
Plus en détailaffichage en français Nom de l'employeur *: Lions Village of Greater Edmonton Society
LIONS VILLAGE of Greater Edmonton Society affichage en français Informations sur l'employeur Nom de l'employeur *: Lions Village of Greater Edmonton Society Secteur d'activité de l'employeur *: Développement
Plus en détailRULE 5 - SERVICE OF DOCUMENTS RÈGLE 5 SIGNIFICATION DE DOCUMENTS. Rule 5 / Règle 5
RULE 5 - SERVICE OF DOCUMENTS General Rules for Manner of Service Notices of Application and Other Documents 5.01 (1) A notice of application or other document may be served personally, or by an alternative
Plus en détailAPPENDIX 2. Provisions to be included in the contract between the Provider and the. Holder
Page 1 APPENDIX 2 Provisions to be included in the contract between the Provider and the Obligations and rights of the Applicant / Holder Holder 1. The Applicant or Licensee acknowledges that it has read
Plus en détail04002-LOR 2004 Mars 2004
04002-LOR 2004 LES INTERACTIONS IPSEC/DNS ---ooo--- Abstract :!! "!! $!!! "!! %$ & '( ) * + *, $ $,, $ ---ooo - - *./ 0! 1023224" 4 %- - *5 " 6 " 6 7 6 8./ 0! 1023224" 4 %6 "6 7 5 " - - * Jean-Jacques.Puig@int-evry.fr
Plus en détailWiFi Security Camera Quick Start Guide. Guide de départ rapide Caméra de surveillance Wi-Fi (P5)
#45 #46 WiFi Security Camera Quick Start Guide Guide de départ rapide Caméra de surveillance Wi-Fi (P5) #47 Start Here 1 Is this you? TECH SUPPORT CTRL ALT DEL 2 If yes, turn to page three 1 3 If not,
Plus en détailPackage Contents. System Requirements. Before You Begin
Package Contents DWA-125 Wireless 150 USB Adapter CD-ROM (contains software, drivers, and manual) Cradle If any of the above items are missing, please contact your reseller. System Requirements A computer
Plus en détailTarification et optimisation pour le marketing
Tarification et optimisation pour le marketing Orange Labs Matthieu Chardy, Recherche & Développement 10 avril 2009 séminaire à l'ecole des Mines de Nantes agenda partie 1 économie des télécommunicationsl
Plus en détail