bank"-ice-
nu"> navigas?de"
t --> ion=al" sr="c apperion=al" sr- #header-inside --> ion=al" sr- #header-inside" class="container_12 clc --> <.ion=al" sr-n-se ide-left v class="c rapperv class- #header-inside --> v class- #header-inside" class="container_12 clearflearf/a> --> a hr""> n>

SIROCCO Innovation award 2015 for Michel Raynal in distributed éatoiré l" /> h1o SIROCCO Innovation award 2015 for Michel Raynal in distributed éh1olearfix"> <div class="regiov class="c ea"> <div idsyste-a hr""> <di" class="blocsysteice-menus"> <div class="cou"> ne- pagea title="" adene- pode-type" abmutrm action="/fr/actus/sirocco-innovation-award-2015-michel-raynal-distributed-coge-icon"rdfs:Is="foraf:Documass="c 9 pagty-2dc:6,yfi"ptimized" <title>SIROCCO Innovation award 2015 for Michel Raynal in distributed a title="/200ing" 2 class=ut type>éatoires< <div classtainer_12 clearf menus-2ss="fo-disby o s="fo-di by AgnAl COTTAIS Inmagn11 ulrion aw- 15h38éatoir </div> <divype- vype--iame-</heavype--tem form--with-sumulreavype-- ab201ut type> </div> <divype--eld se> </div> <divype--eld cevi s 9 pagty-2v class:encodede>p>2015 fohas uladenumaro-n majrd v cll in "edi to theavype- ofRaynal in distributed cdia=theadng"ildisaSIRuncclass c beavoun- bellow. He will give a talk at thea9 sze cerfmony dured ctheatried c <titlel RM clseres\, Sp hr, July 15-17.<brt="See youel RM clseres\ ge" srcfr/actuon a.cs.upb.de/vi ue.rg/19>ge" srcfr/actuon a.cs.upb.de/vi ue.rg/1Françpfa-1rt="<p tecle<lorm--al"gn: justify;="Thea>SIROCCO Innovatil Raynal in distributed cche elsaSIRuncclass:<brt="<brt="LaudCCO <brt="It is a pinesure to novatitheaon 4c <titleP sze ard >SIROCCO Inl Raynal in distributed cto 2015 for Mich. 2015 fohas uladenumaro-n majrd v cll in "edi to theavype- ofRaynal in distributed . Thea9 sze is aovate-text  l:fets\/ achievilass ofR#03, in especially ext #03 v cll in "ed to theare" valu In9 nt-ms rela=e-tto langens-n (sulu as set agreilass); evi cmore specifel="ly, wdenete herf #03 work Intheatrndi="edi-\/syisap9 achtto langens-n.<brt="T#03 ap9 achtwas a freshcdia=/siroccove w_y to look at a fun-a\/otcln9 nt-m,nthus a vereagood matchtext &#e spmais ofR&#e <titleaovat.<brt="<brt="Theatrngens-n 9 nt-mcdia=/t3 v2 cbra=e-tFLP imposmenil" yare"ult arf amon ctheaol"/fr,cmost seiedcln9 nt-ma ieudietil Rtheavype- ofRaynal in distributed . More ga nam"ly, mportass c\/jqrInl Raynal in discsystesohas beed to idassifystrimassbehaviors ofRcsystes,cdia=toadns"gn soln "edi that behave wellil Rthose sccnarios. Re" valuldaohave temel="ly lookyisat -95tially synchrono-n execn "ediice- Ie w_y xt anetuld. 2015 fointaoducyisa surpdived cdia=natuail newRay\/os"ed to thean-se.  Co#headt aRaynal in discsyste wherf trngens-n 03 tryed cto beareached, amon ctheaform_n 9 ducyisby a set ofRcensors, xt by theafotAl s2 ccted cd 9 esidasssby a commun:ty. It is ofteIntheat/sy that someatrib/cas?des ofRform_n, wh015 heat/lldistrndi="edi, ofR&#e censors xt ofR&#e 2 cctors, arf mulu more likely to actut &# etulds. 2015 foca\/ up withR&#e idaa ofRans"gned caynal in disalgoaishmi that try to ndapt> o sulu trndi="edi.<brt="<brt="In <titlew.w3, 2015 foco#headtedntheatrndi="ed-\/syisap9 achtto solved cdgreilassn9 nt-ma. Th03 work co#headts soln "edi tocdgreilassn9 nt-ma, when somea_vQ" /trib/cas?des arf knce-meot> o a-palrie- csyste execn "edi.<brt="Theaidaa atownyisa whole newRdia=fruitful taincre" valu tain, withRmany exllow-up v cll in "ediice-cludid cv cll in "edi by 2015 fohims2 f. It has beed posmenle to idassifystrndi="edi that allowtto solveaforio-n aynal in distaskiice- forio-n models ofRtributas?de,cdia=/sRthose t/sys wherf a soln "ed exifr,cto seudy theats\/ neede-tto solveaastask assumed cd givenstrndi="ed In/t3 _vQ" aohol"i.<brt="<brt="A mpre"sive aspecs ofR work ii that 2015 fohas -pae-ttwo seeiedgly unrela=e-tn-se: ererd v rrccted ccodescdia=dgreilassn9 tocols (IEEE Taissss="form InCributdts w.w7). IInnenuts5 fl,R capturesotheavxllowed c #heght: vQ" /vcctortext &#e trngens-n 9 nt-mcdef=ally encodes a v) {ththat thea9 oce"seaohave toadncodece- radt toadnceadeit. Ad excited cheadeeffecs ofR work ii a newR9 oofRofR&#e imposmenil" yaofRans"gned cs\/jecs codes when digis namsuresoarf posmenle. Vereaainverly, 2015 foshowednthat theadns"gn ofRculu trdes ii eta hr\/cttto solved ctrngens-n despeld asynchronycdia=9 oce"s camshea. Th03 is a vereaed enio-n dia=9er-forove work.<brt="<brt="2015 fohas also usedntheatrndi="ed-\/syisap9 achtto estcbh" / a staod c -patbetweed imposmenil" yare"ult3 _v asynchrono-n _menu-9 inccsystesodia=efftciancyie- csnchrono-n csystes. Th03 is also aareulrkent- achievilass that 9 vides a bettdt unadtstasdid cofRfun-a\/otclntributanil" yalim" a="edi inRaynal in distributed .<brt="<brt="It is intuitovelytainer that although trngens-n 03 eot>solvent- _v asynchrono-n aynal in discsystesowherf tamsh _miluresoc actuticet is aef=ally solvent- _v most execn "edi ofRculu ascsyste,cdia=/sRsomeagensncrdiaoobilesalgoaishmi che elsze  claim. 2015 f’saidaas 9 vide orthogodcln9dtspecsove,owherf incc qu9ntifysdia=" aca>Se sze &#e ieructuaeRofR&#e ivQ" aothat allowtsolved ctrngens-n dia=etuldctrry.ucas?destaskiicestcbh" /ed cdi e"sentialc -patto thed topopanysap9 ach-\/syisto _menustolnam/jqu<brt="<brt="Fxllowed c t3 _vtaoducs?desby 2015 f,R&#e iviroccove trndi="ed-\/syisap9 achtwas inv/fr/ga-di by many re" valuldaoineded cto many exllow-up pa9dts,RsomeaofRwh015 a-palretil Rcheuesods 9 esr/gio-n ds JourealRofR&#e ACM,cdia=snveralRofRwh015 werf 9.js"shetil R <titl.<brt="<brt="2015 fois oneRofR&#e most 9 lifel re" valuldaoinRaynal in distributed . He belod i tocd verea sm" megroupRofRre" valuldaowhooarf l- EOFaoinRestcbh" /ed caynal in distributed cds a flour" /ed cre" valu n-se. IIn-95ticulatichf 9.js"sheti13 pa9dtsil R <titl. IIn-95ticulaticl Rtheal"st below,Rtheavyth-cpa9dt ii the abmve \/ot"edeti <titlepa9dt Intheatrndi="ed-\/syisap9 acht[1].çpfa-14 tecle<lorm--al"gn: justify;="Theaon awnovaticommfo-d rec4fa-p tecle<lorm--al"gn: justify;="Thomds Moscibaoda (201rosoft), Guy Evens(T foAviv Uni/lda" y),  Sh_y Kuttens(T chnion)-=" aiticAndrzej Pelc (Uni/lda" eoducQuebecRechOutaouais), Masafume Yamdsh" a (Kyushu Uni/lda" y)*çpfa-14 tecle<lorm--al"gn: justify;="S2 cctyis9.js":a="edi rela=e-tto 2015 for Mich'3 v cll in "edrec4fa-p>*1.**Achour Mostéfaoui, Sergioor jsbaum, 2015 for Mich, Mat�eu Roy: EfftciantnCrndi="ed-B/syisCangens-n. / <titlew.w3/:275-292*<brt="<brt="2.Achour Mostéfaoui, Sergioor jsbaum, 2015 for Mich, Mat�eu Roy: A HieraaluyaofRCrndi="edi ext Asynchrono-n Interage-lisCang"stfncy. /PACTew.w3/:130-140<brt="<brt="3.Achour Mostéfaoui, Sergioor jsbaum, 2015 for Mich, Mat�eu Roy: Crndi="ed-B/syisP tocols ext Set AgreilassnP nt-ma. /DISCew.w2/:48-62<brt="<brt="4.Achour Mostéfaoui, Erel Mourgaya, Phil"-paor ipl RParvédy, 2015 for Mich: EformCCOn ctheaCrndi="ed-B/syisAp9 achtto SolveaCangens-n. /DSNew.w3/:541-550<brt="<brt="5.Achour Mostéfaoui, Sergioor jsbaum, 2015 for Mich:RCrndi="edi o vQ" /vcctors ext trngens-n solvenil" ya_v asynchrono-n aynal in discsystes. /J. ACM/ 50(6):922-954 (w.w3). (Previo-nlya_v /STOC/ew.w3.)<brt="<brt="6.Achour Mostéfaoui, Sergioor jsbaum, 2015 for Mich, Mat�eu Roy: Crndi="ed-\/syistrngens-n solvenil" y: ohieraaluyaofRtrndi="edi dia=efftciansn9 tocols. /Dynal in disCributed c/17(1):1-20 (w.w4). (Previo-nlya_v /PODCew.w3/.)<brt="<brt="7.Achour Mostéfaoui, Sergioor jsbaum, 2015 for Mich:RSynchrono-n crndi="ed-\/syistrngens-n. /Dynal in disCributed / 18(5):325-343 (w.w6). (Previo-nlya_v /DISCew.w3/ dia=/DISC/ew.w4.)<brt="<brt="8.Roy FriedmanicAchour Mostéfaoui, Sergioor jsbaum, 2015 for Mich:RAsynchrono-n Agreilassndia=It3 Rela="ed withRErerd-C rrccted cCrdes. /IEEE Taiss.nCributdts/ 56(7):865-875 (w.w7)<brt="<brt="9.Achour Mostéfaoui, Sergioor jsbaum, 2015 for Mich, C r/ot"n Tai/lda: TheaCrib/cyisPoweraofRCrndi="edi dia=Inche en gi o Fmiluresoto SolveaAsynchrono-n Set Agreilass. / AM J.nCribut./ 38(4):1574-1601 (w.w8) (Previo-nlya_v /PODC/ew.w5.)<brt="<brt="10.Yoram Mos_n, 2015 for Mich:RNo Dount- Dyncount: Crndi="ed-B/syisSicaleane" yaYype-s Lim" sd Gain. /Inf.nCribut./ 214: 47-58 (w.12) (Previo-nlya_v /DISC/ew.w8)<brt="<brt="11.ais" oii Bink"t, 2015 for Mich:RCrndi="edi ext Set AgreilassnwithRdi Ap9s":a="edoto Synchrono-n Ssystes. /J. Cribut. Sci. Titunop. /24(3):418-433 (w.w9). (Previo-nlya_v /ICDCS/ew.w8.)<pfa- </div></a>m></div> </div> <div class="clearfix"> <di -pasi> </ /div> </div>t> </div></a> m></div> </div> </div> </div> </div><!a hrde-middle --> -left </div><!v class- #header-in </div><!v classs #hewwrapperfootdtiboseamde-mid l u"> footdtiboseam="c rapperfootdtiboseam- #header-i c ea"> footdtiboseam- #header-inside" class="container_12 clearfix"> footdtiboseam-r-inside e<v> ea"> footdtiboseam-r-inside-left" cla8"middle --> <div class="regiofootdt="c ea"> <div i<div i9""> <di" class="blos="blice-menus"> <div class="cop> ge" ssrctwfo-dr.com/Iain-_lab" tarnept-_blaass=ang="ght="Twfo-drwidth="16"40gs/en.png40gstecle<l/en.p: 30px; float: r-ins;idth="1: 30px;"</li> <li dia-2 class /def-i dia- -pati dia-floater-insidlast"><a ge-icon" typeof="foaf:Ima.irisa.fr/sites/defauteclell/mr"i/9.js":ctwfoch-b?itok=-aJ_LpYH="Accuei active"><a hrss_l/thema hrearnept-_blaass=ang="ght="Rssilain-ldlast"><Rssilain-lddth="16"31gs/en.png37gstecle<lfloat: r-ins;"</li> <li dia-2 class /def-fr/siteti dia-floater-insidle-icon" typeof="foaf:Ima.irisa.fr/sites/defauteclell/mr"i/9.js":crss-whch-b?itok=06uKXev1="Accuei pfa- </di a"> <div iu/omimenu-\/s-frid="i""> <di" class="blo\/omice-menus"> <div class="content"> <u\/omicale-url"><liath-c clfst active"><a h\/ot"eds-r-galf-laM/ot"eds légalf-> English</is <di clfst active"><a h" clacs="C clacs> English</is <di clfst active"><a hdlis-eccf-laPlaiod = �eccès> English</is <di clfst active"><a href=al" sr=u6,yfirstlAef=al" ésFrançish</is <di ah-c clfst active"><a hoffrea emploilu6,yfirsOffresor = �emploilaRecruta\/otcueiglish</a></li> </ul></div> </div> learfix"> footdtiboseam-r-inside-rrche<v> ea"> footdtiboseam-r-inside-right" cla4"middle --> <div class="regiofootdtiboseamer-insi>c ea"> <div i<div i6""> <di" class="blos="blice-menus"> <div class="cop> <a hd="i/tutellf-laang="ght="tutellf-lidth="16"47gs/en.png480"</li> <li dia-2 class /def-fr/siteidlast"><a ge-icon" typeof="foaf:Ima.irisa.fr/sites/defauteclell/mr"i/9.js":ctutellf-web_2ch-b?itok=TQwbrUIn="Accuei pfa- </di v> </div> </div><!footdtiboseam-r-inside- </div><!footdtiboseam- #header-in </div><!footdt e-mea></a> f<!]]>';}" t/javaf<!]]>e-wrapptrue}})[CDATA[// < jQc\/u(documass).-sedy(funcs?de($) { $(window).load(funcs?de() { $("#slideshow ng=").show(); $("#slideshow").fiv In(<spaw"); $("#sliderov clrolsrisa-page).fiv In(<spaw"); $("#slideshow").cyain({ <fx: "fiv ", <":"80: <spaw", <ts\/out: "100dela <rdiaoo: 0a <noisa-: 0a <pause: 0a <pager: <#slideronavigas?de"a <pagerAnchorBe="fer: funcs?de(idx, slide) { <return <#slideronavigas?de li:eq(" + (idx) + ") a"; }, <"lideReherc: mput, <" class="Reherc: falst, <dth="1: "auto"a <fi1: 1a <be </e: funcs?de(){ <$ocus=).-951 m().find(".slideroeld .cur51 m").-smoveCli> ("cur51 m"); }, <after: onAfter ng": ng": funcs?de onAfter(cur5, n" t, optn, fwd) { var $nsi= $ocus=).dth="1(); $(cus=).-951 m().dth="1($ns); $(cus=).addCli> ("cur51 m"); } $(window).load(funcs?de() { var $nsi= $o".slideroeld .cur51 m").dth="1(); $("#slideshow").dth="1($ns); ng": $(window).reherc(funcs?de() { var $nsi= $o".slideroeld .cur51 m").dth="1(); $("#slideshow").dth="1($ns); ng": ng":true}}); //--><!]]> <</</he <</rg/1>