Skip to Main content Skip to Navigation

inria-00598379v1  Journal articles
Hugues BerryNazim Fatès. Robustness of the Critical Behaviour in the Stochastic Greenberg-Hastings Cellular Automaton Model
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (1-2), pp.65-85
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-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⟩
hal-01479652v1  Journal articles
Ihab SbeityLeonardo BrennerMohamed Dbouk. Generating a Performance Stochastic Model from UML Specifications
International Journal of Computer Science Issues, IJCSI Press, 2011, 8 (1), pp.13-21
hal-00788768v1  Journal articles
Blaise YenkeJean-François MéhautMaurice Tchuenté. Scheduling of Computing Services on Intranet Networks
IEEE Transactions on Services Computing, IEEE, 2011, 4, pp.207-215. ⟨10.1109/TSC.2011.28⟩
hal-00788781v1  Conference papers
Rodrigo KassickCarla OsthoffPhilippe O. A. NavauxFrancieli Zanon BoitoCláudio Schepke et al.  Trace-based Visualization as a Tool to Understand Applications I/O Performance
Proceedings of the SBAC-PAD 2011 - WAMCA 2011 workshop, 2011, Vitoria, Espirito Santo, Brazil. pp.5-11, ⟨10.1109/WAMCA.2011.12⟩
hal-00788797v1  Conference papers
Bruno GaujalGaël GorgoJean-Marc Vincent. Perfect Sampling of Phase-Type Servers using Bounding Envelopes
18th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'11), 2011, Venise, Italy. pp.189-203, ⟨10.1007/978-3-642-21713-5_14⟩
hal-00788771v1  Journal articles
Jonatha AnselmiBruno Gaujal. The Price of Forgetting in Parallel and Non-Observable Queues
Performance Evaluation, Elsevier, 2011, 68 (12), pp.1291-1311. ⟨10.1016/j.peva.2011.07.023⟩
hal-00788807v1  Conference papers
Robin Lamarche-PerrinYves DemazeauJean-Marc Vincent. Observation macroscopique et émergence dans les SMA de très grande taille
19es Journées Francophones des Systèmes Multi-Agents, 2011, Valenciennes, France. pp.53-62
hal-00788769v1  Journal articles
Diana ElrabihGaël GorgoNihal PekerginJean-Marc Vincent. Steady state property verification of very large systems
International Journal of Critical Computer-Based Systems, Inderscience, 2011, 2, pp.309―331
hal-00788811v1  Conference papers
Charbel El KaedFrançois-Gaël OttogalliYves Denneulin. Generation de mandataire pour l'interoperabilite des services
8eme Conference Francaise des Systemes d'Exploitation, CFSE, 2011, St Malo, France. pp.480-485
hal-00788801v1  Conference papers
Panayotis MertikopoulosAris L. Moustakas. Selfish routing revisited: degeneracy, evolution and stochastic fluctuations
ValueTools '11: ACM Proceedings of the 5th International Conference on Performance Evaluation Methodologies and Tools, 2011, Cargèse, France. pp.217-226
hal-00796867v1  Conference papers
Veronika Rehn-SonigoDenis TrystramFrédéric WagnerH. XuGuochuan Zhang. Off-line scheduling of multi-Threaded request streams on a caching server
Proceedings of the 25th IPDPS, 2011, Anchorage, Alaska, United States
hal-00788788v1  Conference papers
Mohamed Slim BouguerraDerrick KondoDenis Trystram. On the Scheduling of Checkpoints on Desktop Grids
11th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2011), 2011, Newport Beach, United States. pp.305-313, ⟨10.1109/CCGrid.2011.63⟩
hal-00665209v1  Journal articles
Gregor Gössler. Component-Based Modeling and Reachability Analysis of Genetic Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2011, 8 (3), pp.672-682
hal-00796860v1  Journal articles
Johanne CohenDaniel CordeiroDenis TrystramFrédéric Wagner. Multi-organization scheduling approximation algorithms
Concurrency and Computation: Practice and Experience, Wiley, 2011, 23 (17), pp.2220―2234. ⟨10.1002/cpe.1752⟩
hal-00796862v1  Journal articles
Amine MahjoubJonathan E. Pecero-SanchezDenis Trystram. Scheduling with uncertainties on new computing platforms
Computational Optimization and Applications, Springer Verlag, 2011, 48 (2), pp.369-398. ⟨10.1007/s10589-009-9311-0⟩
hal-00796864v1  Conference papers
Johanne CohenDaniel CordeiroDenis TrystramFrédéric Wagner. Coordination Mechanisms for Selfish Multi-Organization Scheduling
Proceedings of the 18th annual IEEE International Conference on High Performance Computing (HiPC), 2011, Bangalore, India. ⟨10.1109/HiPC.2011.6152720⟩