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⟩
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-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-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⟩
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-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-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-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-00788770v1  Journal articles
Nicolas GastBruno Gaujal. A Mean Field Approach for Optimization in Discrete Time
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21, pp.63-101. ⟨10.1007/s10626-010-0094-3⟩
hal-00480859v1  Journal articles
Luc MalraitSara BouchenakNicolas Marchand. Experience with ConSer: A System for Server Control Through Fluid Modeling
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (7), pp.951-963. ⟨10.1109/TC.2010.164⟩
hal-00788764v1  Journal articles
F. AraujoJ. FarinhaPatricio DominguesG. C. SilaghiDerrick Kondo. A Maximum Independent Set Approach for Collusion Detection in Voting Pools
Journal of Parallel and Distributed Computing, Elsevier, 2011, 71 (10), pp.1356-1366. ⟨10.1016/j.jpdc.2011.06.004⟩
hal-00796861v1  Journal articles
Pierre-François DutotFanny PascualKrzysztof RzadcaDenis Trystram. Approximation Algorithms for the Multi-Organization Scheduling Problem
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2011, 22 (11), pp.1888-1895. ⟨10.1109/TPDS.2011.47⟩
hal-00796858v1  Journal articles
Marin BougeretPierre-François DutotAlfredo GoldmanYanik NgokoDenis Trystram. Approximating the discrete resource sharing scheduling problem
International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (3), ⟨10.1142/s0129054111008271⟩
lirmm-00604988v1  Journal articles
Guillaume CheliusChristophe BraillonMaud PasquierNicolas HorvaisRoger Pissard-Gibollet et al.  A Wearable Sensor Network for Gait Analysis: A 6-Day Experiment of Running Through the Desert
IEEE/ASME Transactions on Mechatronics, Institute of Electrical and Electronics Engineers, 2011, 16 (5), pp.878-883. ⟨10.1109/TMECH.2011.2161324⟩
hal-00945068v1  Journal articles
Franck CappelloHenri CasanovaYves Robert. Preventive migration vs. preventive checkpointing for extreme scale supercomputers
Parallel Processing Letters, World Scientific Publishing, 2011, 21 (2), pp.111-132
inria-00574555v1  Journal articles
Anne BenoitHinde Lilia BouzianeYves Robert. Optimizing the reliability of streaming applications under throughput constraints
International Journal of Parallel Programming, Springer Verlag, 2011, 39 (5), pp.584-614. ⟨10.1007/s10766-011-0165-6⟩
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