Skip to Main content Skip to Navigation

hal-00538496v2  Journal articles
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2011, 71 (6), pp.2246-2268. ⟨10.1137/100815517⟩
hal-00795173v1  Journal articles
Nathalie MittonBruno SericolaSébastien TixeuilEric FleuryIsabelle Guérin-Lassous. Self-stabilization in Self-organized Multihop Wireless Networks
Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2011, 11 (1-2), pp.1-34
hal-00788792v1  Conference papers
Bruno de Moura DonassoloArnaud LegrandClaudio Geyer. Non-Cooperative Scheduling Considered Harmful in Collaborative Volunteer Computing Environments
CCGrid'11 - 11th IEEE International Symposium on Cluster Computing and the Grid, 2011, Newport Beach, United States. pp.144-153, ⟨10.1109/CCGrid.2011.34⟩
inria-00610831v1  Journal articles
Radu MateescuPedro T. MonteiroEstelle DumasHidde De Jong. CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks
Theoretical Computer Science, Elsevier, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883. ⟨10.1016/j.tcs.2010.05.009⟩
hal-00788784v1  Conference papers
Charbel El KaedLoïc PetitMaxime LouvelAntonin ChazaletYves Denneulin et al.  INSIGHT: Interoperability and Service Management for the Digital Home.
Middleware '11: Proceedings of the ACM/IFIP/USENIX 2011 International Conference on Middleware, 2011, Lisbon, Portugal. pp.a3, ⟨10.1145/2090181.2090184⟩
hal-00793687v1  Conference papers
Xavier DescombesFranck PlourabouéHabdelhakim BoustaniCaroline FontaGeraldine Leduc et al.  Brain tumor vascular network segmentation from micro-tomography
ISBI - International Symposium on Biomedical Imaging, 2011, Chicago, United States. pp.1113 - 1116, ⟨10.1109/ISBI.2011.5872596⟩
hal-00788800v1  Conference papers
Jonatha AnselmiBruno Gaujal. On the efficiency of perfect simulation in monotone queueing networks
IFIP Performance: 29th International Symposium on Computer Performance, Modeling, Measurements and Evaluation, 2011, Amsterdam, Netherlands. pp.56-58, ⟨10.1145/2034832.2034847⟩
hal-00788785v1  Conference papers
Marcio Bastos CastroKiril GeorgievVania Marangozova-MartinJean-François MéhautLuiz Gustavo Fernandes et al.  Analysis and Tracing of Applications Based on Software Transactional Memory on Multicore Architectures
Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), 2011, Ayia Napa, Cyprus. pp.199-206, ⟨10.1109/PDP.2011.27⟩
hal-00788795v1  Conference papers
Carlos PradaVania Marangozova-MartinJean-François MéhautMiguel Santana. A Generic Component-Based Approach to MPSoC Observation
9th IEEE/IFIP International Conference on Embedded and UbiquitousComputing (EUC 2011), 2011, Melbourne, Australia. pp.261-267, ⟨10.1109/EUC.2011.6⟩
hal-00788778v1  Journal articles
Pavlos KazakopoulosPanayotis MertikopoulosAris L. MoustakasGiuseppe Caire. Living at the edge: a large deviations approach to the outage MIMO capacity
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (4), pp.1984-2007. ⟨10.1109/TIT.2011.2112050⟩
hal-00788809v1  Conference papers
Robin Lamarche-Perrin. Conceptualisation de l'émergence : dynamiques microscopiques et analyse macroscopique des SMA
Actes de la plateforme AFIA 2011 : Atelier Futur des Agents et des Multi-agents, 2011, Chambéry, France
hal-00788798v1  Conference papers
Kelly Rosa BraghettoJoao Eduardo FerreiraJean-Marc Vincent. Performance Evaluation of Business Processes through a Formal Transformation to SAN
Proceedings of the 8th European Performance Engineering Workshop (EPEW 2011), 2011, Borrowdale, United Kingdom. pp.42 - 56, ⟨10.1007/978-3-642-24749-1_5⟩
hal-00788765v1  Journal articles
Luigi GenoveseBrice VideauMatthieu OspiciThierry DeutschStefan Godecker et al.  Daubechies Wavelets for High Performance Electronice Structure Calculations: the BigDFT Project
Comptes rendus hebdomadaires des séances de l'Académie des sciences, Elsevier, 2011, 339, pp.149-164. ⟨10.1016/j.crme.2010.12.003⟩
hal-00788766v1  Journal articles
Ihab SbeityBrigitte PlateauMohamed Dbouk. Stochastic Bounds for Microprocessor Systems Availability
International Arab Journal of Information Technology, Colleges of Computing and Information Society (CCIS), 2011, 8
hal-00788761v1  Journal articles
Sangho YiArtur AndrzejakDerrick Kondo. Monetary Cost-Aware Checkpointing and Migration on Amazon Cloud Spot Instances
IEEE Transactions on Services Computing, IEEE, 2011, 5 (4), pp.512-524. ⟨10.1109/TSC.2011.44⟩
hal-00788745v1  Journal articles
Bahman JavadiDerrick KondoJean-Marc VincentDavid P. Anderson. Discovering Statistical Models of Availability in Large Distributed Systems: An Empirical Study of SETI@home
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2011, 22 (11), pp.1896-1903. ⟨10.1109/TPDS.2011.50⟩
hal-00788783v1  Conference papers
Charbel El KaedYves DenneulinFrançois-Gaël Ottogalli. Dynamic Service Adaptation for Plug and Play Device Interoperability
IEEE, 7th International Conference on Network and Service Management (CNSM 2011), 2011, Paris, France. pp.1-9
hal-00788787v1  Conference papers
Eric HeienDerrick KondoDavid P. Anderson. Correlated Resource Models of Internet End Hosts
The 31st IEEE International Conference on Distributed Computing Systems (ICDCS'11), 2011, Minneapolis, United States. pp.278-287, ⟨10.1109/ICDCS.2011.13⟩
hal-00788780v1  Conference papers
Francieli Zanon BoitoRodrigo KassickPhilippe O. A. NavauxYves Denneulin. A Survey on Applications' I/O Characterization
Proceeding of the IX Workshop de Processamento Paralelo e Distribuido, 2011, Porto Alegre, Brazil
hal-00781043v1  Directions of work or proceedings
Pavel ShvaikoIsabel CruzJérôme EuzenatTom HeathMing Mao et al.  Proc. 6th ISWC workshop on ontology matching (OM)
Pavel Shvaiko, Isabel Cruz, Jérôme Euzenat, Tom Heath, Ming Mao, Christoph Quix. No commercial editor., pp.1-264, 2011
inria-00584320v1  Book sections
Dizan Alejandro Vasquez GoveaThierry FraichardChristian Laugier. Incremental Learning of Statistical Motion Patterns with Growing Hidden Markov Models
Makoto Kaneko and Yoshihiko Nakamura. Robotics Research, 66, Springer Berlin, pp.75-86, 2011, Springer Tracts in Advanced Robotics, 978-3-642-14742-5. ⟨10.1007/978-3-642-14743-2_7⟩
inria-00523994v1  Journal articles
Jamil DrareniSébastien RoyPeter Sturm. Plane-Based Calibration for Linear Cameras
International Journal of Computer Vision, Springer Verlag, 2011, 91 (2), pp.146-156. ⟨10.1007/s11263-010-0349-3⟩