Skip to Main content Skip to Navigation

hal-00492398v2  Conference papers
Lélia BlinShlomi DolevMaria Potop-ButucaruStephane Rovedakis. Fast Self-Stabilizing Minimum Spanning Tree Construction
DISC 2010 - 24th International Symposium on Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.480-494, ⟨10.1007/978-3-642-15763-9_46⟩
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩
inria-00509256v2  Reports
Nicolas PalixSuman SahaGaël ThomasChristophe CalvèsJulia Lawall et al.  Faults in Linux: Ten Years Later
[Research Report] RR-7357, INRIA. 2010, pp.21
inria-00627771v1  Conference papers
Swan DuboisMaria Gradinariu Potop-ButucaruMikhail NesterenkoSébastien Tixeuil. Self-stabilizing Byzantine Asynchronous Unison
OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, Dec 2010, Tozeur, Tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩
hal-00832968v1  Conference papers
Panayotis AntoniadisSerge FdidaTimur FriedmanVishal Misra. Federation of virtualized infrastructures: sharing the value of diversity
CoNEXT 2010 - 6th International Conference on emerging Networking EXperiments and Technologies, Nov 2010, Philadelphia, United States. pp.12:1--12:12, ⟨10.1145/1921168.1921184⟩
hal-00940375v1  Conference papers
Julia LawallBen LaurieRené HansenNicolas PalixGilles Muller. Finding Error Handling Bugs in OpenSSL Using Coccinelle
European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩
hal-01055279v1  Conference papers
Tegawendé F. BissyandéLaurent RéveillèreYérom-David BrombergJulia L. LawallGilles Muller. Bridging the Gap between Legacy Services and Web Services
Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Nov 2010, Bangalore, India. pp.273-292, ⟨10.1007/978-3-642-16955-7_14⟩
hal-01148162v1  Journal articles
Bernd BankMarc GiustiJoos HeintzMohab Safey El DinÉric Schost. On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2010, 21 (1), pp.33--83. ⟨10.1007/s00200-009-0117-1⟩
hal-01293789v1  Conference papers
Nicolas PalixJulia L. LawallGaël ThomasGilles Muller. {How Often do Experts Make Mistakes?}
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16
hal-01293831v1  Conference papers
Noga AlonHagit AttiyaShlomi DolevSwan DuboisMaria Gradinariu et al.  Brief Announcement: Sharing Memory in a Self-stabilizing Manner
24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.525-527, ⟨10.1007/978-3-642-15763-9_49⟩
hal-00941123v1  Conference papers
Nicolas PalixJulia LawallGilles Muller. Tracking Code Patterns over Multiple Software Versions with Herodotos
AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩