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

2012

Journal articles

titre
On the strength of weak compactness
auteur
Alexander P. Kreuzer
article
Computability, IOS Press, 2012, 1 (2), pp.171-179. ⟨10.3233/COM-12010⟩
Accès au bibtex
BibTex
titre
Intersection Types with Subtyping by Means of Cut Elimination
auteur
Olivier Laurent
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 121 (1-4), pp.203-226. ⟨10.3233/FI-2012-776⟩
Accès au bibtex
BibTex
titre
A logical analysis of the generalized Banach contractions principle
auteur
Alexander P. Kreuzer
article
Journal of Logic and Analysis, 2012, 4, 17, p. 1-16. ⟨10.4115/jla.2012.4.17⟩
Accès au bibtex
BibTex
titre
L'émergence du Green-IT, pour une informatique plus verte
auteur
Laurent Lefèvre, Bel Dumé
article
Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813198/file/L_A_mergence_du_Green-IT_pour_une_informatique_plus_verte.pdf BibTex
titre
Notre environnement s'est peuplé d'objets communicants
auteur
Isabelle Bellin, Eric Fleury
article
Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813235/file/Notre_environnement_s_est_peuplA_d_objets_communicants.pdf BibTex
titre
Algorithms for combinatorial structures: Well-founded systems and Newton iterations.
auteur
Carine Pivoteau, Bruno Salvy, Michele Soria
article
Journal of Combinatorial Theory, Series A, Elsevier, 2012, 119 (8), pp.1711-1773. ⟨10.1016/j.jcta.2012.05.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00622853/file/newtonOracleLong.pdf BibTex
titre
L'essor et l'accessibilité du calcul distribué
auteur
Bel Dumé, Frédéric Desprez, Yves Robert
article
Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813227/file/L_essor_et_l_accessibilitA_du_calcul_distribuA_.pdf BibTex
titre
Les calculs sur ordinateurs de plus en plus fiables et sûrs
auteur
Bel Dumé, Jean-Michel Muller
article
Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813205/file/Les_calculs_sur_ordinateurs_de_plus_en_plus_fiables_et_sA_rs.pdf BibTex
titre
Reliability of task graph schedules with transient and fail-stop failures: complexity and algorithms
auteur
Anne Benoit, Louis-Claude Canon, Emmanuel Jeannot, Yves Robert
article
Journal of Scheduling, Springer Verlag, 2012, 15 (5), pp.615-627. ⟨10.1007/s10951-011-0236-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00653477/file/JoS_rev1.pdf BibTex
titre
Literacy for all in parallel and distributed computing: guidelines for an undergraduate core curriculum
auteur
Sushil Prasad, Anshul Gupta, Krishna Kant, Andrew Lumsdaine, David Padua, Yves Robert, Arnold Rosenberg, Alan Sussman, Charles Weems
article
CSI Journal of Computing, Computer Society of India, 2012, 1 (2), pp.82-95
Accès au bibtex
BibTex
titre
A Presheaf Environment for the Explicit Fusion Calculus
auteur
Filippo Bonchi, Buscemi Maria Grazia, Ciancia Vincenzo, Fabio Gadducci
article
Journal of Automated Reasoning, Springer Verlag, 2012, 49 (2), pp.161-183
Accès au bibtex
BibTex
titre
On computing inverse entries of a sparse matrix in an out-of-core environment
auteur
Patrick Amestoy, Iain S. Duff, Jean-Yves l'Excellent, Yves Robert, François-Henry Rouet, Bora Uçar
article
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2012, 34 (4), pp.A1975--A1999
Accès au bibtex
BibTex
titre
The functions erf and erfc computed with arbitrary precision and explicit error bounds
auteur
Sylvain Chevillard
article
Information and Computation, Elsevier, 2012, 216, pp.72 -- 95. ⟨10.1016/j.ic.2011.09.001⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00356709/file/RR2009-04.pdf BibTex
titre
Large deviations estimates for the multiscale analysis of heart rate variability
auteur
Patrick Loiseau, Claire Médigue, Paulo Gonçalves, Najmeddine Attia, Stéphane Seuret, François Cottin, Denis Chemla, Michel Sorine, Julien Barral
article
Physica A: Statistical Mechanics and its Applications, Elsevier, 2012, 391 (22), pp.5658-5671. ⟨10.1016/j.physa.2012.05.069⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00725380/file/PhysicaA-May21-submitted.pdf BibTex
titre
Untyping Typed Algebras and Colouring Cyclic Linear Logic (expanded)
auteur
Damien Pous
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, ⟨10.2168/LMCS-8(2:13)2012⟩
Accès au bibtex
https://arxiv.org/pdf/1205.3612 BibTex
titre
Electronic Sensors for Assessing Interactions between Healthcare Workers and Patients under Airborne Precautions
auteur
Jean-Christophe Lucet, Cédric Laouenan, Guillaume Chelius, N. Veziris, D. Lepelletier, Adrien Friggeri, D. Abiteboul, Elisabeth Bouvet, France Mentré, Eric Fleury
article
PLoS ONE, Public Library of Science, 2012, 7 (5), pp.1-7. ⟨10.1371/journal.pone.0037893⟩
Accès au bibtex
BibTex
titre
On Spanning Galaxies in Digraphs
auteur
Daniel Gonçalves, Frédéric Havet, Alexandre Pinlou, Stéphan Thomassé
article
Discrete Applied Mathematics, Elsevier, 2012, 160 (6), pp.744-754. ⟨10.1016/j.dam.2011.07.013⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00749191/file/pagro-revised.pdf BibTex
titre
On the Rationality of Escalation
auteur
Pierre Lescanne, Perrinel Matthieu
article
none, 2012, pp.23
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00439911/file/escal_rat.pdf BibTex
titre
Combinatorics of Boolean automata circuits dynamics
auteur
Jacques Demongeot, Mathilde Noual, Sylvain Sené
article
Discrete Applied Mathematics, Elsevier, 2012, 160 (4-5), pp.398--415. ⟨10.1016/j.dam.2011.11.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00666297/file/dns12.pdf BibTex
titre
On the computation of correctly-rounded sums
auteur
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00331519/file/TC-2010-04-0248.R1.pdf BibTex
titre
A System F accounting for scalars
auteur
Pablo Arrighi, Alejandro Díaz-Caro
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.11. ⟨10.2168/LMCS-8(1:11)2012⟩
Accès au bibtex
https://arxiv.org/pdf/0903.3741 BibTex
titre
On quasi-interpretations, blind abstractions and implicit complexity.
auteur
Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (04), pp.549-580. ⟨10.1017/S0960129511000685⟩
Accès au bibtex
BibTex
titre
The TheLMA project: a thermal lattice Boltzmann solver for the GPU
auteur
C. Obrecht, F. Kuznik, Bernard Tourancheau, Jean-Jacques Roux
article
Computers and Fluids, Elsevier, 2012, 55, pp.118-126. ⟨10.1016/j.compfluid.2011.10.011⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00731135/file/ACL28.pdf BibTex
titre
A Coalgebraic Perspective on Linear Weighted Automata
auteur
Filippo Bonchi, Marcello Bonsangue, Michele Boreale, Jan Rutten, Alexandra Silva
article
Information and Computation, Elsevier, 2012, 211, pp.77-105
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00576921/file/lwac.pdf BibTex
titre
Detecting 2-joins faster
auteur
Charbit Pierre, Michel Habib, Trotignon Nicolas, Vuskovic Kristina
article
Journal of Discrete Algorithms, Elsevier, 2012, 17, pp.60-66
Accès au bibtex
BibTex
titre
Graphs that do not contain a cycle with a node that has at least two neighbors on it.
auteur
Pierre Aboulker, Marko Radovanovic, Nicolas Trotignon, Kristina Vuskovic
article
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2012, 26 (4), pp.1510-1531
Accès au bibtex
BibTex
titre
Backward'' Coinduction, Nash equilibrium and the Rationality of Escalation
auteur
Pierre Lescanne, Matthieu Perrinel
article
Acta Informatica, Springer Verlag, 2012, 49 (3), pp.117-137. ⟨10.1007/s00236-012-0153-3⟩
Accès au bibtex
BibTex
titre
Packing and Covering Triangles in K 4-free Planar Graphs
auteur
Penny Haxell, Alexandr Kostochka, Stéphan Thomassé
article
Graphs and Combinatorics, Springer Verlag, 2012, 28 (5), pp.653-662. ⟨10.1007/s00373-011-1071-9⟩
Accès au bibtex
BibTex
titre
Excluding induced subdivisions of the bull and related graphs.
auteur
Maria Chudnovsky, Irena Penev, Alexander Scott, Nicolas Trotignon
article
Journal of Graph Theory, Wiley, 2012, 71 (1), pp.49-68. ⟨10.1002/jgt.20631⟩
Accès au bibtex
https://arxiv.org/pdf/1309.1312 BibTex
titre
Cyclic orderings and cyclic arboricity of matroids
auteur
Jan van den Heuvel, Stéphan Thomassé
article
Journal of Combinatorial Theory, Series B, Elsevier, 2012, 102, pp.638-646. ⟨10.1016/j.jctb.2011.08.004⟩
Accès au bibtex
BibTex
titre
Partitioned quantum cellular automata are intrinsically universal
auteur
Pablo Arrighi, Jonathan Grattage
article
Natural Computing, Springer Verlag, 2012, 11 (1), pp.13-22. ⟨10.1007/s11047-011-9277-6⟩
Accès au bibtex
https://arxiv.org/pdf/1010.2335 BibTex
titre
Intrinsically universal n-dimensional quantum cellular automata
auteur
Pablo Arrighi, Jonathan Grattage
article
Journal of Computer and System Sciences, Elsevier, 2012, 78 (6), pp.1883-1898. ⟨10.1016/j.jcss.2011.12.008⟩
Accès au bibtex
https://arxiv.org/pdf/0907.3827 BibTex
titre
Kadanoff Sand Piles, following the snowball
auteur
Kévin Perrot, Éric Rémila
article
Research report, 2012, pp.26
Accès au bibtex
BibTex
titre
Symbolic and Asynchronous Semantics via Normalized Coalgebras
auteur
Filippo Bonchi, Ugo Montanari
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 7 (2-7), pp.1-53. ⟨10.2168/LMCS-7(2:7)2011⟩
Accès au bibtex
BibTex
titre
Odd Perfect Numbers are Greater than 10^1500
auteur
Pascal Ochem, Michael Rao
article
Mathematics of Computation, American Mathematical Society, 2012, 81 (279), pp.1869-1877
Accès au bibtex
BibTex
titre
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls
auteur
Pablo Neira, M. Rafael, Laurent Lefevre
article
Computers and Security, Elsevier, 2012, 31 (4), pp.524-539. ⟨10.1016/j.cose.2012.01.011⟩
Accès au bibtex
BibTex
titre
Using Clouds to Scale Grid Resources: An Economic Model
auteur
Eddy Caron, Frédéric Desprez, Adrian Muresan, Luis Rodero-Merino
article
Future Generation Computer Systems, Elsevier, 2012, 28 (4), pp.633-646. ⟨10.1016/j.future.2011.10.001⟩
Accès au bibtex
BibTex
titre
Building Safe PaaS Clouds: a Survey on Security in Multitenant Software Platforms
auteur
Luis Rodero-Merino, Luis M. Vaquero, Eddy Caron, Frédéric Desprez, Adrian Muresan
article
Computers and Security, Elsevier, 2012, 31 (1), pp.96-108. ⟨10.1016/j.cose.2011.10.006⟩
Accès au bibtex
BibTex
titre
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
auteur
Tom Hirschowitz, Damien Pous
article
Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2012, 22 (1), pp.147-199. ⟨10.7561/SACS.2012.1.147⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00555144/file/main.pdf BibTex
titre
Dynamic Bandwidth Management in IEEE 802.11-Based Multihop Wireless Networks
auteur
Cheikh Sarr, Sofiane Khalfallah, Isabelle Guérin-Lassous
article
Annals of Telecommunications - annales des télécommunications, Springer, 2012, pp.191-202. ⟨10.1007/s12243-011-0263-x⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00770894/file/DRBT-revise.pdf BibTex
titre
Dynamic Resource Management in Clouds: A Probabilistic Approach
auteur
Paulo Gonçalves, Shubhabrata Roy, Thomas Begin, Patrick Loiseau
article
IEICE Transactions on Communications, Institute of Electronics, Information and Communication Engineers, 2012, E95-B (08), pp.2522-2529. ⟨10.1587/transcom.E95.B.2522⟩
Accès au bibtex
https://arxiv.org/pdf/1209.4806 BibTex
titre
A recurrent solution of Ph/M/c/N-like and Ph/M/c-like queues
auteur
Alexandre Brandwajn, Thomas Begin
article
Journal of Applied Probability, Cambridge University press, 2012, 49 (1), pp.84-99
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00746840/file/13564_Final.pdf BibTex
titre
The Average Tree Solution for Multi-choice Forest Games
auteur
Sylvain Béal, Aymeric Lardon, Éric Rémila, Philippe Solal
article
Annals of Operations Research, Springer Verlag, 2012, 196 (1), pp.27-51. ⟨10.1007/s10479-012-1150-1⟩
Accès au bibtex
BibTex
titre
Fairness and Fairness for Neighbors: The Difference between the Myerson Value and Component-Wise Egalitarian Solutions
auteur
Sylvain Béal, Éric Rémila, Philippe Solal
article
Economics Letters, Elsevier, 2012, 117 (1), pp.263-267. ⟨10.1016/j.econlet.2012.05.020⟩
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
Discrete Applied Mathematics, Elsevier, 2012, 160 (7-8), pp.925-932. ⟨10.1016/j.dam.2011.12.022⟩
Accès au bibtex
BibTex
titre
Combinatorial optimization with 2-joins.
auteur
Nicolas Trotignon, Vuskovic Kristina
article
Journal of Combinatorial Theory, Series B, Elsevier, 2012, 102, pp.153-185. ⟨10.1016/j.jctb.2011.06.002⟩
Accès au bibtex
https://arxiv.org/pdf/1309.1547 BibTex
titre
Compensations in the Shapley value and the compensation solutions for graph games
auteur
Sylvain Béal, Éric Rémila, Philippe Solal
article
International Journal of Game Theory, Springer Verlag, 2012, 41 (1), pp.157-178. ⟨10.1007/s00182-011-0277-7⟩
Accès au bibtex
BibTex
titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
CSI Journal of Computing, Computer Society of India, 2012, 1 (4), pp.8:86--8:99
Accès au bibtex
BibTex
titre
Energy-efficient bandwidth reservation for bulk data transfers in dedicated wired networks
auteur
Anne-Cécile Orgerie, Laurent Lefèvre, Isabelle Guérin-Lassous
article
Journal of Supercomputing, Springer Verlag, 2012, p. 1139-1166. ⟨10.1007/s11227-011-0603-7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00770903/file/JofS2010.pdf BibTex
titre
Fuzziness and Overlapping Communities in Large-Scale Networks
auteur
Qinna Wang, Eric Fleury
article
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2012, 18 (4)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00746133/file/jucs_18_04_0457_0486_wang_1_.pdf BibTex
titre
Weighted component fairness for forest games
auteur
Sylvain Béal, Éric Rémila, Philippe Solal
article
Mathematical Social Sciences, Elsevier, 2012, 64 (2), pp.144-151. ⟨10.1016/j.mathsocsci.2012.03.004⟩
Accès au bibtex
BibTex
titre
The chromatic gap and its extremes
auteur
Andras Gyarfas, András Sebő, Nicolas Trotignon
article
Journal of Combinatorial Theory, Series B, Elsevier, 2012, 102 (5), pp.1155-1178. ⟨10.1016/j.jctb.2012.06.001⟩
Accès au bibtex
https://arxiv.org/pdf/1108.3444 BibTex
titre
FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2012, 36 (8), pp.606-619. ⟨10.1016/j.micpro.2012.06.009⟩
Accès au bibtex
BibTex
titre
Duality and i/o-Types in the π-Calculus
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
Lecture Notes in Computer Science, Springer, 2012, 7454, pp 302-316
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00798028/file/main.pdf BibTex
titre
SSI Properties Revisited
auteur
Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2012, 11S (1), ⟨10.1145/2180887.2180898⟩
Accès au bibtex
BibTex
titre
Perturbation Analysis of the QR Factor R in the Context of LLL Lattice Basis Reduction
auteur
Xiao-Wen Chang, Damien Stehlé, Gilles Villard
article
Mathematics of Computation, American Mathematical Society, 2012, 81 (279), pp.1487-1511
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00529425/file/qrperturb2011.pdf BibTex
titre
Complex Systems Science: Dreams of Universality, Reality of Interdisciplinarity
auteur
Sebastian Grauwin, Guillaume Beslon, Eric Fleury, Sara Franceschelli, Céline Robardet, Jean-Baptiste Rouquier, Pablo Jensen
article
Journal of the American Society for Information Science and Technology, Association for Information Science and Technology (ASIS&T), 2012, 63 (7), pp.10.1002/asi.22644. ⟨10.1002/asi.22644⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00706567/file/CSS.pdf BibTex
titre
Toward a core undergraduates curriculum in parallel and distributed computing
auteur
Sushil Prasad, Anshul Gupta, Krishna Kant, Andrew Lumsdaine, David Padua, Yves Robert, Arnold Rosenberg, Alan Sussman, Charles Weems
article
Computer Education (China), Chinese Academy of Sciences, 2012, pp.76-90
Accès au bibtex
BibTex
titre
Mapping filtering streaming applications
auteur
Kunal Agrawal, Anne Benoit, Fanny Dufossé, Yves Robert
article
Algorithmica, Springer Verlag, 2012, 62 (1), pp.258-308. ⟨10.1007/s00453-010-9453-6⟩
Accès au bibtex
BibTex
titre
Dynamic Fractional Resource Scheduling versus Batch Scheduling
auteur
Mark Stillwell, Frédéric Vivien, Henri Casanova
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2012, 23 (3), pp.521-529. ⟨10.1109/TPDS.2011.183⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763373/file/paper.pdf BibTex
titre
Multiplication by rational constants
auteur
Florent de Dinechin
article
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2012, pp.00. ⟨10.1109/TCSII.2011.2177706⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00610328/file/RR-rational-constmult-v3.pdf BibTex
titre
The Physical Church-Turing Thesis and the Principles of Quantum Theory
auteur
Pablo Arrighi, Gilles Dowek
article
International Journal of Foundations of Computer Science, World Scientific Publishing, 2012, 23 (5), pp.1131-1146. ⟨10.1142/S0129054112500153⟩
Accès au bibtex
https://arxiv.org/pdf/1102.1612 BibTex

Conference papers

titre
Energy-aware scheduling under reliability and makespan constraints
auteur
Guillaume Aupy, Anne Benoit, Yves Robert
article
International Conference on High Performance Computing (HiPC'2012), Dec 2012, Pune, India. pp.1-10, ⟨10.1109/HiPC.2012.6507482⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763384/file/hipc-submitted.pdf BibTex
titre
SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs
auteur
Patrice Clemente, Bangaly Kaba, Jonathan Rouzaud-Cornabas, Marc Alexandre, Guillaume Aujay
article
Active Media Technology, Dec 2012, Chengdu, China. pp.596-605, ⟨10.1007/978-3-642-35236-2_60⟩
Accès au bibtex
BibTex
titre
Scheduling Data and Task on Data-Driven Master/Worker Platform
auteur
Mohamed Labidi, Bing Tang, Gilles Fedak, Maher Khemakem, Mohamed Jemni
article
PDCAT 2012 - 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China. pp.593-598, ⟨10.1109/PDCAT.2012.122⟩
Accès au bibtex
BibTex
titre
Demonstrating a Versatile Model for VoD Buzz Workload in Large Scale Distributed Network
auteur
Jean-Baptiste Delavoix, Shubhabrata Roy, Thomas Begin, Paulo Gonçalves
article
1st IEEE International Conference on Cloud Networking, Date-Added = 2012-10-31 16:44:27 +0000, Date-Modified = 2012-10-31 16:50:40 +0000, Nov 2012, Université Pierre et Marie Curie, Paris (France), France
Accès au bibtex
BibTex
titre
On the Structure of Changes in Dynamic Contact Networks
auteur
Vincent Neiger, Christophe Crespelle, Eric Fleury
article
Workshop on Complex Networks and their Applications, Nov 2012, Sorrento, Italy
Accès au bibtex
BibTex
titre
(Nearly-)Tight Bounds on the Linearity and Contiguity of Cographs
auteur
Christophe Crespelle, Philippe Gambette
article
Bordeaux Graph Workshop, Nov 2012, France. pp.2
Accès au texte intégral et bibtex
https://hal-upec-upem.archives-ouvertes.fr/hal-00730247/file/2012CrespelleGambetteBGW.pdf BibTex
titre
A Runtime Framework for Energy Efficient HPC Systems Without a Priori Knowledge of Applications
auteur
Ghislain Landry Tsafack Chetsa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf, Georges da Costa
article
18th International Conference on Parallel and Distributed Systems (ICPAD 2012), Nov 2012, Singapour, Singapore. pp.660-667, ⟨10.1109/ICPADS.2012.94⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00793685/file/icpads-fv.pdf BibTex
titre
A Low Level Component Model Enabling Performance Portability of HPC Applications
auteur
Julien Bigot, Zhengxiong Hou, Christian Pérez, Vincent Pichon
article
5th International Workshop on Multi-Core Computing Systems, Nov 2012, Salt Lake City, United States
Accès au bibtex
BibTex
titre
An optimal bound to acces the core of TU-games
auteur
Philippe Solal, Sylvain Béal, Éric Rémila
article
Journées Ordered Structures in Games and Decision, Nov 2012, Paris, France
Accès au bibtex
BibTex
titre
CompatibleOne: Designing an Energy Efficient Open Source Cloud Broker
auteur
Julien Carpentier, Jean-Patrick Gelas, Laurent Lefevre, Maxime Morel, Olivier Mornard, Jean-Pierre Laisne
article
CGC 2012 - 2nd International Conference on Cloud and Green Computing, Nov 2012, Xiangtan, China. pp.199-205, ⟨10.1109/CGC.2012.127⟩
Accès au bibtex
BibTex
titre
PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage
auteur
Z. Afoulki, A. Bousquet, J. Briffaut, J. Rouzaud-Cornabas, C. Toinard
article
NOTERE CFIP 2012, Oct 2012, Bayonne, France, France
Accès au bibtex
BibTex
titre
Beyond CPU Frequency Scaling for a Fine-grained Energy Control of HPC Systems
auteur
Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Jean-Marc Pierson, Patricia Stolf, Georges da Costa
article
24th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2012), Oct 2012, New York City, United States. pp.132-138, ⟨10.1109/SBAC-PAD.2012.32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00752883/file/sbac-pad-fv.pdf BibTex
titre
An Optimal Bound to Access the Core in TU-Games
auteur
Éric Rémila, Sylvain Béal, Philippe Solal
article
SAGT 2012, Oct 2012, Barcelone, Spain. pp.49-60
Accès au bibtex
BibTex
titre
Knowledge-Based Admission Control: A Real-Time Performance Analysis
auteur
Doreid Ammar, Julien Brochet, Thomas Begin, Isabelle Guérin-Lassous, Ludovic Noirie
article
37th IEEE Conference on Local Computer Networks (LCN 2012), Oct 2012, Clearwater (Florida), United States
Accès au bibtex
BibTex
titre
Characterisation and Application of Idle Period Durations in IEEE 802.11 DCF-based Multihop Wireless Networks
auteur
Nguyen Van Nam, Isabelle Guérin-Lassous, Victor Moraru, Tahiry Razafindralambo
article
ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), Oct 2012, Paphos, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00724969/file/Nguyen.pdf BibTex
titre
Substitution Networks: Performance Collapse due to Overhead in Communication Times
auteur
Thiago Abreu, Nghi Nguyen, Thomas Begin, Isabelle Guérin-Lassous, Bruno Baynat
article
4th International Conference on Ad Hoc Networks (ADHOCNETS 2012), EAI - European Alliance for Innovation, Oct 2012, Paris, France. pp.1-16, ⟨10.1007/978-3-642-36958-2_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763225/file/134762808624159.pdf BibTex
titre
A science-gateway workload archive application to the self-healing of workflow incidents
auteur
Rafael Ferreira da Silva, Tristan Glatard, Frédéric Desprez
article
journées scientifiques mésocentres et France Grilles 2012, Oct 2012, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00766070/file/mesogrilles_2012_camera_ready.pdf BibTex
titre
Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems
auteur
Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit
article
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Oct 2012, Toronto, Canada. pp.239-252, ⟨10.1007/978-3-642-33536-5_24⟩
Accès au bibtex
https://arxiv.org/pdf/1207.1337 BibTex
titre
A Quantitative Theory of Social Cohesion
auteur
Adrien Friggeri, Eric Fleury
article
Workshop on Information in Networks, Sep 2012, new york, United States
Accès au bibtex
BibTex
titre
Green IT for Innovation and Innovation for Green IT: The virtuous circle
auteur
Christina Herzog, Laurent Lefevre, Jean-Marc Pierson
article
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.79-89, ⟨10.1007/978-3-642-33332-3_8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766806/file/978-3-642-33332-3_8_Chapter.pdf BibTex
titre
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams
auteur
Colin Riba
article
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.310-324, ⟨10.1007/978-3-642-33475-7_22⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00692153/file/main.pdf BibTex
titre
Dynamic Network Forecasting using SimGrid Simulations
auteur
Matthieu Imbert, Eddy Caron
article
CLUSTER - 2012 IEEE international conference on cluster computing, Sep 2012, beijing, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00854083/file/cluster12.pdf BibTex
titre
Interval matrix multiplication on parallel architectures
auteur
Philippe Théveny, Nathalie Revol
article
SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia
Accès au bibtex
BibTex
titre
Assessing MapReduce for Internet Computing: a Comparison of Hadoop and BitDew-MapReduce
auteur
Lu Lu, Hai Jin, Xuanhua Shi, Gilles Fedak
article
GRID 2012 - 13th ACM/IEEE International Conference on Grid Computing, Sep 2012, Beijing, China. pp.76-84, ⟨10.1109/Grid.2012.31⟩
Accès au bibtex
BibTex
titre
Linear functional classes over cellular automata
auteur
Anael Grandjean, Gaétan Richard, Véronique Terrier
article
18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, Sep 2012, Bastia, France. pp.177-193, ⟨10.4204/EPTCS.90.15⟩
Accès au bibtex
https://arxiv.org/pdf/1208.2764 BibTex
titre
Boolean networks asynchronism sensitivity and XOR circulant networks convergence time
auteur
Mathilde Noual, Damien Regnault, Sylvain Sené
article
18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires (AUTOMATA&JAC 2012), Sep 2012, La Marana, France. pp.37--52
Accès au bibtex
BibTex
titre
SToP : Scalable Termination analysis of (C) Programs (tool presentation)
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
Tapas 2012, Sep 2012, Deauville, France
Accès au bibtex
BibTex
titre
Virtualizing Home Gateways for Large Scale Energy Reduction in Wireline Networks
auteur
Jean-Patrick Gelas, Laurent Lefevre, Teferi Assefa, Mulugeta Libsie
article
EGG 2012 - Electronic Goes Green, Sep 2012, Berlin, Germany. pp.1-7
Accès au bibtex
BibTex
titre
Budget Constrained Resource Allocation for Non-Deterministic Workows on an IaaS Cloud
auteur
Eddy Caron, Frédéric Desprez, Adrian Muresan, Frédéric Suter
article
12th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2012), Sep 2012, Fukuoka (Japan), Japan
Accès au bibtex
BibTex
titre
Psychological Aspects of Social Communities
auteur
Adrien Friggeri, R. Lambiotte, Michael Kosinski, Eric Fleury
article
IEEE International Conference on Social Computing (SocialCom), Sep 2012, Amsterdam, Netherlands
Accès au bibtex
BibTex
titre
Higher-Order Interpretations and Program Complexity
auteur
Patrick Baillot, Ugo Dal Lago
article
21st Annual Conference of the EACSL, Computer Science Logic 2012 (CSL), Sep 2012, Fontainebleau, France. pp.62-76, ⟨10.4230/LIPIcs.CSL.2012.62⟩
Accès au bibtex
BibTex
titre
Parametricity in an Impredicative Sort
auteur
Chantal Keller, Marc Lasson
article
CSL - 26th International Workshop/21st Annual Conference of the EACSL - 2012, Sep 2012, Fontainebleau, France. pp.381-395, ⟨10.4230/LIPIcs.CSL.2012.399⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730913/file/paramath.pdf BibTex
titre
A Note on the Space Complexity of Fast D-Finite Function Evaluation
auteur
Marc Mezzarobba
article
CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.212-223, ⟨10.1007/978-3-642-32973-9_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00687818/file/paper43-mezzarobba.pdf BibTex
titre
A Tool for solving Ph/M/c and Ph/M/c/N queues
auteur
Thomas Begin, Alexandre Brandwajn
article
QEST, Sep 2012, London, United Kingdom
Accès au bibtex
BibTex
titre
Homomorphic Encryption for Multiplications and Pairing Evaluation
auteur
Fabien Laguillaumie, Guilhem Castagnos
article
Security and Cryptography for Networks - 8th International Conference, SCN 2012, Sep 2012, Amalfi, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763110/file/CL_SCN_web.pdf BibTex
titre
On optimal and balanced sparse matrix partitioning problems
auteur
Anael Grandjean, Johannes Langguth, Bora Uçar
article
2012 IEEE International Conference on Cluster Computing, Sep 2012, Beijing, China. pp.257--265, ⟨10.1109/CLUSTER.2012.77⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763535/file/clusterpaper.pdf BibTex
titre
On shared-memory parallelization of a sparse matrix scaling algorithm
auteur
Umit Catalyurek, Kamer Kaya, Bora Uçar
article
2012 41st International Conference on Parallel Processing, Sep 2012, Pittsburgh, PA, United States. pp.68--77
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763553/file/cku-icpp12.pdf BibTex
titre
Classification of Content and Users in BitTorrent by Semi-supervised Learning Methods
auteur
Konstantin Avrachenkov, Paulo Gonçalves, Arnaud Legout, Marina Sokol
article
8th International Wireless Communications and Mobile Computing Conference (3rd International Workshop on Traffic Analysis and Classification), Date-Added = 2012-04-16 17:03:44 +0200, Date-Modified = 2012-08-30 11:13:51 +0200, Aug 2012, Cyprus, Cyprus. ⟨10.1109/IWCMC.2012.6314276⟩
Accès au bibtex
BibTex
titre
Throughput optimization for pipeline workflow scheduling with setup times
auteur
Anne Benoit, Mathias Coqblin, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo
article
Proceedings of CGWS 2012, the CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, in conjunction with EuroPar 2012, Aug 2012, Rhodes Island, Greece
Accès au bibtex
BibTex
titre
Factoring bivariate lacunary polynomials without heights
auteur
Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki
article
38th International Symposium on Symbolic and Algebraic Computation, ACM, Boston, United States. p 141-148, ⟨10.1145/2465506.2465932⟩
Accès au bibtex
https://arxiv.org/pdf/1206.4224 BibTex
titre
HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots
auteur
Patrice Clemente, Jean-François Lalande, Jonathan Rouzaud-Cornabas
article
SECRYPT 2012, Jul 2012, Rome, Italy. pp.434-439
Accès au bibtex
BibTex
titre
Survey of network metrology platforms
auteur
Anne-Cécile Orgerie, Paulo Gonçalves, Matthieu Imbert, J. Ridoux, D. Veitch
article
SAINT 2012 - 12th IEEE/IPSJ International Symposium on Applications and the INTernet, 3rd Workshop on High Speed Network and Computing Environments, Jul 2012, Izmir, Turkey. pp.220-225, ⟨10.1109/SAINT.2012.41⟩
Accès au bibtex
BibTex
titre
Agreement Groups in the United States Senate
auteur
Adrien Friggeri, Eric Fleury
article
IOGDC - International Open Government Data Conference - 2012, Jul 2012, Washington D.C., United States
Accès au bibtex
BibTex
titre
Causal Graph Dynamics
auteur
Pablo Arrighi, Gilles Dowek
article
ICALP 2012 - 39th International ColloquiumAutomata, Languages, and Programming, Jul 2012, Warwick, United Kingdom. pp.54-66, ⟨10.1007/978-3-642-31585-5_9⟩
Accès au bibtex
BibTex
titre
Simultaneous floating-point sine and cosine for VLIW integer processors
auteur
Claude-Pierre Jeannerod, Jingyan Jourdan-Lu
article
23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012), Jul 2012, Delft, Netherlands. pp.69-76
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00672327/file/Jeannerod-JourdanLu.pdf BibTex
titre
Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication
auteur
Nathalie Revol, Hong Diep Nguyen, Philippe Théveny
article
Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain
Accès au bibtex
BibTex
titre
MAC protection of the OpenNebula Cloud environment
auteur
Z. Afoulki, A. Bousquet, J. Briffaut, J. Rouzaud-Cornabas, C. Toinard
article
High Performance Computing and Simulation (HPCS), 2012 International Conference on, Jul 2012, Madrid, Spain. pp.85 -90, ⟨10.1109/HPCSim.2012.6266895⟩
Accès au bibtex
BibTex
titre
IEEE-1788 standardization of interval arithmetic: work in progress (a personal view)
auteur
Nathalie Revol
article
IFIP Working Group 2.5 on Numerical Software, Jul 2012, Santander, Spain
Accès au bibtex
BibTex
titre
(M,p,k)-friendly points: a table-based method for trigonometric function evaluation
auteur
Nicolas Brisebarre, Milos Ercegovac, Jean-Michel Muller
article
2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. p. 46-52, ISBN: 978-1-4673-2243-0, ⟨10.1109/ASAP.2012.17⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00759912/file/Brisebarre-Ercegovac-Muller.pdf BibTex
titre
Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators
auteur
Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
article
ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106
Accès au bibtex
https://arxiv.org/pdf/1205.0879 BibTex
titre
Power Series Solutions of Singular (q)-Differential Equations
auteur
Alin Bostan, Muhammad F. I. Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost
article
ISSAC '12: 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.107-114
Accès au bibtex
https://arxiv.org/pdf/1205.3414 BibTex
titre
Parameterized Domination in Circle Graphs
auteur
Nicolas Bousquet, Daniel Gonçalves, George Mertzios, Christophe Paul, Ignasi Sau Valls, Stéphan Thomassé
article
WG'12: 38th International Workshop on Graph Theoretic Concepts in Computer Science, Jun 2012, Jerusalem, Israel. pp.308-319, ⟨10.1007/978-3-642-34611-8_31⟩
Accès au bibtex
BibTex
titre
Energy considerations in Checkpointing and Fault tolerance protocols
auteur
Mohammed El Mehdi Diouri, Olivier Glück, Laurent Lefèvre, Franck Cappello
article
2nd International Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS), co-located with the 42th International conference on Dependable Systems and Networks (DSN 2012), Jun 2012, Boston, United States
Accès au bibtex
BibTex
titre
The Refined Calculus of Inductive Construction: Parametricity and Abstraction
auteur
Chantal Keller, Marc Lasson
article
LICS - 27th Annual IEEE Symposium on Logic in Computer Science - 2012, Jun 2012, Dubrovnik, Croatia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00757620/file/paramath.pdf BibTex
titre
L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles
auteur
Nathalie Revol
article
RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France
Accès au bibtex
BibTex
titre
Divers algorithmes de produits de matrices intervalles
auteur
Philippe Théveny
article
RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France
Accès au bibtex
BibTex
titre
SpeQuloS: A QoS Service for BoT Applications Using Best Effort Distributed Computing Infrastructures
auteur
Simon Delamare, Gilles Fedak, Derrick Kondo, Oleg Lodygensky
article
Proceedings of the 21st ACM International Symposium on High Performance Distributed Computing (HPDC'12), Jun 2012, Delft, Netherlands. pp.173--186, ⟨10.1145/2287076.2287106⟩
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
21st ACM International Symposium on High Performance Distributed Computing (HPDC'12), Jun 2012, Delft, Netherlands
Accès au texte intégral et bibtex
http://hal.in2p3.fr/in2p3-00853236/file/Delamare.pdf BibTex
titre
Reducing Weak to Strong Bisimilarity in CCP
auteur
Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank D. Valencia
article
Fifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761611/file/ice12.pdf BibTex
titre
Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication
auteur
Hong Diep Nguyen, Nathalie Revol, Philippe Théveny
article
PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00704288/file/Nguyen-Revol-Theveny.pdf BibTex
titre
Simultaneous Branch and Warp Interweaving for Sustained GPU Performance
auteur
Nicolas Brunie, Caroline Collange, Gregory Diamos
article
39th Annual International Symposium on Computer Architecture (ISCA), Jun 2012, Portland, OR, United States. pp.49 - 60, ⟨10.1109/ISCA.2012.6237005⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649650/file/Brunie_SimultaneousBranchWarpInterweaving_ISCA12.pdf BibTex
titre
Research Roadmap for Green Wireline Access
auteur
P. Vetter, L. Lefevre, L. Gasca, K. Kanonakis, L. Kazovsky, A. Lee, C. Monney, X. Qiu, F. Saliou, A. Wonfor
article
ICC 2012 - IEEE International Conference on Communications,Workshop on Green Communications and Networking, Jun 2012, Ottawa, Canada, Canada. pp.5941-5945, ⟨10.1109/ICC.2012.6364907⟩
Accès au bibtex
BibTex
titre
Towards a novel Smart and Energy-Aware Service-Oriented Manager for Extreme-Scale applications
auteur
Mohammed El Mehdi Diouri, Olivier Glück, Laurent Lefèvre
article
1st International Workshop on Power-Friendly Grid Computing (PFGC), co-located with the 3rd International Green Computing Conference (IGCC 2012), Jun 2012, San José, United States
Accès au bibtex
BibTex
titre
Final Semantics for Decorated Traces.
auteur
Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva
article
Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, Jun 2012, United Kingdom. pp.73-86
Accès au bibtex
BibTex
titre
Improving Multifrontal methods by means of Low-Rank Approximations techniques
auteur
Patrick Amestoy, Cleve Ashcraft, Olivier Boiteau, Alfredo Buttari, Jean-Yves l'Excellent, Clement Weisbecker
article
SIAM Conference on Applied Linear Algebra, Jun 2012, Valencia, Spain
Accès au bibtex
BibTex
titre
Virtual Machine Resource Allocation for Service Hosting on Heterogeneous Distributed Platforms
auteur
Mark Stillwell, Frédéric Vivien, Henri Casanova
article
IPDPS 2012, May 2012, Shanghaï, China. ⟨10.1109/IPDPS.2012.75⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763365/file/paper.pdf BibTex
titre
Energy-aware scheduling: models and complexity results
auteur
Guillaume Aupy
article
IPDPSW - IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), 2012, May 2012, Shanghai, China. pp.2478-2481, ⟨10.1109/IPDPSW.2012.307⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00857276/file/ipdps2012.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
Proceedings of IPDPS 2012, May 2012, Shanghai, China. ⟨10.1109/IPDPS.2012.95⟩
Accès au bibtex
BibTex
titre
Power-aware Manhattan routing on chip multiprocessors
auteur
Anne Benoit, Rami Melhem, Paul Renaud-Goud, Yves Robert
article
IPDPS'2012, the 26th IEEE International Parallel and Distributed Processing Symposium, May 2012, Shanghai, China. ⟨10.1109/IPDPS.2012.27⟩
Accès au bibtex
BibTex
titre
Self-healing of operational workflow incidents on distributed computing infrastructures
auteur
R. Ferreira da Silva, T. Glatard, Frédéric Desprez
article
12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing - CCGRID 12, May 2012, Ottawa, Canada
Accès au bibtex
BibTex
titre
DNA-inspired Scheme for Building the Energy Profile of HPC Systems
auteur
Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Jean-Marc Pierson, Patricia Stolf, Georges da Costa
article
E2DC - 1st International Workshop on Energy-Efficient Data Centres - 2011, May 2012, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00748070/file/sigproc-sp.pdf BibTex
titre
Multithreaded clustering for multi-level hypergraph partitioning
auteur
Umit Catalyurek, Mehmet Deveci, Kamer Kaya, Bora Uçar
article
26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012,, May 2012, Shanghai, China. pp.848--859, ⟨10.1109/IPDPS.2012.81⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763565/file/cdku-ipdps12.pdf BibTex
titre
Minimizing Weighted Mean Completion Time for Malleable Tasks Scheduling
auteur
Olivier Beaumont, Nicolas Bonichon, Lionel Eyraud-Dubois, Loris Marchal
article
IPDPS 2012, 26th IEEE International Parallel & Distributed Processing Symposium, May 2012, Shangai, China
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564056/file/malleable.pdf BibTex
titre
Hierarchical QR factorization algorithms for multi-core cluster systems
auteur
Jack Dongarra, Mathieu Faverge, Thomas Herault, Julien Langou, Yves Robert
article
IPDPS'2012, the 26th IEEE International Parallel and Distributed Processing Symposium, May 2012, Shanghai, China. ⟨10.1109/IPDPS.2012.62⟩
Accès au bibtex
BibTex
titre
An approximate solution for Ph/Ph/1 and Ph/Ph/1/N queues
auteur
Alexandre Brandwajn, Thomas Begin
article
IPEC 2012 - 3rd ACM/SPEC International Conference on Performance Engineering, Apr 2012, Boston, Massachusetts, United States. pp.57-62, ⟨10.1145/2188286.2188297⟩
Accès au bibtex
BibTex
titre
E-learning with Quenlig: an online questionnaire
auteur
Yves Caniou, Thierry Excoffier
article
EDUCON, Apr 2012, Marrakech, Morocco. pp.1-9, ⟨10.1109/EDUCON.2012.6201175⟩
Accès au bibtex
BibTex
titre
Rigorous Polynomial Approximation using Taylor Models in Coq
auteur
Nicolas Brisebarre, Mioara Maria Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
article
Fourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00653460/file/NFM2012_Brisebarre_et_al.pdf BibTex
titre
Routing Protocols: When to use it in terms of energy?
auteur
Rodrigue Domga Komguem, Ibrahim Amadou, Guillaume Chelius, Fabrice Valois
article
IEEE Wireless Communications and Networking Conference (WCNC), Apr 2012, Paris, France. pp.2763 - 2768, ⟨10.1109/WCNC.2012.6214270⟩
Accès au bibtex
BibTex
titre
Towards Scalable Data Management for Map-Reduce-based Data-Intensive Applications on Cloud and Hybrid Infrastructures
auteur
Gabriel Antoniu, Julien Bigot, Christophe Blanchet, Luc Bougé, François Briant, Franck Cappello, Alexandru Costan, Frédéric Desprez, Gilles Fedak, Sylvain Gault, Kate Keahey, Bogdan Nicolae, Christian Pérez, Anthony Simonet, Frédéric Suter, Bing Tang, Raphael Terreux
article
1st International IBM Cloud Academy Conference - ICA CON 2012, Apr 2012, Research Triangle Park, North Carolina, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684866/file/ICACON2012-MapReduce.pdf BibTex
titre
Partition Refinement for Bisimilarity in CCP
auteur
Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank Valencia
article
27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00641408/file/hal-sac2012.pdf BibTex
titre
Copy Elimination on Data Dependence Graphs
auteur
Florian Brandner, Quentin Colombet
article
27th Annual ACM Symposium on Applied Computing (SAC'12), Mar 2012, Trento, Italy. pp.1916-1918, ⟨10.1145/2245276.2232091⟩
Accès au bibtex
BibTex
titre
Table-based division by small integer constants
auteur
Florent de Dinechin, Laurent-Stéphane Didier
article
8th International Symposium on Applied Reconfigurable Computing (ARC), Mar 2012, Hong Kong, Hong Kong SAR China. pp.53-63, ⟨10.1007/978-3-642-28365-9_5⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00642145/file/LUTConstDiv.pdf BibTex
titre
34 Gb/s PDM-QPSK coherent receiver using SiGe ADCs and a single FPGA for digital signal processing
auteur
Eric Dutisseuil, Jean-Marc Tanguy, Adrian Voicila, Rémi Laube, Francois Bore, Honore Takeugming, Florent de Dinechin, Frédéric Cérou, And Gabriel Charlet
article
Optical Fiber Communication Conference, Mar 2012, nc, United States. pp.OM3H.7
Accès au bibtex
BibTex
titre
Performance analysis of parallel constraint-based local search
auteur
Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu
article
Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩
Accès au bibtex
BibTex
titre
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), Feb 2012, New Orleans, United States. pp.285--286, ⟨10.1145/2145816.2145856⟩
Accès au bibtex
BibTex
titre
Robust Memory-Aware Mappings for Parallel Multifrontal Factorizations
auteur
Emmanuel Agullo, Patrick Amestoy, Alfredo Buttari, Abdou Guermouche, Jean-Yves l'Excellent, François-Henry Rouet
article
SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP 2012), SIAM Activity Group on Supercomputing, Feb 2012, Savannah, Georgia, United States
Accès au bibtex
BibTex
titre
Exploiting Multithreaded Tree Parallelism for Multicore Systems in a Parallel Multifrontal Solver
auteur
Patrick Amestoy, Alfredo Buttari, Abdou Guermouche, Jean-Yves l'Excellent, Mohamed W. Sid-Lakhdar
article
SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP12), Feb 2012, Savannah, GA, United States
Accès au bibtex
BibTex
titre
Partitioning problems on trees and simple meshes
auteur
Bora Uçar
article
SIAM Conference on Parallel Processing for Scientific Computing, Feb 2012, Savannah, GA, United States
Accès au bibtex
BibTex
titre
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France
Accès au bibtex
BibTex
titre
Approximating the Transitive Closure of a Boolean-Affine Relation
auteur
Paul Feautrier
article
2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France
Accès au bibtex
BibTex
titre
A Coalgebraic Perspective on Minimization and Determinization.
auteur
Jirí Adámek, Filippo Bonchi, Mathias Hulsbusch, Barbara König, Stefan Milius, Alexandra Silva
article
Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, Estonia. pp.58-73
Accès au bibtex
BibTex
titre
Intrinsic Simulations between Stochastic Cellular Automata
auteur
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
article
18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224
Accès au bibtex
BibTex
titre
Brzozowski's Algorithm (Co)Algebraically.
auteur
Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva
article
Logic and Program Semantics: 60 Birthday Dexter Kozen, 2012, United States. pp.12-23
Accès au bibtex
BibTex
titre
Towards a General Theory of Barbs, Contexts and Labels.
auteur
Filippo Bonchi, Fabio Gadducci, Valentina Monreale
article
Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, 2012, Taiwan. pp.289-304
Accès au bibtex
BibTex
titre
Continuation Models for the Lambda Calculus With Constructors
auteur
Barbara Petit
article
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII), 2012, Unknown, pp.337--350
Accès au bibtex
BibTex
titre
Design of an International Sparse Linear Algebra Expert System relying on an OGF GridRPC Data Management GridRPC system (regular paper)
auteur
Frédéric Camillo, Yves Caniou, Benjamin Depardon, Ronan Guivarch, Gaël Le Mahec
article
ICCIT 2012, 2012, Seoul, Korea, South Korea. pp.176-181
Accès au bibtex
BibTex
titre
Transparent Collaboration of GridRPC Middleware using the OGF Standardized GridRPC Data Management API
auteur
Yves Caniou, Eddy Caron, Gaël Le Mahec, Hidemoto Nakada
article
ISGC 2012, 2012, Taipei, Taiwan, Taiwan. 12p
Accès au bibtex
BibTex
titre
Constraint-Based Local Search for the Costas Array Problem
auteur
Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu
article
Learning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France
Accès au bibtex
BibTex
titre
FlyingGrid : from Volunteer Computing to Volunteer Cloud
auteur
Oleg Lodygensky, Etienne Urbah, Simon Dadoun, Anthony Simonet, Gilles Fedak, Simon Delamare, Derrick Kondo, Laurent Duflot, Xavier Garrido
article
poster in Computing in Hign Energy and Nuclear Physics (CHEP'12), 2012, New York, United States
Accès au bibtex
BibTex
titre
Using Promethee Methods for Multi-Criteria Pull-based Scheduling on DCIs
auteur
Mircea Moca, Gilles Fedak
article
Proceedings of the 8th IEEE International Conference on eScience (eScience'12), 2012, Chicago, USA, United States
Accès au bibtex
BibTex
titre
Analysis of Data Reliability Tradeoffs in Hybrid Distributed Storage Systems
auteur
Bing Tang, Gilles Fedak
article
Proceedings of IPDPS 2012, 17th IEEE International Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS'12), 2012, Shanghai, China
Accès au bibtex
BibTex
titre
Parallel local search for the Costas Array Problem
auteur
Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu
article
Parallel Computing and Optimization, 2012, Shanghai, China
Accès au bibtex
BibTex
titre
Generalized Cayley Graphs and Cellular Automata over them
auteur
Pablo Arrighi, Simon Martiel, Vincent Nesme
article
GCM, 2012, Bremen, Germany. Local proceedings
Accès au bibtex
https://arxiv.org/pdf/1212.0027 BibTex
titre
Host Load Prediction in a Google Compute Cloud with a Bayesian Model
auteur
Sheng Di, Derrick Kondo, Walfredo Cirne
article
IEEE/ACM Supercomputing Conference (SC), 2012, Unknown
Accès au bibtex
BibTex
titre
KBAC: Knowledge-Based Admission Control
auteur
Doreid Ammar, Thomas Begin, Isabelle Guérin-Lassous, Ludovic Noirie
article
IEEE LCN, 2012, Clearwater, United States. pp.1111
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00770910/file/lcn12.pdf BibTex
titre
Linear dependent types in a call-by-value scenario
auteur
Ugo Dal Lago, Barbara Petit
article
Principles and Practice of Declarative Programming, (PPDP'12), 2012, Leuven, Belgium. pp.115--126, ⟨10.1145/2370776.2370792⟩
Accès au bibtex
BibTex
titre
Termination in impure lambda-calculus
auteur
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
article
Fundamentals of Software Engineering, 2012, Unknown, Afghanistan. pp.128--142
Accès au bibtex
BibTex
titre
Duality and i/o-Types in the pi-calculus
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
article
23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Newcastle upon Tyne, United Kingdom. pp.302--316, ⟨10.1007/978-3-642-32940-1_22⟩
Accès au bibtex
BibTex
titre
Contrôle d'Admission Basé sur un Plan de Connaissance
auteur
Doreid Ammar, Thomas Begin, Isabelle Guérin-Lassous, Ludovic Noirie
article
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00690485/file/algotel12.pdf BibTex
titre
Available Bandwidth-aware routing in urban Vehicular Ad-hoc Networks
auteur
Isabelle Guérin-Lassous, Carolina Tripp Barba, Monica Aguilar Igartua, Cheikh Sarr
article
VTC-Fall, 2012, Quebec, Canada
Accès au bibtex
BibTex
titre
Characterization and Comparison of Google Cloud Load versus Grids
auteur
Sheng Di, Derrick Kondo, Walfredo Cirne
article
Proceedings of the IEEE Cluster Conference, 2012, Bejing, China. pp.230-238, ⟨10.1109/CLUSTER.2012.35⟩
Accès au bibtex
BibTex
titre
Plaintext-Checkable Encryption
auteur
Sébastien Canard, Georg Fuchsbauer, Aline Gouget, Fabien Laguillaumie
article
CT-RSA 2012, 2012, San Francisco, United States. pp.332-348, ⟨10.1007/978-3-642-27954-6_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00768305/file/PCE_RSA.pdf BibTex
titre
Short Attribute-Based Signatures for Threshold Predicates
auteur
Javier Herranz, Fabien Laguillaumie, Benoît Libert, Carla Ràfols
article
RSA Conference 2012, 2012, San Francisco, United States. pp.51-67
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00611651/file/HAL_short_ABS.pdf BibTex
titre
On the complexity of scheduling checkpoints for computational workflows
auteur
Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
FTXS'2012, the Workshop on Fault-Tolerance for HPC at Extreme Scale, in conjunction with the 42nd Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2012), 2012, Boston, United States. ⟨10.1109/DSNW.2012.6264675⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00763382/file/Complexity-Scheduling-Zaidouni.pdf BibTex
titre
Non-generic floating-point software support for embedded media processing
auteur
Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat
article
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 2012, Karlsruhe, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695333/file/jeannerod_jourdan-lu_monat.pdf BibTex
titre
Caractérisation des Périodes Libres dans les Réseaux 802.11 Multisauts
auteur
van Nam Nguyen, Isabelle Guérin-Lassous, Tahiry Razafindralambo, Victor Moraru
article
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00690957/file/algotel.pdf BibTex

Book sections

titre
Energy-Efficient Reservation Infrastructure for Grids, Clouds and Networks
auteur
Anne-Cécile Orgerie, Laurent Lefèvre
article
Albert Y. Zomaya and Young-Choon Lee. Energy Efficient Distributed Computing Systems, Wiley, pp.133-162, 2012, 978-0-470-90875-4. ⟨10.1002/9781118342015.ch5⟩
Accès au bibtex
BibTex
titre
A Volunteer Computing Platform Experience for Neuromuscular Diseases Problems
auteur
Nicolas Bard, Viktors Bertis, Raphaël Bolze, Frédéric Desprez
article
Cerin, C. and Fedak, G. Desktop Grid Computing book, Chapman & Hall/CRC, pp.125-146, 2012, Numerical Analysis and Scientific Computation
Accès au bibtex
BibTex
titre
Energy-efficient data transfers in large-scale distributed systems
auteur
Anne-Cécile Orgerie, Laurent Lefèvre
article
Ishfaq Ahmad and Sanjay Ranka. Handbook of Energy-Aware and Green Computing, 2, Chapman & Hall/CRC Press, pp.965-982, 2012, Computer & Information Science Series, 978-1-43985-040-4
Accès au bibtex
BibTex
titre
Data-Intensive Computing on Desktop Grids
auteur
Heshan Lin, Wu-Chun Feng, Gilles Fedak
article
Christophe Cérin and Gilles Fedak. Desktop Grid Computing, Chapman & All/CRC Press, pp.237--259, 2012
Accès au bibtex
BibTex
titre
Towards Hybridized Clouds and Desktop Grid Infrastructures
auteur
Simon Delamare, Gilles Fedak
article
Christophe Cérin and Gilles Fedak. Desktop Grid Computing, Chapman & All/CRC Press, pp.261--285, 2012
Accès au bibtex
BibTex
titre
Fuzzy community structure and modular overlaps in complex networks
auteur
Qinna Wang, Eric Fleury
article
Zeki Erdem, Tansel Özyer, Suheil Khoury and Jon Rokne. Studies in Mining Social Networks and Security Informatics, Springer, 2012
Accès au bibtex
BibTex
titre
Enhancements of the bisimulation proof method
auteur
Damien Pous, Davide Sangiorgi
article
Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
Accès au bibtex
BibTex
titre
Desktop grid computing
auteur
Artur Andrzejak, Derrick Kondo
article
Cerin, Christophe and Fedak, Gilles. à renseigner, CRC Press, 2012, Chapman & Hall/CRC numerical analysis and scientific computing
Accès au bibtex
BibTex
titre
A scalable hybrid linear solver based on combinatorial algorithms
auteur
Madan Sathe, Olaf Schenk, Bora Uçar, Ahmed Sameh
article
Uwe Naumann and Olaf Schenk. Combinatorial Scientific Computing, CRC Press, pp.95--127, 2012
Accès au bibtex
BibTex
titre
Combinatorial problems in solving linear systems
auteur
Iain S. Duff, Bora Uçar
article
Uwe Naumann and Olaf Schenk. Combinatorial Scientific Computing, CRC Press, pp.21--68, 2012
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Desktop Grid Computing book
auteur
Christophe Cérin, Gilles Fedak
article
CRC Press, pp.388, 2012, 9781439862148
Accès au bibtex
BibTex
titre
Mathematical Structures in Computer Science Preface to special issue: EXPRESS, ICE and SOS 2009.
auteur
Filippo Bonchi, Bartek Klin, Sibylle B. Fröschle, Daniele Gorla
article
Cambridge Journal, pp.123-124, 2012
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Multifrontal Methods: Parallelism, Memory Usage and Numerical Aspects
auteur
Jean-Yves l'Excellent
article
Modeling and Simulation. Ecole normale supérieure de lyon - ENS LYON, 2012
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00737751/file/hdr.pdf BibTex

Other publications

titre
Tutorial : SensLAB/FIT ‐ Very Large Scale Open Wireless Sensor Network Testbed
auteur
Eric Fleury, Gaetan Harter, Frédéric Saint-Marcel, Nathalie Mitton, Julien Vandaële
article
2012
Accès au bibtex
BibTex
titre
Monitoring Internal Power Consumption of Computing Systems
auteur
Mohammed El Mehdi Diouri, Olivier Glück, Laurent Lefèvre, Olivier Mornard
article
2012
Accès au bibtex
BibTex
titre
A Lattice-Based Traitor Tracing Scheme
auteur
San Ling, Damien Stehlé
article
2012
Accès au bibtex
BibTex

Books

titre
Desktop Grid Computing
auteur
Gilles Fedak
article
Christophe Cérin and Gilles Fedak. Chapman & All/CRC Press, pp.362, 2012, 9781439862148
Accès au bibtex
BibTex
titre
State of the Art on Technology and Practices for Improving the Energy Efficiency of Data Storage
auteur
Marcos Dias de Assuncao, Laurent Lefevre
article
Elsevier, 87, pp.89-124, 2012, Chapter of "Green and sustainable computing" in Advances in Computers, ⟨10.1016/B978-0-12-396528-8.00004-3⟩
Accès au bibtex
BibTex

Patents

titre
A System And A Method For Detecting Cheating Applications
auteur
Ludovic Noirie, Mohamad Jaber, Paulo Gonçalves
article
France, Patent n° : Patent Alcatel Lucent, INRIA No. 12305956.0. 2012
Accès au bibtex
BibTex
titre
Mixed-Precision Merged Multiplication and Addition Operator
auteur
Nicolas Brunie, Florent de Dinechin, Benoît de Dinechin
article
France, Patent n° : WO/2012/175828. 2012
Accès au bibtex
BibTex

Poster communications

titre
Natural Functional Diversity of the Yeast Galactose Network
auteur
Florent Chuffart, Eddy Caron, Gael Yvert
article
EMBL-EBI-Wellcome Trust Course: In silico Systems Biology, Apr 2012, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427716/file/Poster_InSilico.pdf BibTex

Documents associated with scientific events

titre
Calcul formel pour la combinatoire
auteur
Alin Bostan, Bruno Salvy
article
Journées ALEA 2012, Mar 2012, Luminy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780435/file/BostanSalvy_part1.pdf https://hal.inria.fr/hal-00780435/file/BostanSalvy_part2.pdf BibTex

Reports

titre
Revisiting the double checkpointing algorithm
auteur
Jack Dongarra, Thomas Herault, Yves Robert
article
[Research Report] RR-8196, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00768491/file/RR-8196.pdf BibTex
titre
Modular termination of C programs
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
[Research Report] RR-8166, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760917/file/RR-8166.pdf BibTex
titre
Parallel computation of entries of A-1
auteur
Patrick Amestoy, Iain S. Duff, Jean-Yves l'Excellent, François-Henry Rouet
article
[Research Report] RR-8142, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00759556/file/RR-8142.pdf BibTex
titre
Decoupled (SSA-based) Register Allocators: From Theory to Practice, Coping with Just-In-Time Compilation and Embedded Processors Constraints
auteur
Quentin Colombet
article
[University works] 2012, pp.224
Accès au bibtex
BibTex
titre
On Sparse Intermediate Representations: Some Structural Properties and Applications to Just-In-Time Compilation
auteur
Fabrice Rastello
article
[University works] Inria Grenoble Rhône-Alpes. 2012, pp.154
Accès au bibtex
BibTex
titre
Non-Linear Divisible Loads: There is No Free Lunch
auteur
Olivier Beaumont, Hubert Larchevêque, Loris Marchal
article
[Research Report] RR-8170, INRIA. 2012, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762008/file/RR-8170.pdf BibTex
titre
Scheduling tree-shaped task graphs to minimize memory and makespan
auteur
Loris Marchal, Oliver Sinnen, Frédéric Vivien
article
[Research Report] RR-8082, INRIA. 2012, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00740105/file/RR-8082.pdf BibTex
titre
Unified Model for Assessing Checkpointing Protocols at Extreme-Scale
auteur
George Bosilca, Aurélien Bouteiller, Elisabeth Brunet, Franck Cappello, Jack Dongarra, Amina Guermouche, Thomas Hérault, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
[Research Report] RR-7950, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00696154/file/RR-7950.pdf BibTex
titre
Impact of fault prediction on checkpointing strategies
auteur
Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
[Research Report] RR-8023, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00720401/file/RR-8023.pdf BibTex
titre
Improving the Accuracy and Efficiency of Time-Independent Trace Replay
auteur
Frédéric Desprez, George Markomanolis, Frédéric Suter
article
[Research Report] RR-8092, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00739082/file/RR-8092.pdf BibTex
titre
Investigations on push-relabel based algorithms for the maximum transversal problem
auteur
Kamer Kaya, Johannes Langguth, Fredrik Manne, Bora Uçar
article
[Research Report] RR-8093, INRIA. 2012, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00739360/file/rr-8093.pdf BibTex
titre
Performance Evaluation of MBAC solutions
auteur
Doreid Ammar, Thomas Begin, Isabelle Guérin-Lassous, Ludovic Noirie
article
[Research Report] RR-8080, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00736695/file/RR-8080.pdf BibTex
titre
Un modèle de trafic adapté à la volatilité de charge d'un service de vidéo à la demande: Identification, validation et application à la gestion dynamique de ressources.
auteur
Shubhabrata Roy, Thomas Begin, Patrick Loiseau, Paulo Gonçalves
article
[Research Report] RR-8072, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00734295/file/Roy-rr.pdf BibTex
titre
Active Data: A Programming Model to Manage Data Life Cycle Across Heterogeneous Systems and Infrastructures
auteur
Anthony Simonet, Gilles Fedak, Matei Ripeanu
article
[Research Report] RR-8062, Inria - Research Centre Grenoble – Rhône-Alpes; ENS Lyon; University of British Columbia. 2012, pp.49
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00729002/file/paper.pdf BibTex
titre
Supporting Experimental Computer Science
auteur
Frédéric Desprez, Geoffrey Fox, Emmanuel Jeannot, Kate Keahey, Michael Kozuch, David Margery, Pierre Neyron, Lucas Nussbaum, Christian Pérez, Olivier Richard, Warren Smith, Gregor von Laszewski, Jens Vöckler
article
[Research Report] RR-8035, INRIA. 2012, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722605/file/RR-8035.pdf BibTex
titre
Adding Virtualization Capabilities to Grid'5000
auteur
Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
article
[Research Report] RR-8026, INRIA. 2012, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00720910/file/RR-8026.pdf BibTex
titre
Self-Healing of Operational Workflow Incidents on Distributed Computing Infrastructures
auteur
Rafael Ferreira da Silva, Tristan Glatard, Frédéric Desprez
article
[Research Report] RR-8022, INRIA. 2012, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00720369/file/RR-8022.pdf BibTex
titre
Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems
auteur
Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714775/file/Report.pdf BibTex
titre
A Polynomial Spilling Heuristic: Layered Allocation
auteur
Boubacar Diouf, Albert Cohen, Fabrice Rastello
article
[Research Report] RR-8007, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00713693/file/RR-8007.pdf BibTex
titre
A Low Level Component Model enabling Resource Specialization of HPC Applications
auteur
Julien Bigot, Zhengxiong Hou, Christian Pérez, Vincent Pichon
article
[Research Report] RR-7966, INRIA. 2012, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00698573/file/RR-7966.pdf BibTex
titre
Mapping Tightly-Coupled Applications on Volatile Resources
auteur
Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
article
2012
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00697621/file/RR.pdf BibTex
titre
Budget Constrained Resource Allocation for Non-Deterministic Workflows on a IaaS Cloud
auteur
Eddy Caron, Frédéric Desprez, Adrian Muresan, Frédéric Suter
article
[Research Report] RR-7962, INRIA. 2012, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00697032/file/RR-7962.pdf BibTex
titre
Combining Process Replication and Checkpointing for Resilience on Exascale Systems
auteur
Henri Casanova, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
[Research Report] RR-7951, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00697180/file/RR-7951.pdf BibTex
titre
Diet-ethic: Fair Scheduling of Optional Computations in GridRPC Middleware
auteur
Frédéric Camillo, Eddy Caron, Ronan Guivarch, Aurélie Hurault, Cristian Klein, Christian Pérez
article
[Research Report] RR-7959, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00696104/file/main.good.pdf BibTex
titre
KBAC: Knowledge-Based Admission Control
auteur
Doreid Ammar, Thomas Begin, Isabelle Guérin-Lassous, Ludovic Noirie
article
[Research Report] RR-7955, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695335/file/RR-7955.pdf BibTex
titre
Finding cohesive communities with C³
auteur
Adrien Friggeri, Eric Fleury
article
[Research Report] RR-7947, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00692548/file/RR-7947.pdf BibTex
titre
Supporting Experimental Computer Science
auteur
Frédéric Desprez, Geoffrey Fox, Emmanuel Jeannot, Kate Keahey, Michael Kozuch, David Margery, Pierre Neyron, Lucas Nussbaum, Christian Pérez, Olivier Richard, Warren Smith, Gregor von Laszewski, Jens Vöckler
article
[Research Report] Argonne National Laboratory Technical Memo 326, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00720815/file/Supporting_Experimental_Computer_Science_final_draft.pdf BibTex
titre
On the complexity of scheduling checkpoints for computational workflows
auteur
Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
[Research Report] RR-7907, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00680386/file/RR-7907.pdf BibTex
titre
SpeQuloS: A QoS Service for BoT Applications Using Best Effort Distributed Computing Infrastructures.
auteur
Simon Delamare, Gilles Fedak, Derrick Kondo, Oleg Lodygensky
article
[Research Report] RR-7890, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00672046/file/RR-7890.pdf BibTex
titre
Auto-Scaling, Load Balancing and Monitoring in Commercial and Open-Source Clouds
auteur
Eddy Caron, Luis Rodero-Merino, Frédéric Desprez, Adrian Muresan
article
[Research Report] RR-7857, INRIA. 2012, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00668713/file/RR-7857.pdf BibTex
titre
Using group replication for resilience on exascale systems
auteur
Marin Bougeret, Henri Casanova, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
[Research Report] RR-7876, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00668016/file/RR-7876_AugmentedVersion.pdf BibTex
titre
Energy-aware scheduling under reliability and makespan constraints
auteur
Guillaume Aupy, Anne Benoit, Yves Robert
article
[Research Report] RR-7757, INRIA. 2012, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00630721/file/RR-7757.pdf BibTex
titre
Throughput optimization for pipeline workflow scheduling with setup times
auteur
Anne Benoit, Mathias Coqblin, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo
article
[Research Report] RR-7886, INRIA. 2012, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00674057/file/RR-7886.pdf BibTex
titre
Fault-Tolerant and Dynamic Service Discovery System
auteur
Eddy Caron, Florent Chuffart, Alain Cournier, Anissa Lamani, Franck Petit, Cédric Tedeschi, Vincent Villain
article
[Other] SPADE 1.2, Agence Nationale de la Recherche. 2012, pp.41
Accès au bibtex
BibTex
titre
Procurement guidance for energy efficient server room and data centre equipment
auteur
S. Clement, P. Tepper, B Schappi, T Bogner, L. Lefevre, A. Schlosser, A. Roscetti, C. Patrao, M. Dias de Assuncao
article
[Research Report] Inria. 2012
Accès au bibtex
BibTex
titre
Semantically Secure Lattice Codes for the Gaussian Wiretap Channel
auteur
Jean-Claude Belfiore, Cong Ling, Laura Luzzi, Damien Stehlé
article
2012
Accès au bibtex
BibTex

Theses

titre
Évaluation de la bande passante disponible et traitement du partage dans les réseaux sans fil multisauts basés sur le standard IEEE 802.11 DCF
auteur
van Nam Nguyen
article
Littérature générale [cs.GL]. Université Claude Bernard - Lyon I, 2012. Français. ⟨NNT : 2012LYO10305⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01293938/file/TH2012NguyenVanNam.pdf BibTex
titre
Scheduling and deployment of large-scale applications on Cloud platforms
auteur
Adrian Muresan
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0780⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00786475/file/MURESAN_Adrian_2012_These.pdf BibTex
titre
Plan de connaissance pour les réseaux sémantiques : application au contrôle d'admission
auteur
Doreid Ammar
article
Autre [cs.OH]. Université Claude Bernard - Lyon I, 2012. Français. ⟨NNT : 2012LYO10257⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00850153/file/TH2012_Ammar_Doreid_ii.pdf BibTex
titre
Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraints
auteur
Quentin Colombet
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0777⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00764405/file/COLOMBET_Quentin_2012_These.pdf BibTex
titre
Représentations des polynômes, algorithmes et bornes inférieures
auteur
Bruno Grenet
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français. ⟨NNT : 2012ENSL0769⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00770148/file/GRENET_Bruno_2012_These.pdf BibTex
titre
Cooperative Resource Management for Parallel and Distributed Systems
auteur
Cristian Klein-Halmaghi
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0773⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00780719/file/KLEIN_HALMAGHI_Cristian_2012_These.pdf BibTex
titre
Réalisabilité et paramétricité dans les systèmes de types purs
auteur
Marc Lasson
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français. ⟨NNT : 2012ENSL0764⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00770669/file/LASSON_Marc_2012_these_VD.pdf BibTex
titre
Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection
auteur
Jingyan Jourdan
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0762⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00779764/file/JOURDAN_LU_Jingyan_2012_These.pdf BibTex
titre
Algorithmique du Network Calculus
auteur
Laurent Jouhet
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français. ⟨NNT : 2012ENSL0760⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00776381/file/JOUHET_Laurent_2012_These.pdf BibTex
titre
Contribution à la conception à base de composants logiciels d'applications scientifiques parallèles
auteur
Vincent Pichon
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français. ⟨NNT : 2012ENSL0758⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00776371/file/PICHON_Vincent_2012_these.pdf BibTex
titre
Contributions to the Formal Verification of Arithmetic Algorithms
auteur
Erik Martin-Dorel
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0742⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00745553/file/MARTIN_DOREL_Erik_2012_these.pdf BibTex
titre
A Quantitative Theory of Social Cohesion
auteur
Adrien Friggeri
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0734⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00737199/file/FRIGGERI_Adrien_2012_these.pdf BibTex
titre
Energy-aware scheduling : complexity and algorithms
auteur
Paul Renaud-Goud
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0727⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00744247/file/RENAUD_GOUD_Paul_2012_These.pdf BibTex
titre
Contributions to floating-point arithmetic : Coding and correct rounding of algebraic functions
auteur
Adrien Panhaleux
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0721⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00744373/file/PANHALEUX_Adrien_2012_-_These.pdf BibTex
titre
Updating Automata Networks
auteur
Mathilde Noual
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0717⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00726560/file/NOUAL_Mathilde_2012_these.pdf BibTex
titre
Stratégies de routage multi-chemin dans les réseaux sans fil multi-sauts
auteur
Inès Doghri
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français. ⟨NNT : 2012ENSL0714⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00828394/file/DOGHRI_Ines_2012_These.pdf BibTex
titre
Overlapping community detection in dynamic networks
auteur
Qinna Wang
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. ⟨NNT : 2012ENSL0713⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00701217/file/WANG_Qinna_2012_These.pdf BibTex
titre
Methods and tools for the compilation and software optimization of wireless embedded systems dedicated to applications
auteur
Andréea Chis
article
Embedded Systems. Ecole normale supérieure de lyon - ENS LYON, 2012. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00768830/file/AndreeaChisThesis.pdf BibTex

Preprints, Working Papers, ...

titre
Scheduling/Data Management Heuristics
auteur
Frédéric Desprez, Sylvain Gault, Frédéric Suter
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00759546/file/MapReduce-D3.1.pdf BibTex
titre
Counting and generating lambda terms
auteur
Katarzyna Grygiel, Pierre Lescanne
article
2012
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00740034/file/KG_PL_Counting_Lambdas.pdf BibTex
titre
Opinion groups formation and dynamics : structures that last from non lasting entities
auteur
Sébastian Grauwin, Pablo Jensen
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00704285/file/pre_hal.pdf BibTex
titre
Causal graph dynamics
auteur
Pablo Arrighi, Gilles Dowek
article
2012
Accès au bibtex
https://arxiv.org/pdf/1202.1098 BibTex
titre
Arithmetic circuits: the chasm at depth four gets wider
auteur
Pascal Koiran
article
2012
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00494642/file/depth4.revised.pdf BibTex
titre
Computational interpretation of classical logic with explicit structural rules
auteur
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic
article
2012
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00681296/file/arxiv_classical.pdf BibTex
titre
Higher-order Interpretations and Program Complexity (Long Version)
auteur
Patrick Baillot, Ugo Dal Lago
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00667816/file/HOI_Long08022012.pdf BibTex