Laboratoire de l'Informatique du Parallélisme

2012

Journal articles

titre

On the strength of weak compactness

auteur

Alexander P. Kreuzer

article

Computability, 2012, 1 (2), pp.171-179. ⟨10.3233/COM-12010⟩

Accès au bibtex

titre

Intersection Types with Subtyping by Means of Cut Elimination

auteur

Olivier Laurent

article

Fundamenta Informaticae, 2012, 121 (1-4), pp.203-226. ⟨10.3233/FI-2012-776⟩

Accès au 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

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", 2012, 2 p

Accès au texte intégral et 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", 2012, 2 p

Accès au texte intégral et 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, 2012, 119 (8), pp.1711-1773. ⟨10.1016/j.jcta.2012.05.007⟩

Accès au texte intégral et 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", 2012, 2 p

Accès au texte intégral et 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", 2012, 2 p

Accès au texte intégral et 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, 2012, 15 (5), pp.615-627. ⟨10.1007/s10951-011-0236-y⟩

Accès au texte intégral et bibtex

titre

Literacy for all in parallel and distributed computing: guidelines for an undergraduate core curriculum

auteur

Sushil K. Prasad, Anshul Gupta, Krishna Kant, Andrew Lumsdaine, David A. Padua, Yves Robert, Arnold Rosenberg, Alan Sussman, Charles C. Weems

article

CSI Journal of Computing, 2012, 1 (2), pp.82-95

Accès au bibtex

titre

Arithmetic circuits: The chasm at depth four gets wider

auteur

Pascal Koiran

article

Theoretical Computer Science, 2012, 448, pp.56-65. ⟨10.1016/j.tcs.2012.03.041⟩

Accès au 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, 2012, 49 (2), pp.161-183

Accès au 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, 2012, 34 (4), pp.A1975--A1999

Accès au bibtex

titre

The functions erf and erfc computed with arbitrary precision and explicit error bounds

auteur

Sylvain Chevillard

article

Information and Computation, 2012, 216, pp.72 -- 95. ⟨10.1016/j.ic.2011.09.001⟩

Accès au texte intégral et 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, 2012, 391 (22), pp.5658-5671. ⟨10.1016/j.physa.2012.05.069⟩

Accès au texte intégral et bibtex

titre

Untyping Typed Algebras and Colouring Cyclic Linear Logic (expanded)

auteur

Damien Pous

article

Logical Methods in Computer Science, 2012, ⟨10.2168/LMCS-8(2:13)2012⟩

Accès au 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, 2012, 7 (5), pp.1-7. ⟨10.1371/journal.pone.0037893⟩

Accès au 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

titre

Combinatorics of Boolean automata circuits dynamics

auteur

Jacques Demongeot, Mathilde Noual, Sylvain Sené

article

Discrete Applied Mathematics, 2012, 160 (4-5), pp.398--415. ⟨10.1016/j.dam.2011.11.005⟩

Accès au texte intégral et 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, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩

Accès au texte intégral et bibtex

titre

A System F accounting for scalars

auteur

Pablo Arrighi, Alejandro Díaz-Caro

article

Logical Methods in Computer Science, 2012, 8 (1), pp.11. ⟨10.2168/LMCS-8(1:11)2012⟩

Accès au 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, 2012, 22 (04), pp.549-580. ⟨10.1017/S0960129511000685⟩

Accès au 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, 2012, 55, pp.118-126. ⟨10.1016/j.compfluid.2011.10.011⟩

Accès au texte intégral et bibtex

titre

Intrinsically universal n-dimensional quantum cellular automata

auteur

Pablo Arrighi, Jonathan Grattage

article

Journal of Computer and System Sciences, 2012, 78 (6), pp.1883-1898. ⟨10.1016/j.jcss.2011.12.008⟩

Accès au bibtex

titre

Dynamic Fractional Resource Scheduling versus Batch Scheduling

auteur

Mark Lee Stillwell, Frédéric Vivien, Henri Casanova

article

IEEE Transactions on Parallel and Distributed Systems, 2012, 23 (3), pp.521-529. ⟨10.1109/TPDS.2011.183⟩

Accès au texte intégral et 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, 2012, 28 (4), pp.633-646. ⟨10.1016/j.future.2011.10.001⟩

Accès au bibtex

titre

Combinatorial optimization with 2-joins.

auteur

Nicolas Trotignon, Vuskovic Kristina

article

Journal of Combinatorial Theory, Series B, 2012, 102, pp.153-185. ⟨10.1016/j.jctb.2011.06.002⟩

Accès au bibtex

titre

Symbolic and Asynchronous Semantics via Normalized Coalgebras

auteur

Filippo Bonchi, Ugo Montanari

article

Logical Methods in Computer Science, 2012, 7 (2-7), pp.1-53. ⟨10.2168/LMCS-7(2:7)2011⟩

Accès au 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, 2012, 23 (5), pp.1131-1146. ⟨10.1142/S0129054112500153⟩

Accès au 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, 2012, 117 (1), pp.263-267. ⟨10.1016/j.econlet.2012.05.020⟩

Accès au 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, 2012, 196 (1), pp.27-51. ⟨10.1007/s10479-012-1150-1⟩

Accès au bibtex

titre

Mapping filtering streaming applications

auteur

Kunal Agrawal, Anne Benoit, Fanny Dufossé, Yves Robert

article

Algorithmica, 2012, 62 (1), pp.258-308. ⟨10.1007/s00453-010-9453-6⟩

Accès au 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, 2012, 41 (1), pp.157-178. ⟨10.1007/s00182-011-0277-7⟩

Accès au bibtex

titre

Partitioned quantum cellular automata are intrinsically universal

auteur

Pablo Arrighi, Jonathan Grattage

article

Natural Computing, 2012, 11 (1), pp.13-22. ⟨10.1007/s11047-011-9277-6⟩

Accès au 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, 2012, 1 (4), pp.8:86--8:99

Accès au 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, 2012, pp.191-202. ⟨10.1007/s12243-011-0263-x⟩

Accès au texte intégral et bibtex

titre

Weighted component fairness for forest games

auteur

Sylvain Béal, Éric Rémila, Philippe Solal

article

Mathematical Social Sciences, 2012, 64 (2), pp.144-151. ⟨10.1016/j.mathsocsci.2012.03.004⟩

Accès au bibtex

titre

Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)

auteur

Tom Hirschowitz, Damien Pous

article

Scientific Annals of Computer Science, 2012, 22 (1), pp.147-199. ⟨10.7561/SACS.2012.1.147⟩

Accès au texte intégral et bibtex

titre

Detecting 2-joins faster

auteur

Charbit Pierre, Michel Habib, Trotignon Nicolas, Vuskovic Kristina

article

Journal of Discrete Algorithms, 2012, 17, pp.60-66

Accès au 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, 2012, 81 (279), pp.1487-1511

Accès au texte intégral et bibtex

titre

A Coalgebraic Perspective on Linear Weighted Automata

auteur

Filippo Bonchi, Marcello Bonsangue, Michele Boreale, Jan Rutten, Alexandra Silva

article

Information and Computation, 2012, 211, pp.77-105

Accès au texte intégral et bibtex

titre

Multiplication by rational constants

auteur

Florent de Dinechin

article

IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2012, pp.00. ⟨10.1109/TCSII.2011.2177706⟩

Accès au texte intégral et 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, 2012, p. 1139-1166. ⟨10.1007/s11227-011-0603-7⟩

Accès au texte intégral et bibtex

titre

Fuzziness and Overlapping Communities in Large-Scale Networks

auteur

Qinna Wang, Eric Fleury

article

Journal of Universal Computer Science, 2012, 18 (4)

Accès au texte intégral et bibtex

titre

Duality and i/o-Types in the π-Calculus

auteur

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi

article

Lecture Notes in Computer Science, 2012, 7454, pp 302-316

Accès au texte intégral et bibtex

titre

FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores

auteur

Christophe Alias, Bogdan Pasca, Alexandru Plesco

article

Microprocessors and Microsystems: Embedded Hardware Design , 2012, 36 (8), pp.606-619. ⟨10.1016/j.micpro.2012.06.009⟩

Accès au bibtex

titre

FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls

auteur

Pablo Neira, M. Rafael, Laurent Lefevre

article

Computers & Security, 2012, 31 (4), pp.524-539. ⟨10.1016/j.cose.2012.01.011⟩

Accès au 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, 2012, 160 (7-8), pp.925-932. ⟨10.1016/j.dam.2011.12.022⟩

Accès au 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, 2012, 63 (7), pp.10.1002/asi.22644. ⟨10.1002/asi.22644⟩

Accès au texte intégral et 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, 2012, 26 (4), pp.1510-1531

Accès au bibtex

titre

The chromatic gap and its extremes

auteur

Andras Gyarfas, András Sebő, Nicolas Trotignon

article

Journal of Combinatorial Theory, Series B, 2012, 102 (5), pp.1155-1178. ⟨10.1016/j.jctb.2012.06.001⟩

Accès au 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, 2012, 49 (1), pp.84-99

Accès au texte intégral et 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, 2012, E95-B (08), pp.2522-2529. ⟨10.1587/transcom.E95.B.2522⟩

Accès au 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, 2012, 71 (1), pp.49-68. ⟨10.1002/jgt.20631⟩

Accès au bibtex

titre

Odd Perfect Numbers are Greater than 10^1500

auteur

Pascal Ochem, Michael Rao

article

Mathematics of Computation, 2012, 81 (279), pp.1869-1877. ⟨10.1090/S0025-5718-2012-02563-4⟩

Accès au 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

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 & Security, 2012, 31 (1), pp.96-108. ⟨10.1016/j.cose.2011.10.006⟩

Accès au bibtex

titre

Finding an induced subdivision of a digraph.

auteur

Jørgen Bang-Jensen, Frédéric Havet, Nicolas Trotignon

article

Theoretical Computer Science, 2012, 443, pp.10--24

Accès au texte intégral et bibtex

titre

Toward a core undergraduates curriculum in parallel and distributed computing

auteur

Sushil K. Prasad, Anshul Gupta, Krishna Kant, Andrew Lumsdaine, David A. Padua, Yves Robert, Arnold Rosenberg, Alan Sussman, Charles C. Weems

article

Computer Education (China), 2012, pp.76-90

Accès au bibtex

titre

SSI Properties Revisited

auteur

Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello

article

ACM Transactions on Embedded Computing Systems (TECS), 2012, 11S (1), ⟨10.1145/2180887.2180898⟩

Accès au bibtex

titre

Backward'' Coinduction, Nash equilibrium and the Rationality of Escalation

auteur

Pierre Lescanne, Matthieu Perrinel

article

Acta Informatica, 2012, 49 (3), pp.117-137. ⟨10.1007/s00236-012-0153-3⟩

Accès au 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

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

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

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

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

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

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

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. ⟨10.1109/SC.Companion.2012.96⟩

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

On shared-memory parallelization of a sparse matrix scaling algorithm

auteur

Umit V. 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

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

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

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

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

titre

Upper bounds on real roots and lower bounds for the permanent

auteur

Pascal Koiran

article

ISSAC 2012, Jul 2012, Grenoble France, France. pp.8-8, ⟨10.1145/2442829.2442833⟩

Accès au 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

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

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

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

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

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

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

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

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

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

titre

Parameterized domination in circle graphs

auteur

Nicolas Bousquet, Daniel Gonçalves, George B. Mertzios, Christophe Paul, Ignasi Sau, Stéphan Thomassé

article

WG 2012 - 38th International Workshop on Graph Theoretic-Concepts in Computer Science, Jun 2012, Jerusalem, Israel. pp.45-72, ⟨10.1007/s00224-013-9478-8⟩

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

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

titre

Improving Multifrontal methods by means of Low-Rank Approximations techniques

auteur

Patrick Amestoy, Cleve Ashcraft, Olivier Boiteau, Alfredo Buttari, Jean-Yves L'Excellent, Clément Weisbecker

article

SIAM Conference on Applied Linear Algebra 2012, Jun 2012, Valencia, Spain. pp.A1451-A1474

Accès au bibtex

titre

Virtual Machine Resource Allocation for Service Hosting on Heterogeneous Distributed Platforms

auteur

Mark Lee 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

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

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

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

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

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

titre

Multithreaded clustering for multi-level hypergraph partitioning

auteur

Umit V. 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

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

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

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

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

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

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

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

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

titre

Partition Refinement for Bisimilarity in CCP

auteur

Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank D. Valencia

article

27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93

Accès au texte intégral et 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

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

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

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

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

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

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 2012), Feb 2012, Savannah, GA, United States

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

titre

A Lattice-Based Traitor Tracing Scheme

auteur

San Ling, Damien Stehlé

article

2012

Accès au bibtex

Books

titre

Desktop Grid Computing book

auteur

Christophe Cérin, Gilles Fedak

article

CRC Press, pp.388, 2012, 9781439862148

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[0] SPADE 1.2, Agence Nationale de la Recherche. 2012, pp.41

Accès au 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

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

Theses

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

titre

Performance evaluation and improvement of IEEE 802.11 in multihop wireless networks

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

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

titre

Knowledge plane for semantic networks : admission control

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

titre

Representations of polynomials, algorithms and lower bounds

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

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

titre

Realizability and parametricity in Pure Type Systems

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

titre

Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection

auteur

Jingyan Lu 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

titre

Network Calculus Algoritmics

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

titre

Contribution to the design of scientific parallel applications based on software components

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

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

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

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

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

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

titre

Multipath routing techniques for wireless multi-hop networks

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

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

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. ⟨NNT : ⟩

Accès au texte intégral et 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

titre

Counting and generating lambda terms

auteur

Katarzyna Grygiel, Pierre Lescanne

article

2012

Accès au texte intégral et 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

titre

Causal graph dynamics

auteur

Pablo Arrighi, Gilles Dowek

article

2012

Accès au bibtex

titre

Arithmetic circuits: the chasm at depth four gets wider

auteur

Pascal Koiran

article

2012

Accès au texte intégral et 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

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