By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

 

CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

 


Publications HAL de la structure 178327; 179717; 528454; 205728; 458310; 179718; 35418; 35418

2011

Journal articles

titre
A validated real function calculus
auteur
Pieter Collins, Milad Niqui, Nathalie Revol
article
Mathematics in Computer Science, Springer, 2011, 5 (4), pp.437-467
Accès au bibtex
BibTex
titre
Intuitionistic Dual-intuitionistic Nets
auteur
Olivier Laurent
article
Journal of Logic and Computation, Oxford University Press (OUP), 2011, 21 (4), pp.561-587. ⟨10.1093/logcom/exp044⟩
Accès au bibtex
BibTex
titre
Designing Custom Arithmetic Data Paths with FloPoCo
auteur
Florent de Dinechin, Bogdan Pasca
article
IEEE Design & Test, IEEE, 2011, 28, pp.18-27
Accès au bibtex
BibTex
titre
Immunetworks", intersecting circuits and dynamics
auteur
Jacques Demongeot, Adrien Elena, Mathilde Noual, Sylvain Sené, Florence Thuderoz
article
Journal of Theoretical Biology, Elsevier, 2011, 280 (1), pp.19--33. ⟨10.1016/j.jtbi.2011.03.023⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00666298/file/denst11.pdf BibTex
titre
The set of realizations of a max-plus linear sequence is semi-polyhedral
auteur
Vincent Blondel, Stéphane Gaubert, Natacha Portier
article
Journal of Computer and System Sciences, Elsevier, 2011, 77 (4), pp.820-833. ⟨10.1016/j.jcss.2010.08.010⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00507757/file/RR-BGP.pdf BibTex
titre
The TheLMA project: Multi-GPU Implementation of the Lattice Boltzmann Method
auteur
C. Obrecht, F. Kuznik, Bernard Tourancheau, J.-J. Roux
article
International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.295-303. ⟨10.1177/1094342011414745⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00731122/file/ACL26.pdf BibTex
titre
ERIDIS: Energy-efficient Reservation Infrastructure for large-scale DIstributed Systems
auteur
Anne-Cécile Orgerie, Laurent Lefèvre
article
Parallel Processing Letters, World Scientific Publishing, 2011, 21 (2), pp.133-154
Accès au bibtex
BibTex
titre
Shared Bicycles in a City: A Signal Processing and Data Analysis Perspective
auteur
Pierre Borgnat, Céline Robardet, Jean-Baptiste Rouquier, Patrice Abry, Eric Fleury, Patrick Flandrin
article
Advances in Complex Systems, World Scientific, 2011, 14 (3), pp.415-438. ⟨10.1142/S0219525911002950⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00490325/file/velov_acs.pdf BibTex
titre
Les complexités : point de vue d'un institut des systèmes complexes
auteur
Eric Bertin, Guillaume Beslon, Olivier Gandrillon, Sebastian Grauwin, Pablo Jensen, Nicolas Schabanel
article
Hermès, La Revue - Cognition, communication, politique, CNRS-Editions, 2011, 2 (60), pp.145-150. ⟨10.4267/2042/45459⟩
Accès au bibtex
BibTex
titre
Reconstructing Social Interactions Using an unreliable Wireless Sensor Network
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury, Antoine Fraboulet, France Mentré, Jean-Christophe Lucet
article
Computer Communications, Elsevier, 2011, 34 (5), pp.609--618. ⟨10.1016/j.comcom.2010.06.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00490195/file/SIComCom.pdf BibTex
titre
Mesurer les contacts entre soignants et patients au moyen de capteurs électroniques : le cas de la tuberculose
auteur
Cédric Laouénan, Guillaume Chelius, D. Lepelletier, Eric Fleury, France Mentré, Jean-Christophe Lucet
article
Epidemiology and Public Health / Revue d'Epidémiologie et de Santé Publique, Elsevier Masson, 2011, 59, S1, pp.33
Accès au bibtex
BibTex
titre
Semantics of Typed Lambda-Calculus with Constructors
auteur
Barbara Petit
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (1:2), pp.1-24. ⟨10.2168/LMCS-7(1:2)2010⟩
Accès au bibtex
BibTex
titre
Joint Elastic Cloud and Virtual Network Framework for Application Performance-cost Optimization
auteur
Tram Truong Huu, Guilherme Koslovski, Fabienne Anhalt, Johan Montagnat, Pascale Vicat-Blanc Primet
article
Journal of Grid Computing, Springer Verlag, 2011, 9 (1), pp.27-47. ⟨10.1007/s10723-010-9168-6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00677784/file/jogc10.pdf BibTex
titre
Volume-Aware Positioning in the Context of a Marine Port Terminal
auteur
Yesid Jarma, Golnaz Karbaschi, Marcelo Dias de Amorim, Farid Benbadis, Guillaume Chelius
article
Computer Communications, Elsevier, 2011, 34 (8), pp.962-972. ⟨10.1016/j.comcom.2011.02.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00579839/file/VAPSCOMCOM-with-modifs.pdf BibTex
titre
Exact and Approximated error of the FMA
auteur
Sylvie Boldo, Jean-Michel Muller
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429617/file/fma_err.pdf BibTex
titre
Certifying the floating-point implementation of an elementary function using Gappa
auteur
Florent de Dinechin, Christoph Lauter, Guillaume Melquiond
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/ensl-00200830/file/10-tc.pdf BibTex
titre
Light logics and optimal reduction: Completeness and complexity
auteur
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
article
Information and Computation, Elsevier, 2011, 209 (2), pp.118-142. ⟨10.1016/j.ic.2010.10.002⟩
Accès au bibtex
BibTex
titre
Computing floating-point square roots via bivariate polynomial evaluation
auteur
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩
Accès au bibtex
BibTex
titre
Performing Arithmetic Operations on Round-to-Nearest Representations
auteur
Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00548988/file/RN_TC_2011.pdf BibTex
titre
Midpoints and exact points of some algebraic functions in floating-point arithmetic
auteur
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00409366/file/midpoints_TC_publies.pdf BibTex
titre
On Decidability Properties of One-Dimensional Cellular Automata
auteur
Olivier Finkel
article
Journal of Cellular Automata, Old City Publishing, 2011, 6 (2-3), pp.181-193
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00371169/file/JCA_0061_FINKEL.pdf BibTex
titre
Differentiation of Kaltofen's division-free determinant algorithm
auteur
Gilles Villard
article
Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00270753/file/diff.pdf BibTex
titre
Realizing disjoint degree sequences of span at most two: A tractable discrete tomography problem
auteur
Guinez Flavio, Martin Matamala, Stéphan Thomassé
article
Discrete Applied Mathematics, Elsevier, 2011, 159, pp.23-30. ⟨10.1016/j.dam.2010.09.011⟩
Accès au bibtex
BibTex
titre
Bulking I: an Abstract Theory of Bulking
auteur
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
article
Theoretical Computer Science, Elsevier, 2011, 412 (30), pp.3866-3880. ⟨10.1016/j.tcs.2011.02.023⟩
Accès au bibtex
BibTex
titre
Global Memory Access Modelling for Efficient Implementation of the LBM on GPUs
auteur
Christian Obrecht, Frederic Kuznik, Bernard Tourancheau, Jean-Jacques Roux
article
Lecture Notes in Computer Science, Springer, 2011, 6449, pp.151-161
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01003059/file/ACL21.pdf BibTex
titre
Existential witness extraction in classical realizability and via a negative translation
auteur
Alexandre Miquel
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (2), pp.LMCS-7(2:2). ⟨10.2168/LMCS-7(2:2)2011⟩
Accès au bibtex
https://arxiv.org/pdf/1101.4364 BibTex
titre
Kernel bounds for disjoint cycles and disjoint paths
auteur
Hans L. Bodlaender, Stéphan Thomassé, Anders Yeo
article
Theoretical Computer Science, Elsevier, 2011, 412, pp.4570-4578. ⟨10.1016/j.tcs.2011.04.039⟩
Accès au bibtex
BibTex
titre
Pattern Matching Based Forecast of Non-periodic Repetitive Behavior for Cloud Clients
auteur
Eddy Caron, Frédéric Desprez, Adrian Muresan
article
Journal of Grid Computing, Springer Verlag, 2011, 9, pp.49 - 64. ⟨10.1007/s10723-010-9178-4⟩
Accès au bibtex
BibTex
titre
Preventive migration vs. preventive checkpointing for extreme scale supercomputers
auteur
Franck Cappello, Henri Casanova, Yves Robert
article
Parallel Processing Letters, World Scientific Publishing, 2011, 21 (2), pp.111-132
Accès au bibtex
BibTex
titre
Adaptive Multiscale Complexity Analysis of Fetal Heart Rate
auteur
Hannes Helgason, Patrice Abry, Paulo Gonçalves, Claude Gharib, Pierre Gaucherand, Muriel Doret
article
IEEE Transactions on Biomedical Engineering, Institute of Electrical and Electronics Engineers, 2011, 58 (8), pp.2186-2193. ⟨10.1109/TBME.2011.2121906⟩
Accès au bibtex
BibTex
titre
Parallel Frequent Item Set Mining with Selective Item Replication
auteur
Eray Ozkural, Cevdet Aykanat, Bora Uçar
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2011, 22, pp.1632--1640. ⟨10.1109/TPDS.2011.32⟩
Accès au bibtex
BibTex
titre
Assessing new approaches to schedule a batch of identical intree-shaped workflows on a heterogeneous platform
auteur
Sékou Diakité, Jean-Marc Nicod, Laurent Philippe, Lamiel Toch
article
International Journal of Parallel, Emergent and Distributed Systems, Taylor & Francis, 2011
Accès au bibtex
BibTex
titre
Solving and Certifying the Solution of a Linear System
auteur
Hong Diep Nguyen, Nathalie Revol
article
Reliable Computing, Springer Verlag, 2011, 15 (2), pp.120-131
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00546856/file/Nguyen-Revol.pdf BibTex
titre
Design, implementation, and analysis of maximum transversal algorithms
auteur
Iain Duff, Kamer Kaya, Bora Uçar
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2011, 38, pp.13:1--13:31. ⟨10.1145/2049673.2049677⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786548/file/MatchACMToms.pdf BibTex
titre
A lattice-theoretical perspective on adhesive categories
auteur
Filippo Bonchi, Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König
article
Journal of Symbolic Computation, Elsevier, 2011, 46 (3), pp.222-245
Accès au bibtex
BibTex
titre
One-Dimensional Quantum Cellular Automata
auteur
Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
article
International Journal of Unconventional Computing, Old City Publishing, 2011, 7 (4), pp.223-244
Accès au bibtex
BibTex
titre
A data-driven integrative model of sepal primordium polarity in Arabidopsis
auteur
Camillo La Rota, Jérôme Chopard, Pradeep Das, Sandrine Paindavoine, Frédérique Rozier, Etienne Farcot, Christophe Godin, Jan Traas, Françoise Monéger
article
The Plant cell, American Society of Plant Biologists (ASPB), 2011, 23 (12), pp.4318-433. ⟨10.1105/tpc.111.092619⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00828854/file/Plant%20Cell-2011-La%20Rota-4318-33_1.pdf BibTex
titre
Efficient and accurate computation of upper bounds of approximation errors
auteur
Sylvain Chevillard, John Harrison, Mioara Maria Joldes, Christoph Lauter
article
Theoretical Computer Science, Elsevier, 2011, 412 (16), pp.1523-1543. ⟨10.1016/j.tcs.2010.11.052⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00445343/file/RRLIP2010-2.pdf BibTex
titre
Resource allocation strategies for multiple concurrent in-network stream processing applications
auteur
Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, Yves Robert
article
Parallel Computing, Elsevier, 2011, 37 (8), pp.331-348. ⟨10.1016/j.parco.2010.09.005⟩
Accès au bibtex
BibTex
titre
On the estimation of the large deviations spectrum
auteur
Julien Barral, Paulo Gonçalves
article
Journal of Statistical Physics, Springer Verlag, 2011, 144, X-Editorial-Board = yes, X-International-Audience = yes (6), pp.1256-1283. ⟨10.1007/s10955-011-0296-6⟩
Accès au bibtex
BibTex
titre
Optimizing the reliability of streaming applications under throughput constraints
auteur
Anne Benoit, Hinde Lilia Bouziane, Yves Robert
article
International Journal of Parallel Programming, Springer Verlag, 2011, 39 (5), pp.584-614. ⟨10.1007/s10766-011-0165-6⟩
Accès au bibtex
BibTex
titre
Scalable Service Deployment on Software Defined Networks
auteur
Javier Rubio-Loyola, A. Galis, A. Astorga, Joan Serrat, Laurent Lefèvre, A. Fischer, A. Paler, H. de Meer
article
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2011, 49 (12), pp.84-93. ⟨10.1109/MCOM.2011.6094010⟩
Accès au bibtex
BibTex
titre
Mapping workflow applications with types on heterogeneous specialized platforms
auteur
Anne Benoit, Alexandru Dobrila, Laurent Philippe, Jean-Marc Nicod
article
Parallel Computing, Elsevier, 2011, ⟨10.1016/j.parco.2010.12.001⟩
Accès au bibtex
BibTex
titre
A long-range dependent model for network traffic with flow-scale correlations
auteur
P. Loiseau, P. Vicat-Blanc, P. Gonçalves
article
Stochastic Models, INFORMS (Institute for Operations Research and Management Sciences), 2011, 27 (2), pp.333-361. ⟨10.1080/15326349.2011.567935⟩
Accès au bibtex
BibTex
titre
Étudier l'usage pour économiser l'énergie dans les systèmes distribués à grande échelle L'approche EARI
auteur
Anne-Cécile Orgerie, Laurent Lefèvre, Jean-Patrick Gelas
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, 30 (5), pp.515-538. ⟨10.3166/tsi.30.515-538⟩
Accès au bibtex
BibTex
titre
Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation
auteur
Gilles Villard
article
Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00335918/file/detdiff.pdf BibTex
titre
Decoding by Sampling: A Randomized Lattice Algorithm for Bounded Distance Decoding
auteur
Cong Ling, Shuiyin Liu, Damien Stehlé
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, 57 (9), pp.5933-5945. ⟨10.1109/TIT.2011.2162180⟩
Accès au bibtex
https://arxiv.org/pdf/1003.0064 BibTex
titre
Self-stabilization in Self-organized Multihop Wireless Networks
auteur
Nathalie Mitton, Bruno Séricola, Sébastien Tixeuil, Eric Fleury, Isabelle Guérin-Lassous
article
Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2011, 11 (1-2), pp.1-34
Accès au bibtex
BibTex
titre
Energy-aware scheduling of bag-of-tasks applications on master-worker platforms
auteur
Jean-François Pineau, Yves Robert, Frédéric Vivien
article
Concurrency and Computation: Practice and Experience, Wiley, 2011, 23 (2), pp.145--157. ⟨10.1002/cpe.1634⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00793414/file/ccpe.pdf BibTex
titre
Static worksharing strategies for heterogeneous computers with unrecoverable interruptions
auteur
Anne Benoit, Yves Robert, Arnold Rosenberg, Frédéric Vivien
article
Parallel Computing, Elsevier, 2011, 37 (8), pp.365-378. ⟨10.1016/j.parco.2010.03.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945070/file/PARCO-finalversion.pdf BibTex
titre
Scheduling streaming applications on a complex multicore platform
auteur
Tudor David, Mathias Jacquelin, Loris Marchal
article
Concurrency and Computation: Practice and Experience, Wiley, 2011, ⟨10.1002/cpe.1874⟩
Accès au bibtex
BibTex
titre
A Wearable Sensor Network for Gait Analysis: A 6-Day Experiment of Running Through the Desert
auteur
Guillaume Chelius, Christophe Braillon, Maud Pasquier, Nicolas Horvais, Roger Pissard-Gibollet, Bernard Espiau, Christine Azevedo Coste
article
IEEE/ASME Transactions on Mechatronics, Institute of Electrical and Electronics Engineers, 2011, 16 (5), pp.878-883. ⟨10.1109/TMECH.2011.2161324⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00604988/file/05975220_1_.pdf BibTex
titre
Multifractal analysis of fetal heart rate variability in fetuses with and without severe acidosis during labor
auteur
Muriel Doret, Hannes Helgason, Patrice Abry, Paulo Gonçalves, Claude Gharib, Pascal Gaucherand
article
American Journal of Perinatology, Thieme Publishing, 2011, 28 (4), pp.259-266. ⟨10.1055/s-0030-1268713⟩
Accès au bibtex
BibTex
titre
A Real-World Spreading Experiment in the Blogosphere
auteur
Adrien Friggeri, Jean-Philippe Cointet, Matthieu Latapy
article
Complex Systems , Complex Systems Publications, Inc., 2011, 19 (3)
Accès au bibtex
BibTex
titre
Quantitative Kleene coalgebras
auteur
Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva
article
Information and Computation, Elsevier, 2011, 209 (5), pp.822-849. ⟨10.1016/j.ic.2010.09.007⟩
Accès au bibtex
BibTex
titre
Unitarity plus causality implies localizability
auteur
Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
article
Journal of Computer and System Sciences, Elsevier, 2011, 77 (2), pp.372-378. ⟨10.1016/j.jcss.2010.05.004⟩
Accès au bibtex
https://arxiv.org/pdf/0711.3975 BibTex
titre
On the Number of Binary-Minded Individuals Required To Compute $\sqrt\frac12$
auteur
Olivier Bournez, Guillaume Aupy
article
Theoretical Computer Science, Elsevier, 2011, 411 (22), pp.2262--2267. ⟨10.1016/j.tcs.2011.01.003⟩
Accès au texte intégral et bibtex
https://hal-polytechnique.archives-ouvertes.fr/hal-00760928/file/taillepopulation.pdf BibTex
titre
Models and complexity results for performance and energy optimization of concurrent streaming applications
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.261-273. ⟨10.1177/1094342011414742⟩
Accès au bibtex
BibTex
titre
Resource allocation strategies for constructive in-network stream processing
auteur
Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, Yves Robert
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (3), pp.621-638. ⟨10.1142/S012905411100826X⟩
Accès au bibtex
BibTex
titre
Bulking II: Classifications of cellular automata
auteur
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
article
Theoretical Computer Science, Elsevier, 2011, 412 (30), pp.3881-3905. ⟨10.1016/j.tcs.2011.02.024⟩
Accès au bibtex
https://arxiv.org/pdf/1001.5471 BibTex

Conference papers

titre
Monitoring Energy Consumption in Clouds: The CompatibleOne Experience
auteur
Laurent Lefevre, Olivier Mornard, Jean-Patrick Gelas, Maxime Morel
article
Proceedings of the 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing, Dec 2011, Washington, DC, USA, United States. pp.794--795, ⟨10.1109/DASC.2011.135⟩
Accès au bibtex
BibTex
titre
Understanding community evolution in Complex systems science
auteur
Qinna Wang, Eric Fleury
article
DYNAM: 1st International Workshop on Dynamicity, Dec 2011, Toulouse, France. pp.12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00725094/file/paper_3.pdf BibTex
titre
The Limited Power of Powering: Polynomial Identity Testing and a Depth-four Lower Bound for the Permanent
auteur
Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki
article
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), Indian Association for Research in Computing Science, Dec 2011, Mumbai, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2011.127⟩
Accès au bibtex
https://arxiv.org/pdf/1107.1434 BibTex
titre
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy
auteur
Patrick Baillot
article
9th Asian Symposium on Programming Languages and Systems APLAS 2011, Dec 2011, Kenting, Taiwan. pp 337-352, ⟨10.1007/978-3-642-25318-8_25⟩
Accès au bibtex
BibTex
titre
Energy consumption side-channel attack at Virtual Machines in a Cloud
auteur
Helmut Hlavacs, Thomas Treutner, Jean-Patrick Gelas, Laurent Lefèvre, Anne-Cécile Orgerie
article
International Conference on Cloud and Green Computing (CGC), Dec 2011, Sydney, Australia. pp.605 - 612, ⟨10.1109/DASC.2011.110⟩
Accès au bibtex
BibTex
titre
On the Energy Efficiency of Centralized and Decentralized Management for Reservation-Based Networks
auteur
Anne-Cécile Orgerie, Laurent Lefèvre, Isabelle Guérin-Lassous
article
IEEE Global Communications Conference (GLOBECOM), Dec 2011, Houston, United States. ⟨10.1109/GLOCOM.2011.6134020⟩
Accès au bibtex
BibTex
titre
Energy-Efficient Overlay for Data Transfers in Private Networks
auteur
Anne-Cécile Orgerie, Laurent Lefèvre
article
IEEE International Conference on Networks (ICON), Dec 2011, Singapour, Singapore. ⟨10.1109/ICON.2011.6168523⟩
Accès au bibtex
BibTex
titre
Graph Based Classification of Content and Users in BitTorrent
auteur
Konstantin Avrachenkov, Paulo Gonçalves, Arnaud Legout, Marina Sokol
article
NIPS Conference, Big Learning Workshop, Dec 2011, Sierra Nevada, Spain
Accès au bibtex
BibTex
titre
Standardized Data Management in GridRPC Environments
auteur
Yves Caniou, Eddy Caron, Gaël Le Mahec, Nakada Hidemoto
article
6th International Conference on Computer Sciences and Convergence Information Technology, ICCIT'11, Nov 2011, Jeju Island, Korea, South Korea. pp.501-508
Accès au bibtex
BibTex
titre
Consommation énergétique des datacentres : quand la politique Européenne s'en mêle
auteur
Robert Ferret, Françoise Berthoud, Laurent Lefèvre
article
JRES 2011 : 9 ème Journées Réseaux de l'enseignement supérieur et de la recherche, Nov 2011, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00793598/file/paper121_article.pdf BibTex
titre
Trouver des communautés socialement cohésives est NP-dur
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
13emes journées Graphes et Algorithmes, Nov 2011, Lyon, France
Accès au bibtex
BibTex
titre
Some numerical considerations for lattice basis reduction
auteur
Gilles Villard
article
Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Nov 2011, David R. Cheriton School of Computer Science, Waterloo, Ontario, Canada
Accès au bibtex
BibTex
titre
Mixed-precision Fused Multiply and Add
auteur
Nicolas Brunie, Florent de Dinechin, Benoît de Dinechin
article
45th Asilomar Conference on Signals, Systems & Computers, Nov 2011, United States. pp.165-169
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00642157/file/mpfma.pdf BibTex
titre
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model
auteur
Kévin Perrot, Thi Ha Duong Phan, Trung Van Pham
article
AUTOMATA 2011, Nov 2011, Santiago, Chile. pp.17-28, ⟨10.46298/dmtcs.2974⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01196141/file/dmAP0102.pdf BibTex
titre
Fuzziness and overlapping communities in large-scale networks
auteur
Qinna Wang, Eric Fleury
article
Journées non thématique Octobre 2011., Oct 2011, Paris, France
Accès au bibtex
BibTex
titre
On the impact of the flow size distribution's tail index on network performance with TCP connections
auteur
Oana Goga, Patrick Loiseau, Paulo Gonçalves
article
IFIP PERFORMANCE 2011 : 29th International Symposium on Computer Performance, Modeling, Measurements and Evaluation 2011, Oct 2011, Amsterdam, Netherlands. pp.62-64, ⟨10.1145/2034832.2034849⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00745517/file/GogaLoiseauGoncalves_Performance2011_final.pdf BibTex
titre
Triangles to Capture Social Cohesion
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
Third IEEE International Conference on Social Computing, Oct 2011, Cambridge, United States
Accès au bibtex
BibTex
titre
Verified Numerical Linear Algebra: Linear System Solving
auteur
Nathalie Revol
article
2011 SIAM Conference on Applied Algebraic Geometry, Oct 2011, Raleigh, United States
Accès au bibtex
BibTex
titre
Evaluation and comparison of MBAC solutions
auteur
Doreid Ammar, Thomas Begin, Isabelle Guérin-Lassous, Ludovic Noirie
article
IEEE 36th Conference on Local Computer Networks, 2011 (LCN'11), Oct 2011, Bonn, Germany. pp.215-218, ⟨10.1109/LCN.2011.6115192⟩
Accès au bibtex
BibTex
titre
On Applying DTNs to a Delay Constrained Scenario in Wired Networks
auteur
Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Jean-Patrick Gelas
article
2011 14th International Symposium on Wireless Personal Multimedia Communications (WPMC), Oct 2011, Brest, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00748069/file/WODTN2011.pdf BibTex
titre
Exploiting Addresses Correlation to Maximize Lifetime of IPv6 Cluster-based WSNs
auteur
Leila Ben Saad, Bernard Tourancheau
article
WiMob, the International conference on wireless and mobile computing, networking and communications, STWiMob workshop, Oct 2011, Sanghai, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00647870/file/correlation.pdf BibTex
titre
Cross-Layer Optimization for MAC Layer to Physical Device Communication Protocol Mapping
auteur
Andreea Chis, Eric Fleury, Antoine Fraboulet
article
19th International Conference on Real-Time and Network Systems, Sep 2011, Nantes, France
Accès au bibtex
BibTex
titre
An RMS for Non-predictably Evolving Applications
auteur
Cristian Klein, Christian Pérez
article
IEEE International Conference on Cluster Computing, Sep 2011, Austin, Texas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606908/file/main.good.pdf BibTex
titre
On The Recovery Performance of Single- and Multipath OLSR in Wireless Multi-Hop Networks
auteur
Inès Doghri, Laurent Reynaud, Isabelle Guérin-Lassous
article
Third International ICST Conference on Ad Hoc Networks, ADHOCNETS 2011, Sep 2011, Paris, France. pp.239, ⟨10.1007/978-3-642-29096-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00708684/file/AdHocNets_-_CameraReady-final.pdf BibTex
titre
Exact computations with an arithmetic known to be approximate (invited talk)
auteur
Jean-Michel Muller
article
MaGiX@LiX 2011, Sep 2011, Palaiseau, France
Accès au bibtex
BibTex
titre
Fellows: Crowd-sourcing the evaluation of an overlapping community model based on the cohesion measure
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
Complex Dynamics of Human Interactions, Sep 2011, Vienna, Austria
Accès au bibtex
BibTex
titre
Assessing the Performance of MPI Applications Through Time-Independent Trace Replay
auteur
Frédéric Desprez, George Markomanolis, Martin Quinson, Frédéric Suter
article
Second International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI 2011) Held in conjunction with ICPP 2011, the 40th International Conference on Parallel Processing, Sep 2011, Taipei, Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00546992/file/RR-7489.pdf BibTex
titre
IEEE 1788 Working Group for the Standardization of Interval Arithmetic: a brief overview
auteur
Nathalie Revol
article
Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany
Accès au bibtex
BibTex
titre
An FPGA architecture for solving the Table Maker's Dilemma
auteur
Florent de Dinechin, Jean-Michel Muller, Bogdan Pasca, Alexandru Plesco
article
Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. pp.187-194, ⟨10.1109/ASAP.2011.6043267⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00640063/file/PID1914885.pdf BibTex
titre
Refining and verifying efficiently the solution of a linear system
auteur
Nathalie Revol, Hong Diep Nguyen
article
Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany
Accès au bibtex
BibTex
titre
Generating a Minimal Interval Arithmetic Based on GNU MPFR
auteur
Vincent Lefèvre
article
Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova, Sep 2011, Dagstuhl, Germany. pp.43, ⟨10.4230/DagRep.1.9.26⟩
Accès au bibtex
BibTex
titre
Energy-Efficient Beacon-less Protocol for WSN
auteur
Ibrahim Amadou, Guillaume Chelius, Fabrice Valois
article
22nd IEEE Symposium on Personal, Indoor, Mobile and Radio Communications (PIMRC 2011), Sep 2011, Toronto, Canada
Accès au bibtex
BibTex
titre
Termination in a Pi-calculus with Subtyping
auteur
Ioana Cristescu, Daniel Hirschkoff
article
18th International Workshop on Expressiveness in Concurrency, Sep 2011, Aachen, Germany. pp.44-58, ⟨10.4204/EPTCS.64.4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00612216/file/dengsub.pdf BibTex
titre
Complex Networks Emerging From Large Dynamic Databases: New Mathematical and Computational Tools
auteur
Eric Fleury, Bertrand Jouve, Matthieu Latapy
article
ERA-NET CHIST-ERA: From Data to New Knowledge, Sep 2011, Cork, Ireland
Accès au bibtex
BibTex
titre
An RMS Architecture for Efficiently Supporting Complex-Moldable Applications
auteur
Cristian Klein, Christian Pérez
article
IEEE International Conference on High Performance Computing and Communications, Sep 2011, Banff, Alberta, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606771/file/main.pdf BibTex
titre
Heterogeneous IPv6 Infrastructure for Smart Energy Efficient Building
auteur
Leila Ben Saad, Cedric Chauvenet, Bernard Tourancheau
article
SDEWES, Sep 2011, Dubrovnik, Croatia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646061/file/article_SDEWES.pdf BibTex
titre
A Genetic Algorithm with Communication Costs to Schedule Workflows on a SOA-Grid
auteur
Jean-Marc Nicod, Laurent Philippe, Toch Lamiel
article
HeteroPar'2011 - 9th International Workshop on Algorithms, Models and Tools, Sep 2011, Bordeaux, France
Accès au bibtex
BibTex
titre
Simulation of the RPL Routing Protocol for IPv6 Sensor Networks: two cases studies
auteur
Leila Ben Saad, Cedric Chauvenet, Bernard Tourancheau
article
International Conference on Sensor Technologies and Applications SENSORCOMM 2011, Sep 2011, Nice, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00647869/file/rpl_sim.pdf BibTex
titre
FPGA-Specific Arithmetic Optimizations of Short-Latency Adders
auteur
Hong Diep Nguyen, Bogdan Pasca, Thomas Preusser
article
2011 International Conference on Field Programmable Logic and Applications (FPL), Sep 2011, Chania, Greece. pp.232 - 237, ⟨10.1109/FPL.2011.49⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542389/file/short_latency_adders.pdf BibTex
titre
Large Scale P2P Discovery Middleware Demonstration
auteur
Eddy Caron, Florent Chuffart, Haiwu He, Anissa Lamani, Philippe Le Brouster, Olivier Richard
article
Peer-to-Peer Computing (P2P), 2011 IEEE International Conference on, Aug 2011, Kyoto, Japan. ⟨10.1109/P2P.2011.6038672⟩
Accès au bibtex
BibTex
titre
Implementation and Evaluation of a P2P Service Discovery System
auteur
Eddy Caron, Florent Chuffart, Haiwu He, Cédric Tedeschi
article
Proceedings of the the 11th IEEE International Conference on Computer and Information Technology, Aug 2011, Pafos, Cyprus. ⟨10.1109/CIT.2011.102⟩
Accès au bibtex
BibTex
titre
Intersection Types for the Resource Control Lambda Calculi
auteur
Pierre Lescanne, Silvia Ghilezan, Jelena Ivetic, Silvia Likavec
article
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Aug 2011, Johannesburg, South Africa. pp.116-134
Accès au bibtex
BibTex
titre
Towards Scheduling Evolving Applications
auteur
Cristian Klein, Christian Pérez
article
CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, Aug 2011, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609353/file/main.good.pdf BibTex
titre
On partitioning problems with complex objectives
auteur
Kamer Kaya, Rouet François-Henry, Bora Uçar
article
Parallel Processing Workshops (Euro-Par 2011), Aug 2011, Bordeaux, France. pp.334-344, ⟨10.1007/978-3-642-29737-3_38⟩
Accès au bibtex
BibTex
titre
Automatic Generation of Fast and Certified Code for Polynomial Evaluation
auteur
Christophe Mouilleron, Guillaume Revy
article
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.233-242, ⟨10.1109/ARITH.2011.39⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00531721/file/MouRev11.pdf BibTex
titre
Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}
auteur
Nicolas Brisebarre, Mioara Maria Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller
article
20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. pp.23-30, ⟨10.1109/ARITH.2011.13⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00545591/file/PID1818753.pdf BibTex
titre
Community detection with fuzzy community structure
auteur
Qinna Wang, Eric Fleury
article
ASONAM 2011, Jul 2011, Kaohsiung, Taiwan
Accès au bibtex
BibTex
titre
How to Square Floats Accurately and Efficiently on the ST231 Integer Processor
auteur
Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy
article
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.77-81, ⟨10.1109/ARITH.2011.19⟩
Accès au bibtex
BibTex
titre
The arithmetic operators you will never see in a microprocessor
auteur
Florent de Dinechin
article
20th IEEE Symposium on Computer Arithmetic, Jul 2011, Tuebingen, Germany. pp.189-190
Accès au bibtex
BibTex
titre
On the Number of Blocks Required to Access the Core
auteur
Sylvain Béal, Éric Rémila, Philippe Solal
article
7th Spain-Italy-Netherlands Meeting on Game Theory (SING 7), Jul 2011, Paris, France
Accès au bibtex
BibTex
titre
Promoting Quality of Service in Substitution Networks with Controlled Mobility
auteur
Tahiry Razafindralambo, Thomas Begin, Marcelo Dias de Amorim, Isabelle Guérin-Lassous, Nathalie Mitton, David Simplot-Ryl
article
10th International Conference on Ad Hoc Networks and Wireless (AdHocNow), Jul 2011, Paderborn, Germany. pp.248-261, ⟨10.1007/978-3-642-22450-8_19⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00599124/file/rescue.pdf BibTex
titre
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
auteur
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
article
DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
Accès au bibtex
https://arxiv.org/pdf/1012.4032 BibTex
titre
Using Virtualization and Job Folding for Batch Scheduling
auteur
Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo, Lamiel Toch
article
ISPDC'2011 - 10th Int. Symposium on Parallel and Distributed Computing, Jul 2011, Cluj-Napoca, Romania. ⟨10.1109/ISPDC.2011.15⟩
Accès au bibtex
BibTex
titre
Forcing as a Program Transformation
auteur
Alexandre Miquel
article
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, Jun 2011, Toronto, Canada. pp.197-206
Accès au bibtex
BibTex
titre
Performance Evaluation of a Single Node with General Arrivals and Service
auteur
Alexandre Brandwajn, Thomas Begin
article
Proceedings of the 18th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA11, Date-Modified = 2012-02-22 09:13:34 +0000, Jun 2011, Venice, Italy, Italy. pp.85-98
Accès au bibtex
BibTex
titre
Integrated data placement and task assignment for scientific workflows in clouds
auteur
Umit Catalyurek, Kamer Kaya, Bora Uçar
article
Proceedings of the fourth international workshop on Data-intensive distributed computing, Jun 2011, New York, NY, USA, United States. pp.45--54, ⟨10.1145/1996014.1996022⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786551/file/cku-didc11v2.pdf BibTex
titre
Refining and verifying the solution of a linear system
auteur
Hong Diep Nguyen, Nathalie Revol
article
SNC 2011 - Symbolic Numeric Computation, Jun 2011, San Jose, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641659/file/Nguyen-Revol-SNC.pdf BibTex
titre
On Model-Driven Engineering to implement a Component Assembly Compiler for High Performance Computing
auteur
Julien Bigot, Christian Pérez
article
Journées sur l'Ingénierie Dirigée par les Modèles, IDM 2011, Jun 2011, Lille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606511/file/jbigot-cperez-IDM2011.pdf BibTex
titre
Egomunities, Exploring Socially Cohesive Person-based Communities
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
NetSci 2011 The International School and Conference on Network Science, Jun 2011, Budapest, Hungary
Accès au bibtex
BibTex
titre
DTN based Management Framework for Green On/Off Networks
auteur
Ghislain Landry Tsafack Chetsa, Laurent Lefèvre, Jean-Patrick Gelas
article
RESCOM 2011, Jun 2011, La Palmyre, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00795147/file/short-paper-rescom.pdf BibTex
titre
Brief Announcement: Reclaiming the Energy of a Schedule, Models and Algorithms
auteur
Guillaume Aupy, Anne Benoit, Fanny Dufossé, Yves Robert
article
SPAA '11 - 23rd ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2011, San Jose, United States. pp.135-136, ⟨10.1145/1989493.1989512⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00857268/file/spaa48a-benoit.pdf BibTex
titre
Controlling Program Extraction in Light Logics
auteur
Marc Lasson
article
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011., Jun 2011, Novi Sad, Serbia. pp.123-137, ⟨10.1007/978-3-642-21691-6⟩
Accès au bibtex
BibTex
titre
A Survey of Classical Realizability
auteur
Alexandre Miquel
article
Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Jun 2011, Novi Sad, Serbia. pp.1-2
Accès au bibtex
BibTex
titre
ECOFEN: an End-to-end energy Cost mOdel and simulator For Evaluating power consumption in large-scale Networks
auteur
Anne-Cécile Orgerie, Laurent Lefèvre, Isabelle Guérin-Lassous, Dino Lopez Pacheco
article
Sustainet: International Workshop on Sustainable Internet and Internet for Sustainability, Jun 2011, Lucca, Italy. pp.1-6, ⟨10.1109/WoWMoM.2011.5986203⟩
Accès au bibtex
BibTex
titre
Average Tree Solutions and the Distribution of Harsanyi Dividends
auteur
Richard Baron, Sylvain Béal, Éric Rémila, Philippe Solal
article
IIe congreso international en economia y finanzas,, May 2011, Quito, Ecuador
Accès au bibtex
BibTex
titre
Fellows: Crowd-sourcing the evaluation of an overlapping community model based on the cohesion measure
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
Interdisciplinary Workshop on Information and Decision in Social Networks, May 2011, Cambridge, United States
Accès au bibtex
BibTex
titre
Splitting TCP for MPI Applications Executed on Grids
auteur
Olivier Glück, Jean-Christophe Mignot
article
2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications, May 2011, Busan, South Korea. pp.207-212, ⟨10.1109/ISPA.2011.11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767643/file/ISPA2011.pdf BibTex
titre
Multiple Services Throughput Optimization in a Hierarchical Middleware
auteur
Eddy Caron, Benjamin Depardon, Frédéric Desprez
article
The 11th International Symposium on Cluster, Cloud and Grid Computing, Date-Added = 2011-02-03 22:38:54 +0100, Date-Modified = 2012-12-19 23:23:04 +0000, May 2011, Newport Beach, CA, United States. pp.94 - 103, ⟨10.1109/CCGrid.2011.20⟩
Accès au bibtex
BibTex
titre
Locating Virtual Infrastructures: Users and InP Perspectives
auteur
Guilherme Koslovski, Sébastien Soudan, Paulo Gonçalves, Pascale Vicat-Blanc
article
12th IEEE/IFIP International Symposium on Integrated Network Management (IM), 2011, May 2011, Dublin (Ireland), Ireland. pp.153-160, ⟨10.1109/INM.2011.5990686⟩
Accès au bibtex
BibTex
titre
Towards In-Network Clouds in Future Internet
auteur
Alex Galis, Stuart Clayman, Laurent Lefèvre, Andreas Fischer, Hermann de Meer, Javier Rubio-Loyola, Joan Serrat, Steven Davy
article
FUTURE INTERNET ASSEMBLY, May 2011, Budapest, Hungary. pp.19-33, ⟨10.1007/978-3-642-20898-0_2⟩
Accès au bibtex
BibTex
titre
Communication in Parallel Algorithms for Constraint-Based Local Search
auteur
Yves Caniou, Philippe Codognet
article
PCO - IEEE Workshop on new trends in Parallel Computing and Optimization in conjonction with IPDPS, May 2011, Anchorage, United States
Accès au bibtex
BibTex
titre
Grouping variables in Frontal Matrices to improve Low-Rank Approximations in a Multifrontal Solver
auteur
Clement Weisbecker, Patrick Amestoy, Cleve Ashcraft, Olivier Boiteau, Alfredo Buttari, Jean-Yves l'Excellent
article
International Conference On Preconditioning Techniques For Scientific And Industrial Applications, Preconditioning 2011, May 2011, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00581561/file/preconditioning2011_submission_15.pdf BibTex
titre
A Novel Aggregation Method based on Graph Matching for Algebraic MultiGrid Preconditioning of Sparse Linear Systems
auteur
Pasqua d'Ambra, Alfredo Buttari, Daniela Di Serafino, Salvatore Filippone, Simone Gentile, Bora Uçar
article
International Conference On Preconditioning Techniques For Scientific And Industrial Applications, Preconditioning 2011, May 2011, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00580434/file/preconditioning2011_submission_20.pdf BibTex
titre
On-Line Optimization of Publish/Subscribe Overlays
auteur
Eddy Caron, Ajoy Datta, Benjamin Depardon, Lawrence Larmore
article
Workshop PCO'11. Parallel Computing and Optimization In conjunction with IPDPS 2011, May 2011, Anchorage, USA, United States. ⟨10.1109/IPDPS.2011.356⟩
Accès au bibtex
BibTex
titre
Mise en œuvre de la découverte de services pour des plateformes dynamiques à large échelle
auteur
Florent Chuffart, Haiwu He
article
RenPar'20 (Rencontres francophones du Parallélisme), May 2011, Sazint-Malo, France
Accès au bibtex
BibTex
titre
Contrôles d'admission basés sur des mesures : Evaluation et comparaison de solutions existantes
auteur
Doreid Ammar, Thomas Begin, Isabelle Guérin-Lassous, Ludovic Noirie
article
CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586873/file/paper_26.pdf BibTex
titre
Une architecture unifiée pour traiter la divergence de contrôle et la divergence mémoire en SIMT
auteur
Caroline Collange
article
SYMPosium en Architectures, May 2011, Saint-Malo, France. pp.02
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00576049/file/Collange_DivergenceControleMemoire_Sympa11.pdf BibTex
titre
Prédiction d'allocation de ressources pour les grilles et les Clouds basée sur la recherche de motifs
auteur
Adrian Muresan
article
Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00787563/file/RenPar2011.pdf BibTex
titre
Vers des machines exaflopiques vertes
auteur
Mohammed Diouri, Olivier Glück, Laurent Lefevre
article
Renpar 20 : Rencontres francophones du Parallélisme, May 2011, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767653/file/2011_RENPAR_Diouri_Accepte.pdf BibTex
titre
PFMAC : Routage sans connaissance du voisinage efficace en énergie
auteur
Ibrahim Amadou, Guillaume Chelius, Fabrice Valois
article
CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00586868/file/paper_23.pdf BibTex
titre
Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments
auteur
Clément Burin Des Roziers, Guillaume Chelius, Tony Ducrocq, Eric Fleury, Antoine Fraboulet, Antoine Gallais, Nathalie Mitton, Thomas Noél, Julien Vandaele
article
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01583404/file/978-3-642-20757-0_12_Chapter.pdf BibTex
titre
Using SensLAB as a First Class Scienti c Tool for Large Scale Wireless Sensor Network Experiments
auteur
Clément Burin Des Rosiers, Guillaume Chelius, Tony Ducrocq, Eric Fleury, Antoine Fraboulet, Antoine Gallais, Nathalie Mitton, Thomas Noël, Julien Vandaële
article
Networking 2011, May 2011, Valencia, Spain. pp.241-253
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00599102/file/senslab.pdf BibTex
titre
Energy-Efficient Framework for Networks of Large-Scale Distributed Systems
auteur
Anne-Cécile Orgerie, Laurent Lefèvre
article
IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA), May 2011, Busan, South Korea. pp.250-255, ⟨10.1109/ISPA.2011.20⟩
Accès au bibtex
BibTex
titre
Experiments in Parallel Constraint-Based Local Search
auteur
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
article
11th European conference on Evolutionary computation in combinatorial optimization (EvoCOP'11), Apr 2011, Torino, Italy. pp.96-107, ⟨10.1007/978-3-642-20364-0_9⟩
Accès au bibtex
BibTex
titre
Strong Normalisation in λ-Calculi with References
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
FSEN, Apr 2011, Téhéran, Iran. pp.128-142, ⟨10.1007/978-3-642-29320-7_9⟩
Accès au bibtex
BibTex
titre
Hybrid Distributed Computing Infrastructure Experiments in Grid5000 : Supporting QoS in Desktop Grids with Cloud Resources
auteur
S. Delamare, Gilles Fedak, Oleg Lodygensky
article
Grid'5000 : School2011, Apr 2011, Reims, France. pp.1-6
Accès au texte intégral et bibtex
http://hal.in2p3.fr/in2p3-01015448/file/Delamare.pdf BibTex
titre
SensLAB Very Large Scale Open Wireless Sensor Network Testbed
auteur
Clément Burin Des Rosiers, Guillaume Chelius, Eric Fleury, Antoine Fraboulet, Antoine Gallais, Nathalie Mitton, Thomas Noël
article
Proc. 7th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCOM), Apr 2011, Shanghai, China
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587862/file/senslab.pdf BibTex
titre
Realizability and Parametricity in Pure Type Systems
auteur
Jean-Philippe Bernardy, Marc Lasson
article
Foundations of Software Science and Computational Structures, Mar 2011, Saarbrücken, Germany. pp.108-122, ⟨10.1007/978-3-642-19805-2⟩
Accès au bibtex
BibTex
titre
Automatic Generation of FPGA-Specific Pipelined Accelerators
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
International Symposium on Applied Reconfigurable Computing (ARC'11), Mar 2011, Belfast, United Kingdom
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549682/file/rr.pdf BibTex
titre
Random Boolean Networks and Attractors of their Intersecting Circuits
auteur
Jacques Demongeot, Adrien Elena, Mathilde Noual, Sylvain Sené
article
IEEE Workshops of International Conference on Advanced Information Networking and Applications (WAINA 2011), Mar 2011, Biopolis, Singapore. pp.483--487, ⟨10.1109/WAINA.2011.154⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00666589/file/dens11.pdf BibTex
titre
Parallel constraint-based local search on the HA8000 supercomputer (extended abstract)
auteur
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
article
the 2011 ACM Symposium, Mar 2011, TaiChung, Taiwan. pp.920, ⟨10.1145/1982185.1982386⟩
Accès au bibtex
BibTex
titre
Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach
auteur
Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst, Sven Karlsson, Tommy Thorn
article
Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, and Reinhard Wilhelm, Mar 2011, Grenoble, France. pp.11-21, ⟨10.4230/OASIcs.PPES.2011.11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00585320/file/schoeberl-ppes11.pdf BibTex
titre
The Average Tree Solution for Multi-Choice Forest Games
auteur
Sylvain Béal, Aymeric Lardon, Éric Rémila, Philippe Solal
article
2nd International Workshop Models of Influence and Network Theory (MINT2), Mar 2011, Saint-Etienne, France
Accès au bibtex
BibTex
titre
Symmetric Determinantal Representation of Weakly-Skew Circuits
auteur
Bruno Grenet, Erich Kaltofen, Pascal Koiran, Natacha Portier
article
Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.543-554, ⟨10.4230/LIPIcs.STACS.2011.543⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00573631/file/50.pdf BibTex
titre
Spatio-temporal modeling of Western African monsoon
auteur
Hubert Gallée, Clémentine Prieur, Anestis Antoniadis, Céline Helbert, Laurence Viry, Eddy Caron
article
Les ateliers de modélisation de l'atmosphère. Architectures massivement parallèles : adaptation des modèles et apports de la puissance, Feb 2011, Toulouse, France
Accès au bibtex
BibTex
titre
Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata
auteur
Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
article
Models of Computation in Context - 7th Conference on Computability in Europe, 2011, Sofia, Bulgaria. pp.1-10
Accès au bibtex
BibTex
titre
Tactics for Reasoning modulo AC in Coq
auteur
Thomas Braibant, Damien Pous
article
Certified Proofs and Programs, 2011, Taiwan. pp167-182, ⟨10.1007/978-3-642-25379-9_14⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00484871/file/main.pdf BibTex
titre
Avalanche Structure in the Kadanoff Sand Pile Model
auteur
Kévin Perrot, Éric Rémila
article
Proceedings of LATA'2011, 2011, Unknown, Unknown Region. pp.427--439
Accès au bibtex
BibTex
titre
Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence
auteur
Kévin Perrot, Éric Rémila
article
Proceedings of MFCS'2011, 2011, Unknown, Unknown Region. pp.508--520
Accès au bibtex
BibTex
titre
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic
auteur
William Hart, Andrew Novocin
article
Proceedings of CASC 2011, 2011, Germany. pp.200-214
Accès au bibtex
BibTex
titre
NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates
auteur
Sushil K. Prasad, Almadena Yu. Chtchelkanova, Sajal K. Das, Frank Dehne, Mohamed Gouda, Anshul Gupta, Joseph Jájá, Krishna Kant, Anita La Salle, Richard Leblanc, Manish Lumsdaine, David A. Padua, Manish Parashar, Viktor K. Prasanna, Yves Robert, Arnold L. Rosenberg, Sartaj Sahni, Behrooz Shirazi, Alan Sussman, Charles C. Weems, Jie Wu
article
SIGCSE''11, the 42nd ACM Tech. Symp. on Computer Science Education, 2011, Unknown, Afghanistan. pp.617-618
Accès au bibtex
BibTex
titre
Une solution approchée pour les files Ph/Ph/1 et Ph/Ph/1/N
auteur
Thomas Begin, Alexandre Brandwajn
article
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587930/file/Algotel-11v5.pdf BibTex
titre
Making NTRU as secure as worst-case problems over ideal lattices
auteur
Damien Stehlé, Ron Steinfeld
article
Proceedings of EUROCRYPT 2011, 2011, Estonia. pp.27-47
Accès au bibtex
BibTex
titre
A simple block representation of reversible cellular automata with time-symmetry
auteur
Pablo Arrighi, Vincent Nesme
article
17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Local proceedings
Accès au bibtex
https://arxiv.org/pdf/1201.5529 BibTex
titre
Decoding by Embedding: Correct Decoding Radius and DMT Optimality
auteur
Cong Ling, Shuiyin Liu, Laura Luzzi, Damien Stehlé
article
Proceedings of ISIT 2011, 2011, Russia. pp.1106 - 1110
Accès au bibtex
BibTex
titre
An LLL-reduction algorithm with quasi-linear time complexity
auteur
Andrew Novocin, Damien Stehlé, Gilles Villard
article
STOC'11 - 43rd annual ACM symposium on Theory of computing, 2011, San Jose, United States. pp.403-412, ⟨10.1145/1993636.1993691⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00534899/file/L1-hal.pdf BibTex
titre
Speed Scaling to Manage Temperature.
auteur
Leon Atkins, Guillaume Aupy, Daniel Cole, Kirk Pruhs
article
TAPAS - 1st International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems, 2011, Rome, Italy. pp.9-20, ⟨10.1007/978-3-642-19754-3_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786200/file/tapas11.pdf BibTex
titre
Tiled QR factorization algorithms
auteur
Henricus Bouwmeester, Mathias Jacquelin, Julien Langou, Yves Robert
article
SC'2011, the IEEE/ACM Conference on High Performance Computing Networking, Storage and Analysis, 2011, Unknown
Accès au bibtex
BibTex
titre
The physical Church-Turing thesis and the principles of quantum theory
auteur
Pablo Arrighi, Gilles Dowek
article
QIPC, 2011, Zurich, Switzerland. Local proceedings
Accès au bibtex
https://arxiv.org/pdf/1102.1612 BibTex
titre
Communautés : Arrêtons de ne compter que les arêtes
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587942/file/main.pdf BibTex
titre
Global Memory Access Modelling for Efficient Implementation of the Lattice Boltzmann Method on Graphics Processing Units
auteur
Christian Obrecht, Frédéric Kuznik, Bernard Tourancheau, Jean-Jacques Roux
article
VECPAR, 2011, Porto, Portugal. pp.151--161
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563159/file/obrecht11a.pdf BibTex
titre
Algorithms for the Shortest and Closest Lattice Vector Problems
auteur
Guillaume Hanrot, Xavier Pujol, Damien Stehlé
article
IWCC 2011, 2011, China. pp.159-190
Accès au bibtex
BibTex
titre
Sinks Mobility Strategy in IPv6-based WSNs for Network Lifetime Improvement
auteur
Leila Ben Saad, Bernard Tourancheau
article
International Conference on New Technologies, Mobility and Security (NTMS), IFIP, 2011, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563724/file/ntms2011.pdf BibTex
titre
Recent progress in linear algebra and lattice basis reduction (invited)
auteur
Gilles Villard
article
ISSAC'11 - International symposium on Symbolic and algebraic computation, 2011, San Jose, United States. pp.3-4, ⟨10.1145/1993886.1993889⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00644796/file/p3-villard.pdf BibTex
titre
Analyzing Blockwise Lattice Algorithms using Dynamical Systems
auteur
Guillaume Hanrot, Xavier Pujol, Damien Stehlé
article
CRYPTO 2011, 2011, United States. pp.447-464
Accès au bibtex
BibTex
titre
Generating subfields
auteur
Mark Van Hoeij, Jürgen Klüners, Andrew Novocin
article
Proceedings of ISSAC 2011, 2011, United States. pp.345-352
Accès au bibtex
BibTex
titre
Practical polynomial factoring in polynomial time.
auteur
William Hart, Mark Van Hoeij, Andrew Novocin
article
Proceedings of ISSAC 2011, 2011, United States. pp.163-170
Accès au bibtex
BibTex
titre
Scheduling parallel iterative applications on volatile resources
auteur
Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
article
IPDPS'2011, the 25th IEEE International Parallel and Distributed Processing Symposium, 2011, Unknown
Accès au bibtex
BibTex
titre
On optimal tree traversals for sparse matrix factorization
auteur
Mathias Jacquelin, Loris Marchal, Yves Robert, Bora Uçar
article
IPDPS'2011, the 25th IEEE International Parallel and Distributed Processing Symposium, 2011, Unknown
Accès au bibtex
BibTex
titre
Comparing archival policies for BlueWaters
auteur
Franck Cappello, Mathias Jacquelin, Loris Marchal, Yves Robert, Marc Snir
article
International Conference on High Performance Computing (HiPC'2011), 2011, Unknown
Accès au bibtex
BibTex
titre
Checkpointing strategies for parallel jobs.
auteur
Marin Bougeret, Henri Casanova, Mikael Rabie, Yves Robert, Frédéric Vivien
article
SuperComputing (SC) - International Conference for High Performance Computing, Networking, Storage and Analysis, 2011, 2011, United States. pp.1-11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00738504/file/paper.pdf BibTex
titre
Energy-aware mappings of series-parallel workflows onto chip multiprocessors
auteur
Anne Benoit, Rami Melhem, Paul Renaud-Goud, Yves Robert
article
ICPP'2011, the 40th International Conference on Parallel Processing, 2011, Unknown
Accès au bibtex
BibTex
titre
Power-aware replica placement and update strategies in tree networks
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
IPDPS'2011, the 25th IEEE International Parallel and Distributed Processing Symposium, 2011, Unknown
Accès au bibtex
BibTex
titre
On the performance of greedy algorithms for energy minimization
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
ICPP'2011, the 40th International Conference on Parallel Processing, 2011, Unknown
Accès au bibtex
BibTex

Book sections

titre
Computations on cellular automata
auteur
Jacques Mazoyer, Jean-Baptiste Yunès
article
Rozenberg, Back, Kok. Handbook of natural computing, Springer, pp.1-29, 2011
Accès au bibtex
BibTex
titre
Hypergraph Partitioning
auteur
Umit Catalyurek, Bora Uçar, Cevdet Aykanat
article
David A. Padua. Encyclopedia of Parallel Computing, Springer, pp.871--881, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786552/file/hp-encyc.pdf BibTex
titre
Les rythmes urbains au prisme du velo'v
auteur
Luc Merchez, Jean-Baptiste Rouquier
article
M.-F.Mattei, Denise Pumain. Données urbaines 6, Anthropos, pp.93-104, 2011
Accès au bibtex
BibTex
titre
The minimum degree ordering with dynamical constraints
auteur
Patrick Amestoy, Alfredo Buttari, Abdou Guermouche, Jean-Yves l'Excellent, Bora Uçar
article
M. Beckers and J. Lotz and V. Mosenkis and U. Naumann. Abstracts of the 5th SIAM Workshop on Combinatorial Scientific Computing, SIAM, pp.36-38, 2011, Technical Report
Accès au bibtex
BibTex
titre
The Multifrontal Method
auteur
Patrick Amestoy, Alfredo Buttari, Iain S. Duff, Abdou Guermouche, Jean-Yves l'Excellent, Bora Uçar
article
David Padua. Encyclopedia of Parallel Computing, Springer, pp.1209-1216, 2011
Accès au bibtex
BibTex
titre
MUMPS
auteur
Patrick Amestoy, Alfredo Buttari, Iain S. Duff, Abdou Guermouche, Jean-Yves l'Excellent, Bora Uçar
article
David Padua. Encyclopedia of Parallel Computing, Springer, pp.1232-1238, 2011, ⟨10.1007/978-0-387-09766-4_204⟩
Accès au bibtex
BibTex
titre
Auto-scaling, load balancing and monitoring in commercial and open-source clouds
auteur
Eddy Caron, Frédéric Desprez, Luis Rodero-Merino, Adrian Muresan
article
Cloud Computing: Methodology, Systems, and Applications, Wang, Lizhe and Ranjan, Rajiv and Chen, Jinjun and Benatallah, Boualem, pp.301--324, 2011, Chapter 14, ISBN: 9781439856413
Accès au bibtex
BibTex
titre
Roles of Desktop Grids in Hybrid Distributed Computing Infrastructures
auteur
Simon Delamare, Gilles Fedak
article
Christophe Cerin, Gilles Fedak. Desktop Grid Computing Book, CRC Press, 2011
Accès au bibtex
BibTex
titre
On hypergraph partitioning based sparse matrix ordering
auteur
Iain S. Duff, Bora Uçar
article
M. Beckers and J. Lotz and V. Mosenkis and U. Naumann. Abstracts of the 5th SIAM Workshop on Combinatorial Scientific Computing, SIAM, pp.36--38, 2011, Technical Report
Accès au bibtex
BibTex
titre
Ressources informatiques : encore une histoire de temps !
auteur
Anne Benoit, Vangelis Paschos, Michel Raynal, Yves Robert, Denis Trystram
article
unknown editor. Les Ressources, Institut Universitaire de France, pp.225-243, 2011, Les colloques de l'IUF
Accès au bibtex
BibTex
titre
Task graph scheduling
auteur
Yves Robert
article
David Padua. Encyclopedia of Parallel Computing, Springer, 2011, ⟨10.1007/978-0-387-09766-4_42⟩
Accès au bibtex
BibTex
titre
High Performance Composition Operators in Component Models
auteur
Julien Bigot, Christian Pérez
article
Ian Foster, Wolfgang Gentzsch, Lucio Grandinetti, Gerhard R. Joubert. High Performance Computing: From Grids and Clouds to Exascale, 20, IOS Press, pp.182 - 201, 2011, Advances in Parallel Computing, 978-1-60750-802-1. ⟨10.3233/978-1-60750-803-8-182⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00692584/file/ohpcocm.pdf BibTex
titre
Combinatorial problems in a parallel hybrid linear solver
auteur
Ichitaro Yamazaki, Xiaoye S. Li, François-Henry Rouet, Bora Uçar
article
M. Beckers and J. Lotz and V. Mosenkis and U. Naumann. Abstracts of the 5th SIAM Workshop on Combinatorial Scientific Computing, SIAM, pp.87--89, 2011, Technical Report
Accès au bibtex
BibTex
titre
Parallel Computation of entries of A-1
auteur
Patrick Amestoy, Iain S. Duff, Jean-Yves l'Excellent, François-Henry Rouet, Bora Uçar
article
M. Beckers; J. Lotz; V. Mosenkis; U. Naumann. Abstracts of the 5th SIAM Workshop on Combinatorial Scientific Computing, SIAM: Society for Industrial and Applied Mathematics, pp.55--58, 2011, Technical Report
Accès au bibtex
BibTex
titre
On the Use of Cluster-Based Partial Message Logging to Improve Fault Tolerance for MPI HPC Applications
auteur
Thomas Ropars, Amina Guermouche, Bora Uçar, Esteban Meneses, Laxmikant Kale, Franck Cappello
article
Jeannot, Emmanuel and Namyst, Raymond and Roman, Jean. Euro-Par 2011 Parallel Processing, 6852, Springer Berlin / Heidelberg, pp.567-578, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786558/file/ClusterBased.pdf BibTex
titre
Symmetric Determinantal Representation of Formulas and Weakly Skew Circuits
auteur
Bruno Grenet, Erich Kaltofen, Pascal Koiran, Natacha Portier
article
Leonid Gurvits, Philippe Pebay, J. Maurice Rojas, David Thompson. Randomization, Relaxation, and Complexity in Polynomial Equation Solving, Amer. Math. Soc., pp.61-96, 2011, Contemporary Mathematics, 978-0-8218-5228-6. ⟨10.1090/conm/556⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00504925/file/preprint111024.pdf BibTex

Directions of work or proceedings

titre
Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20)
auteur
Thomas Ehrhard, Claudia Faggian, Olivier Laurent
article
Elsevier, pp.240, 2011
Accès au bibtex
BibTex
titre
Special issue on ISPDC'2009 and HeteroPar'2009
auteur
Yves Robert, Leonel Sousa, Denis Trystram
article
Yves Robert and Leonel Sousa and Denis Trystram. Parallel Computing 37, 8, pp.327-498, 2011
Accès au bibtex
BibTex
titre
Special issue of Parallel Computing on ISPDC'2009 and HeteroPar'2009
auteur
Yves Robert, Leonel Sousa, Denis Trystram
article
Yves Robert, Leonel Sousa, et Denis Trystram. 37, ELSEVIER, pp.170, 2011, Parallel Computing
Accès au bibtex
BibTex
titre
Euro-Par 2010 Parallel Processing Workshops - HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers
auteur
M. Guarracino, Frédéric Vivien, Jesper Larsson Träff, Mario Cannatoro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Beniamino Di Martino, Michael Alexander
article
Mario R. Guarracino, Frédéric Vivien, Jesper Larsson Träff, Mario Cannatoro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Beniamino Di Martino and Michael Alexander. France. Springer, pp.700, 2011
Accès au bibtex
BibTex
titre
Special issue on Advances in scheduling for large-scale distributed platforms
auteur
Loris Marchal, Frédéric Vivien
article
Loris Marchal and Frédéric Vivien. Parallel Computing 37, 11, pp.693-729, 2011
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Euclidean lattices: algorithms and cryptography
auteur
Damien Stehlé
article
Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00645387/file/HDR_full.pdf BibTex

Other publications

titre
Des triangles pour mesurer la cohésion sociale : Fellows, une expérimentation sur Facebook
auteur
Adrien Friggeri, Eric Fleury
article
2011
Accès au bibtex
BibTex
titre
Two demos using SensLAB: Very Large Scale Open WSN Testbed
auteur
Clément Burin Des Rosiers, Guillaume Chelius, Tony Ducrocq, Eric Fleury, Antoine Fraboulet, Antoine Gallais, Nathalie Mitton, Thomas Noel, Erkan Valentin, Julien Vandaële
article
2011
Accès au bibtex
BibTex
titre
Data Management API within the GridRPC
auteur
Yves Caniou, Eddy Caron, Gaël Le Mahec, Hidemoto Nakada
article
2011, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427708/file/GFD.186.pdf BibTex
titre
Green Networking for Exascale Systems
auteur
Mohammed El Mehdi Diouri, Olivier Glück, Laurent Lefèvre
article
2011
Accès au bibtex
BibTex
titre
Efficient algorithms for verified scientific computing: Numerical linear algebra using interval arithmetic
auteur
Hong Diep Nguyen
article
2011
Accès au bibtex
BibTex
titre
Monitoring Energy Consumption in clouds: the CompatibleOne experience
auteur
Laurent Lefevre, Olivier Mornard, Jean-Patrick Gelas, Maxime Morel
article
2011
Accès au bibtex
BibTex

Books

titre
Computing Networks: From Cluster to Cloud Computing
auteur
Pascale Vicat-Blanc Primet, Brice Goglin, Romaric Guillier, Sebastien Soudan
article
Wiley-ISTE, pp.261, 2011, 978-1-84821-286-2. ⟨10.1002/9781118602003⟩
Accès au bibtex
BibTex

Reports

titre
A journey through resource control lambda calculi and explicit substitution using intersection types (an account)
auteur
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
article
2011, pp.40
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00823621/file/journey.pdf BibTex
titre
Using replication for resilience on exascale systems
auteur
Marin Bougeret, Henri Casanova, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
[Research Report] RR-7830, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00650325/file/RR-7830.pdf BibTex
titre
Extracting Herbrand trees from Coq
auteur
Lionel Rieg
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00814115/file/tech-report2010.pdf BibTex
titre
SIPE: Small Integer Plus Exponent
auteur
Vincent Lefèvre
article
[Research Report] RR-7832, INRIA. 2011, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00650659/file/RR-7832.pdf BibTex
titre
Building Safe PaaS Clouds: a Survey on Security in Multitenant Software Platforms
auteur
Luis Rodero-Merino, Luis Vaquero, Eddy Caron, Frédéric Desprez, Adrian Muresan
article
[Research Report] RR-7838, INRIA. 2011, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00657306/file/RR-7838.pdf BibTex
titre
Using Clouds to Scale Grid Resources: An Economic Model
auteur
Luis Rodero-Merino, Eddy Caron, Frédéric Desprez, Adrian Muresan
article
[Research Report] RR-7837, INRIA. 2011, pp.34
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00657309/file/RR-7837.pdf BibTex
titre
Divergence Analysis with Affine Constraints
auteur
Diogo Sampaio, Rafael Martins, Fernando Magno Quintão Pereira, Caroline Collange, Fernando Magno, Quintão Pereira
article
[Research Report] ENS Lyon. 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00650235/file/Sampaio_DivergenceAnalysisAffine_SBAC12.pdf BibTex
titre
Partitioning, Ordering, and Load Balancing in a Hierarchically Parallel Hybrid Linear Solver
auteur
Ichitaro Yamazaki, Xiaoye Li, François-Henry Rouet, Bora Uçar
article
[Research Report] 2011, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00797207/file/reportPDSLin.pdf BibTex
titre
Virtual Machine Resource Allocation for Service Hosting on Heterogeneous Distributed Platforms
auteur
Henri Casanova, Mark Stillwell, Frédéric Vivien
article
[Research Report] RR-7772, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00634522/file/RR-7772.pdf BibTex
titre
Generalized Optimization Framework for Graph-based Semi-supervised Learning
auteur
Konstantin Avrachenkov, Paulo Gonçalves, Alexey Mishenin, Marina Sokol
article
[Research Report] RR-7774, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00633818/file/RR-7774.pdf BibTex
titre
Towards Scalable, Accurate, and Usable Simulations of Distributed Applications and Systems
auteur
Olivier Beaumont, Laurent Bobelin, Henri Casanova, Pierre-Nicolas Clauss, Bruno Donassolo, Lionel Eyraud-Dubois, Stéphane Genaud, Sascha Hunold, Arnaud Legrand, Martin Quinson, Cristian Rosa, Lucas Schnorr, Mark Stillwell, Frédéric Suter, Christophe Thiery, Pedro Velho, Jean-Marc Vincent, Young Won
article
[Research Report] RR-7761, INRIA. 2011, pp.36
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00631141/file/RR-7761.pdf BibTex
titre
Assouplir les contraintes des architectures SIMT à faible coût
auteur
Nicolas Brunie, Caroline Collange
article
[Rapport de recherche] ENS Lyon. 2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649186/file/minpc_tr.pdf BibTex
titre
Parallel Copy Elimination on Data Dependence Graphs
auteur
Florian Brandner, Quentin Colombet
article
[Research Report] RR-7735, INRIA. 2011, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00625131/file/RR-7735.pdf BibTex
titre
Elementary linear logic revisited for polynomial time and an exponential time hierarchy (extended version)
auteur
Patrick Baillot
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00624742/file/EllPtime_Long190911.pdf BibTex
titre
Stack-less SIMT reconvergence at low cost
auteur
Caroline Collange
article
[Research Report] ENS Lyon. 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00622654/file/Collange_StackLessSIMT_TR11.pdf BibTex
titre
Maximizing the Cohesion is NP-hard
auteur
Adrien Friggeri, Eric Fleury
article
[Research Report] RR-7734, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00621065/file/RR-7734.pdf BibTex
titre
Optimal algorithms and approximation algorithms for replica placement with distance constraints in tree networks
auteur
Anne Benoit, Hubert Larchevêque, Paul Renaud-Goud
article
[Research Report] RR-7750, INRIA. 2011, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00630292/file/RR-7750.pdf BibTex
titre
Kernel Offloading with Optimized Remote Accesses
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
[Research Report] RR-7697, INRIA. 2011, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00611179/file/RR-7697.pdf BibTex
titre
Simplification of Boolean Affine Formulas
auteur
Paul Feautrier
article
[Research Report] RR-7689, INRIA. 2011, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609519/file/RR-7689.pdf BibTex
titre
Triangles to Capture Social Cohesion
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
[Research Report] RR-7686, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00608889/file/RR-7686.pdf BibTex
titre
FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
[Research Report] RR-7674, INRIA. 2011, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606977/file/RR-7674.pdf BibTex
titre
Dynamic Fractional Resource Scheduling vs. Batch Scheduling
auteur
Henri Casanova, Mark Stillwell, Frédéric Vivien
article
[Research Report] RR-7659, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00603091/file/RR-7659.pdf BibTex
titre
Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
[Research Report] RR-7648, INRIA. 2011, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601822/file/RR-7648.pdf BibTex
titre
An RMS for Non-predictably Evolving Applications
auteur
Cristian Klein, Christian Pérez
article
[Research Report] RR-7644, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00599150/file/main.good.pdf BibTex
titre
Time-Independent Trace Acquisition Framework -- A Grid'5000 How-to
auteur
George Markomanolis, Frédéric Suter
article
[Technical Report] RT-0407, INRIA. 2011, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00593842/file/RR-0407.pdf BibTex
titre
Checkpointing strategies for parallel jobs
auteur
Marin Bougeret, Henri Casanova, Mikael Rabie, Yves Robert, Frédéric Vivien
article
[Research Report] RR-7520, INRIA. 2011, pp.45
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00560582/file/RR-7520.pdf BibTex
titre
Computing Liveness Sets for SSA-Form Programs
auteur
Florian Brandner, Benoit Boissinot, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
article
[Research Report] RR-7503, INRIA. 2011, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00558509/file/RR-7503.pdf BibTex
titre
Energy-aware mappings of series-parallel workflows onto chip multiprocessors
auteur
Anne Benoit, Rami Melhem, Paul Renaud-Goud, Yves Robert
article
[Research Report] RR-7521, INRIA. 2011, pp.40
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00560707/file/RR-7521.pdf BibTex
titre
Reclaiming the energy of a schedule: models and algorithms
auteur
Guillaume Aupy, Anne Benoit, Fanny Dufossé, Yves Robert
article
[Research Report] RR-7598, INRIA. 2011, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00584944/file/RR-7598.pdf BibTex
titre
Tiled QR factorization algorithms
auteur
Henricus Bouwmeester, Mathias Jacquelin, Julien Langou, Yves Robert
article
[Research Report] RR-7601, INRIA. 2011, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00585721/file/RR-7601.pdf BibTex
titre
Models and complexity results for performance and energy optimization of concurrent streaming applications
auteur
Anne Benoit, Paul Renaud-Goud, Yves Robert
article
[Research Report] RR-7589, INRIA. 2011, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00583123/file/RR-7589.pdf BibTex
titre
Univariate and bivariate integral roots certificates based on Hensel's lifting
auteur
Érik Martin-Dorel
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00575673/file/RRLIP2011-1.pdf BibTex
titre
Composite Iterative Algorithm and Architecture for q-th Root Calculation
auteur
Alvaro Vazquez, Javier Bruguera
article
[Research Report] RR-7564, INRIA. 2011, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00575573/file/RR-7564.pdf BibTex
titre
RPO Semantics for Mobile Ambients
auteur
Filippo Bonchi, Fabio Gadducci, Valentina Monreale
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00573001/file/LTSMA.pdf BibTex
titre
Comparing archival policies for Blue Waters
auteur
Franck Cappello, Mathias Jacquelin, Loris Marchal, Yves Robert, Marc Snir
article
[Research Report] RR-7583, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00580599/file/RR-7583.pdf BibTex
titre
On partitioning problems with complex objectives
auteur
Kamer Kaya, François-Henry Rouet, Bora Uçar
article
[Research Report] RR-7546, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00567129/file/RR-7546.pdf BibTex
titre
Egomunities, Exploring Socially Cohesive Person-based Communities
auteur
Adrien Friggeri, Guillaume Chelius, Eric Fleury
article
[Research Report] RR-7535, INRIA. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00565336/file/RR-7535.pdf BibTex
titre
Workload balancing and throughput optimization for heterogeneous systems subject to failures
auteur
Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, Laurent Philippe
article
[Research Report] RR-7532, INRIA. 2011, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00565151/file/RR-7532.pdf BibTex
titre
Computing the throughput of probabilistic and replicated streaming applications
auteur
Anne Benoit, Matthieu Gallet, Bruno Gaujal, Yves Robert
article
[Research Report] RR-7510, INRIA. 2011, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00555890/file/RR-7510.pdf BibTex
titre
Reliability and performance optimization of pipelined real-time systems
auteur
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert
article
[Research Report] RR-7509, INRIA. 2011, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00555546/file/RR-7509.pdf BibTex
titre
Identifying scalar behavior in CUDA kernels
auteur
Caroline Collange
article
[Research Report] ENS Lyon. 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00555134/file/Collange_ScalarizingCompiler_TR11.pdf BibTex
titre
Affine Vector Cache for memory bandwidth savings
auteur
Caroline Collange, Alexandre Kouyoumdjian
article
[Research Report] ENS de Lyon. 2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649200/file/Collange_AffineVectorCache_TR13.pdf BibTex
titre
Bernstein's Conditions
auteur
Paul Feautrier
article
[Research Report] ENS Lyon. 2011, pp.1-9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01930890/file/bernstein.pdf BibTex
titre
Experiments on push-relabel-based maximum cardinality matching algorithms for bipartite graphs
auteur
Kamer Kaya, Johannes Langguth, Fredrik Manne, Bora Uçar
article
[Research Report] TR/PA/11/33, 2011
Accès au bibtex
BibTex

Theses

titre
Complexity issues in counting, polynomial evaluation and zero finding
auteur
Irénée Briquel
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0693⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00665782/file/BRIQUEL_IrA_nA_e_2011_ThA_se.pdf BibTex
titre
Efficient computation with structured matrices and arithmetic expressions
auteur
Christophe Mouilleron
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0652⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00688388/file/MOUILLERON_Christophe_2011_These.pdf BibTex
titre
Large Scale Parallel Inference of Protein and Protein Domain families
auteur
Clément Rezvoy
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0643⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00682495/file/REZVOY_Clement_2011_These.pdf BibTex
titre
An Energy-Efficient Reservation Framework for Large-Scale Distributed Systems
auteur
Anne-Cécile Orgerie
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0640⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00672130/file/ORGERIE_Anne-Cecile_2011_These.pdf BibTex
titre
Rigorous Polynomial Approximations and Applications
auteur
Mioara Maria Joldes
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0655⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00657843/file/JOLDES_Mioara_-_Maria_2011_These.pdf BibTex
titre
High-performance floating-point computing on reconfigurable circuits
auteur
Bogdan Mihai Pasca
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0656⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00654121/file/PASCA_Bogdan_2011_-_These.pdf BibTex
titre
Scheduling for Reliability : complexity and Algorithms
auteur
Fanny Dufossé
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0635⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00660236/file/DUFOSSE_Fanny_2011_These.pdf BibTex
titre
Memory-aware algorithms : from multicores to large scale platforms
auteur
Mathias Jacquelin
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0633⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00662525/file/JACQUELIN_Mathias_2011_These.pdf BibTex
titre
On the lambda calculus with constructors
auteur
Barbara Petit
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0628⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00662500/file/PETIT_Barbara_2011_These.pdf BibTex
titre
Dynamically provisioned virtual infrastructures : specification, allocation and execution
auteur
Guilherme Piêgas Koslovski
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0631⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00661619/file/Koslovski_Guilherme_these_2011.pdf BibTex
titre
Network virtualization: performance, sharing and applications
auteur
Anhalt Fabienne
article
Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0630⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00793367/file/these-FabienneAnhalt.pdf BibTex
titre
Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic
auteur
Hong Diep Nguyen
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0617⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00680352/file/NGUYEN_Hong_-_Diep_2011_These.pdf BibTex

Preprints, Working Papers, ...

titre
Resource control and strong normalisation (old version)
auteur
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00690095/file/resource_SN.pdf BibTex
titre
Resource control and strong normalisation
auteur
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00651985/file/ressources.pdf BibTex
titre
Les crashs sont rationnels
auteur
Pierre Lescanne
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00646546/file/crash_rat.pdf BibTex
titre
Power-aware Manhattan routing on chip multiprocessors
auteur
Anne Benoit, Rami Melhem, Paul Renaud-Goud, Yves Robert
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629804/file/RR-7752.pdf BibTex
titre
A Survey of Pipelined Workflow Scheduling: Models and Algorithms
auteur
Anne Benoit, Umit Catalyurek, Yves Robert, Erik Saule
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00521712/file/RR-LIP-2010-28-v2.pdf BibTex
titre
On the Representation of Stream Functions in Denotational Domains
auteur
Colin Riba
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00617624/file/main.pdf BibTex
titre
Service discovery system: Load balancing mechanisms.
auteur
Eddy Caron, Cédric Tedeschi
article
2011
Accès au bibtex
BibTex
titre
Rationality and Escalation in Infinite Extensive Games
auteur
Pierre Lescanne
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00594744/file/long.pdf BibTex
titre
Combinatorial problems in solving linear systems
auteur
Iain Duff, Bora Uçar
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00411638/file/isdbu.pdf BibTex
titre
Applying causality principles to the axiomatization of probabilistic cellular automata
auteur
Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
article
2011
Accès au bibtex
https://arxiv.org/pdf/1102.0860 BibTex
titre
Termination of Threads with Shared Memory via Infinitary Choice
auteur
Paolo Tranquilli
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00573690/file/lambdainf.pdf BibTex