Upload
others
View
7
Download
0
Embed Size (px)
Citation preview
Accurate Data Distribution into Blocks may Boost
Cache Performance
Dan Truong, François Bodin, André Seznec
To cite this version:
Dan Truong, François Bodin, André Seznec. Accurate Data Distribution into Blocks may BoostCache Performance. [Research Report] RR-3174, INRIA. 1997.
HAL Id: inria-00073514
https://hal.inria.fr/inria-00073514
Submitted on 24 May 2006
HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.
CORE Metadata, citation and similar papers at core.ac.uk
Provided by HAL-Rennes 1
https://core.ac.uk/display/48275021?utm_source=pdf&utm_medium=banner&utm_campaign=pdf-decoration-v1https://hal.archives-ouvertes.frhttps://hal.inria.fr/inria-00073514
ISS
N 0
249-
6399
ap por t
de r ech er ch e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Accurate data distribution into blocks may boostcache performance
Dan N. Truong, François Bodin, André Seznec
N ˚ 3174
Mai 1997
THÈME 1
�����������
���������������
���������������� �!
�"��# �$��%$�'&���()�*�$�+��,���-�/.��0 ���12�3��&��4�����
5�687:9@?�A87�BDCFE�G>H6I7KJL A8MONQP�A�RMS7�THEUV7�R�>�WX
� � 0 #��-���¤&��f�� �-�����������,�����,���3��������f� �f� ��# �$��� 0 �������4�
�4& ��f# � �+���� #���� 0 ���12�3��&��4�������,�����,�4�����¤& ��f& �3����f�
��½ �
� �½ Æab@j-l2Fq~ib�c¶ib c v u b�j v q*ib q~ib!{ib�¥nb� v }~}_ib�b�jfl2©Åpb u ib@pm~ u b�b� v c+§ u b!�� ln `b�j `l�lc²ib�c v u b_b j�� ln}~}~m~rFl2Fq�jm u lK v lnq~ib�jk}lqwlnb�b q�qkb�c!} vu b�b�pb�j u ib ib u b I�b�jc²ib�c v u bn«Æab@j�l2 q~ib c²ib�c v u b@j®jkbKj v Fq u ib ¥®ib ib�b�j�q u�`b@j®b��$ ln b�j�¯°§~b��£m��sib qwlnq{b vnu b u b ¦lqw¥b c!b Fq_c l2Dc l�� �q u ¦jpib�b�j��b m u c!¦jbVl2m } v Fq3b�jq u b Ipm~b�~��$�bQ}l u ¦l¡p¥nb u jkq~ib$pbV v c�} vnu qkb�c!b Fq�pb@j3ln}~}~�lqw v j «z�©$pb u ib@j v m u b_ b�} uwv §~ `b�c�b¯2b�j®l u ^ ªqwb�ºqwb�j v Fqqkb I~l2 b `l-mpqw¦jb u pb@j ^ �ib u l u ^ b�j�c¶ib c v u b~b�}~mIj$b ´}~mj� v c!}~b�opb@j ¯��b�£Fm~f¥Hl `lÅ�� b v Fq u b�pb�j� v q u lnFqwb�j�qkb@ ^ v v n¦£mb�j�� qwb c!}j~b4�rp�bn¯~jkm uk ln�b-p¦jk} v ~§b¯I v j v c!c lqk v ���b q�ib� v v c!£Fm~b@j��O v �m~qfpb�j�c²ib�c v u b@j{jqwl2qk¦£Fm~b�j��º«ÆZlQ�l2}l�q~ib+~b3jq v » l2nb3pb�jKl2Fq~ib c²ib�c v u b�j_b@jsqKj v m~¥nb�Fq�j v mj m~qk¦jpib b4 l u ¦l$ v lnq~ib3pb�j u ib ib u b I�b�jf�� b�jqf}lnj¤§~b �b o°} v ªq~ib b«! Z�� b�op¦jsqwbn¯ `l$�b xsv m u ¯Àl2m m~~b+j v mpqk v � v §l2b+£Fm~Z}Ib u c!b�qkqkb�� v }pqkc!jkb u b m u m~qk¦jkl2qk v a«
"fv mj�lnl2rpj v j®b��} u b�c�b u b�m�b�j_b�#8b qwj�pbK¦l+ v lnq~ibKjkm u b- v c!} vu qwb c!b Fq�pb�j�lnq~ib c²ib c v u b�j�¯Db�q u l2}~}8b v j�¦l��¦lnjwj©I l2qk v ¡~b�j-{ib l2mpqjKjm u ¥nb�l2Fq-~l2IjKb@j�lnFq~ib�c¶ib c v u b@jf{ib�©~b�j}Il u!$ Db q�l%� _ib�bf}l u�| m~nm~c l u « "�v mj u ln}~}8b v j{¦l+} v ªqw£Fm~b v }pqkc l2b�pb u b c!}~¦ln b c!b Fq�pb�j§ v j3£Fm~®ib `b u b�m·qwlnmpoÅ�� b@ ^ b��j4c!c l2S¯'&)(+*-,�.~¯�{ib@ u ªqwb }l u È{b ¦lnpr« "fv mj�{ib ©~¦jkj v Ijb�jkm~ªqwb3¦l� v qw v
� � ��
��Q�����{������
v ~b u * v jk b�Fqk©I$l2}}~¦ l2qk v j-qkb I*q v m~Ipb uk b op}~ v ªq� ln ^ b$j}l�b�� È����-��«V¬ vnuw» jkb�qj-§8b� v c!b$j v ¦l u nb�q ^ l2q3 l ^ b�j-l u b! v q+l2§~b!q v ql » b$lnp¥l2Fql2nb vn v l2qsr�¢�ªq ^ uwu b nml uu b b u b��b�}l2qqkb u Ij « | �b-�ln ^ bKj b@j_ uwv ¢´q v°v j v ¢�r�� È����-n¸�Ó¯pq�j{c�} vnu qwlnFq{q v!u b�nm~¦l u �bq ^ b®�ln ^ b u b b u b��b}Ilqqwb u j�«Zz j v2 qs¢_l u b v }pqwc!�l2qk v 4l2}} ukv ln ^ q ^ l2q�¢{b® lnF~lql�p¦jsq u §~mpqw v v m~¦�§8b+mjkb��q v l~l2}pq�l2}~}~¦ lqw v j�q v q ^ b3c!b c vu r ^ b u l u ^ r«! Óq� v jkjqwjf�c v p r°~Qq ^ bl~ u b�jwj vn ~lql b b c!b Fqwj+²c!b c vnu r*j v q ^ lq!~lql�mjkb�²jc+mªql2~b v mjkr
Æ�b�q�� jflnl2rpjb ^~v ¢ ~lql!c+mjq�¦l2¦ v mpqfVq ^ b+�ln ^ b�q v c!} uwv ¥nbK v �l2ªqsr�� vnu b b u b��b@j ¯p§°rmjq u lqw$j v c�b4jkc�}b4¦lHr v mpq�l2qkb u l2qk¥nb@j ¯lj�j ^~v ¢���©m u b dn«/Æ�b�q�� jf v°vn» �c vu b4pb qwlnFq v�u b�lnj v Ij vn l ^ q vnu lVc�¦jwj � ©m u b�d � l~¯ § � � �4z l ^ b3c ln~}m~l2qkb@jK§~ v » j v2 c!b c vnu r �Kzu b b u b��b¤q v l!~lql b b c!b Fq_j_l u b b u b I�b¤q v q ^ bK§~ v »$^~v ¦p~3q ^ b-~l2qwl3b b c!b Fq�« ]_^ b u b ¨vnu bn¯ ¢{bV v jk¦pb u qs¢ v ~lql b b c!b Fqj��l2���¢�q ^ Fqkb u b�lH¥b� u b b u b��b@j ¯�q ^ b u p¦jsq u §~mpqw v lnc v ~3q ^ b-§ v » j_c!}lºqj v �q ^ b4�ln ^ bKc!¦jkj u lqwbn« ]_^~u b bK} v jkjk§~qkb�j�l u ¦jb«
� =m u b*d �O�� ��� l2 l u bVjsq vnu b�·²p¦jqkºq c!b c vnu rŧ~ v » j3¢ ^ ¦ ^ v c!}Ib qkb ¨vnu q ^ bjklnc!bf l ^ b�~b«��/ln ^�u b b u b b�nb�~b u lqwb�j�l- v pµ¦ºq/c�¦jwj « ] b c!} vu ln~ v �l2ªqsr3j/ v m~Fqkb u} uwv ~mºqw¥bn«
� =m u b¤d �O � �� ln�Äl u b®jsq vnu b�-+p¦jqkºq�§~ v » jZc l2}~}~~fq v p�#Àb u b Fq~b�j�« ] b�c�} vnu l2 v �l2ªqsrK¦j�§8b ~b ©I�¦l2S«�z¶§~ v »F ¦lHr v mpq v }pqwc!�l2qk v 4c3mjsq} u b ¥nb�Fq
} v qwb Fqk¦l2S¯_¢�ªq ^ c!jwj u lqwb�j uwv }~}~·§°r´lnj c3m ^ lnj�2¸F¹Q«:¬*b¡ v m~b� jkb��qk v ĸ·l2I} ukv } v jbKj v c!b u b�jkb�l ^ p u b�ºqw v j{q v b op}~ v ªq_q ^ j�} v qkb FqwlnO«
� � �f#��������� �+�%
¡l2°r ^ l u p¢_l u b+j v m~qk v j�l u b3lH¥l2¦l2§~b4q v l~ u b�jwj¤ln�lnjk}Ib@ºqj vn l ^ b+}8b uk¨vnu c l2 b �ày{È_°¯=��F2~¯ ±�| ¬ F°¯È | F°¯�� v m��p¯z t n°¯��¬ 2 �S« $fv ¢/b�¥nb u ¯pÈ{m u nb u b qfl2S«�l u nm~b�q ^ lqfl2}}~¦ l2qk v jvn qkb�� v v q�mjkb-c vnu b�q ^ ln*d�F¹ vn q ^ b+�ln ^ b-jk}ln bn¯~l2IVl j v2 qs¢_l u b�c!lnl2b�� v �l2ac!b c vu rc! ^ q4§8bQl�§Ib qqwb u j v mpqw v � È����-��Ó« $�v ¢{b ¥nb u jsqlqw v c!}~b u l2lnrpjkj-ln v ~b c lHr
¸
| b�Fqk©I_} uwv u l2c j ^ lH¥b{§8b b�©~qwb� ¨uwv cc3m ^ c vu b_b oFqwb jk¥nb�l2lnrpjkjq ^ l2! v jk b�qwª©8 v pb�j�« |°vn qs¢{l u b�l uku lHr¤l b�jwj v }pqwc!�l2qk v u b�jkb�l u ^K^ lja§8b b +¥nb u rKlnºqw¥b ¨vnu j v c!b�rnb@l u j «a¬Äq ^ v°v }Qq u l2j ¨vnu c lqk v Ij® » bfqw~ � È�� | 2I¯y � ] 2 �Ó¯pªq�¦j{} v jkjk§b¤q v } u b ¥b Fq/c v jq�Fqwb uk b u b bc!¦jkjkb�j � ] � �� v u b m~l u l uku lHr�l b�jwja}l2qqkb u Ij « ]_^ b�jkb®qwb� ^ £Fm~b@jZl u b{j v c�b qkc!b�jIjm �$ b�q§8b��l2mjkb�Fqkb u b u b��b@j_ l2�jqkaln}~}Ib@l u_¨vu j v c!b-l uwu lHr3b�lp!jk b�j�� È | �Ó«� v p r°~ l �b@jkj}Ilqqwb u j�j� v q!jkm �$�b Fq!q v b c�l2qkbVFqkb u b u b��b@j « Óq$�l2¶§8b� v c+§~~b�¶¢�ªq ^ l uku lHr*lqwl¦lHr v mpq v }~qkc��l2qk v j�¯l uku lHr4b�lp j b�}l~p~+ln!Fqwb uk l uku lHr-}lnp« t ln~p~ ^ lj�§8b b�mIjb@¡q v l2n·l uwu lHrpj v ·c3m~qk} ukv b�jwj vu j � �K�È_°¯ ] Æ $ .�p¯ t�vnu n��/§~m~q3 ln l2¦j v §8b$mjkb�*q vlnn²l uwu lHrpj4´ ln ^ b�j � È�y,�F2�Ó« = vu v jk b�Fqk©IQln}~}~�lqk v Ij ¯ ^v ¢/b�¥nb u ¯jmI ^ qkb@ ^ ~¦£Fm~b�jl u bf uwu b�b�¥l2Fq{jkI�b¤ v c!}~b�o$~l2qwl+jq u m�qkm u b�j{l u bf v q{l �b@jkjkb�!mIj~�~b�opb�j�« ]_^ b vu q ^~v v lnln}~} uwv l ^ ¯p~lql pjq u §~mpqk v �j�§Ib qqkb u jkm~ªqwb�D«
zfªq ^~v m~ ^ jk�l2¦l u j¤§8b b�©~q ¨uwv c b �$�b Fq u b�n¦jsqwb u ln v lqw v �qwb� ^ ~¦£Fm~b�j � z | 0 ¸p¯y�y �-.� �S¯ln·~b�¢ pr°lnc�¦Vl2 v l2qk v § u l u b�j4qwl » b�lp¥l2Fqwlnnb v2 qwb c!} vu ln/ v lnqsrŧFr u b�ln v l2qk~u b� b Fqkr ¨u b�b�´§~ v » j � � ��$ n~¯{È � �S¯�q ^ ¦jQ¦jQjqk¤jkm �$�b FqQq v¶u b�l2} m�} uwv b�jwj~·} v2¢{b uQ¨ukv c l·c v ~b u y t10 ¢�ªq ^ v jw�b Fqwª©I¡l2}~}~¦ lqw v j�¯�l2Äb ¢�ln}~} uwv ln ^ b�j!c+mIjsq�§Ib~b ¥nb� v }~}8b��q v c�} ukv ¥b4c!b c vnu r ^ b u l u ^ rQ}8b uk¨vnu c l2 bn« ]_^ j¤}ln}Ib u l2qqkb�c!}pqwjfq v j ^~v ¢ q ^ lqlqwl ~jq u §mpqk v ¦j/l+¥nb u r�} uwv c!�+l2}~} ukv ln ^�¨vnu v jw�b Fqk©If v pb v }pqkc!@lqk v !q ^ lq_¢�^ lH¥nb¤q v §8b-°¥nb@jsqwFlqwb� q ^~vnuwv m ^ rn«
� � .��-��-�{
�f������� ���h���-�®.�� ���Z�
¬*b u b��l2q ^ b ]_^~u b b�y{j3c!jwj+ ljkjkª©8 lqw v � $ F��_mjk | m~m~c l u � j4~b�©~qk v ¶¢ ^ ^ mIjbQl}8b uk b��q�¤ ln ^ b � | m~�Àln m~}À~l2qkbfq®q v+^ lnpbf~l2qwl+~jq u §mpqk v a« ± lql pjq u §~mpqk v c!}ln�qwj v q v ~r v 3§~ v » ¦lHr v m~q!c�b�c vnu rn¯§~mpq®lnj vKv 3q ^ b�p¦jq u §~m~qk v v2 ~lql b b c!b Fqwj�lnc v ~�q ^ bc!b�c vu r+§~ v » j�« ]_^ ¦j� ^ ln~nb@j�§~ v »4u b b u b��b_}l2qqwb u j ¯l2�c�}Ilnºqj v 3q ^ bf ln}ln ªqsr-c!¦jkj u l qw v « ]_^ b u b ¨vnu b�¢{b�} uwv ¥F¦pb�ln b�o°qkb�qw v !q v q ^ bf ljkjkª©8 lqw v a¯lqwlKb�b�c!b Fqwj®§~ v » �������������������� �!" ���#�%$�� « ]_^ b�r ln v m~Fq ¨vnu jm§ Sv }pqkc l2_~lql b b c!b Fq!pjq u §~mpqk v �¯ x mjq! » b� v ~µ�q3c!¦jkjkb�jl v m~Fq ¨vnu jkm~§ Óv }~qkc!ln~§~ v »+u b }~¦ln b c!b Fqwj�« ]_^ j®l2 v ¢�j�mj�q v b�¥HlnmIlqkb_q ^ b� v ¢/b u c!jwj u lqk v j§ v m~l u r!lqql2l2§b¤¢�ªq ^ l4}8b uk b��q{~l2qwl+~jq u §mpqk v Qln$l-}8b uk b��q_�ln ^ b v2 n¥nb�$ l ^ bfl2I~b4j b«
��� ������������������� �"!�#$#�%'&)(*#��+&,&,!.-/(0��12!�3���&]Zv lnl2r° b4 l ^ b ^ l u ~¢{l u bK§~ v »�u b }~¦ln b c!b Fqf} v ¦�b�j�¯ $ ljkjkª©Ib�� l ^ b-c!jwjkb�j�«�¬b>,U2èsÙOäèê ØZâ/äÚ2>b> 8%m¨âáSáOÛ�êsß âwØOß V�è�êâê,:Hè�ÚHáSßàÜ@Ý�WÀè9> â×O8IX á�ÛKU@ØOßb;�â#>,Y[Z]\ æ >àÛ ê,i�ÙSèBU2> âêsè9;�èsÜ Ø^U2Û�>àßàê.8`_ WÀèg>baKac
oJp �qosr
4V½653 8¨�8 Â�3��"8 " $ " ���� � >[ EDF ��� à ½ à ? �=?COR���2$%!���� " $�� A��s��� �;>;>V! $��2$%���#$k�L$'A�$%�L$%!ND#$#� �����L:B$Q �L O �$? " ?@OI? �s! J' �;:�$���� ���%$Q�s�c��� 1 8 9 ½ R
È{b ¦ln~r � È{b ¦¸n¸� ^ lnj/j ^~v ¢��q ^ lq/q ^ b u b�b opjqwj�l2q®b�lnjq v ~b v }~qkc!ln§~ v »3u b }l�b c!b�q�} v ¦�r~b v qkb� �s! ¯I¢ ^ ^ r°b�j_q ^ b4jkc l2b@jsq�c!¦jkj u lqw v } v jwj§~b ¨vnu l m~r lnjwj v �¦lqw¥b��ln ^ b«®Ç¤l;>\������ �! " ���#�a��� ?ID#$ " $�!f�c BA ?C>\����$�� >[ EDF�� :Y�'DG: ���! ��c�;:�$�A�? ���;:�$���� �! $��L$ A�$��T$�!0DT$#� �s! ��� " $ R
z jm§ v }pqkc l2�§~ v »´u b }~¦ln b c!b Fq��l2 ^ ln}~}8b :¢�q ^ jm~§ v }~qkc!ln ^ l u p¢_l u b u b�}~l�b�c�b�Fq} v ¦�b�ja » b/ÆZg 0 ¯ vnu ¢�q ^ ln~ u b�jwjac ln}~}~~« ]�v p�#Àb u b Fqwl2qkbq ^ b�jkb�qs¢ v ljb@ja �%$�����?2�#�% ED��'? �=����$DG?ID:�$�� ¯ | m~nm~c l u � | m~Fn� m u q ^ b u p�#Àb u b Fqwl2qkb�j� v pµI�q_c!¦jkjkb�j��4V½653 8¨�8 Â�3��"8 A // 8 3�� � 8 @ ���a�L:B$)�L$.QN> ?ID#$ " $�!f� BAa�;:�$+A�?����L:B$��#� �T$'A�$%�L$%!ND#$#�k� >[ EDFQ�s! ?��%$�� J� :��;>[$k�;:�$�A�? ���;:�$����'�L$ A�$��L$%!ND#$#� � >[ EDF �s!��;:�$ DG? DG:B$k���h! � �s!��;: ?��c��$%� R4V½653 8¨�8 Â�3�� 8 �Q½ /21 ~ ½ � ½43 � 8 @ �����L:B$Q�T$PQ0> ? D#$ " $%!��a �AC? � >[ @DGF �L: ?�� ���k! �� �L:B$=A�? ���;:�$���� ! $��L$ A�$��L$%!ND#$#�@�s!��;:�$h�%$%� R
z c l2}}~Vc!¦jkjK¦j-lV v jkj vn b�� b��r¡§Ib@ l2mIjb�q ^ b!�ln ^ b!¦j-j}q-Fq v jkb�qj ¯ u b�}~l�b�c�b�Fqc!¦jkjkb�j_l u b�pm~b�q v l+§Iln u b�}~l�b�c�b�Fq/} v rn«�z�a v pµ¦ºq_c!jwjb@j{�l � �s�L$GD���� " ?Q Q�$#� DG? DG:B$ l u bc ln}~}~~ c!jwjb@j ¯Ib�opb }~qf¢ ^ b ��ln ^ b-§°r°}ljkj_¦jfln v ¢/b@�� (+*-,*} v ¦�rV v m� ^~v°v jbK v q�q v v lq ^ b-§~ v » Vq ^ b4 l ^ b¤§mpq b ¢³} uwv b�jwj vu j_lºqkmIl2r$c!}~b c!b Fqfl�§°rF}Ilnjwj/jq u mºqw v a«]_^ b4ln§ v ¥b-�¦lnjwjkjkª©8 lqw v v ~r� v Ij¦pb u j� l ^ bK§~ v » j�¯~l2Vc l2}}~�c!¦jkjkb�j�l v m~Fq v ~r¨vu §~ v » ¦lHr v mpq��c!b c vnu rn«�¬Äq ^ lqwl ¦lHr v mpq v }~qkc��l2qk v a¯Iªq�j¤~b@�b�jwjwl u r$q v v Ij¦pb u q ^ bc!}ln�q v � l ^ bK}Ib u¨vu c l2I�b v2 ~lql3b�b�c!b Fq�pjq u §~mpqk v �Fq v §~ v » j�«
���� � !�&I12� ! � ��1 !B3�� � !�&,&"!^&
¢{b u b@p¦jsq u §~mpqwb q ^ b�~lql b b c!b Fqwj+l2c v ~Vq ^ bQp #8b u b�Fq+§~ v » j�¯�q ^ b u b b u b��b }l2qqwb u jKq vq ^ bVc�b�c vnu r*§ v » j+¢�_ ^ l2~bn« ]_^ b u b ¨vu b¯ (+*-,Änb b u lqkb@j+p #Àb u b Fq u b }l�b c!b�q! ^~v ¦�b@j ¯lnVq ^ b4c!jwj u lqw v vn l!}Ib u b@ºq��ln ^ b4�l2� ^ ln~nb«/¬*b3~b�©~b �������=�����%������ �! " ���#�%$�� q v ln� v m~Fq¨vu q ^ ¦j�ln� v c!}~mpqwb4l� v ¢{b u § v m~�q v q ^ b-c!¦jkj u lqw v�v2 l�}Ib u b@ºqf l ^ b v2 l!n¥nb Vj b«
z ~lql lHr v mpq�¦j¤q ^ b!ln u b@jkjfc l2}~}~~ v2 ~l2qwl$b�b�c!b Fqwj��c!b c vnu rn« |°^ m$# Vl~ u b�jwjb@jvn ~l2qwl�b b c!b�qj_c v ~ª©b@j{q ^ b4lqwl3¦lHr v m~q�«®Ç lnÀq ^ b-} v jkjk§~b-~l2qwl3lHr v mpqj ¯Fq ^ b u bKj�l2q_b�ljsq%�& ßb>b> X áÀÛºÙSßàݺßàÜâ#>ê9> âáSáSß 'HêkâwØOßàÛºÜ�×@è 'HÜHèsáâá�â{êâGUâêsß Øs8);�ßàáSáDâ ;�ßàáSáDÛ êêsÚHÙOßàÜHÝ_ßàܤâ®äÚ2>b> 8%m¨âáSáOÛ�êsß âwØOß V�è�êâê,:Hè�ÛäpØ�:@èáÓâ#;�è�áSßàésè ^Zß Ø=:KØ=:Hè{áSâ#;�è®ÙOèBU2> âêsèg;�èsÜ�Ø�U2Û�>àßàê.8-âáØ=:Hè{ÛºÜ@è{áOØOÚH×Hßàès×)(¤ÚHáOÚâ#>b> 8+* �-, ã & ÛL^ÀèBV�èsÙge$.�Ú@ݺÚ2;�âÙá=:HÛL^Dès×Ø�:âwØ�Ø=:Hßàáa×Hè/'ÜHß ØOßàÛºÜKßàáDØSÛ Û�âGU UHÙOÛ10�ßb;�âwØSß V�è�e@áSßàÜHêsèß Ø�êâÜ)8�ßàèg>àפÜHèsÝ�âwØSß V�è�êsÛºÜ32ßàê Ø;�ßàáSáÀÙSâwØSßàÛºá�_ .�ÚHÝ54 �Gc°âÜH×�ÚHáOßàÜHÝ�âUnèsÙ äèsê Ø�êkâê�:Hè�ßàáZâ æ è Ø ØSèsÙâ#> ØSèsÙSÜHâwØSß V�èºã
6 .�Û�;�è ØOßb;�èsáZâ#>àáOÛ�êâ#>b>àè×4âÜhZ C FLAjITHsAOILA2CYX�AkM Z[GgGºã-7q:HßàáZßàá;�ßàá�>àèâ×HßàÜHÝ/áSßàÜHêsè®êsÙSÛºáSáZÛºÙZáOè9> ä8ßàÜ�ØSèsÙ äèsÙSèsÜHêsè ;�ßàáSáOèáÚHáSÚâ#>b> 8_×HèsÜHÛØSèêsÛºÜ32HßàêsØZâÜH×fêâGUâêsß Øs8àÛ�ÛKU�ÜHèsáOØOáq^:@ßàê,:�×HÛ{ÜHÛØaäÚ2>b> 8_è/0@U2>àÛºß ØDØOèg;�U2ÛºÙSâ#>l>àÛ êâ#>àß Øs8�ÛäÙSè äèsÙOèÜ@êèsáaØSÛ_âÜKâÙSÙSâg8�ã
��� ��������
v ~b�q ^ l2q�nb�~b u lqwb�j/q ^ b- v ¢{b�jq_c!¦jkj u lqw v�¨vu l3}8b uk b��qf l ^ b � q ^ b-Fmc+§8b u�v2 }8b u c+mpqlqk v Ij_j©I~ªqwb���«4V½653 8¨�8 Â�3��"8)! Q �=� " ? >,4 ~� ¿ 1 ¾I � ����?Q� ? �P? �.> ? �R ��� A� �� � :��'D:�?�Q�$��LA�$GD%��DG?ID:�$)����$�>[���)�L:B$> � $��#� " ���T�h�$? �=�� /QB ��#�#��� >[$ R
"fv qkb �Dq ^ b{l~ u b�jwj v #Djb q vn lf~l2qwl�b�b�c�b�FqZ¢�q ^ +qwjZ§~ v » v b�jZ v q ^ ln~nb§~ v »Ku b b u b b}Ilqqwb u j�¯Àj v qK v b@jf v q-l%#Àb�ºq¤q ^ b�c!jwj u l2qk v�� ljkjkm~c!~Q~l2qwl$b�b�c!b FqwjK v v q v ¥nb u ¦l2}�qs¢ v§ v » j « ]_^ b v #Àjkb�q�¢�q ^ Vq ^ b-§ v » ¢�aq ^ b u b ¨vnu b� v q�§8b4 v Ij¦pb u b�a«
¬*bQ} uwv } v jkbQl�b ¢ c!jwj3 ^ l u lnºqwb u @lqw v a¯a¢ ^ ¦ ^ qwl » b@j-Fq v ln� v mq ^~v ¢ ~lql b b c!b Fqwjl u bKp¦jsq u §~mpqwb��l2c v ~�q ^ b-§~ v » j ¯~jkc!l u q v q ^ b4pb�©ªqw v vn v pµI�q_c!¦jkjkb�j�«4V½653 8¨�8 Â�3�� 8 � ?��.? �g$ >[$ " $%!���� >[ EDF Ã8 � %8¨2��8 Â�3 � 8 @ ��� ? DG?GQ ?ID��s��� " ���T�@�L: ? � � �2>[� ! ��: ? ��$ : ?QIQB$%! $#� � �s�;: ?�! Q ��� " ? >V�I?��.? �g$ >[$ " $%!��_�������������������� �!��s!��. " $ " ���� � >[ EDF�� R
Æ vFv» ~ §Iln » l2q�©nm u b!d �O2¯ D¯ b��º¯I¢/b4jkb bKq ^ lq¤c�¦jwjb@j�nb�~b u lqwb��§Fr � n¯ �� lnV§8b4} u b ¥b Fqkb@§°r� ^ ln~n~ q ^ b ~lql b b c!b Fqj¤p¦jq u §~m~qk v �q v b�q- ljb �¨b���« ]_^ b�c!jwjb@jfb ~b u l2qkb@�§°r � 2¯ �l u bKp¦jsq u §~mpqw v �c�¦jwjb@j «
¬*b$ ln~ v qK} uwv ¥°pb!l�c�b q ^~v ¨vnu v c!}~mpqw~�b oplºqwr¡~jq u §mpqk v *c!jwjb@j�§Ib@ l2mIjb!¢{b� v v q » v ¢ ^~v ¢¶q v b�ljrK©I!l2 v }pqwc l2~lqwl b�b�c!b Fq�~jq u §mpqk v !q v §~ v » j �¨¢{b_¢ v m~ ^ lH¥bq v q u r¡l2®ln u b@jkj�}8b u c+mpqlqw v j)��« $�v ¢{b ¥nb u ¯D¢{b ln ?��.$ (�� ��( d� � �, ��;:�$�4 8 � %8¨2Z�8 Â�3 � 8 @ �$? �=�� R
¬*b� l2²c l » bQq ^ ¦j!l2}~} ukv opc!l2qk v ¨vu qs¢ v*u b@lnj v j�« = u jq�¯
]_^ b-c!¦jkj� ljkjk©I l2qk v V§Ib@ v c!b@j��
* 0 * 5Y4 * * & &
������ �����/�0�4 �/�5��f5 ( *,*.-���� ,�� 5 * 3 ,n* 5Y4� *(&j* 1 *� * * 0 ,/�0 , # 4 *,(�* �� 3��f4�5 ( 3 * 3 ,n*( 5���� * ,��
± lql b b c!b Fqwj�p¦jq u §~m~qk v +Fq v q ^ b_§~ v » jZ¦j�l23c!} vnu qwl2Fq ln�q vnu ¯q ^ l2~b�jDq ^ b�p¦jsq u §~m qw v Kc�¦jwj u lqk v ¯�c!}lºqw~ v -l2n l ^ b� v p©m u l2qk v j�¯ ¨uwv c p u b@ºq c l2}~}8b�¤q v� m~r lnjwj v �¦lqw¥b�ln ^ b@j « = vnu p u b@ºq c l2}}Ib@¡l2I¡jkb�q lnjwj v l2qk¥nb+�ln ^ b@j ¯À§~ v » lHr v mpqK¡c!b c vnu r�l2¦j v l%#Àb��qwj}8b uk¨vnu c l2 b�§°r! ^ l2~~-c ln}~}~~+c!¦jkj u l2qk v j�« | bf§~ v » ¦lHr v mpq�c!}lºq{j{l2 u b@lnpr� v ¥b u b�§°r | m~nmc!l u � j-c l2}}~ v ~µ�q4c!jwj+pb ©~qk v a¯Zq ^ bQc!jwj4 ljkjkª©8 lqw v Å~b b@~j- v c vu b u b�© b c!b Fq�q v b ¥l2mlqwb�lqwlVp¦jsq u §~mpqw v v }pqkc!@lqk v Ij « ± lql�p¦jq u §~m~qk v Ål2¡§~ v » c l2}~}~b�#8b@ºqj l2 v c+§~~bVq v } uwv ¥F¦pb�l¡ u b@lq v }pqwc!�l2qk v } v qkb FqwlnO«ÄǤ~r m~~lnc�b�Fqwl2_c!¦jkjkb�j�l2~ v q�§Ib u b c v ¥b�D«
� � �����3��# �-��#º( ��f12����f������� ����
���8#���(3�3��
¬*b ^ lH¥nb�jkb b ²q ^ lq$~lql*lHr v mpq l%#Àb��qwj�q ^ b��ln ^ bVc!jwj u lqk v ¯{l2¶¢/b ^ lH¥bV~b�©~b@²l*c!¦jkj ljkjk©I l2qk v $q v b�op}~¦l2Qq ^ bKc!}lºq v2 ~lql+¦lHr v mpq�«2 �jb@ºqw v �I«d�¢/b-j ^~v ¢ ^~v ¢:q v © ¨vu l~ u b��q c!ln}~}8b�� l ^ b+ln�~lql$p¦jsq u §~mpqw v j¤¢ ^ ^ nb b u lqkb v ~rV�l2}l�qsr�c!¦jkjkb�j�¯I l2°r v ~bb opjqwj�« $fv ¢/b�¥nb u ¯Àc!b�ljm u ~�c!¦jkj u lqw v jK v b�jK v q ^ b }
d�
����������������������� \�� ��������� ÙSè ØOÚHÙSÜHáaØ=:Hè ��� ÙOèsäèsÙSèsÜHêsès×�ßàÜfØ�:Hèè/0�èsêÚ�ØSßàÛºÜ-á ØSÙOèkâ#; âwØZâ{Ýºß V�èsܤØOßb;�è�ÛºÙ �_âwØaØ�:Hè�èsÜH×FãY[Z�!�"$#�% \ �&����� ÙSè ØOÚHÙSÜHáDØ=:Hè�Ü�ÚO; æ èsÙ�ÛäB;�ßàáOáSèsáDݺèsÜHèsÙÓâwØOès× æ 8¤â{Ýºß V�èsÜ)> âg8�ÛºÚ@Ø�'( �OeâÜH×*) ÛØ�:HèsÙ�^ZßàáOèºã+-, #���. �/�&� ÙSè ØSÚ@ÙSÜHáaØ�:@è æ >àÛ�ê�i¤Ûä10 �2 #�% � ßàÜa^`:Hßàê�:Kâ{Ýºß V�èsÜ ��� ßàáaáOØOÛºÙSès×DeHÛºÙ��/ÛØ=:HèsÙ=^�ßàáOè�ã0 Z]\ �����&� ÙOè ØSÚHÙOÜHáaØ�:HèáOè ØÛäB>àßàÜHèsáaßàÜ_^:@ßàê,:¤Ø=:Hè�Ýºß V�èsÜ æ >àÛ ê,i á;�âGU�ØSÛHã" ��3 ���/�&� ÙSè ØSÚ@ÙSÜHáaØ�:@èáSÚ æ áOè ØÛä æ >àÛ ê,i áZÛä40 �2 #�% � :Hè9>à×�ßàÜfØ�:@èêkâê�:Hè®âwØâ/Ýºß V�èܤØSßb;�èºã5 ����+-��,6���27����� ÙSè ØOÚHÙSÜHáaØ=:HèáSÚ æ áSè ØÛä æ >àÛ�ê,i á�Ûä10 �2 #�% � äâÙOØ=:HèsáOØ�ÙSè äèsÙSèsÜHêsès×-âwØZâ{Ýºß V�èsܤØOßb;�è�ã8 Z/9 ��: ! �����/�&� ÙSè ØOÚHÙSÜHáaØ=:Hè ;�è9;�ÛºÙ=8�á Uâêsè®Ú@áSès×�Ú UfØSÛ{áOØOÛºÙSè�Ø=:Hè ����� á � ã����;-+-, #b>àÛ�êâwØOèsáâ{Ü@è9^ æ >àÛ�ê,i�ßàÜ);�èg;�ÛºÙ�8�ej:@Û�>à×HßàÜHÝ�â{Ýºß V�èsÜ ��� âÜH×àßàÜ@è�ã0 �2 #�% �&� *°ßàá Ø�Ûä æ >àÛ�ê�i�á�ÚHáSès×Fã r æ >àÛ ê,ifâwØâ/Ýºß V�èÜKâ×H×HÙSèsáOáq^�ßb>b>l:HÛ�>à×�â/Ýºß V�èܤáSè ØZÛä~×âwØÓâ_è9>àè9;�èsÜ ØOá ���
+-� ! � 0 �2 #�% � (?>4@4@àÙOèâ×O8¤â#>b>àÛ�êâwØOè×leêâê,:HèXWKßàáSáo ä10 Z]\ ���/Hb>àßàÜHÝ{â#>b> æ >àÛ ê,i áâ#>àÙOèâ×O8fßàÜfØ=:Hè�êâê,:Hè�e2êâê,:Hè :Hß Ø
o ä 8 Z/9 ��: ! �����/+f�gU 8 Z/9 ��: ! �����T�����ihj+f, #àßàÜHÝ/â#>b>6U2ÛºáSáOß æ >àè æ >àÛ ê,i áZÜHÛØ`:Hè9>àפßàÜfØ=:Hè�êâê,:Hè�e2êâê,:Hè ;�ßàáSádÛºÙ�â#>b> +eQqH�ab7�TacQ 0 �2 #�% ����dq��a 'Q " �=3 ��� 0 �2 #�% �&G]�����rdq� 0 Z]\ ���/H�a�Y�0 Q 0 Z \ ��� 5 ����+f��,6���27� 0 �2 #�% �&G����S� O�O r >b>àÛ�êâwØOßàÜHÝ�â{ÜHè.^�è9;�U@Øs8 æ >àÛ ê,i eêâê,:Hè ;�ßàáSá
+ ( ����;-+-, #4@�ACBED �6�gU � G 0 �2 #�% ��^sH
dd
§ v » ¡~�#Àb u b Fq��ln ^ b+~b�j�lqKp #8b u b�q¤qkc!b�j�«� ¢{b4mjkb3~l2qwl$l~ u b�jwjb@j_q v c!}~b c!b Fq�q ^ bv }pqkc l2 u b }~¦ln b c!b Fq�} v r v �l!p u b@ºq c l2}~}8b�V l ^ bn¯°q ^ ¦j�j_ v q�} v jwj§~bn« ¢{b¤ljkjkm~c!b�q ^ lq{q ^ b u bfb�op¦jsq_~lql+p¦jq u §~m~qk v j{¢�¦ ^ nb�~b u lqwb v ~r ln}ln ªqsr�c!jwjb@j ¨vu l
~ u b��q c!ln}~}8b�� l ^ bn¯~¢{b4 ln�} ukv ¥°¦pb-l ^ b m u ¦jsqwK¢ ^ ^ lnV©Vq ^ b c,§FrQq u r°~$l jkm~§jkb�q vnlnD} v jwjk§~b-~lql!pjq u §~mpqk v Ij «
È{b ¦ln~r�� j v }pqkc l28§~ v »!u b }~¦ln b c!b Fq®} v ¦�rn¯ (+*-,¯°l2¢{lHrpj u b }~¦ln b�j�q ^ b¤§~ v »� l u q ^ b�jq u b b u b I�b�QVqwc!bn« l2À§~ v » j_Qq ^ b- l ^ b-l u b¤¥bn¯°q ^ b u bKj v ~r$l!jknb¤b4 ^~v jkb �§Fr (+* ,« q ^ b u b�l u b$~b�ln §~ v » j�¯�ln°r v ~b v2 q ^ b c�¦j+l¡} v qkb�qwln�ql u nb�q ¨vnu�u b�}~l�b�c�b�Fq�«�z § v »~jq u §mpqk v
dH
Fq v q ^ b$jwl2c!b�§~ v » j¤q v�u b�pmI�b p¦jsq u §~mpqw v [$%�a�L: ?�!��� ���� R]_^ b� ^~v ¦�b v2 q ^ b+¢� v ¢jk�b4j�l$jwl2c!}~$} uwv §~b c��_ q ^ b3¢� v ¢ ¦jfq v°v jkc!lnS¯Dj v c!bFqkb u b�lH¥b� u b b u b��b�}lqkqkb u j�¯p v j¦pb u b@ q v°v3 l u ¯p¢�D v q{§8b-jb�b a« q ^ bK¢� v ¢ ¦j{q v°v §~¢{bK¢� lnD§l » q v q ^ b4 v c!}~b opªqsr vn (+*-,¡c!b@lnjkm u b@j «± lql b b c!b Fqj�q ^ lq¤l u b-m~°mjkb��¢ ^ b-q ^ b u §~ v » ¦j��q ^ b3 ln ^ b-¢{ljsqwb+ l ^ b4j}Iln�b-mIjb@q v jq vu b�q ^ b c lj®¢{b Ilj®c!b c vu r�§l2Ip¢�pq ^ mjkb� q v v l�q ^ b�c�« ��b c!b Fqwj u b b u b b� l u q ^ b uln}l u qKq ^ ln ��� ����À^ lH¥nb l ^ ^ b u » b ^~v°v vn ~b@�b@jkjkªqlqw~�l u b v ln~~ v2 q ^ b §~ v » ¯�j v q ^ b§ v » j ^~v m� v q�§8b4 v jkpb u b@Qlj_§Ib�~b�©~qw v2 j}l2qk¦l2D v l2qsr$§Ib qs¢/b�b �q ^ b�c�«
X YX X
W
XY Y Y
1
0
+ + + + +- --
CW(X,Y) = -1-1+1+1+1+1+1+1+1-1-1 = 7 - 4 = 3
Activity
t
Active(X,t0) =1
t0
Active(Y,t0) = 0
t
-
X
+
Active(X,t)
Active(Y,t)
XY
+
=nm u b- �/y v c!}~m~qk~ /�021O1�324�5 * * 0 ,ŧIb qs¢/b�b ��~lql b b c!b Fqwj]Zv pb }�q-q ^ b lºq-q ^ lq+l2Åb�b�c�b�Fq�� v2 c!b�c vu r¡j u b b u b��b@ vu v q-¢�q ^ ��� ����� ¯Z¢/b
~b�©~b-qwj�lºqw¥°qsr0� lj�j ^v ¢��Q©Inm u b- �º«4V½653 8¨�8 Â�3"7$��� $�! �,$ � 3$# �J� ) * � �;:�$MQ �T$T� �'DG?��.$��L: ? � ���� � A � ���
d@
&�� �J� ) * � ��d * #�� �J*�� ) * . � � ��*�� � *�� ) * . � �� � � 3$# ��� ) *�� � � d ) � 3$# �J� ) * . � ��d��� � � * . � *�� ����� ���� � );> �L$ A�$��T$�!0DT$���l �! $ � :Y�;> $a�# ��L:S?��L$�? D%�=����$ " �s!��Y��? >;>��L:B$ �T$'A�$%�L$%!ND#$��'�, h$G?ID: � :��;>[$a�;:�$_ ��L:B$%�_$�>[$ " $�!f�q���c�s!0? D%�=����$ R/ � �J� ) �6� �
������������� � ��&�� �J�
) * ��� � 3$# ��� ) * � � � � � 3$# ��� ) * ��� &�� ��� ) * � � � � �sd � &�� ��� ) * � ���� 3$# ��� ) * � � � � � 3 # ��� ) * ��� �sd �&�� ��� ) * � � �zf v }~qkc!ln_lHr v mpq+¦j+q ^ b u b ¨vnu b�l�¦lHr v mpq ¨vu ¢ ^ ¦ ^ ^ ^ r vnuwu b�l2qkb�Å~l2qwl b�b�c�b�Fqwj�l u bjq vu b@!!q ^ b¤jwl2c!b�§ v » ¯Fln ¨vnu ¢ ^ ¦ ^ ^ ^ r� vnuwu b�l2qkb@3§ v » j�c l2}$q v p¦jqkºq_ ln ^ b�~b@j «��� ��!B� !^(N1�! � �#"$"!^� (0��(&% ! ��� 12�'! #�� ��3���1(% !^��� !$&I12!$(¬Äq ^ q ^ b &a(�* *,+ *,*.-´ln /�02121�324�5 * * 0 ,c!b�q u ¦ j�¯�¢/b ? �R ���� ¦jK v ~b�§°r�lnjwjn~�§~ v » jKl2°r ¨u b b�c!b c vnu r�ln~ u b�jwjfq ^ l2qKc ln}j�Fq vq ^ b-jkb b��qkb�� l ^ bfb � ¢/bKlnjwjkm~c!b¤l�p u b��q c l2}~}~~4�º«�¬
d�
����;$+-, #àÛ�ê�iReO>àßàÜHèÛºÙq>àßàáOØaÛäB>àßàÜHèsáLeHâÜH×�ÙOèsáSè ØSá�ß ØOá���� � Z�� Z �/2 ã8 Z/9 �àè9;�èsÜ ØaØOÛ_áOØOÛºÙSè�Ø=:Hè ����� á � ã"$# � + Q +-, #���.E0 Z�! �o äR"$# �
dH
� ]_^ ¦j ^ b m u jqk¦+ln}~}~b@j v ~r ¨vnu jk�l2¦l u j ¯Àl2�c+mjq�§8b!ln~ln}pqkb@�q vV^ l2Ipb� v c�}b o�lqwljsq u mIºqkm u b@j «
] l » ~QFq v l v m~Fq�lqwl�jsq u mIºqkm u ~Qln¡ v c!}~b u ~l2qwl ¦lHr v mpq� v jq u l2Fqwjf~b� b�jwjqwl2qkb�jlÅc vu b� v c!}~b o lnl2rpj¦j « $�v ¢{b ¥nb u ¯/ªqQ�l2Äl2¦j v·^ b } q ^ b¡jw lnl u ~lqlÅlHr v mpq��� v Ijsq u lnFqwju b�~m�b3q ^ b�°m~c+§8b uKvn b b c!b�qj¤q ^ l2qK�l2¡§8b u b@p¦jsq u §~mpqwb��q v b�q ^ b u ¯ u b�~m�~ , u b�l2qkr � ¨vnub o~l2c!}~bn¯ u b�p¦jsq u §~mpqw v vn ©Ib ¦~j_¢�ªq ^ �l y:jq u mºqwm u b �º« ]_^ b@jb-¦lHr v mpq_ v jq u l2Fqwj u b�pm bKq ^ b¦lHr v mpq�} v jkjk§~qkb�j�¯Il2IV v m~¦ u b�pm b4~lql!lHr v mpq�Fl2j�« $�v ¢{b ¥b u ¯~�m uwu b�Fqf ln ^ b�j�l u bK¦l u nbn¯} ukv ¥°¦p�l ^ ^ q v b u ln�b v �lHr v mpq@«5=m u q ^ b u c vnu bn¯2} ukv u l2c l2� v c!}~b u ¦lHr v mpq v Ijsq u lnFqwjvn qkb� u b�µb@ºq� v lnqsrij~l2qwl²mjklnnb« Óq�¦jV v �l2ªqsr´nb�~b u lqwb�ħ°r´q ^ b�jkb·~lql vnu ln~¦jkl2qk v v jq u l2Fqwj4q ^ l2q!�ln ^ b@j3�l2}pqwm u b« ]_^ b r l u b ^~v ¢/b�¥nb u q v°v ¢/b@l » q v } uwv ¥F¦pb$ v°v v lnqsr lnjln}~}~�lqw v �lqwlQjb qwj� ukv ¢³l u b u « ± lql p¦jsq u §~mpqw v ¡ ln�q ^ b u b ¨vu b+} ukv ¥°¦pb�q ^ b3b�o°q u l!¦lHr v m~q v jq u l2Fqwj{~b�b�pb@�§Ilnjkb� v V v lnqsr$} uwv }8b u qkb�j�« vnu bK¢ vuk» ¢�D§Ib-~b@�b@jkjwl u r!q v ¥b u r q ^ ¦j ¯^v ¢/b�¥nb u «]Zv j ^~v ¢´q ^ lq�p¦jsq u §~mpqw v ^ b�m u jqk¦ j_ lnQ§8b�~b ¥nb� v }~}8b�D¯p¢{bf¢ uwv qwb v ~b¤¢ ^ ^ lHrpj{jk�l2¦l u jmIj~·} uwv ©~¶~l2qwl~«+ ´q ^ b¡~b oFqVjb@ºqk v Ä¢{b�mjkb�qQq v j ^~v ¢,q ^ lqQpb�b�D¯�c!¦jkj u l2qkb�jQl u bc!} uwv ¥nb�a«
� ��� 0 ������&��f�!
���� �3�
¬*b�} ukv ¥°¦pb+b op}Ib u c!b Fqwln u b�jkm~qwjfq v j ^~v ¢ q ^ b�} v qkb Fqwln vn ~l2qwlQ~jq u §mpqk v a« =m~~lnc!b FqwlnO¯~jq u §mpqk v a¯° ln}ln ªqsr!l2I$ v pµ¦ºq/c!¦jkj u lqk v j®l u b�n¥nb� ¨vnu p u b��q c l2}~}8b�D¯p ¢_lHr3l2I ¢{lHrjkb�q!lnjwj v l2qk¥nb$ l ^ b�j�« ]_^ b� ln}ln ªqsr*c!jwj u l2qk v j+q ^ bQc!jwj u l2qk v�v2 l¡}Ib u b@ºq��ln ^ b« ]_^ b m~l2c!b�ql2ac!¦jkj u l2qk v ¦j� v c!}~mpqwb�Vmjk~!q ^ b-c!jwj u lqw v!v2 l!}8b uk b�ºq� ln ^ b�¢�q ^ d-§°rFqkb-}8b u~bn«¶y v ¦ c!¦jkjkb�j�l u b� v m~Fqwb� lj3�l2}l�qsr*c!¦jkjkb�j�«Åg�b�jkm~qwj!l u bQ¥b ¨vu q ^ b vu nln/l2Ic!} uwv ¥nb�QlHr v mpqj «���� ��� "!^� !�� !^�M12��# &"!*1�! � "
��op}Ib u c!b Fqwln u b�jkm~qwj�¢/b u b v §pql2~b�¡mjk~�q u ln b�j�nb�~b u lqwb��§°r� � -À¯ÀlQq u ln Qq vFv �¢ vuk» ~mpb uK| m~8Ç |° � u F��S« ]_^ b+ l ^ b+jkc3m~l2qkb@�j¤l�d�¸ �-È l ^ b-¢�q ^ F!§°rqwb�jf}Ib u ~b@j ¯Àl2Iq u mbKÆZg 0 j�mIjb@ ¨vu lnjwj v l2qk¥nbK ln ^ b�j�«¬*b4pb�¥nb v }}Ib@�l u l2~b vn q v°v ¦j{q v l2q ^ b u q ^ b-c!¦jkju lqw v j ¯F©m u b-~«
�� 324�5 �l-�} ukv ¥°¦pb�j{q ^ b+c!¦jkj u l2qk v v2 l }8b uk b�ºqK l ^ b � l mr ljkj v �¦lqk¥nb-�ln ^ b4mIj~$È{b lpr � j (+*-, u b }l�b c!b�q} v r �º« Óq�j�mjkb�+q v b�q�q ^ b_�l2}l�qsr4c!jwj u lqkb@j ¯2lj�¢/b�~ljq ^ b m~~lnc!b Fqwlnac!jwj u l2qkb �¨¢{b4jkc3m~l2qkb!dK§°rqwbK~b�jfl2Vp¥F¦pbKq ^ b-c!jwj u l2qkb v §~qwl2~b@Q§°rq ^ b_b{jk�bn¯nF ��« 324=5 �l-- v b�j v q�jkc3m~¦lqkb_jkb�q lnjwj v l2qk¥nb®�ln ^ b@j ¯j v ¢{b/ v v q} u b@jb�Fqc l2}~}~~ l2I u b }~¦ln b c!b Fq�c!jwj u lqk v j�«¬
d@¸
Spy
SpannerFork
Belady
DataLayout
CacheSkew
NewSim
Program
Belady
CacheSkew
NewSim
Layout
Original trace Optimized trace
Original trace
=Znm u b4 � | c3m~l2qk v �q v°v ¦j_mjkb�
� � 5 * 5 5 - 0 *K¦j-q ^ bQ} uwv u lnc�¢ ^ ¦ ^·v }pqwc! b@j4q ^ b�~l2qwl�¦lHr v mpq�«�q3b ~b u l2qkb@j4l�¦lHr v m~q ¨vnu c!l2qk v +©b_pb@ v pb�+§°r � �f5 ,�, 3O1 � 021 �D« � � 5 ,�, 3j1 � 021 � v mpqk}mpqwj�l2 v }pqwc! b@4¦lHr v m~qq u ln b�§°r u b }l�~ ~lql�l~ u b�jwjb@j{¢�ªq ^Vv }pqkc!�b��ln u b@jkjkb�j�«z q u ln b+jc+ml2qk v ¡ln}~} uwv ln ^ ¢_lnj� ^~v jkb �¯I§8b��l2mjkb v m uf^ b�m u jqk¦+�l2 v ~r�¦lHr v mpq¤jw l2¦l u j�¯
lnV�l�q u l�bn¯Il2�~lql u b b u b b�j�l u b-jkb b �lj�jk�l2¦l u_u b b u b I�b�j�« ]Zv ^ l2Ipb4lqwl jq u m�qkm u v jq u l2Fqwj�¯�c vu b�¢ vuk» ¢�_§8b�~b@�b@jkjwl u rn« Ǥm u v ln®¦j� v q�q v } ukv ¥°¦pb�l�©~¦j ^ b� } ukv pm�q�¯§mpq$q v j ^~v ¢ q ^ b¡} v qkb Fqwlnf§8b ^ Ä~l2qwl·p¦jsq u §~mpqw v a« ]_^ b¡ v ¢�jk¦pb�j�l·j v ¢ jkc+m~¦lqw v } ukv �b@jkjfj�b-¢{b ^ lH¥bKq v v c!}~mpqwb+ vuku b ¦lqw v �§8b�qs¢{b b��l2aq ^ b+jk�l2¦l u j �¨¢�q ^ v c!}~b u ¦lHr v m~q v jq u l2Fqwj!¢{b�¢ v m~¦ ^ lH¥b�jc l2b u jkb�qj v2 jk�l2¦l u j3q v vuku b ¦lqwb���¯{j v q u ln�b@j$l u b v ~r²l b�¢c! v u b b u b b�j{¢�¦pbn«]_^ b � 5 * 5 5 - 0 *} ukv u l2c c!}~b c!b Fqj{l�jkc!}~ª©Ib�$¥b u j v � v2 q ^ b ^ b m u ¦jsqwf} u b�jkb Fqkb@$jkb��qk v V« �
� ¬ âg8�ÛºÚ�ØLe æ Ú@Ø�ÛºÜ2> 8KØOÛfá�:HÛg^*Ø=:âwØ æ èsØ ØOèÙ > â98�ÛºÚ@ØSá�êâÜ UHÙSÛ�V@ßà×@è>àÛL^ ;�ßàáOáDÙÓâwØOèá
oJp �qosr
d
ln�qk¥nb l�¢� v ¢-¯�¢{b$ l2 v q-qwb ®¢ ^ ¦ ^Åv ~b ¦j4c v jq u b b u b I�b�a«$ � ¦jKq v°v ¦l u nbn¯v m u } uwv u l2c ¢�I©!q ^ lq_l2b b c!b�qj® vnuwu b�l2qkbn«V&�� �'� 3�) * �1� &�� � � 3�) � � � �d�* # �J* �� �-� � � � * � � � � � � 3$# �'� 3�) * � �1� d �
� y vnuwu b�l2qk v �j�jkc!}~©b�Vq v l!jkm~c vn z "f±f b@�§~ªqj «/ � �J� ) �@� � �
��������� � �
�=&�� �J� ) � � ��� &�� �=� ) � � � �
� q v b�c!Ilqkb§ v » lºqw¥°qsr u b� v c!}~mpqwl2qk v jD~m u ~�~l2qwl b�b�c�b�FqwjDp¦jsq u §~mpqw v a¯@q ^ b§ v » � jln�qk¥FqsrQ¦j�ln}~} uwv o°c lqwb�Qq v q ^ b4lnºqw¥°qsr vn q ^ b-© u jsq�b�b�c�b�Fq¤jsq vnu b���q ^ b-§~ v »�� ªq¤jq ^ b-c v jsq u b b u b��b@Qb�b�c�b�Fq�lH¥ln¦l2§~bK¢ ^ b �q ^ b-§~ v » ¦j� u b@lqkb@D«
����� �C� ��(*!������*#�&��
(a) Original layout miss ratio
5.46%3.62%
2.92%
Direct Mapped2 Way Associative4 Way Associative
(b) Improved layout miss ratio
1.31%1.29%1.29%
2.41%1.20%
Direct Mapped2 Way Associative4 Way Associative
Fundam. miss ratioCapacity miss ratioTotal miss ratio
128 ref.
(c) Direct Mapped miss ratio for different ||W||
16K ref.32K ref.64K ref.
3.94%
1.31%3.08%
6.70%
1.35%
1.26%1.26%1.26%
Act
ivity
Win
dow
siz
e 3.40%2.82%
2.46%2.15%1.73%1.50%
256 ref.512 ref.1K ref.2K ref.4K ref.8K ref. 1.21%
1.21%1.21%1.21%1.21%1.21%
1.26%1.20%
=m u b-¸ ���jwj u lqk v j ¨vu &¦j .¬*b$© u jq�l2qqkb�c!}pqkb@ v m u3v }pqkc!@lqk v v ¶l�¥b u r*jkc l2®q u l�b vn d/�Fp¯ ¸~d �c!b�c vu r u b b u b I�b�jb ~b u l2qkb@�§FrVq ^ b 0 ~ªo 4 &+ v c!c l2a« Óq u b b u b b�j4d@¸~¯d F pjqk�qK~l2qwl b�b�c�b�Fqwj ¨vu l$q v ql2vn ~¯ °°d�§°rFqkb�j�« ]_^ b�jkbK} u b c!l u r u b�jkm~ªqj � ©m u bK¸ �_l2 u b@lnpr ¥b�j v c!bKj ^ qj��
� ]_^ b vu nlnn ln}ln ªqsr�c!jwj u lqwb v2 p« d¹Q¯�©Inm u b�¸ �Ol �º¯H¦j u b�~m�b@�q v d« n¸F¹Ä¢�ªq ^ c!} uwv ¥nb@~lql b b c!b Fqfp¦jq u §~m~qk v a¯©nm u b4¸ � § �º¯8l!�°¹ ln�« ]_^ ¦j�¦j�pm~b4q v l F¹ u b�~mºqw v vnq ^ b�p¦jsq u §~mpqw v ¶c!¦jkj u l2qkb � ¨uwv c dn«àpd¹'q v �« �¸F¹ �º« "�v qkbQq ^ l2q b�¢/b u �l2}l�qsr
d
c!b�l2Ij b ¢{b u §~ v »²u b�}~l�b�c�b�Fqwj�¯®q ^ b u b ¨vu b b�¢/b u ^ l2I�b�j vn c!l » ~ lÅ¢ uwv *§ v »u b�}~¦ln�b�c!b Fq� ^~v ¦�b �¨S« bn«� v pµ¦ºq�c!¦jkj��º«� ]_^ b!p u b��q c l2}~}8b���ln ^ b+c�¦jwj u lqw v ukv }j ¨uwv c p« ¸°¹ �Ol ��q v dn« ~dH¹ �¨§��º¯DlV2¸F¹ lna«]_^ b�b #Àb��qwj v2Àv m u ~l2qwl p¦jq u §~m~qk v !l2�§~ v » lHr v mpq v }pqkc!@lqk v Ij� v c+§~~b{q v } uwv ¥°~b
l�q v qwln�c!jwj u lqwb ¢ ^ ^ ¦j+lºqkmIl2r � �, : ?��L� ��?��L$[DG? DG:B$ GQ ��� " ���E? �=�� !B�GJ � �s�;: � ?��.? �.>]? �R ����� Q �=� " ���E?����� �!B�GJa�L:B$ " ���#��$?����� R�%�P? �s! $#� � �s�L: ?SQB$%�LA�$GD�� DG? DG:B$ ���@! ��a����� D%��$�!f�)�. $�� ? >\� ?��.$ �;:�$H>[ � $���� " ���#�@�$? �=�� ?����P? �s!N?l��>[$ � �s�L: ?��L$G? > DG?ID:�$ R
� zfjwj v l2qk¥nbK ln ^ b�j{l2¦j v §Ib�~b�©qwj ¨uwv c q ^ b�c!} uwv ¥nb�$lHr v mpq@« ]_^ b�q v qwlnÀc�¦jwj u l2qk v+v2 q ^ b$¢_lHrQjb q lnjwj v l2qk �ln ^ b4 uwv }Ij ¨ukv c'~« F¹ q v dn«à2°¹$¯Il$2¸F¹ lna« = vu q ^ jfb�o~l2c!}~bn¯~lql
d@
��� ���'7 � H 8 3���� � � ���  � / 8 1 ½ ¬*b$q u l�b@ �c! v c!b c vnu r u b b u b��b@j vn q ^ b n� v c!}~b u m~Ipb u | m~ Ç | �¢ ^ b�q3¢_lnj v c!}~~ �F$« jk¢�c$nn¸~«f¬*b3© u jq-pjw l u ~b�¡$c� v u b b u b b�jfq vQu b c v ¥b4} uwv u l2c'jqwl u qkm}b�#8b@ºqj « ]_^ b m~l2c!b�ql2Dc!¦jkj u lqwbKjKd« F¹ ��� ��� � �� � �:. ) n¸.�+c!jwjb@j)��«
] l2§b!d � 3 v c!}~b u c!jwj u lqw v j ¨vu p u b@ºq�c l2}~}8b� � ± 0��¯8 ¢_lHr$l2V ¢_lHr jb q lnjwj v �¦lqw¥b� | z��3 l ^ b�j�« y{l2}l�qsr
.�
] l2§b- � | }8b��=Z}�F �°$~« jk¢�c 2¸«�¬ ^ b�Vl uku lHrpj/ v v q_Fqkb u b u b¯°q ^ b�q v qwln8c!¦jkj u lqw v ¦j�� v jkbq v q ^ b m~I~l2c!b Fql2ac!¦jkj u lqw v «y{ln ^ b ± s| z s| z
�!%8 � 8 3 1 Ãp@*Ã8 � %8 Z�8  3=~m~l2c!b Fqwln ��� � �-��� �« 2FF¹ �~«à°¹± ¦jsq u §~mpqw v ��� � �^7�� �« ���~d¹ �~« �.�dH¹y{l2}l�qsr �« 2F¹ �« 2°¹ �~«àFF¹y v pµ¦ºq �« �¹ �« ���~d¹ �~« �.�F¹]�v qwl2 ��� � � ��� ����� � ��� ��� � � ���
� � /  9 ½ à Ãp@*Ã8 � %8 Z�8  3=~m~l2c!b Fqwln �« 2F¹ �« 2FF¹ �~«à°¹± ¦jsq u §~mpqw v ��� � � ��� �« ���.�°¹ �~« �.���F¹y{l2}l�qsr �« 2F¹ �« 2FF¹ �~«à°¹y v pµ¦ºq �« �d/�F¹ �« �d/�°¹ �~« �~d�F¹]�v qwl2 ��� � � ��� ����� � ��� ��� � � ���
¬*b¡j ^~v ¢ ¢�q ^ q ^ ¦j$b�o~lnc�}b¯_q ^ l2q�lÅ¢/b�f§Ib ^ lH¥nb@ jw�b Fqwª©I¡l2}~}~¦ lqw v ´c!l » b@j$l2c v jq}8b uk b��q�mjwl2nb v2 q ^ b4 ln ^ b¤b4j}l�b¯°q ^ b u b4l u bKl2c v jq_ v ~jq u §mpqk v �c!jwjkb�j�¯°qwl2§b+~«|°v c!b
~d
] l2§b� � �� }a« ]_^ b3p¦jq u §~m~qk v ¡c!¦jkj u lqk v ¦j ^ ^�¨vnu q ^ b vnu Il2�¦lHr v mpq¤ln� uwv }j�q v ¹¢�q ^ l�§8b�qqwb u lqwl!p¦jq u §~m~qk v a«y{ln ^ b ± s| z s| z
�!%8 � 8 3 1 Ãp@*Ã8 � %8 Z�8  3=~m~l2c!b Fqwln ��� � 7�� �~« °d¹ �~« °d¹± ¦jsq u §~mpqw v ��� � ��� ~« n¸°¹ ~« n¸°¹y{l2}l�qsr « ¸°n¹ ~« ¸F¹ ~« ¸F¹y v pµ¦ºq ddn«à°¹ ~«à¹ ~«à¹]�v qwl2 � 7�� � 7�� 7���� � ��� 7 ��� � ���
� � /  9 ½ à Ãp@*Ã8 � %8 Z�8  3=~m~l2c!b Fqwln �«àpdH¹ �~« °d¹ �~« °d¹± ¦jsq u §~mpqw v ��� � ��� p« �.�°¹ p« �.�°¹y{l2}l�qsr ~«àpdH¹ p« °d¹ p« °d¹y v pµ¦ºq ¸« ¸F¹ «àp¹ ~« $°¹]�v qwl2 ��� � ��� ��� � ��� ��� � ���
��� ��� � ��� / ½ 8�� ½43 � 1 �
� � ~ ¾¬*b¤~b�©~b@$p¦jsq u §~mpqw v c!jwjb@j®ln p¥F¦pb@$ ln}ln ªqsr�c!jwjb@j�Fq v p¦jq u §~m~qk v $l2I m~~lnc!b ql2�c!¦jkjkb�j�« ]_^ b m~l2c!b�ql2�c!¦jkj u l2qk v ¦j!mjkml2r²£Fm~qkb� v ¢ � b@jkj!q ^ l2 d« F¹ Äl2 v m ub op}Ib u c!b Fqwj��º¯/b@lH¥F~
@lqw v j4c!}ln�q v �l2}l�qsr
n
( ����3�� # !^��� !^� !^�M1 &¬*b+¢ v m� » b-q v q ^ ln » g�¦ ^ l u 0�^ Vl2*Ǥ¥°b u �¦ ^ b ¨vnu } ukv°vn¨u b@lnp~!q ^ j�l u qk¦�b+l2I��« u ¦l2c ¨vu pb ¥b v }~}~3q ^ b4j}°r$}l » l2nb«
� �f12����f�������
� z t n � z+«z�Fl u ¢{lnÀln | « ± « t mI~l u «y v mc��ljkj v �¦lqk¥nbK l ^ b�j��z qkb@ ^ ~¦£mb ¨vu�u b�pm ~¤q ^ b/c!¦jkj u lqkb v2 pc ln ^ b�j�«�� �L ED#$#$T� �s!6O � �A �;:�$�� � �;: � !f�,$%��!N? �=�� !N? >�� � " Q� 2���s� " ! ) " Q ���.$���8)�D:��s�,$GD%�=���L$ ¯Dd�n«
� z | 0 n¸ � zf ¨u b���3«8z ^~v ¯Dg�lH¥° | b�q ^ O¯Àl2I �nb�# u b r ± « 0 c l2a« ) " Q �;>[$��#��Q ���s!0D�� Q0>[$��J �f$GD:$�!f� ����$��`?�! � �� O >\� «/zf~p¦j v �¬#� �EQ Q� ���� A� � � �T $OR�$? "Q" �s!6O" ?�!,O � ?@Ol$��`?�! � � QB$%�$? �=�s!,O'� �2�#�.$ " � ¯Dd�~«
��� ��������
2
�ày�y �-.� � ± «ny{l2l ^ l2a¯ | «2y{l uwu ¯Hl2I �!«�Kb�~~b@prn« c�} ukv ¥°~ u b�n¦jsqwb u l2 v l2qk v ¨vnu jkm~§jw u } qwb�-¥l u ¦l2§~b�j�«�� �L ED#$T$#� �s!6O � BAc�L:B$ 8 ) � �! �#" 8 �$� � � ) !@A�$%�L$%!ND#$_ �! � �T $OR�$? "Q" �s!6O" ?�!,O � ?@Ol$ - $���� OR! ?�! � ��" Q0>[$ " $%!��.?����� �! ¯�d�n��~«
�ày �K2 � È�«y{lnpb u l2 ± «�� u mF¢_l2¦D« g�b@pm�~�§ u l2I ^ v jqwjK¥°lV§ u l2I ^ l2n~c!b Fq@« � ���R�L: � !f�,$%��!N? �=�� !N? > ) �!EA�$��L$%!ND#$� ! 8)�$DG:Y�s�.$D%�����$? > �f�EQ Q� ���� A� � � �L $OR�$? "k" �s!6O " ?�! �OR� ? OD$�� ? ! � � Q�$%�$?����s!6O � �2���.$ " � ¯p}l2b�j�° � pd¯ "fv ¥nb c3§Ib u d�nn«
�ày � t d � ± «Ày{ln¦l ^ lna¯ �!« �Kb�~~b@prn¯8l2�z4« t�vnu qkb u ©b�a« |°v2 qs¢_l u bK} u b b�q ^ ~« �B�L: ��� " QB ����s� " ! 8)�$DG:Y�s�.$D%�����$? > �f�EQIQB ���^A� �� � �L $OR�$? "k" �s!6O " ? !6OR� ? OD$�� ?�! � � QB$%�$?����s!6O � �2����.$ " � ¯ad�~d«
�ày � ] 2 � | «py{l uwu ¯ �!« | «¡ �Kb�rn¯ln$y ¬ « ] jb�~«Dy v c!}~b u�v }~qkc�¦jwlqk v ¨vu c!} uwv ¥°~l2qwl· v lnqsrn« Q �T @D#$#$#���s!6O � �A �;:�$ �B�L: ��� " QB ��#�s� " !�8)�$DG:Y�s�.$GD������$? > �f�EQIQB ��� A� �� �T $OR�$? "Q" �s!6O " ? !6OR� ? OD$��`? ! � � Q�$��?����s!6O � �2���,$ " � ¯p}Il2nb!ddn¯~2I«
� ±K| ¬ � " « ±¤u ln ^ ¯8z4« | b �~b�n¯8ln ± «I¬Ä ^ b ¦jb u « ± u b@ºq c l2}}Ib@�¥nb u jkmjfjkb�qKlnjwj v �¦lqw¥b}~}8b ~b@� l ^ b�j�«�� �L @D#$#$#���s!,O��k �A � 8 ) � � � %¯Zd�nFp«
� =��n � �!« º«
� u F� ��« u ¦l2c�« &kjk}l . � � " Q� 2���s� " �! ) " Q ���.$%�8)�$DG:Y�s�.$GD������L$ ¯p}l2b!d/�~¯Dd@nn«
� t�vnu n � z+« �!« t�vnu qkb u ©b�D« � �A#����? �L$ $%�;:� j����A� �� ��" Q �L ��$ " $%!��' �A ) ? DG:B$ � $%�LA� �� " ?�!ND#$ �!� �EQB$%�$D# " Q ���.$���8 Q QN>W�'D? �=�� !B� « t®^± q ^ b�jkj�¯Iy{g t y¤¯ad��n~«
� t�u ��� � | «�z+« t�u r°§°rF¦j » S« ) ? DG:B$ ? ! � $ " ��������$��?��$DG: � - $���� O ! «¶ vu Fl2 �-l2m c!ln~a¯d@n.�«
� | c! � z+« �I« | c!ªq ^ «�y{ln ^ b!c!b c vnu b�j�« 8 ) ) " Q ���=�s!,O$� �����2$��2� ¯®d� � � � °2 � n.�¯ | b } qwb c+§8b u d�.Fp«
� | c! n¸ � z+«,�I« | c!q ^ «È{§~ v u l2} ^ r²ln u b�ln~~Fj v }~m: l ^ b�c!b c vnu b�j$ln u b ¦lqkb@q v }~¦ j�« ) " Q ���.$���8)�$DG:Y�s�.$GD������L$ � $���� ¯}l2b�j�n � F~¯��Fl2°ml u r�d@.¸~«
� | m~Fn � g-«az+« | m~nmc!l u «� �2>\��� ) !@\� ?����� �! �A ) " Q ���.$���8)�$DG:Y�s�.$GD������L$ - $���� O !�� « t®^± q ^ b�jkj�¯ 0 ¥b u jqsr v2 �¦ ^ l2�¯8d@n~«
� ] � �Fn � Ç3« ] b c l2c�¯��f« ± « � u l2I~jsq v a¯~ln�¬ «��ln§°r« ]Zv v }°r vu v q_q v v }°r �z v c!}~bqwc!b{qkb@ ^ ~¦£mb ¨vu ljkjkb�jwj~¤¢ ^ b �~lqlf v }°rF~�j ^~v m~¦4§8b{mIjb@-q v b c�l2qkb_ ln ^ b v pµ¦ºqj « � �L @D#$#$#���s!,O��� BA �f�EQ�$��$D# " Q ���=�s!,O � ��� ¯�d@n~«
� ] Æ $ .� � �I« ]�vuku b lj ¯À·« | «DÆ�lnc�¯al2 �«ÀÆ�« $ b�~~b@jkjkrn« |°^ l u b��~l2qwl�}~¦ln�b�c!b Fq v }pqkc!jwl qw v �q v u b@pm b-c+m~qk} uwv b�jwj vu ln ^ b�c!¦jkj u l2qkb�j�« � �L ED#$#$T� �s!6O �� BAh�L:B$ � !f�,$%��!N? �=�� !N? >) �!EA�$��T$�!0DT$ ! � ? �$? >;>[$ > � �L @D#$��#�#�s!,O ¯Zd�.�~«
� ] � ± � �I« ]�vuku b ¦lnj�¯~y ^ m~ �f¦l~¯~lnVg�mjwjb� ± lnb«�Ǥ}~qkc� ~ jq u mºqw v V�ln ^ b�}Ib u¨vuc l2I�b ¨vu¤v }Ib u l2qk~�jkrpjsqwb c'qwb jk¥nb+¢ vnuw» v ln~j�«! �� �s�#����� � " Q� 2���s� " �!���� OE:$�� $%�LA� �� " ?�!0D#$ ) " Q ���,$%��8)�$DG:Y�s�.$GD������L$ ¯p}l2b�¸.�n¸n¯��Fl2°ml u r�d@n~«
��� ��������
Unit é de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY
Unit é de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnit é de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN
Unit é de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY CedexUnit é de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex
ÉditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)��������� ����
���������� ��� ���
ISSN 0249-6399