2011

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, 2011, 5 (4), pp.437-467
Accès au bibtex

titre: SYNCHRONIZATION OF TWO INTERACTING FINITE AUTOMATA
auteur: Jacques Mazoyer
article: International Journal of Algebra and Computation, 2011, 05 (03), pp.289-308. ⟨10.1142/S0218196795000173⟩
Accès au bibtex

titre: Intuitionistic Dual-intuitionistic Nets
auteur: Olivier Laurent
article: Journal of Logic and Computation, 2011, 21 (4), pp.561-587. ⟨10.1093/logcom/exp044⟩
Accès au bibtex

titre: Designing Custom Arithmetic Data Paths with FloPoCo
auteur: Florent de Dinechin, Bogdan Pasca
article: IEEE Design & Test, 2011, 28, pp.18-27
Accès au bibtex

titre: Immunetworks", intersecting circuits and dynamics
auteur: Jacques Demongeot, Adrien Elena, Mathilde Noual, Sylvain Sené, Florence Thuderoz
article: Journal of Theoretical Biology, 2011, 280 (1), pp.19--33. ⟨10.1016/j.jtbi.2011.03.023⟩
Accès au texte intégral et 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, 2011, 77 (4), pp.820-833. ⟨10.1016/j.jcss.2010.08.010⟩
Accès au texte intégral et bibtex

titre: Stochastic minority on graphs
auteur: Jean-Baptiste Rouquier, Damien Regnault, Eric Thierry
article: Theoretical Computer Science, 2011, 412 (30), pp.3947-3963. ⟨10.1016/j.tcs.2011.02.028⟩
Accès au 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, 2011, 25 (3), pp.295-303. ⟨10.1177/1094342011414745⟩
Accès au texte intégral et 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, 2011, 2 (60), pp.145-150. ⟨10.4267/2042/45459⟩
Accès au bibtex

titre: ERIDIS: Energy-efficient Reservation Infrastructure for large-scale DIstributed Systems
auteur: Anne-Cécile Orgerie, Laurent Lefèvre
article: Parallel Processing Letters, 2011, 21 (2), pp.133-154
Accès au 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 (ACS), 2011, 14 (3), pp.415-438. ⟨10.1142/S0219525911002950⟩
Accès au texte intégral et bibtex

titre: Interpolation in Valiant’s Theory
auteur: Pascal Koiran, Sylvain Perifel
article: Computational Complexity, 2011, 20 (1), pp.1-20. ⟨10.1007/s00037-011-0002-8⟩
Accès au 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, 2011, 34 (5), pp.609--618. ⟨10.1016/j.comcom.2010.06.005⟩
Accès au texte intégral et 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, 2011, 59, S1, pp.33. ⟨10.1016/j.respe.2011.02.055⟩
Accès au bibtex

titre: Semantics of Typed Lambda-Calculus with Constructors
auteur: Barbara Petit
article: Logical Methods in Computer Science, 2011, 7 (1:2), pp.1-24. ⟨10.2168/LMCS-7(1:2)2010⟩
Accès au 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, 2011, 9 (1), pp.27-47. ⟨10.1007/s10723-010-9168-6⟩
Accès au texte intégral et 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, 2011, 34 (8), pp.962-972. ⟨10.1016/j.comcom.2011.02.003⟩
Accès au texte intégral et bibtex

titre: Exact and Approximated error of the FMA
auteur: Sylvie Boldo, Jean-Michel Muller
article: IEEE Transactions on Computers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩
Accès au texte intégral et 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, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩
Accès au 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, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩
Accès au texte intégral et 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, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩
Accès au texte intégral et bibtex

titre: Light logics and optimal reduction: Completeness and complexity
auteur: Patrick Baillot, Paolo Coppola, Ugo Dal Lago
article: Information and Computation, 2011, 209 (2), pp.118-142. ⟨10.1016/j.ic.2010.10.002⟩
Accès au bibtex

titre: Performing Arithmetic Operations on Round-to-Nearest Representations
auteur: Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux
article: IEEE Transactions on Computers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩
Accès au texte intégral et bibtex

titre: On the expressive power of CNF formulas of bounded tree- and clique-width
auteur: Irenée Briquel, Pascal Koiran, Klaus Meer
article: Discrete Applied Mathematics, 2011, 159 (1), pp.1-14. ⟨10.1016/j.dam.2010.09.007⟩
Accès au bibtex

titre: Differentiation of Kaltofen's division-free determinant algorithm
auteur: Gilles Villard
article: Journal of Symbolic Computation, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩
Accès au texte intégral et bibtex

titre: Bulking II: Classifications of cellular automata
auteur: Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
article: Theoretical Computer Science, 2011, 412 (30), pp.3881-3905. ⟨10.1016/j.tcs.2011.02.024⟩
Accès au bibtex

titre: A Real-World Spreading Experiment in the Blogosphere
auteur: Adrien Friggeri, Jean-Philippe Cointet, Matthieu Matthieu Latapy
article: Complex Systems , 2011, 19 (3)
Accès au 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, 2011, 37 (8), pp.331-348. ⟨10.1016/j.parco.2010.09.005⟩
Accès au 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, 2011, 23 (2), pp.145--157. ⟨10.1002/cpe.1634⟩
Accès au texte intégral et 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, 2011, 39 (5), pp.584-614. ⟨10.1007/s10766-011-0165-6⟩
Accès au 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, 2011, 16 (5), pp.878-883. ⟨10.1109/TMECH.2011.2161324⟩
Accès au texte intégral et 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, 2011, 27 (2), pp.333-361. ⟨10.1080/15326349.2011.567935⟩
Accès au 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, 2011, 37 (8), pp.365-378. ⟨10.1016/j.parco.2010.03.001⟩
Accès au texte intégral et 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, 2011, 49 (12), pp.84-93. ⟨10.1109/MCOM.2011.6094010⟩
Accès au bibtex

titre: Preventive migration vs. preventive checkpointing for extreme scale supercomputers
auteur: Franck Cappello, Henri Casanova, Yves Robert
article: Parallel Processing Letters, 2011, 21 (2), pp.111-132
Accès au bibtex

titre: Solving and Certifying the Solution of a Linear System
auteur: Hong Diep Nguyen, Nathalie Revol
article: Reliable Computing, 2011, 15 (2), pp.120-131
Accès au texte intégral et bibtex

titre: On the Number of Binary-Minded Individuals Required To Compute $\sqrt\frac12$
auteur: Olivier Bournez, Guillaume Aupy
article: Theoretical Computer Science, 2011, 411 (22), pp.2262--2267. ⟨10.1016/j.tcs.2011.01.003⟩
Accès au texte intégral et bibtex

titre: Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation
auteur: Gilles Villard
article: Journal of Symbolic Computation, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩
Accès au texte intégral et 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, 2011, 11 (1-2), pp.1-34
Accès au bibtex

titre: Scheduling streaming applications on a complex multicore platform
auteur: Tudor David, Mathias Jacquelin, Loris Marchal
article: Concurrency and Computation: Practice and Experience, 2011, ⟨10.1002/cpe.1874⟩
Accès au bibtex

titre: One-Dimensional Quantum Cellular Automata
auteur: Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
article: International Journal of Unconventional Computing, 2011, 7 (4), pp.223-244
Accès au 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, 2011, 30 (5), pp.515-538. ⟨10.3166/tsi.30.515-538⟩
Accès au 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, 2011, 412 (16), pp.1523-1543. ⟨10.1016/j.tcs.2010.11.052⟩
Accès au texte intégral et bibtex

titre: Existential witness extraction in classical realizability and via a negative translation
auteur: Alexandre Miquel
article: Logical Methods in Computer Science, 2011, 7 (2), pp.LMCS-7(2:2). ⟨10.2168/LMCS-7(2:2)2011⟩
Accès au 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, 2011, 22 (3), pp.621-638. ⟨10.1142/S012905411100826X⟩
Accès au 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, 2011, 57 (9), pp.5933-5945. ⟨10.1109/TIT.2011.2162180⟩
Accès au 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, 2011, 9, pp.49 - 64. ⟨10.1007/s10723-010-9178-4⟩
Accès au bibtex

titre: Unitarity plus causality implies localizability
auteur: Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
article: Journal of Computer and System Sciences, 2011, 77 (2), pp.372-378. ⟨10.1016/j.jcss.2010.05.004⟩
Accès au bibtex

titre: Quantitative Kleene coalgebras
auteur: Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva
article: Information and Computation, 2011, 209 (5), pp.822-849. ⟨10.1016/j.ic.2010.09.007⟩
Accès au bibtex

titre: Design, implementation, and analysis of maximum transversal algorithms
auteur: Iain Duff, Kamer Kaya, Bora Uçar
article: ACM Transactions on Mathematical Software, 2011, 38, pp.13:1--13:31. ⟨10.1145/2049673.2049677⟩
Accès au texte intégral et 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, 2011, 46 (3), pp.222-245
Accès au 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, 2011
Accès au 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, 2011, 6449, pp.151-161. ⟨10.1007/978-3-642-19328-6_16⟩
Accès au texte intégral et 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, 2011, 28 (4), pp.259-266. ⟨10.1055/s-0030-1268713⟩
Accès au bibtex

titre: Bulking I: an Abstract Theory of Bulking
auteur: Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
article: Theoretical Computer Science, 2011, 412 (30), pp.3866-3880. ⟨10.1016/j.tcs.2011.02.023⟩
Accès au bibtex

titre: Mapping workflow applications with types on heterogeneous specialized platforms
auteur: Anne Benoit, Alexandru Dobrila, Laurent Philippe, Jean-Marc Nicod
article: Parallel Computing, 2011, ⟨10.1016/j.parco.2010.12.001⟩
Accès au 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, 2011, 22, pp.1632--1640. ⟨10.1109/TPDS.2011.32⟩
Accès au 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, 2011, 23 (12), pp.4318-433. ⟨10.1105/tpc.111.092619⟩
Accès au texte intégral et 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, 2011, 58 (8), pp.2186-2193. ⟨10.1109/TBME.2011.2121906⟩
Accès au bibtex

titre: On Decidability Properties of One-Dimensional Cellular Automata
auteur: Olivier Finkel
article: Journal of Cellular Automata, 2011, 6 (2-3), pp.181-193
Accès au texte intégral et 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, 2011, 25 (3), pp.261-273. ⟨10.1177/1094342011414742⟩
Accès au bibtex

titre: On the estimation of the large deviations spectrum
auteur: Julien Barral, Paulo Gonçalves
article: Journal of Statistical Physics, 2011, 144, X-Editorial-Board = yes, X-International-Audience = yes (6), pp.1256-1283. ⟨10.1007/s10955-011-0296-6⟩
Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Complex Networks Emerging From Large Dynamic Databases: New Mathematical and Computational Tools
auteur: Eric Fleury, Bertrand Jouve, Matthieu Matthieu Latapy
article: ERA-NET CHIST-ERA: From Data to New Knowledge, Sep 2011, Cork, Ireland
Accès au 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

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

titre: FPGA-Specific Arithmetic Optimizations of Short-Latency Adders
auteur: Hong Diep Nguyen, Bogdan Pasca, Thomas B. 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

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

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

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

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

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

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

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

titre: On partitioning problems with complex objectives
auteur: Kamer Kaya, François-Henry Rouet, 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

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

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

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

titre: Community detection with fuzzy community structure
auteur: Qinna Wang, Eric Fleury
article: ASONAM 2011, Jul 2011, Kaohsiung, Taiwan
Accès au 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

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

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

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

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

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

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

titre: Integrated data placement and task assignment for scientific workflows in clouds
auteur: Umit V. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Grouping variables in Frontal Matrices to improve Low-Rank Approximations in a Multifrontal Solver
auteur: Clément 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), INRIA Bordeaux Sud-Ouest; ENSEIRB; University of Bordeaux 1, May 2011, Bordeaux, France
Accès au texte intégral et 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), INRIA Bordeaux Sud-Ouest; ENSEIRB; University of Bordeaux 1, May 2011, Bordeaux, France
Accès au texte intégral et 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

titre: On-Line Optimization of Publish/Subscribe Overlays
auteur: Eddy Caron, Ajoy K. Datta, Benjamin Depardon, Lawrence L. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Shallow Circuits with High-Powered Inputs
auteur: Pascal Koiran
article: ICS 2011, Jan 2011, Beijing, China
Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion
auteur: Giulio Manzonetto, Michele Pagani
article: 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011), 2011, Oxford, United Kingdom. pp.153-168, ⟨10.1007/978-3-642-21691-6_14⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Hypergraph Partitioning
auteur: Umit V. 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

titre: The minimum degree ordering with dynamical constraints
auteur: Patrick Amestoy, Alfredo Buttari, Abdou Guermouche, Jean-Yves L'Excellent, Bora Uçar
article: Markus Beckers; Johannes Lotz; Viktor Mosenkis; Uwe Naumann. Abstracts of the 5th SIAM Workshop on Combinatorial Scientific Computing, SIAM, pp.36-38, 2011, Technical Report
Accès au 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

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

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, 978-0-387-09765-7. ⟨10.1007/978-0-387-09766-4_86⟩
Accès au 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

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

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, 978-0-387-09766-4. ⟨10.1007/978-0-387-09766-4_204⟩
Accès au 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

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

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

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

titre: Green Networking for Exascale Systems
auteur: Mohammed El Mehdi Diouri, Olivier Glück, Laurent Lefèvre
article: 2011
Accès au bibtex

titre: Efficient algorithms for verified scientific computing: Numerical linear algebra using interval arithmetic
auteur: Hong Diep Nguyen
article: 2011
Accès au 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

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

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

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. ELSEVIER, 37, pp.170, 2011, Parallel Computing
Accès au 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

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

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. Springer, pp.700, 2011
Accès au 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

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

titre: Extracting Herbrand trees from Coq
auteur: Lionel Rieg
article: 2011
Accès au texte intégral et 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

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

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

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

titre: Partitioning, Ordering, and Load Balancing in a Hierarchically Parallel Hybrid Linear Solver
auteur: Ichitaro Yamazaki, Xiaoye S. Li, François-Henry Rouet, Bora Uçar
article: [Research Report] 2011, pp.22
Accès au texte intégral et 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

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

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 J. Won
article: [Research Report] RR-7761, INRIA. 2011, pp.36
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre: RPO Semantics for Mobile Ambients
auteur: Filippo Bonchi, Fabio Gadducci, Valentina Monreale
article: 2011
Accès au texte intégral et 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

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

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

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

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

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

titre: Identifying scalar behavior in CUDA kernels
auteur: Caroline Collange
article: [Research Report] ENS Lyon. 2011
Accès au texte intégral et 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

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

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

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; City university of Hong Kong, 2011. English. ⟨NNT : 2011ENSL0693⟩
Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

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

titre: Les crashs sont rationnels
auteur: Pierre Lescanne
article: 2011
Accès au texte intégral et 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

titre: A Survey of Pipelined Workflow Scheduling: Models and Algorithms
auteur: Anne Benoit, Umit V. Catalyurek, Yves Robert, Erik Saule
article: 2011
Accès au texte intégral et bibtex

titre: On the Representation of Stream Functions in Denotational Domains
auteur: Colin Riba
article: 2011
Accès au texte intégral et bibtex

titre: Service discovery system: Load balancing mechanisms.
auteur: Eddy Caron, Cédric Tedeschi
article: 2011
Accès au bibtex

titre: Rationality and Escalation in Infinite Extensive Games
auteur: Pierre Lescanne
article: 2011
Accès au texte intégral et bibtex

titre: Combinatorial problems in solving linear systems
auteur: Iain Duff, Bora Uçar
article: 2011
Accès au texte intégral et 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

titre: Termination of Threads with Shared Memory via Infinitary Choice
auteur: Paolo Tranquilli
article: 2011
Accès au texte intégral et bibtex