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

2014

Journal articles

titre
A low level component model easing performance portability of HPC applications
auteur
Julien Bigot, Zhengxiong Hou, Christian Pérez, Vincent Pichon
article
Computing, Springer Verlag, 2014, 96 (12), pp.1115-1130. ⟨10.1007/s00607-013-0368-3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911231/file/paper.pdf BibTex
titre
Complex contagion process in spreading of online innovation
auteur
Márton Karsai, Gerardo Iñiguez, Kimmo Kaski, János Kertész
article
Journal of the Royal Society Interface, the Royal Society, 2014, 11, pp.20140694. ⟨10.1098/rsif.2014.0694⟩
Accès au bibtex
BibTex
titre
Des ordinateurs capables de calculer plus juste
auteur
Jean-Michel Muller, Sylvie Boldo
article
La Recherche, Sciences et avenir, 2014, pp.46-53
Accès au bibtex
BibTex
titre
Finite repetition threshold for large alphabets
auteur
Golnaz Badkobeh, Maxime Crochemore, Michael Rao
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2014, 48 (4), pp.419-430
Accès au bibtex
BibTex
titre
On the number of prime factors of an odd perfect number
auteur
Pascal Ochem, Michael Rao
article
Mathematics of Computation, American Mathematical Society, 2014, 83 (289), pp.2435-2439. ⟨10.1090/S0025-5718-2013-02776-7⟩
Accès au bibtex
BibTex
titre
First steps towards more numerical reproducibility
auteur
Fabienne Jézéquel, Philippe Langlois, Nathalie Revol
article
ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00872562/file/JezLanRev13.pdf BibTex
titre
Singularity Analysis Via the Iterated Kernel Method
auteur
Stephen Melczer, Marni Mishna
article
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2014, 23 (05), pp.861 - 888. ⟨10.1017/S0963548314000145⟩
Accès au bibtex
BibTex
titre
(M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function
auteur
Dong Wang, Jean-Michel Muller, Nicolas Brisebarre, Milos Ercegovac
article
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01001673/file/TCAS_paper.pdf BibTex
titre
Reduced complexity in M/Ph/c/N queues
auteur
Alexandre Brandwajn, Thomas Begin
article
Performance Evaluation, Elsevier, 2014, pp.42 - 54. ⟨10.1016/j.peva.2014.06.001⟩
Accès au bibtex
BibTex
titre
Another remark on the radical of an ODD perfect number
auteur
Pascal Ochem, Michaël Rao
article
The Fibonacci Quarterly, Dalhousie University, 2014, 52 (3)
Accès au bibtex
BibTex
titre
The role of endogenous and exogenous mechanisms in the formation of R&D networks
auteur
Mario Vincenzo Tomasello, Nicola Perra, Claudio Juan Tessone, Márton Karsai, Frank Schweitzer
article
Scientific Reports, Nature Publishing Group, 2014, 4, pp.5679. ⟨10.1038/srep05679⟩
Accès au bibtex
BibTex
titre
Three maps and three misunderstandings: A digital mapping of climate diplomacy
auteur
Tommaso Venturini, Nicolas Baya-Laffite, Jean-Philippe Cointet, Ian Gray, Vinciane Zabban, Kari de Pryck
article
Big Data & Society, SAGE, 2014, 1 (2), pp.1-19. ⟨10.1177/2053951714543804⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01672306/file/Venturini%20et%20al.%20-%202014%20-%20Three%20maps%20and%20three%20misunderstandings%20A%20digital%20mapping%20of%20climate%20diplomacy.pdf BibTex
titre
Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms
auteur
Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter
article
Journal of Parallel and Distributed Computing, Elsevier, 2014, 74 (10), pp.2899-2917. ⟨10.1016/j.jpdc.2014.06.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01017319/file/simgrid3-journal.pdf BibTex
titre
The Case for Workflow-Aware Storage:An Opportunity Study
auteur
Lauro Beltrão Costa, H. Yang, Emalayan Vairavanathan, Abmar Barros, Ketan C. Maheshwari, Daniel S. Katz, Michael Wilde, Matei Ripeanu, Samer Al-Kiswany, Gilles Fedak
article
Journal of Grid Computing, Springer Verlag, 2014, pp.19. ⟨10.1007/s10723-014-9307-6⟩
Accès au bibtex
BibTex
titre
Revisiting wavefront construction with collective agents: an approach to foraging
auteur
Olivier Simonin, François Charpillet, Eric Thierry
article
Swarm Intelligence, Springer, 2014, June 2014, 8 (2), pp.113-138. ⟨10.1007/s11721-014-0093-3⟩
Accès au bibtex
BibTex
titre
Assessing Power Monitoring Approaches for Energy and Power Analysis of Computers
auteur
Mohammed El Mehdi Diouri, Manuel Francisco Dolz, Olivier Glück, Laurent Lefèvre, Pedro Alonso, Sandra Catalán, Rafael Mayo, Enrique Salvador Quintana-Ortí
article
Sustainable Computing : Informatics and Systems, Elsevier, 2014, 4 (2), pp.68-82. ⟨10.1016/j.suscom.2014.03.006⟩
Accès au bibtex
BibTex
titre
Using group replication for resilience on exascale systems
auteur
Marin Bougeret, Henri Casanova, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
International Journal of High Performance Computing Applications, SAGE Publications, 2014, 28 (2), pp.210-224. ⟨10.1177/1094342013505348⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00881463/file/IJHPCA-revision.pdf BibTex
titre
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
auteur
Pierre Clairambault, Peter Dybjer
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2014, 24 (05), pp.e240501. ⟨10.1017/S0960129513000881⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00990027/file/mainmscsrevised.pdf BibTex
titre
Validating an agent-based model of the Zipf's law: a discrete Markov chain approach
auteur
Bruno Gaujal, Laszlo Gulyas, Yuri Mansuri, Eric Thierry
article
Journal of Economic Dynamics and Control, Elsevier, 2014, pp.38-49. ⟨10.1016/j.jedc.2014.02.002⟩
Accès au bibtex
BibTex
titre
A Survey on Techniques for Improving the Energy Efficiency of Large-Scale Distributed Systems
auteur
Anne-Cécile Orgerie, Marcos Dias de Assuncao, Laurent Lefèvre
article
ACM Computing Surveys, Association for Computing Machinery, 2014, 46 (4), pp.31. ⟨10.1145/2532637⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767582/file/ACMsurvey-hal.pdf BibTex
titre
Thermodynamic graph-rewriting
auteur
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 11 (2), pp.13. ⟨10.2168/LMCS-11(2:13)2015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263637/file/1503.06022v2.pdf BibTex
titre
Disjoint 3-Cycles in Tournaments: A Proof of The Bermond-Thomassen Conjecture for Tournaments
auteur
Jørgen Bang-Jensen, Stéphane Bessy, Stéphan Thomassé
article
Journal of Graph Theory, Wiley, 2014, 75 (3), pp.284-302. ⟨10.1002/jgt.21740⟩
Accès au bibtex
BibTex
titre
Performance and reliability trade-offs for the double checkpointing algorithm
auteur
Jack Dongarra, Thomas Herault, Yves Robert
article
International Journal of Networking and Computing, Higashi Hiroshima : Dept. of Computer Engineering, Hiroshima University, 2014, 4 (1), pp.18
Accès au bibtex
BibTex
titre
Flooding games on graphs
auteur
Aurélie Lagoutte, Mathilde Noual, Eric Thierry
article
Discrete Applied Mathematics, Elsevier, 2014, LAGOS’11, Part 2, 164, pp.532-538. ⟨10.1016/j.dam.2013.09.024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00653714/file/FLOODS-DAM.pdf BibTex
titre
A study of shared-memory parallelism in a multifrontal solver
auteur
Jean-Yves L'Excellent, Wissam M. Sid-Lakhdar
article
Parallel Computing, Elsevier, 2014, 40 (3-4), pp.34-46. ⟨10.1016/j.parco.2014.02.003⟩
Accès au bibtex
BibTex
titre
Interference and throughput in spectrum sensing cognitive radio networks using point processes
auteur
Anthony Busson, Bijan Jabbari, Alireza Babaei, Véronique Vèque
article
Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2014, 16 (1), pp.67-80. ⟨10.1109/JCN.2014.000010⟩
Accès au bibtex
BibTex
titre
Complexity of colouring problems restricted to unichord-free and { square,unichord }-free graphs
auteur
Raphael C.S. Machado, Celina M.H. de Figueiredo, Nicolas Trotignon
article
Discrete Applied Mathematics, Elsevier, 2014, 164, ⟨10.1016/j.dam.2012.02.016⟩
Accès au bibtex
https://arxiv.org/pdf/1309.2749 BibTex
titre
Linear Balanceable and Subcubic Balanceable Graphs*
auteur
Pierre Aboulker, Marko Radovanović, Nicolas Trotignon, Théophile Trunck, Kristina Vušković
article
Journal of Graph Theory, Wiley, 2014, 75 (2), pp.150 - 166. ⟨10.1002/jgt.21728⟩
Accès au bibtex
BibTex
titre
Shared memory parallelism and low-rank approximation techniques applied to direct solvers in FEM simulation
auteur
Patrick Amestoy, Alfredo Buttari, Guillaume Joslin, Jean-Yves L'Excellent, Mohamed Sid-Lakhdar, Clement Weisbecker, Michele Forzan, Cristian Pozza, Rémy Perrin, Valène Pellissier
article
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2014, vol. 50 (n° 2), pp. 1-4. ⟨10.1109/TMAG.2013.2284024⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01123557/file/Amestoy_12721.pdf BibTex
titre
Attitudes, risk of infection and behaviours in the operating room (the ARIBO Project): a prospective, cross-sectional study
auteur
Gabriel Birgand, Christine Azevedo Coste, Gaëlle Toupet, Roger Pissard-Gibollet, Bruno Grandbastien, Eric Fleury, Jean-Christophe Lucet
article
BMJ Open, BMJ Publishing Group, 2014, 4, pp.e004274. ⟨10.1136/bmjopen-2013-004274⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00916840/file/BMJ_Open-2014-Birgand-.pdf BibTex
titre
Non-D-finite excursions in the quarter plane
auteur
Alin Bostan, Kilian Raschel, Bruno Salvy
article
Journal of Combinatorial Theory, Series A, Elsevier, 2014, 121, pp.45-63. ⟨10.1016/j.jcta.2013.09.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00697386/file/BoRaSa12.pdf BibTex
titre
Semantically Secure Lattice Codes for the Gaussian Wiretap Channel
auteur
Cong Ling, Laura Luzzi, Jean-Claude Belfiore, Damien Stehlé
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2014, 60 (10), pp.6399-6416. ⟨10.1109/TIT.2014.2343226⟩
Accès au bibtex
https://arxiv.org/pdf/1210.6673 BibTex
titre
Satisfying more than half of a system of linear equations over GF(2): A multivariate approach
auteur
Robert Crowston, Michael Fellows, Gregory Gutin, Mark Jones, Eun Jung Kim, Frances Rosamond, Imre Z. Rusza, Stéphan Thomassé, Anders Yeo
article
Journal of Computer and System Sciences, Elsevier, 2014, 80 (4), ⟨10.1016/j.jcss.2013.10.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01347776/file/mlinJ5b.pdf BibTex
titre
Time varying networks and the weakness of strong ties
auteur
Márton Karsai, Nicola Perra, Alessandro Vespignani
article
Scientific Reports, Nature Publishing Group, 2014, 4, pp.4001. ⟨10.1038/srep04001⟩
Accès au bibtex
BibTex
titre
The Complexity of the Simultaneous Cluster Problem
auteur
Zhentao Li, Manikandan Narayanan, Adrian Vetta
article
Journal of Graph Algorithms and Applications, Brown University, 2014, 18 (1), pp.1-34
Accès au bibtex
BibTex
titre
Tree algebra of sofic tree languages
auteur
Nathalie Aubrun, Marie-Pierre Béal
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2014, 48 (4), pp.431-451
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01789916/file/AubrunBeal_JM12.pdf BibTex
titre
Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm
auteur
Filippo Bonchi, Marcello Bonsangue, Hansen Helle Hvid, Prakash Panangaden, Jan Rutten, Alexandra Silva
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2014, 15 (1), pp.3:1--3:29. ⟨10.1145/2490818⟩
Accès au bibtex
BibTex
titre
Strong edge-colouring of sparse planar graphs
auteur
Julien Bensmail, Ararat Harutyunyan, Hervé Hocquard, Petru Valicov
article
Discrete Applied Mathematics, Elsevier, 2014, ⟨10.1016/j.dam.2014.07.006⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00932945/file/Second_version.pdf BibTex
titre
Controlling Contagion Processes in Time-Varying Networks
auteur
Suyu Liu, Nicola Perra, Márton Karsai, Alessandro Vespignani
article
Physical Review Letters, American Physical Society, 2014, 112 (118702), pp.13. ⟨10.1103/PhysRevLett.112.118702⟩
Accès au bibtex
https://arxiv.org/pdf/1309.7031 BibTex
titre
Controlling fairness and task granularity in distributed, online, non-clairvoyant workflow executions
auteur
Raphaël Ferreira da Silva, Tristan Glatard, Frédéric Desprez
article
Concurrency and Computation: Practice and Experience, Wiley, 2014, 26 (14), pp.2347-2366. ⟨10.1002/cpe.3303⟩
Accès au bibtex
BibTex
titre
Hidden cliques and the certification of the restricted isometry property
auteur
Pascal Koiran, Anastasios Zouzias
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2014, 60 (8), pp.4999-5007
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00747908/file/planted.pdf BibTex
titre
(Nearly-)tight bounds on the contiguity and linearity of cographs
auteur
Christophe Crespelle, Philippe Gambette
article
Theoretical Computer Science, Elsevier, 2014, 522, pp.1-12. ⟨10.1016/j.tcs.2013.11.036⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00915069/file/2013CrespelleGambetteTCS.pdf BibTex
titre
Clique versus Independent Set
auteur
Nicolas Bousquet, Aurélie Lagoutte, Stéphan Thomassé
article
European Journal of Combinatorics, Elsevier, 2014, 40, pp.73-92. ⟨10.1016/j.ejc.2014.02.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00958647/file/CS-sep_pour_journal_revisee.pdf BibTex
titre
Detecting wheels
auteur
Emilie Diot, Sébastien Tavenas, Nicolas Trotignon
article
Applicable Analysis and Discrete Mathematics, Department of Applied Mathematics, University of Belgrade, 2014, 8 (1), ⟨10.2298/AADM131128023D⟩
Accès au bibtex
https://arxiv.org/pdf/1308.6433 BibTex
titre
Multidimensional effective S-adic subshift are sofic
auteur
Mathieu Sablik, Nathalie Aubrun
article
Uniform Distribution Theory, Mathematical Institute of the Slovak Academy of Sciences, 2014, 9 (2)
Accès au bibtex
BibTex
titre
Parameterized domination in circle graphs
auteur
Christophe Paul, Nicolas Bousquet, Daniel Gonçalves, George Mertzios, Ignasi Sau Valls, Stéphan Thomassé
article
Theory of Computing Systems, Springer Verlag, 2014, 54 (1), pp.45-72. ⟨10.1007/s00224-013-9478-8⟩
Accès au bibtex
https://arxiv.org/pdf/1205.3728 BibTex
titre
Hitting and harvesting pumpkins
auteur
Gwénaël Joret, Christophe Paul, Ignasi Sau Valls, Saket Saurabh, Stéphan Thomassé
article
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2014, 28 (3), pp.1363-1390. ⟨10.1137/120883736⟩
Accès au bibtex
BibTex
titre
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms
auteur
Nathalie Revol, Philippe Théveny
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916931/file/Revol-Theveny-long-version.pdf BibTex
titre
Improved backward error bounds for LU and Cholesky factorizations
auteur
Siegfried M. Rump, Claude-Pierre Jeannerod
article
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2014, 35 (2), pp.684-698. ⟨10.1137/130927231⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00841361/file/RumpJeannerod14.pdf BibTex
titre
A Symmetry Preserving Algorithm for Matrix Scaling
auteur
Philip A. Knight, Daniel Ruiz, Bora Uçar
article
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2014, 35 (3), pp.25. ⟨10.1137/110825753⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00569250/file/symmetryPreservingScaling-82575.pdf BibTex
titre
Regular simplices and periodic billiard orbits
auteur
Nicolas Bedaride, Michael Rao
article
Proceedings of the American Mathematical Society, American Mathematical Society, 2014, ⟨10.1090/S0002-9939-2014-12076-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01219084/file/periode-BR-1012.pdf BibTex
titre
Abstract Acceleration in Linear Relation Analysis
auteur
Laure Gonnord, Peter Schrammel
article
Science of Computer Programming, Elsevier, 2014, 93, part B (125 - 153), pp.125 - 153. ⟨10.1016/j.scico.2013.09.016⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00876627/file/scpLRA4hal.pdf BibTex

Conference papers

titre
Reducing elimination tree height for parallel LU factorization of sparse unsymmetric matrices
auteur
Enver Kayaaslan, Bora Uçar
article
HiPC 2014, Dec 2014, Goa, India. pp.1--10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114413/file/paper.pdf BibTex
titre
Segment Routing based Traffic Engineering for Energy Efficient Backbone Networks
auteur
Radu Carpa, Olivier Glück, Laurent Lefevre
article
ANTS2014 : IEEE International Conference on Advanced Networks and Telecommunications Systems, Dec 2014, New Delhi, India
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094359/file/ants2014.pdf BibTex
titre
Outage Analysis of integrated Mesh LTE Femtocell Networks
auteur
Anthony Busson, Lynda Zitoune, Véronique Vèque, Bijan Jabbari
article
IEEE GLOBECOM 2014, Dec 2014, Austin, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00979627/file/GC.pdf BibTex
titre
Concise Multi-challenge CCA-Secure Encryption and Signatures with Almost Tight Security
auteur
Benoît Libert, Marc Joye, Moti Yung, Thomas Peters
article
Asiacrypt 2014, Dec 2014, Kaohsiung, Taiwan. pp.1 - 21, ⟨10.1007/978-3-662-45608-8_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088108/file/tightness-AC14.pdf BibTex
titre
A Generic and Extensible Framework for Monitoring Energy Consumption of OpenStack Clouds
auteur
Francois Rossigneux, Laurent Lefevre, Jean-Patrick Gelas, Marcos Dias de Assuncao
article
The 4th IEEE International Conference on Sustainable Computing and Communications (Sustaincom 2014), Dec 2014, Sydney, Australia
Accès au bibtex
BibTex
titre
Towards Generalizing "Big Little" for Energy Proportional HPC and Cloud Infrastructures
auteur
Violaine Villebonnet, Georges da Costa, Laurent Lefevre, Jean-Marc Pierson, Patricia Stolf
article
4th IEEE International Conference on Big Data and Cloud Computing (BdCloud 2014), Dec 2014, Sydney, Australia. pp.1-8, ⟨10.1109/BDCloud.2014.99⟩
Accès au bibtex
BibTex
titre
Validation of Memory Accesses Through Symbolic Analyses
auteur
Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Magno Quintão Pereira, Laure Gonnord
article
ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'14), Oct 2014, Portland, Oregon, United States. pp.791-809, ⟨10.1145/2660193.2660205⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006209/file/oopsla14_memory_author_version.pdf BibTex
titre
Studying the energy consumption of data transfers in Clouds: the Ecofen approach
auteur
Bogdan Florin Cornea, Anne-Cécile Orgerie, Laurent Lefèvre
article
CloudNet: IEEE International Conference on Cloud Networking, Oct 2014, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088944/file/cloudNet14-ecofen.pdf BibTex
titre
Emergence of regularities on decreasing sandpile models
auteur
Kévin Perrot, Éric Rémila
article
15th Mons Theoretical Computer Science Days, Sep 2014, Nancy, France
Accès au bibtex
BibTex
titre
Data-driven spreading for the detection of weak ties
auteur
Qian Zhang, Márton Karsai, Alessandro Vespignani
article
European Conference on Complex Systems, IMT-Lucca, Sep 2014, Lucca, Italy
Accès au bibtex
BibTex
titre
Practical validation of several fault attacks against the Miller algorithm
auteur
Ronan Lashermes, Marie Paindavoine, Nadia El Mrabet, Jacques Jean-Alain Fournier, Louis Goubin
article
Fault Diagnosis and Tolerance in Cryptography (FDTC), 2014 Workshop on, Sep 2014, Busan, South Korea. ⟨10.1109/FDTC.2014.21⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01100813/file/PID3318933.pdf BibTex
titre
Modeling of IEEE 802.11 Multi-hop Wireless Chains with Hidden Nodes
auteur
Thiago Abreu, Bruno Baynat, Thomas Begin, Isabelle Guérin-Lassous, Nghi Nguyen
article
17th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (2014), Sep 2014, Montréal, Canada. pp.159-162, ⟨10.1145/2641798.2641826⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01071825/file/mswim7041s-abreuA.pdf BibTex
titre
Polyhedral Optimizations? Not Even Scared!
auteur
Alain Darte
article
Jornadas Sarteco, Arturo González Escribano; Diego R. Llanos Ferraris, Sep 2014, Valladolid, Spain
Accès au bibtex
BibTex
titre
A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice
auteur
Luis Fernando Pino Duque, Filippo Bonchi, Frank D. Valencia
article
ICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. pp.351-368, ⟨10.1007/978-3-319-10882-7_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006382/file/ictac14-final.pdf BibTex
titre
On Program Equivalence with Reductions
auteur
Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
article
21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096110/file/sas2014.pdf BibTex
titre
UDP PING: a dedicated tool for improving measurements of the Internet topology
auteur
Fabien Tarissan, Elie Rotenberg, Matthieu Latapy, Christophe Crespelle
article
MASCOTS'14 : IEEE 22nd International Symposium on Modeling Analysis and Simulation of Computer and Telecomunication Systems, Sep 2014, Paris, France. pp.506 - 509, ⟨10.1109/MASCOTS.2014.74⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01208361/file/14_mascots.pdf BibTex
titre
Towards Privacy for MapReduce on Hybrid Clouds Using Information Dispersal Algorithm
auteur
Asma Ben Cheikh, Heithem Abbes, Gilles Fedak
article
Data Management in Cloud, Grid and P2P Systems (GLOBE'2015), Sep 2014, Munich, Germany. ⟨10.1007/978-3-319-10067-8_4⟩
Accès au bibtex
BibTex
titre
Bisimulations up-to: beyond first-order transition systems
auteur
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
article
CONCUR, Sep 2014, Rome, Italy. ⟨10.1007/978-3-662-44584-6_8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00990859/file/fo.pdf BibTex
titre
A Categorical Semantics of Signal Flow Graphs
auteur
Filippo Bonchi, Pawel Sobociński, Fabio Zanasi
article
CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02134182/file/sfg.pdf BibTex
titre
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
auteur
Patrick Baillot, Erika de Benedetti, Simona Ronchi Della Rocca
article
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01015171/file/978-3-662-44602-7_13_Chapter.pdf BibTex
titre
Impacts of labour first and second stages on Hurst parameter based intrapartum fetal Heart Rate analysis
auteur
Jiri Spilka, Patrice Abry, Paulo Gonçalves, Muriel Doret
article
CinC 2014 : IEEE International Conference on Computing in Cardiology, Sep 2014, Cambridge (MA), US, United States. pp.777 - 780
Accès au bibtex
BibTex
titre
Locality-aware Cooperation for VM Scheduling in Distributed Clouds
auteur
Jonathan Pastor, Marin Bertier, Frédéric Desprez, Adrien Lebre, Flavien Quesnel, Cédric Tedeschi
article
Euro-Par 2014, Aug 2014, Porto, Portugal
Accès au bibtex
BibTex
titre
Parallel computation of echelon forms
auteur
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
article
EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00947013/file/parallelPLUQ.pdf BibTex
titre
A Note on the Minimum Distance of Quantum LDPC Codes
auteur
Nicolas Delfosse, Zhentao Li, Stéphan Thomassé
article
MFCS 2014, Aug 2014, Budapest, Hungary. pp.239-250
Accès au bibtex
BibTex
titre
Dynamic Scheduling of MapReduce Shuffle under Bandwidth Constraints
auteur
Sylvain Gault, Christian Pérez
article
Euro-Par 2014: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.117-128, ⟨10.1007/978-3-319-14325-5_11⟩
Accès au bibtex
BibTex
titre
Parallel Data Processing in Dynamic Hybrid Computing Environment Using MapReduce
auteur
Bing Tang, Haiwu He, Gilles Fedak
article
International Conference on Algorithms and Architectures for Parallel Processing, Aug 2014, Dalian, China. ⟨10.1007/978-3-319-11194-0_1⟩
Accès au bibtex
BibTex
titre
Elements of Design for Containers and Solutions in the LinBox Library
auteur
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders
article
ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01015138/file/axiv.pdf BibTex
titre
A New Method to Compute the Probability of Collision for Short-term Space Encounters
auteur
Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, Bruno Salvy
article
AIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. 6p., ⟨10.2514/6.2014-4366⟩
Accès au bibtex
BibTex
titre
Nearest-Neighbor based Wavelet Entropy Rate Measures for Nearest-Neighbor based Wavelet Entropy Rate Measures for Intrapartum Fetal Heart Rate Variability
auteur
Jiri Spilka, Stéphane Roux, Nicolas B. Garnier, Patrice Abry, Paulo Gonçalves, Muriel Doret
article
36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Aug 2014, Chicago (Illinois), US, United States. pp.2813 - 2816, ⟨10.1109/EMBC.2014.6944208⟩
Accès au bibtex
BibTex
titre
Power-aware replica placement in tree networks with multiple servers per client
auteur
Guillaume Aupy, Anne Benoit, Matthieu Journault, Yves Robert
article
EuroPar - 20th International European Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.11, ⟨10.1007/978-3-319-09873-9_51⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01059365/file/europar.pdf BibTex
titre
Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance
auteur
Erich L. Kaltofen, Clément Pernet
article
ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩
Accès au bibtex
https://arxiv.org/pdf/1403.3594 BibTex
titre
LLL reducing with the most significant bits
auteur
Goel Sarushi, Ivan Morel, Damien Stehlé, Gilles Villard
article
39th International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, July 23-25, 2014, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608645⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00993445/file/lift.pdf BibTex
titre
Characterizing asynchronous broadcast trees for multifrontal factorizations (SIAM - CSC 2014)
auteur
Patrick Amestoy, Jean-Yves L'Excellent, Mohamed Sid-Lakhdar
article
6th SIAM Workshop on Combinatorial Scientific Computing (CSC 2014), SIAM: Society for Industrial and Applied Mathematics; LIP : Laboratoire de l'Informatique du Parallélisme (CNRS, ENS Lyon, INRIA, Université Claude Bernard Lyon 1), Jul 2014, Lyon, France
Accès au bibtex
BibTex
titre
Real-World Loops are Easy to Predict: A Case Study
auteur
Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord
article
Workshop on Software Termination (WST'14), Jul 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006208/file/wst_realloops_author_version.pdf BibTex
titre
Born and Raised Distributively: Fully Distributed Non-Interactive Adaptively-Secure Threshold Signatures with Short Shares
auteur
Benoît Libert, Marc Joye, Moti Yung
article
ACM Symposium on Principles of Distributed Computing (PODC 2014), Jul 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983149/file/2threshold-short-sig.pdf BibTex
titre
Symmetry in Concurrent Games
auteur
Simon Castellan, Pierre Clairambault, Glynn Winskel
article
Logic in Computer Science, Jul 2014, Vienna, Austria. 10 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00990020/file/GameswSymm2014.pdf BibTex
titre
Weak MSO: Automata and Expressiveness Modulo Bisimilarity
auteur
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
article
CSL-LICS 2014, Jul 2014, vienne, Austria. pp.478-487
Accès au bibtex
BibTex
titre
On Context Semantics and Interaction Nets
auteur
Matthieu Perrinel
article
CSL-LICS, Jul 2014, Austria. pp.10, ⟨10.1145/2603088.2603155⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00992579/file/article.pdf BibTex
titre
Latest Developments on the IEEE 1788 Effort for the Standardization of Interval Arithmetic
auteur
Nathalie Revol
article
ICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Michael Beer, Jul 2014, Liverpool, United Kingdom. pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920662/file/Revol.pdf BibTex
titre
An Advanced Security-Aware Cloud Architecture
auteur
Laurent Bobelin, Aline Bousquet, Jérémy Briffaut, Eddy Caron, Jean-François Couturier, Arnaud Lefray, Jonathan Rouzaud-Cornabas, Christian Toinard
article
HPCS 2014 - The 2014 International Conference on High Performance Computing & Simulation, Jul 2014, Bologne, Italy
Accès au bibtex
BibTex
titre
Coinduction up to in a fibrational setting
auteur
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
article
CSL-LICS, Jul 2014, Vienne, Austria. pp.1-12, ⟨10.1145/2603088.2603149⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00936488/file/cutifs.pdf BibTex
titre
Modeling 1D distributed-memory dense kernels for an asynchronous multifrontal sparse solver
auteur
Patrick Amestoy, Jean-Yves L'Excellent, François-Henry Rouet, Wissam M. Sid-Lakhdar
article
High Performance Computing for Computational Science, 2014 - 11th International Conference, Revised Selected Papers, Jun 2014, Eugene, Oregon, United States. pp.156-169
Accès au bibtex
BibTex
titre
Recognition of dynamic circle graphs
auteur
Christophe Crespelle, Emeric Gioan, Christophe Paul
article
ICGT: International Colloquium on Graph Theory and combinatorics, Jun 2014, Grenoble, France
Accès au bibtex
BibTex
titre
Improving Users' Isolation in IaaS: Virtual Machine Placement with Security Constraints
auteur
Eddy Caron, Jonathan Rouzaud-Cornabas
article
7th IEEE International Conference on Cloud Computing (IEEE Cloud 2014), Jun 2014, Anchorage, United States. pp.8, ⟨10.1109/CLOUD.2014.19⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01240592/file/IPDPS14_userisolation.pdf BibTex
titre
A Polynomial Turing-Kernel for Weighted Independent Set in Bull-Free Graphs
auteur
Stéphan Thomassé, Nicolas Trotignon, Kristina Vušković
article
WG 2014, Jun 2014, Orleans, France. pp.408-419
Accès au bibtex
BibTex
titre
Controlling Contagion Processes in Activity Driven Networks
auteur
Suyu Liu, Nicola Perra, Márton Karsai, Alessandro Vespignani
article
Complex Networks and Dynamics - ICCSA’14, Jun 2014, Le Havre, France
Accès au bibtex
BibTex
titre
Analysis of Dynamic Scheduling Strategies for Matrix Multiplication on Heterogeneous Platforms
auteur
Olivier Beaumont, Loris Marchal
article
ACM Symposium on High-Performance Parallel and Distributed Computing, Jun 2014, Vancouver, Canada. ⟨10.1145/2600212.2600223⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090254/file/article-HPDC-final.pdf BibTex
titre
Stochastic Geometry Modeling and Analysis of the Error Probability of Two–Tier Cellular Networks
auteur
Wei Lu, Marco Di Renzo, Anthony Busson
article
EuCNC 2014, Jun 2014, Bologna, Italy
Accès au bibtex
BibTex
titre
Anticipation of ETX Metric to manage Mobility in Ad Hoc Wireless Networks
auteur
Sabrina Naimi, Anthony Busson, Véronique Vèque, Larbi Ben Hadj Slama, Ridha Bouallegue
article
Ad Hoc Now, Jun 2014, Benidorm, Spain. pp.29-42, ⟨10.1007/978-3-319-07425-2_3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060325/file/adhocnowV6.pdf BibTex
titre
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration
auteur
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
article
25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00957379/file/invNewton.pdf BibTex
titre
Counting Terms in the Binary Lambda Calculus
auteur
Katarzyna Grygiel, Pierre Lescanne
article
25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Jun 2014, Paris, France. pp.13
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00923203/file/tromp_numbers.pdf BibTex
titre
Traitement du Signal sur Graphe : Interprétation en termes de Filtre de l'Apprentissage Semi-Supervisé sur Graphe
auteur
Benjamin Girault, Eric Fleury, Paulo Gonçalves
article
ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00986152/file/final.pdf BibTex
titre
Encoding Synchronous Interactions Using Labelled Petri Nets
auteur
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale
article
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290063/file/326181_1_En_1_Chapter.pdf BibTex
titre
Measuring the degree distribution of routers in the core internet
auteur
Matthieu Latapy, Elie Rotenberg, Christophe Crespelle, Fabien Tarissan
article
13th IFIP International Conference on Networking, Jun 2014, Trondheim, Norway. pp.1-9, ⟨10.1109/IFIPNetworking.2014.6857096⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01208359/file/networking14.pdf BibTex
titre
Transmission centrality and the detection of week ties
auteur
Qian Zhang, Márton Karsai, Alessandro Vespignani
article
NetSci - TNetSphys, Jun 2014, Berkeley, United States
Accès au bibtex
BibTex
titre
Proxy Re-Encryption Scheme Supporting a Selection of Delegatees
auteur
Julien Devigne, Eleonora Guerrini, Fabien Laguillaumie
article
AFRICACRYPT: Cryptology in Africa, May 2014, Marrakech, Morocco. pp.13-30, ⟨10.1007/978-3-319-06734-6_2⟩
Accès au bibtex
BibTex
titre
Designing LU-QR hybrid solvers for performance and stability
auteur
Mathieu Faverge, Julien Herrmann, Julien Langou, Bradley Lowery, Yves Robert, Jack Dongarra
article
IEEE International Parallel & Distributed Processing Symposium (IPDPS 2014), May 2014, Phoenix, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00930238/file/luqr-arxiv.pdf BibTex
titre
Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers
auteur
Fanny Dufossé, Kamer Kaya, Bora Uçar
article
28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01235162/file/oneOutMatching.pdf BibTex
titre
Assessing the Impact of ABFT and Checkpoint Composite Strategies
auteur
George Bosilca, Aurelien Bouteiller, Thomas Herault, Yves Robert, Jack Dongarra
article
16th Workshop on Advances in Parallel and Distributed Computational Models (APDCM 2014), May 2014, Phoenix, United States. pp.10, ⟨10.1109/IPDPSW.2014.79⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354689/file/apdcm.pdf BibTex
titre
Cost-Optimal Execution of Boolean Query Trees with Shared Streams
auteur
Henri Casanova, Lipyeow Lim, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
28th IEEE International Parallel & Distributed Processing Symposium, May 2014, Phoenix, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923953/file/ipdps2014.pdf BibTex
titre
How to bring the power of Cloud and Distributed Infrastructure to Scilab?
auteur
Eddy Caron, Benjamin Depardon, Adela Neacsu
article
SCILABTECH. 6th International Scilab Users Conference., May 2014, Paris, France
Accès au bibtex
BibTex
titre
GGHLite: More Efficient Multilinear Maps from Ideal Lattices
auteur
Adeline Langlois, Damien Stehlé, Ron Steinfeld
article
EUROCRYPT 2014, May 2014, Copenhague, Denmark
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00983179/file/GGHLite_Euro14.pdf BibTex
titre
Non-Malleability from Malleability: Simulation-Sound Quasi-Adaptive NIZK Proofs and CCA2-Secure Encryption from Homomorphic Signatures
auteur
Benoît Libert, Thomas Peters, Marc Joye, Moti Yung
article
Eurocrypt 2014, May 2014, Copenhagen, Denmark
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983147/file/sim-sound-full-version.pdf BibTex
titre
Semi-Supervised Learning for Graph to Signal Mapping: a Graph Signal Wiener Filter Interpretation
auteur
Benjamin Girault, Paulo Gonçalves, Eric Fleury, Arashpreet Singh Mor
article
2014 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May 2014, Florence, Italy. pp.1115-1119, ⟨10.1109/ICASSP.2014.6853770⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00942695/file/paper.pdf BibTex
titre
Kleene Algebra with Converse
auteur
Paul Brunet, Damien Pous
article
RAMiCS, Apr 2014, Marienstatt im Westerwald, Germany. pp.101-118
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00938235/file/kac.pdf BibTex
titre
Measuring routing tables in the internet
auteur
Elie Rotenberg, Christophe Crespelle, Matthieu Latapy
article
The Sixth IEEE International Workshop on Network Science for Communication Networks, Apr 2014, Toronto, Canada. pp.795-800, ⟨10.1109/INFCOMW.2014.6849332⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01211167/file/infer-tables.pdf BibTex
titre
Active Data : Un modèle pour représenter et programmer le cycle de vie des données distribuées
auteur
Anthony Simonet
article
ComPAS'2014, Apr 2014, Neuchâtel, Suisse
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00984210/file/renpar.pdf BibTex
titre
Gestion adaptative de l'énergie pour les infrastructures de type grappe ou nuage
auteur
Daniel Balouek-Thomert, Eddy Caron, Laurent Lefèvre
article
Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS'2014), Apr 2014, Neuchâtel, Suisse
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018238/file/compas2014.pdf BibTex
titre
Interacting Bialgebras are Frobenius
auteur
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
article
FoSSaCS 2014, Apr 2014, Grenoble, France. pp.351-365
Accès au bibtex
BibTex
titre
Improving X10 Program Performances by Clock Removal
auteur
Paul Feautrier, Eric Violard, Alain Ketterlin
article
23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00924206/file/paper.pdf BibTex
titre
How to Kill Epsilons with a Dagger
auteur
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
article
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408752/file/328263_1_En_4_Chapter.pdf BibTex
titre
Emergence of wave patterns on Kadanoff Sandpiles
auteur
Kévin Perrot, Éric Rémila
article
11th Latin American Theoretical INformatics Symposium (LATIN), Mar 2014, Montevideo, Uruguay. A paraître
Accès au bibtex
BibTex
titre
Lattice-based Group Signature Scheme with Verifier-local Revocation
auteur
Adeline Langlois, San Ling, Khoa Nguyen, Huaxiong Wang
article
Public-Key Cryptography - PKC2014, Mar 2014, Buenos Aires, Argentina. pp.345-361, ⟨10.1007/978-3-642-54631-0⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00983084/file/GroupSignVLR_eprint.pdf BibTex
titre
Mobility management in ad hoc networks using routing metrics
auteur
Sabrina Naimi, Anthony Busson, Véronique Vèque, Ridha Bouallegue, Larbi Ben Hadj Slama
article
Communications and Networking (ComNet), 2014 International Conference on, Mar 2014, Hammamet, Tunisia. pp.1-6, ⟨10.1109/ComNet.2014.6840923⟩
Accès au bibtex
BibTex
titre
On Partitioning Two Dimensional Finite Difference Meshes for Distributed Memory Parallel Computers
auteur
Anael Grandjean, Bora Uçar
article
22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2014), Feb 2014, Turin, Italy. pp.9 - 16, ⟨10.1109/PDP.2014.10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01111292/file/anaelpdp.pdf BibTex
titre
Parametric Tiling with Inter-Tile Data Reuse
auteur
Alain Darte, Alexandre Isoard
article
4th International Workshop on Polyhedral Compilation Techniques (IMPACT'14), Jan 2014, Vienna, Austria
Accès au bibtex
BibTex
titre
CART: Constant Aspect Ratio Tiling
auteur
Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou
article
4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Jan 2014, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00915827/file/impact2014-iooss.pdf BibTex
titre
Formal verification in Coq of program properties involving the global state effect
auteur
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
article
JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00869230/file/DDEP-coqstates.pdf BibTex
titre
De la KAM avec un Processus d'Ordre Supérieur
auteur
Damien Pous, Alan Schmitt
article
JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00966097/file/breakingbad.pdf BibTex
titre
Determining the Optimal Redistribution for a Given Data Partition
auteur
Thomas Hérault, Julien Herrmann, Loris Marchal, Yves Robert
article
13th International Symposium on Parallel and Distributed Computing (ISPDC), 2014, Marseille, France. ⟨10.1109/ISPDC.2014.16⟩
Accès au bibtex
BibTex
titre
Parameterized Construction of Program Representations for Sparse Dataflow Analyses
auteur
André Tavares, Fabrice Rastello, Benoit Boissinot, Fernando Pereira
article
CC 2014 - 23rd International Conference on Compiler Construction, 2014, Grenoble, France
Accès au bibtex
BibTex
titre
Hardness of k-LWE and Applications in Traitor Tracing
auteur
San Ling, Duong Hieu Phan, Damien Stehlé, Ron Steinfeld
article
CRYPTO, 2014, Santa Barbara, CA, United States
Accès au bibtex
BibTex
titre
Dynamic Contact Network Analysis in Hospital Wards
auteur
Lucie Martinet, Christophe Crespelle, Eric Fleury
article
5th Workshop on Complex Networks - CompleNet 2014, 2014, Bologne, Italy
Accès au bibtex
BibTex

Book sections

titre
Beyond The Clouds, How Should Next Generation Utility Computing Infrastructures Be Designed?
auteur
Marin Bertier, Frédéric Desprez, Gilles Fedak, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Flavien Quesnel, Jonathan Rouzaud-Cornabas, Cédric Tedeschi
article
Mahmood, Zaigham. Cloud Computing: Challenges, Limitations and R&D Solutions, Springer, 2014, ISBN 978-3-319-10529-1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01067888/file/main.pdf BibTex
titre
Actors for Innovation in Green IT
auteur
Christina Herzog, Laurent Lefevre, Jean-Marc Pierson
article
Hilty, Lorenz; Aebischer, Bernard. ICT Innovations for Sustainability, 310, Springer, pp.49-67, 2014, Advances in Intelligent Systems and Computing ; ISSN: 2194-5357, 978-3-319-09228-7
Accès au bibtex
BibTex
titre
Energy aware approach for HPC systems
auteur
Basmadjian Robert, Georges da Costa, Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Olieksiak Ariel, Jean-Marc Pierson
article
Emmanuel Jeannot; Julius Zilinskas. High-Performance Computing on Complex Environments, Wiley-IEEE Press, pp.341-363, 2014, 978-1118712054. ⟨10.1002/9781118711897.ch18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925310/file/complexhpc_ch_book.pdf BibTex
titre
Fair Resource Sharing for Dynamic Scheduling of Workflows on Heterogeneous Systems
auteur
Hamid Arabnejad, Jorge Barbosa, Frédéric Suter
article
Emmanuel Jeannot and Julius Zilinskas. High-Performance Computing on Complex Environments, Wiley, 2014, Parallel and Distributed Computing series
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00926460/file/book.pdf BibTex
titre
Scheduling for Large-Scale Systems
auteur
Anne Benoit, Loris Marchal, Yves Robert, Bora Uçar, Frédéric Vivien
article
Allen Tucker; Teofilo Gonzalez; Heikki Topi; Jorge Diaz-Herrera. The Computing Handbook - Two-Volume Set, 1, Chapman and Hall/CRC Press, pp.3816, 2014, 9781439898444
Accès au bibtex
BibTex
titre
Energy-Aware Approaches for HPC Systems
auteur
Robert Basmadjian, Georges da Costa, Ghislain Landry Tsafack Chetsa, Laurent Lefevre, Ariel Oleksiak, Jean-Marc Pierson
article
Jeannot, Emmanuel; Zilinskas, Julius. High-Performance Computing on Complex Environments, Part VII: Energy Awareness in High-Performance Computing (Chapter 18. Energy-Aware Approaches for HPC Systems), John Wiley & Sons, Inc., pp.343--361, 2014, 978-1118712054. ⟨10.1002/9781118711897.ch18⟩
Accès au bibtex
BibTex
titre
Chiffrement avancé à partir du problème Learning With Errors
auteur
Fabien Laguillaumie, Adeline Langlois, Damien Stehlé
article
Sylvain PEYRONNET. Informatique Mathématique : une photographie en 2014, Presses universitaires de Perpignan, 2014, 9782354122287
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00984055/file/EJCIM_LLS.pdf BibTex
titre
Evaluating Elementary Functions
auteur
Florent de Dinechin, Jean-Michel Muller
article
Nicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Accès au bibtex
BibTex
titre
Standardized multi-protocol data management for grid and cloud GridRPC frameworks
auteur
Yves Caniou, Hadrien Croubois, Gaël Le Mahec
article
Data Management in Cloud, Grid and P2P Systems, 2014, 978-3-319-10067-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01671787/file/2014_Standardized_multi-protocol_data_management_for_grid_and_cloud_gridrpc_frameworks.pdf BibTex
titre
Topological Complexity of Context-Free omega-Languages: A Survey
auteur
Olivier Finkel
article
Nachum Dershowitz and Ephraim Nissan. Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, 8001, Springer, pp.50--77, 2014, Lecture Notes in Computer Science, 978-3-642-45320-5
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00286373/file/Survey-revised.pdf BibTex
titre
Smart Resources Allocation to improve Cloud Security
auteur
Eddy Caron, Frédéric Desprez, Jonathan Rouzaud-Cornabas
article
Nepal, Surya and Pathan, Mukaddim. Security, Privacy and Trust in Cloud Systems, Part 1, Springer Berlin Heidelberg, pp.103-143, 2014, 978-3-642-38585-8. ⟨10.1007/978-3-642-38586-5_4⟩
Accès au bibtex
BibTex
titre
Mandatory access protection within cloud systems
auteur
Mathieu Blanc, Aline Bousquet, Jérémy Briffaut, Laurent Clévy, Damien Gros, Arnaud Lefray, Jonathan Rouzaud-Cornabas, Christian Toinard, Benjamin Venelle
article
Springer Berlin Heidelberg. Security, Privacy and Trust in Cloud Systems, Springer Berlin Heidelberg, pp 145-173, 2014, ⟨10.1007/978-3-642-38586-5_5⟩
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification
auteur
Amparo Gil, Jean-Michel Muller, Javier Segura
article
France. 90 part A, Elsevier, pp.1, 2014
Accès au bibtex
BibTex
titre
Book of Abstracts of the Sixth SIAM Workshop on Combinatorial Scientific Computing
auteur
Bora Uçar
article
Bora Uçar. France. SIAM, pp.82, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054876/file/CSC-boa.pdf BibTex

Habilitation à diriger des recherches

titre
Bridging a Gap Between Research and Production: Contributions to Scheduling and Simulation
auteur
Frédéric Suter
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de Lyon, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01199185/file/HDR.pdf BibTex
titre
High Performance and Reliable Algebraic Computing
auteur
Clément Pernet
article
Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01094212/file/hdr.pdf BibTex

Master thesis

titre
Implémentation et évaluation d’algorithmes parallèles de FFTs 3D à base de modèles de composants logiciels
auteur
Jérôme Richard
article
Calcul parallèle, distribué et partagé [cs.DC]. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01082575/file/rapport.pdf https://hal.inria.fr/hal-01082575/file/diapo-V2.pdf BibTex

Other publications

titre
SIAM’s CSC Workshop Series Marks 10th Year
auteur
Bora Uçar, Albert-Jan N. Yzelman
article
2014
Accès au bibtex
BibTex

Patents

titre
Procédé de synthèse de circuits, dispositif et programme d’ordinateur associés
auteur
Christophe Alias, Alexandru Plesco
article
France, N° de brevet: FR1453308. 2014
Accès au bibtex
BibTex

Poster communications

titre
Bridgeness: a novel centrality measure to detect global bridges
auteur
Pablo Jensen, Matteo Morini, Tommaso Venturini, Mathieu Jacomy, Jean-Philippe Cointet, Pierre Mercklé, Márton Karsai, Eric Fleury
article
ECCS 2014 – European Conference on Complex Systems, Sep 2014, Lucca, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01175702/file/ECCS14.pdf BibTex
titre
Data-reuse Optimizations for Pipelined Tiling with Parametric Tile Sizes
auteur
Alexandre Isoard
article
23rd International Conference on Parallel Architectures and Compilation Techniques (PACT'14), Aug 2014, Edmonton, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01111393/file/main.pdf BibTex

Documents associated with scientific events

titre
Author Retrospective for Array Expansion, Array Shrinking, or There and Back Again
auteur
Paul Feautrier
article
Utpal Banerjee. ACM International Conference on Supercomputing (ICS) 25th Anniversary Volume, 2014, Munich, Germany. ACM, pp.1
Accès au bibtex
BibTex

Reports

titre
Intelligent escalation and the principle of relativity
auteur
Pierre Lescanne
article
[Research Report] LIP - ENS Lyon. 2014
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01096264/file/escalade_intelligente.pdf BibTex
titre
Cost-Optimal Execution of Boolean DNF Trees with Shared Streams
auteur
Henri Casanova, Lipyeow Lim, Yves Robert, Frédéric Vivien, Dounia Zaidouni
article
[Research Report] RR-8616, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01079868/file/RR-8616.pdf BibTex
titre
Scheduling the I/O of HPC applications under congestion
auteur
Ana Gainaru, Guillaume Aupy, Anne Benoit, Franck Cappello, Yves Robert, Marc Snir
article
[Research Report] RR-8519, LIP; INRIA. 2014, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983789/file/RR-8519.pdf BibTex
titre
Scheduling computational workflows on failure-prone platforms
auteur
Guillaume Aupy, Anne Benoit, Henri Casanova, Yves Robert
article
[Research Report] RR-8609, ENS Lyon; LIP; INRIA; CNRS; Université Lyon 1. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01075100/file/RR-8609.pdf BibTex
titre
Reducing the complexity of the performance analysis of a multi- server facilities
auteur
Tulin Atmaca, Thomas Begin, Alexandre Brandwajn, Hind Castel-Taleb
article
[Research Report] RR-8617, Institut Telecom, Telecom SudParis, Evry, France; Université Lyon 1 / LIP (UMR INRIA, ENS Lyon CNRS, UCBL), Lyon France; University of California Santa Cruz, Baskin School of Engineering, USA; INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01076366/file/RR-8617.pdf BibTex
titre
Scheduling Trees of Malleable Tasks for Sparse Linear Algebra
auteur
Abdou Guermouche, Loris Marchal, Bertrand Simon, Frédéric Vivien
article
[Research Report] 8616, ENS Lyon. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01077413/file/RR-8616.pdf BibTex
titre
BIGhybrid - A Toolkit for Simulating MapReduce on Hybrid Infrastructures
auteur
Julio Cesar Santos dos Anjos, Gilles Fedak, Claudio Geyer
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01062709/file/Bighybrid.pdf BibTex
titre
Scheduling malleable task trees
auteur
Loris Marchal, Frédéric Vivien, Bertrand Simon
article
[Research Report] RR-8587, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01059704/file/RR-8587.pdf BibTex
titre
Assessing general-purpose algorithms to cope with fail-stop and silent errors
auteur
Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun
article
[Research Report] RR-8599, INRIA. 2014, pp.42
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01066664/file/RR-8599_extended.pdf BibTex
titre
Approximation algorithms for energy, reliability and makespan optimization problems
auteur
Guillaume Aupy, Anne Benoit
article
[Research Report] RR-8107, INRIA. 2014, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00742754/file/RR-8107.pdf BibTex
titre
A tau-conjecture for Newton polygons
auteur
Pascal Koiran, Natacha Portier, Sébastien Tavenas, Stéphan Thomassé
article
2014, pp.14
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00850791/file/newton.pdf BibTex
titre
Optimal Multistage Algorithm for Adjoint Computation
auteur
Guillaume Aupy, Julien Herrmann, Paul Hovland, Yves Robert
article
[Research Report] RR-8721, LIP - ENS Lyon; Argonne National Laboratory; INRIA; Vanderbilt University. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01147155/file/RR-8721.pdf BibTex
titre
D3.1.1 - Upperware Prototype
auteur
Amin Bsila, Nicolàs Ferry, Geir Horn, Tom Kirkham, Maciej Malawski, Nikos Parlavantzas, Christian Pérez, Jonathan Rouzaud-Cornabas, Daniel Romero, Alessandro Rossini, Arnor Solberg, Hui Song
article
[Research Report] 2014
Accès au bibtex
BibTex
titre
Determining the optimal redistribution
auteur
Thomas Hérault, Julien Herrmann, Loris Marchal, Yves Robert
article
[Research Report] RR-8499, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00960452/file/RR-8499.pdf BibTex
titre
Performance analysis and models for collocated VMs running on multi-core physical machines
auteur
Laurent Pouilloux, Jonathan Rouzaud-Cornabas
article
[Research Report] RR-8473, INRIA. 2014, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945881/file/RR-8473.pdf BibTex
titre
Memory-aware list scheduling for hybrid platforms
auteur
Julien Herrmann, Loris Marchal, Yves Robert
article
[Research Report] RR-8461, INRIA. 2014, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00944336/file/rr8461.pdf BibTex
titre
A Unifying Model for Representing Time-Varying Graphs
auteur
Klaus Wehmuth, Artur Ziviani, Eric Fleury
article
[Research Report] RR-8466, INRIA. 2014, pp.38
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00941622/file/RR-8466.pdf BibTex
titre
Power-aware replica placement in tree networks with multiple servers per client
auteur
Guillaume Aupy, Anne Benoit, Matthieu Journault, Yves Robert
article
[Research Report] RR-8474, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00949252/file/RR-8474.pdf BibTex
titre
Image Transfer and Storage Cost Aware Brokering Strat. for Multiple Clouds
auteur
Frédéric Desprez, Jose-Luis Lucas-Simarro, Rafael Moreno Vozmediano, Jonathan Rouzaud-Cornabas
article
[Research Report] RR-8445, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00924351/file/RR-8445.pdf BibTex
titre
Improving users' isolation in IaaS: Virtual Machine Placement with Security Constraints
auteur
Eddy Caron, Jonathan Rouzaud-Cornabas
article
[Research Report] RR-8444, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00924296/file/RR-8444.pdf BibTex
titre
Fill-in reduction in sparse matrix factorizations using hypergraphs
auteur
Oguz Kaya, Enver Kayaaslan, Bora Uçar, Iain S. Duff
article
[Research Report] RR-8448, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00932882/file/RR-8448.pdf BibTex
titre
Parallel scheduling of task trees with limited memory
auteur
Lionel Eyraud-Dubois, Loris Marchal, Oliver Sinnen, Frédéric Vivien
article
[Research Report] RR-8606, INRIA. 2014, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01070356/file/RR-8606.pdf BibTex
titre
Decidability of Identity-free Relational Kleene Lattices
auteur
Paul Brunet, Damien Pous
article
[Research Report] ENS de Lyon. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01073932/file/rklm.pdf BibTex
titre
Dynamic Scheduling of MapReduce Shuffle under Bandwidth Constraints
auteur
Sylvain Gault, Frédéric Desprez
article
[Research Report] 8574, Inria. 2014, pp.38
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01254055/file/RR-8574.pdf BibTex
titre
Data Management API within the GridRPC
auteur
Yves Caniou, Eddy Caron, Gaël Le Mahec, Hidemoto Nakada
article
[Research Report] inria. 2014
Accès au bibtex
BibTex

Theses

titre
Combining checkpointing and other resilience mechanisms for exascale systems
auteur
Dounia Bentria
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0971⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127150/file/2014ENSL0971.pdf BibTex
titre
Scaling the solution of large sparse linear systems using multifrontal methods on hybrid shared-distributed memory architectures
auteur
Mohamed Wissam Sid Lakhdar
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0958⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01111259/file/thesis.pdf BibTex
titre
Game semantics and realizability for classical logic
auteur
Valentin Blot
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0945⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01091628/file/thesis.pdf BibTex
titre
Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors
auteur
Philippe Theveny
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0941⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01126973/file/2014ENSL0941.pdf BibTex
titre
Lattice - Based Cryptography - Security Foundations and Constructions
auteur
Adeline Roux-Langlois
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0940⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01126931/file/2014ENSL0940.pdf BibTex
titre
Trigraphes de Berge apprivoisés
auteur
Théophile Trunck
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. Français. ⟨NNT : 2014ENSL0929⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01077934/file/TRUNCK_Theophile_2014_These.pdf BibTex
titre
Resilient and energy-efficient scheduling algorithms at scale
auteur
Guillaume Aupy
article
Data Structures and Algorithms [cs.DS]. École Normale Supérieure de Lyon, 2014. English. ⟨NNT : 2014ENSL0928⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01075111/file/thesis.pdf BibTex
titre
Bornes inférieures et supérieures dans les circuits arithmétiques
auteur
Sébastien Tavenas
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. Français. ⟨NNT : 2014ENSL0921⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01066752/file/TAVENAS_Sebastien_2014_These.pdf BibTex
titre
On the Semantics of Disjunctive Logic Programs
auteur
Athanasios Tsouanas
article
Logic in Computer Science [cs.LO]. Ecole Nationale Supérieure de Lyon, 2014. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02139060/file/phdtsouanas.pdf BibTex
titre
A Complete Framework for Modelling Workload Volatility of VoD System - a Perspective to Probabilistic Management
auteur
Shubhabrata Roy
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0905⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01061418/file/ROY_Shubhabrata_2014_These.pdf BibTex
titre
On Forcing and Classical Realizability
auteur
Lionel Rieg
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0915⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01061442/file/RIEG_Lionel_2014_These.pdf BibTex
titre
Contributions to computer arithmetic and applications to embedded systems
auteur
Nicolas Brunie
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0894⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01078204/file/BRUNIE_Nicolas_2014_These.pdf BibTex
titre
Performance Evaluation and Prediction of Parallel Applications
auteur
Georgios Markomanolis
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0880⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00951125/file/MARKOMANOLIS_Georgios_2014_These.pdf BibTex

Preprints, Working Papers, ...

titre
Resource control and intersection types: an intrinsic connection
auteur
S Ghilezan, J Ivetic, P Lescanne, S Likavec
article
2014
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01091753/file/resource_control.pdf BibTex
titre
Boltzmann samplers for random generation of lambda terms
auteur
Pierre Lescanne
article
2014
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00979074/file/boltzmann.pdf BibTex
titre
A behavioural theory for a π-calculus with preorders
auteur
Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00949521/file/longpip.pdf BibTex