2007

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

2007

Journal articles

titre: Une Caractérisation non gaussienne et à longue mémoire du trafic Internet et de ses anomalies
auteur: Pierre Borgnat, Patrice Abry, Guillaume Dewaele, Antoine Scherrer, Nicolas Larrieu, Philippe Owezarski, Yann Labit, Laurent Gallon, Julien Aussibal
article: Annals of Telecommunications - annales des télécommunications, 2007, 62 (11-12), pp.1401-1428
Accès au texte intégral et bibtex

titre: The complexity of two problems on arithmetic circuits
auteur: Pascal Koiran, Sylvain Perifel
article: Theoretical Computer Science, 2007, 389 (1-2), pp.172-181. ⟨10.1016/j.tcs.2007.08.008⟩
Accès au bibtex

titre: An Algorithmic Toolbox for Network Calculus
auteur: Anne Bouillard, Eric Thierry
article: Discrete Event Dynamic Systems, 2007, 18 (1), pp.3-49. ⟨10.1007/s10626-007-0028-x⟩
Accès au bibtex

titre: Worldsens : outil de simulation pour la conception d'applications de réseaux de capteurs
auteur: Antoine Fraboulet, Guillaume Chelius
article: Techniques de l'Ingénieur, 2007, RE94, pp.10
Accès au bibtex

titre: Master Interface for On-Chip Hardware Accelerator Burst Communications
auteur: Antoine Fraboulet, Tanguy Risset
article: The Journal of VLSI Signal, 2007, 49 (1), pp.73-85. ⟨10.1007/s11265-006-0045-2⟩
Accès au texte intégral et bibtex

titre: Enhancing computational grids with peer-to-peer technology for large scale service discovery
auteur: Eddy Caron, Frédéric Desprez, Cédric Tedeschi
article: Journal of Grid Computing, 2007, 5 (3), pp.337-360. ⟨10.1007/s10723-006-9058-0⟩
Accès au bibtex

titre: A note on parallel and alternating time
auteur: Felipe Cucker, Irénée Briquel
article: Journal of Complexity, 2007, 23 (4-6), pp.594-602. ⟨10.1016/j.jco.2007.02.005⟩
Accès au bibtex

titre: On the Complexity of Spill Everywhere under SSA Form
auteur: Florent Bouchez, Alain Darte, Fabrice Rastello
article: ACM SIGPLAN Notices, 2007, Volume 42 (Issue 7), pp.103 - 112. ⟨10.1145/1254766.1254782⟩
Accès au texte intégral et bibtex

titre: The quantum query complexity of the abelian hidden subgroup problem
auteur: Pascal Koiran, Vincent Nesme, Natacha Portier
article: Theoretical Computer Science, 2007, 380 (1-2), pp.115-126. ⟨10.1016/j.tcs.2007.02.057⟩
Accès au bibtex

titre: Correct rounding of algebraic functions
auteur: Jean-Michel Muller, Nicolas Brisebarre
article: RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.71-83. ⟨10.1051/ita:2007002⟩
Accès au texte intégral et bibtex

titre: Fast and correctly rounded logarithms in double precision
auteur: Jean-Michel Muller, Florent de Dinechin, Christoph Lauter
article: RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩
Accès au texte intégral et bibtex

titre: La riche zoologie des automates cellulaires
auteur: Marianne Delorme, Jacques Mazoyer
article: Interstices, 2007
Accès au bibtex

titre: Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
auteur: Michele Pagani
article: Mathematical Structures in Computer Science, 2007, 17 (2), pp.341-359. ⟨10.1017/S0960129506005652⟩
Accès au texte intégral et bibtex

titre: A note on the structure of spaces of domino tilings
auteur: Michel Morvan, Eric Rémila, Eric Thierry
article: Discrete Mathematics, 2007, 307 (6), pp.769-773. ⟨10.1016/j.disc.2006.07.022⟩
Accès au bibtex

titre: One Head Machines from a symbolic approach
auteur: Anahí Gajardo, Jacques Mazoyer
article: Theoretical Computer Science, 2007, 370 (1-3), pp.34-47. ⟨10.1016/j.tcs.2006.10.004⟩
Accès au bibtex

titre: Local Sentences and Mahlo Cardinals
auteur: Olivier Finkel, Stevo Todorcevic
article: Mathematical Logic Quaterly, 2007, 53 (6), pp.558-563
Accès au texte intégral et bibtex

titre: Scheduling algorithms for data redistribution and load-balancing on master-slave platforms
auteur: Loris Marchal, Veronika Rehn, Yves Robert, Frédéric Vivien
article: Parallel Processing Letters, 2007, 17 (1), pp.61-77. ⟨10.1142/S0129626407002879⟩
Accès au bibtex

titre: Bivariate Empirical mode decomposition
auteur: Gabriel Rilling, Patrick Flandrin, Paulo Gonçalves, Jonathan M. Lilly
article: IEEE Signal Processing Letters, 2007, 14 (12), pp.936-939
Accès au bibtex

titre: Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates
auteur: Guillaume Melquiond, Sylvain Pion
article: RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
Accès au texte intégral et bibtex

titre: A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic
auteur: Florent de Dinechin, Jérémie Detrey
article: Journal of Signal Processing Systems, 2007, 49 (1), pp.161-175. ⟨10.1007/s11265-007-0048-7⟩
Accès au texte intégral et bibtex

titre: Discrete Rotations and Symbolic Dynamics
auteur: Valerie Berthe, Bertrand Nouvel
article: Theoretical Computer Science, 2007, 380, pp.276-285. ⟨10.1016/j.tcs.2007.03.032⟩
Accès au bibtex

titre: An Example of Pi^0_3-complete Infinitary Rational Relation
auteur: Olivier Finkel
article: Computer Science Journal of Moldova, 2007, 15 (1), pp.3-21
Accès au texte intégral et bibtex

titre: Definition, modelling and simulation of a grid computing scheduling system for high throughput computing
auteur: Eddy Caron, V. Garonne, A. Tsaregorodtsev
article: Future Generation Computer Systems, 2007, 23, pp.968-976. ⟨10.1016/j.future.2007.04.008⟩
Accès au bibtex

titre: 3D finite-difference frequency-domain modeling of visco-acoustic wave propagation using a massively parallel direct solver: A feasibility study
auteur: Stéphane Operto, J. Virieux, Patrick Amestoy, Jean-Yves L'Excellent, Luc Giraud, Hafedh Ben Hadj Ali
article: Geophysics, 2007, 72 (5), pp.SM195 à SM211. ⟨10.1190/1.2759835⟩
Accès au bibtex

titre: Routage dans les petits mondes
auteur: Emmanuelle Lebhar, Nicolas Schabanel
article: Interstices, 2007
Accès au bibtex

titre: Can Transitive Orientation Make Sandwich Problems Easier?
auteur: Michel Habib, David Kelly, Emmanuelle Lebhar, Christophe Paul
article: Discrete Mathematics, 2007, 307 (16), pp.2030-2041. ⟨10.1016/j.disc.2005.12.048⟩
Accès au bibtex

titre: An Efficient Abstract Machine for Safe Ambients
auteur: Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
article: Journal of Logic and Algebraic Programming, 2007, ⟨10.1016/j.jlap.2007.02.003⟩
Accès au bibtex

titre: Multi-Mode Operator for SHA-2 Hash Functions
auteur: Ryan Glabb, Laurent Imbert, Graham A. Jullien, Arnaud Tisserand, Nicolas Veyrat-Charvillon
article: Journal of Systems Architecture, 2007, Special Issue on Embedded Hardware for Cryptosystems, 52 (2-3), pp.127-138. ⟨10.1016/j.sysarc.2006.09.006⟩
Accès au texte intégral et bibtex

titre: New Up-To Techniques for Weak Bisimulation
auteur: Damien Pous
article: Theoretical Computer Science, 2007, 380, pp.164 - 180. ⟨10.1016/j.tcs.2007.02.060⟩
Accès au texte intégral et bibtex

titre: A step towards unifying schedule and storage optimization
auteur: William Thies, Frédéric Vivien, Saman Amarasinghe
article: ACM Transactions on Programming Languages and Systems (TOPLAS), 2007, 29 (6), 45 p. ⟨10.1145/1286821.1286825⟩
Accès au bibtex

titre: Dynamic voltage scaling under EDF revisited
auteur: Bruno Gaujal, Nicolas Navet
article: Real-Time Systems, 2007, 37 (1), pp.77-97. ⟨10.1007/s11241-007-9029-y⟩
Accès au texte intégral et bibtex

Conference papers

titre: On the Expressive Power of Planar Perfect Matching and Permanents of Bounded Treewidth Matrices
auteur: Uffe Flarup, Pascal Koiran, Laurent Lyaudet
article: ISAAC 2007, Dec 2007, Sendai, Japan. pp.124-136, ⟨10.1007/978-3-540-77120-3_13⟩
Accès au bibtex

titre: SARA: A Session Aware Infrastructure for High Performance Next Generation Cluster-based Servers
auteur: Narjess Ayari, Denis Barbaron, Laurent Lefevre, Pascale Primet
article: ATNAC 2007 : Australasian Telecommunication Networks and Applications Conference, Dec 2007, Christchurch, New Zealand
Accès au texte intégral et bibtex

titre: Towards a Transparent Data Access Model for the GridRPC Paradigm
auteur: Gabriel Antoniu, Eddy Caron, Frédéric Desprez, Aurélia Fèvre, Mathieu Jan
article: Proc. of the 13th Internationl Conference on High Performance Computing (HiPC 2007), Dec 2007, Goa, India. pp.269-284, ⟨10.1007/978-3-540-77220-0⟩
Accès au texte intégral et bibtex

titre: SNMP-Based monitoring agents and heuristic scheduling for large-scale Grids
auteur: Edgar Magaña, Laurent Lefèvre, Masum Hasan, Joan Serrat
article: GADA'07 : International Conference on Grid computing, high-performAnce and Distributed Applications, Nov 2007, Vilamoura, Algarve, Portugal. pp.1367-1384, ⟨10.1007/978-3-540-76843-2_17⟩
Accès au bibtex

titre: Snap-stabilizing Prefix Tree for Peer-to-peer Systems
auteur: Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
article: SSS 2007 - 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2007, Paris, France. pp.15, ⟨10.1007/978-3-540-76627-8_9⟩
Accès au bibtex

titre: GCP: gossip-based code propagation for large-scale mobile wireless sensor networks
auteur: Yann Busnel, Marin Bertier, Eric Fleury, Anne-Marie Kermarrec
article: 1st International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Roma, Italy. pp.11, ⟨10.1145/1365562.1365577⟩
Accès au texte intégral et bibtex

titre: Optimal routing for end to end guarantees: The price of multiplexing
auteur: A. Bouillard, B. Gaujal, Sébastien Lagrange, E. Thierry
article: VALUETOOLS 2007, Second International Conference on Performance Evaluation Methodologies and Tools, Oct 2007, Nantes, France
Accès au bibtex

titre: A certified infinite norm for the implementation of elementary functions
auteur: Sylvain Chevillard, Christoph Quirin Lauter
article: QSIC 2007 - 7th International Conference on Quality Software, Oct 2007, Portland, United States. pp.1-9, ⟨10.1109/QSIC.2007.4385491⟩
Accès au texte intégral et bibtex

titre: A comparative study of different heavy tail index estimators of the flow size from sampled data
auteur: Patrick Loiseau, Paulo Gonçalves, Pascale Vicat-Blanc Primet
article: MetroGrid Workshop, GridNets, Oct 2007, Lyon, France
Accès au bibtex

titre: A massively parallel frequency-domain full-waveform inversion algorithm for imaging acoustic media: Application to a dense OBS data set
auteur: Florent Sourbier, Stéphane Operto, Jean Virieux, Patrick Amestoy, Jean-Yves L'Excellent
article: SEG 2007 - The Society of Exploration Geophysicists, Sep 2007, San Antonio, United States. pp.1893, ⟨10.1190/1.2792860⟩
Accès au texte intégral et bibtex

titre: Une extension bivariée pour la Décomposition Modale Empirique -- Application à des bruits blancs complexes
auteur: Gabriel Rilling, Patrick Flandrin, Paulo Gonçalves
article: GRETSI-07 - 21e Colloque sur le Traitement du Signal et des Images., Sep 2007, Troyes, France. pp.809-812
Accès au texte intégral et bibtex

titre: Decision Versus Evaluation in Algebraic Complexity
auteur: Pascal Koiran
article: MCU 2007, Sep 2007, Orléans, France. pp.80-89, ⟨10.1007/978-3-540-74593-8_7⟩
Accès au bibtex

titre: Arithmetic Operators for Pairing-Based Cryptography
auteur: Jean-Luc Beuchat, Nicolas Brisebarre, Jérémie Detrey, Eiji Okamoto
article: 9th Invernational Workshop on Cryptographic Hardware and Embedded Systems – CHES 2007, Sep 2007, Vienne, Austria. pp.239-255, ⟨10.1007/978-3-540-74735-2_17⟩
Accès au texte intégral et bibtex

titre: Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements
auteur: Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, Sep 2007, Gothenburg, Sweden. pp.10-19, ⟨10.1007/978-3-540-74442-9⟩
Accès au texte intégral et bibtex

titre: On defining a web interface for linear algebra tasks over computational grids
auteur: Hrachya Astsatryan, Eddy Caron, Michel Daydé, Aurélie Hurault, Marc Pantel
article: International Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia
Accès au bibtex

titre: Comparison and tuning of MPI implementation in a grid context
auteur: Ludovic Hablot, Olivier Glück, Jean-Christophe Mignot, Stéphane Genaud, Pascale Vicat-Blanc Primet
article: Proceedings of 2007 IEEE International Conference on Cluster Computing (CLUSTER), Sep 2007, Austin, United States. pp.458-463
Accès au texte intégral et bibtex

titre: Land cover characterization through parametric modeling of intra-annual reflectance time series: a comparative study with MERIS data
auteur: Hugo Carrão, Paulo Gonçalves, Mário Caetano
article: SPIE Europe Symposium on Remote Sensing, Sep 2007, Firenze, Italy
Accès au bibtex

titre: VPSPACE and a Transfer Theorem over the Complex Field
auteur: Pascal Koiran, Sylvain Perifel
article: MFCS 2007, Aug 2007, Cesky Krumlov, Czech Republic. pp.359-370, ⟨10.1007/978-3-540-74456-6_33⟩
Accès au bibtex

titre: Small Alliances in Graphs
auteur: Rodolfo Carvajal, Martín Matamala, Ivan Rapaport, Nicolas Schabanel
article: MFCS 2007, Aug 2007, Ceský Krumlov, Czech Republic. pp.218-227, ⟨10.1007/978-3-540-74456-6_21⟩
Accès au bibtex

titre: Complex Multiply-Add and Other Related Operators
auteur: Milos Ercegovac, Jean-Michel Muller
article: SPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, SPIE, Aug 2007, San Diego, United States
Accès au texte intégral et bibtex

titre: Progresses in the Analysis of Stochastic 2D Cellular Automata: A Study of Asynchronous 2D Minority
auteur: Damien Regnault, Eric Thierry, Nicolas Schabanel
article: MFCS 2007, Aug 2007, Ceský Krumlov, Czech Republic. pp.320-332, ⟨10.1007/978-3-540-74456-6_30⟩
Accès au bibtex

titre: An evaluation of the NAP protocol for IPv6 router auto-configuration
auteur: Guillaume Chelius, Eric Fleury, Bruno Sericola, Laurent Toutain, David Binet
article: SIGCOMM 2007 Workshop "IPv6 and the Future of the Internet", ACM, Aug 2007, Kyoto, Japan
Accès au texte intégral et bibtex

titre: Improved Analysis of Kannan's Shortest Lattice Vector Algorithm
auteur: Guillaume Hanrot, Damien Stehlé
article: Advances in Cryptology - Crypto'07, Aug 2007, Santa Barbara, United States. pp.170-186, ⟨10.1007/978-3-540-74143-5_10⟩
Accès au texte intégral et bibtex

titre: Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank
auteur: Alin Bostan, Claude-Pierre Jeannerod, Éric Schost
article: International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2007, Waterloo, Canada. pp.33, ⟨10.1145/1277548.1277554⟩
Accès au texte intégral et bibtex

titre: Faster floating-point square root for integer processors
auteur: Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
article: 2007 International Symposium on Industrial Embedded Systems, Jul 2007, Lisbon, Portugal. pp.324-327, ⟨10.1109/SIES.2007.4297353⟩
Accès au texte intégral et bibtex

titre: Characterizations of Flip-Accessibility for Domino Tilings of the Whole Plane
auteur: Olivier Bodini, Thomas Fernique, Éric Rémila
article: FPSAC 2007 - 19th international conference on Formal Power Series and Algebraic Combinatorics, Jul 2007, Tianjin, China. pp.10
Accès au texte intégral et bibtex

titre: There Exist some Omega-Powers of Any Borel Rank
auteur: Dominique Lecomte, Olivier Finkel
article: 16th EACSL Annual Conference on Computer Science and Logic, CSL 2007, September 11-15, 2007, Lausanne, Switzerland. pp.115-129
Accès au texte intégral et bibtex

titre: Return of the hardware floating-point elementary function
auteur: Jérémie Detrey, Florent de Dinechin, Xavier Pujol
article: 18th Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.161-168
Accès au texte intégral et bibtex

titre: Efficient polynomial $L^{\infty}$-approximations
auteur: Nicolas Brisebarre, Sylvain Chevillard
article: 18th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.169-176, ⟨10.1109/ARITH.2007.17⟩
Accès au texte intégral et bibtex

titre: Long-Range Dependence and On-chip Processor Traffic
auteur: Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
article: ReCoSoc 2007: Reconfigurable Communication-centric SoCs, Jun 2007, Montpellier, France. pp.8
Accès au bibtex

titre: Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE
auteur: Christophe Alias, Fabrice Baray, Alain Darte
article: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
Accès au texte intégral et bibtex

titre: Floating-Point $L^2$-Approximations
auteur: Nicolas Brisebarre, Guillaume Hanrot
article: 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩
Accès au texte intégral et bibtex

titre: eSimu : a Fast and Accurate Energy Consumption Simulator for Embedded System
auteur: Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article: From Theory to Practice in Wireless Sensor Networks, Jun 2007, Helsinki, Finland. pp.1-6, ⟨10.1109/WOWMOM.2007.4351799⟩
Accès au bibtex

titre: Worst Cases of a Periodic Function for Large Arguments
auteur: Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
article: 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
Accès au texte intégral et bibtex

titre: Survey and Benchmark of Stream Ciphers for Wireless Sensor Networks
auteur: Nicolas Fournel, Marine Minier, Stéphane Ubéda
article: Workshop on Information Security Theory and Pratice, May 2007, Heraklion, Greece. pp.202-214, ⟨10.1007/978-3-540-72354-7⟩
Accès au bibtex

titre: A distributed policy scheduling for wireless sensor networks.
auteur: Yu Chen, Eric Fleury
article: 26th Annual IEEE Conference on Computer Communications IEEE INFOCOM 2007, May 2007, Anchorage, United States
Accès au bibtex

titre: Gestion dynamique de la bande passante dans les réseaux ad hoc multi-sauts
auteur: Cheikh Sarr, Isabelle Guérin-Lassous
article: 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.13-16
Accès au texte intégral et bibtex

titre: Loi de puissance et caractérisation des réseaux dynamiques
auteur: Eric Fleury, Jean-Loup Guillaume, Céline Robardet, Antoine Scherrer
article: 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.17-20
Accès au texte intégral et bibtex

titre: Worldsens: development and prototyping tools for application specific wireless sensors networks
auteur: Antoine Fraboulet, Guillaume Chelius, Eric Fleury
article: 6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007), ACM/IEEE, Apr 2007, Cambridge, United States. pp.176-185, ⟨10.1145/1236360.1236385⟩
Accès au texte intégral et bibtex

titre: Fractal dimension estimation: empirical mode decomposition versus wavelets
auteur: Paulo Gonçalves, Patrice Abry, Gabriel Rilling, Patrick Flandrin
article: IEEE Int. Conf. on Acoust. Speech and Sig. Proc., Apr 2007, Honolulu, Hawaii, United States
Accès au bibtex

titre: A Characterization of Flip-Accessibility for Rhombus Tilings of the Whole Plane
auteur: Olivier Bodini, Thomas Fernique, Éric Rémila
article: LATA 2007 - 1st International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragona, Spain. pp.139-150
Accès au texte intégral et bibtex

titre: Autonomic management architecture for flexible Grid services deployment based on policies
auteur: Edgar Magaña, Laurent Lefèvre, Joan Serrat
article: ARCS 2007 : Architecture of Computing Systems, Mar 2007, Zurich, Switzerland. pp.157-170, ⟨10.1007/978-3-540-71270-1_12⟩
Accès au bibtex

titre: Worldsens: a fast and accurate development framework for sensor network applications
auteur: Guillaume Chelius, Antoine Fraboulet, Eric Fleury
article: Symposium on Applied Computing (SAC 2007), ACM, Mar 2007, Seoul, South Korea. pp.222-226, ⟨10.1145/1244002.1244059⟩
Accès au bibtex

titre: Analysis of Scheduling Algorithms with Reservations
auteur: Lionel Eyraud-Dubois, Grégory Mounié, Denis Trystram
article: IPDPS 2007, Mar 2007, Long Beach, California, United States. pp.1-8
Accès au texte intégral et bibtex

titre: Cosmological Simulations using Grid Middleware
auteur: Yves Caniou, Eddy Caron, Helene M. Courtois, Benjamin Depardon, Romain Teyssier
article: Fourth High-Performance Grid Computing Workshop (HPGrid'07), Mar 2007, Long Beach, United States
Accès au bibtex

titre: VPSPACE and a Transfer Theorem over the Reals
auteur: Pascal Koiran, Sylvain Perifel
article: STACS 2007, Feb 2007, Aachen, Germany. pp.417-428, ⟨10.1007/978-3-540-70918-3_36⟩
Accès au bibtex

titre: Amélioration de la précision pour l'estimation de la bande passante résiduelle dans les réseaux ad hoc basés sur IEEE 802.11
auteur: Cheikh Sarr, Claude Chaudet, Guillaume Chelius, Isabelle Guérin-Lassous
article: Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.87-96
Accès au texte intégral et bibtex

titre: Mapping pipeline skeletons onto heterogeneous platforms
auteur: Anne Benoit, Yves Robert
article: ICCS'2007, the 7th International Conference on Computational Science, 2007, Unknown, China. pp.591-598, ⟨10.1016/j.jpdc.2007.11.004⟩
Accès au bibtex

titre: Strategies for replica placement in tree networks
auteur: Anne Benoit, Veronika Rehn, Yves Robert
article: HCW'2007, the 16th Heterogeneous Computing Workshop, 2007, Unknown, United States. ⟨10.1109/IPDPS.2007.370331⟩
Accès au bibtex

titre: A Distribution Law for CCS and a New Congruence Result for the pi-calculus
auteur: Daniel Hirschkoff, Damien Pous
article: FoSSaCS, 2007, Braga, Portugal. ⟨10.1007/978-3-540-71389-0_17⟩
Accès au texte intégral et bibtex

titre: Topology-Transparent Duty Cycling for Wireless Sensor Networks
auteur: Yu Chen, Eric Fleury
article: IEEE International Parallel & Distributed Processing Symposium (IPDPS 07), 2007, Long Beach, United States
Accès au bibtex

titre: Scheduling communication requests traversing a switch: complexity and algorithms
auteur: Matthieu Gallet, Yves Robert, Frédéric Vivien
article: PDP'2007, 15th Euromicro Workshop on Parallel, Distributed and Network-based Processing, 2007, Unknown, Italy. pp.39-46, ⟨10.1109/PDP.2007.73⟩
Accès au bibtex

titre: Communities detection and analysis of their dynamics in collaborative networks
auteur: Manel Ben Jdidia, Céline Robardet, Eric Fleury
article: Dynamic Virtual Communities: From Connectivity to Information Society, 2007, Lyon, France
Accès au bibtex

titre: Complexity results for throughput and latency optimization of replicated and data-parallel workflows
auteur: Anne Benoit, Yves Robert
article: HeteroPar'2007: International Conference on Heterogeneous Computing, jointly published with Cluster'2007, 2007, Unknown, United States. ⟨10.1007/s00453-008-9229-4⟩
Accès au bibtex

titre: Multi-criteria scheduling of pipeline workflows
auteur: Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article: HeteroPar'2007: International Conference on Heterogeneous Computing, jointly published with Cluster'2007, 2007, Unknown, United States. ⟨10.1109/CLUSTR.2007.4629278⟩
Accès au bibtex

titre: Backbone-based Scheduling for Data Dissemination in Wireless Sensor Networks with Mobile Sinks
auteur: Yu Chen, Eric Fleury
article: Fourth ACM SIGACT-SIGOPS International Workshop on Foundations of Mobile Computing (DIALM-POMC), 2007, Portland, United States
Accès au bibtex

titre: Complete Lattices and Up-to Techniques
auteur: Damien Pous
article: 5th Asian Symposium on Programming Languages and Systems, Joxan Jaffar, 2007, Singapore, Singapore. pp.351-366, ⟨10.1007/978-3-540-76637-7_24⟩
Accès au texte intégral et bibtex

titre: Fairness Issues When Transferring Large Volumes of Data on High Speed Networks With Router-Assisted Transport Protocols
auteur: Dino Martín Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article: High Speed Networks workshop (HSN'2007) in conjunction with 26th IEEE INFOCOM 2007, 2007, Anchorage, United States. pp
Accès au bibtex

titre: Analysis of Dynamic Sensor Networks: Power Law Then What?
auteur: Eric Fleury, Jean-Loup Guillaume, Céline Robardet, Antoine Scherrer
article: Second International Conference on COMmunication Systems softWAre and middlewaRE (COMSWARE 2007), 2007, Bangalore, India
Accès au bibtex

titre: Towards Real-Time Distributed Signal Modeling for Brain Machine Interfaces
auteur: Jack Digiovanna, Loris Marchal, Prapaporn Rattanatamrong, Ming Zhao, Shalom Darmanjian, Babak Mahmoudi, Justin Sanchez, José Príncipe, Linda Hermer-Vazquez, Renato Figueiredo, José Fortes
article: Proceedings of Dynamic Data Driven Application Systems (workshop of ICCS), 2007, Unknown, China. pp.964-971, ⟨10.1007/978-3-540-72584-8_127⟩
Accès au bibtex

titre: Revisiting matrix product on master-worker platforms
auteur: Jack Dongarra, Jean-François Pineau, Yves Robert, Zhiao Shi, Frédéric Vivien
article: 9th Workshop on Advances in Parallel and Distributed Computational Models APDCM 2007, 2007, Unknown, United States. ⟨10.1142/S0129054108006303⟩
Accès au texte intégral et bibtex

titre: Voronet: A scalable object network based on voronoi tessellations.
auteur: Olivier Beaumont, Anne-Marie Kermarrec, Loris Marchal, Etienne Rivière
article: International Parallel and Distributed Processing Symposium -- IPDPS 2007, 2007, Long Beach, United States
Accès au bibtex

titre: Worldsens: Embedded Sensor Network Application Development and Deployment
auteur: Nicolas Fournel, Antoine Fraboulet, Guillaume Chelius, Eric Fleury, Bruno Allard, Olivier Brevet
article: 26th Annual IEEE Conference on Computer Communications IEEE INFOCOM 2007, 2007, Anchorage, United States
Accès au bibtex

titre: Scheduling multiple divisible loads on a linear processor network
auteur: Matthieu Gallet, Yves Robert, Frédéric Vivien
article: ICPADS'2007, the 13th International Conference on Parallel and Distributed Systems, 2007, Unknown, Taiwan. ⟨10.1109/ICPADS.2007.4447768⟩
Accès au bibtex

titre: Scheduling and data redistribution strategies on star platforms
auteur: Loris Marchal, Veronika Rehn, Yves Robert, Frédéric Vivien
article: PDP'2007, 15th Euromicro Workshop on Parallel, Distributed and Network-based Processing, 2007, Unknown, Italy. pp.288-295, ⟨10.1109/PDP.2007.72⟩
Accès au bibtex

titre: Impact of QoS on replica placement in tree networks
auteur: Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article: ICCS'2007, the 7th 2007 International Conference on Computational Science, 2007, Unknown, China. pp.366-373, ⟨10.1007/978-3-540-72584-8_47⟩
Accès au bibtex

titre: Neighbor Discovery Analysis in Wireless Sensor Networks
auteur: Eric Fleury, Elyes Ben Hamida, Guillaume Chelius
article: First IRAMUS Workshop on radio interfaces for WSN and MANET networks, 2007, Val Thorens, France
Accès au bibtex

titre: Towards a Clustering Based Data Diffusion Protocol In Delay Tolerant Networks
auteur: Sana Tmar, Eric Fleury
article: ACM CoNext 2007 - Student Workshop, 2007, New York, United States
Accès au bibtex

titre: On Reducing the I/O Volume in a Sparse Out-of-core Solver
auteur: Emmanuel Agullo, Abdou Guermouche, Jean-Yves L'Excellent
article: HiPC'07 14th International Conference On High Performance Computing, 2007, Goa, India, India. pp.47-58
Accès au bibtex

titre: Reducing the I/O Volume in an Out-of-Core Sparse Multifrontal Solver
auteur: Emmanuel Agullo, Jean-Yves L'Excellent, Abdou Guermouche
article: High Performance Computing – HiPC 2007, 2007, India. pp.47-58
Accès au bibtex

Book sections

titre: Congestion Control in Multicast Communications
auteur: Cong-Duc Pham, Moufida Maimour
article: Abderrahim Benslimane. Multimedia Multicast on The Internet, ISTE - Hermès Science Publishing, 2007, chapter 7, 9781905209422
Accès au bibtex

titre: Algorithmique parallèle
auteur: Michel Cosnard, Yves Robert
article: Jacky Akoka and Isabelle Comyn-Wattiau. Encyclopédie de l'Informatique et des Systèmes d'Information, Vuibert, pp.955-965, 2007
Accès au bibtex

Habilitation à diriger des recherches

titre: Matériel et logiciel pour l'évaluation de fonctions numériques : précision, performance et validation
auteur: Florent de Dinechin
article: Informatique [cs]. Université Claude Bernard - Lyon I, 2007
Accès au texte intégral et bibtex

Books

titre: Special issue: Practical Aspects of High-Level Parallel Programming
auteur: Anne Benoit, Frédéric Loulergue
article: Benoit, Anne and Loulergue, Frédéric. Warsaw School of Social Psychology, Scalable Computing: Practice and Experience, 8(1), pp.35, 2007
Accès au bibtex

Poster communications

titre: LLL and polynomial approximation
auteur: Nicolas Brisebarre, Sylvain Chevillard
article: LLL+25, Jun 2007, Caen, France
Accès au texte intégral et bibtex

Reports

titre: Large scale execution of a bioinformatic application on a volunteer grid
auteur: Viktors Bertis, Raphaël Bolze, Frédéric Desprez, Kevin Reed
article: [Research Report] LIP RR-2007-49, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
Accès au texte intégral et bibtex

titre: Evaluation des performances réseau dans le contexte de la virtualisation XEN
auteur: Pascale Primet, Olivier Mornard, Jean-Patrick Gelas
article: [Rapport de recherche] LIP RR-2008-01, Laboratoire de l'informatique du parallélisme. 2007, 2+12p
Accès au texte intégral et bibtex

titre: XCP-i : "eXplicit Control Protocol" pour l'interconnexion de réseaux haut-débit hétérogènes
auteur: Dino M. Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article: [Rapport de recherche] LIP RR-2007-47, Laboratoire de l'informatique du parallélisme. 2007, 2+11p
Accès au texte intégral et bibtex

titre: Optimizing latency and reliability of pipeline workflow applications
auteur: Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article: [Research Report] LIp RR-2007-43, Laboratoire de l'informatique du parallélisme. 2007, 2+11p
Accès au texte intégral et bibtex

titre: Lattice-Based Array Contraction: From Theory to Practice
auteur: Christophe Alias, Alain Darte, Fabrice Baray
article: [Research Report] LIP RR-2007-44, LIP - Laboratoire de l’Informatique du Parallélisme. 2007
Accès au texte intégral et bibtex

titre: Document d'aide au déploiement d'IPv6 sur Grid5000
auteur: Aurélien Cedeyn, Jean-Patrick Gelas, Olivier Mornard, Pascale Primet/vicat-Blanc
article: [Rapport de recherche] LIP TR-2007-01, Laboratoire de l'informatique du parallélisme. 2007, 2+8p
Accès au texte intégral et bibtex

titre: TCP variants and transfer time predictability in very high speed networks
auteur: Romaric Guillier, Sébastien Soudan, Pascale Vicat-Blanc Primet
article: [Research Report] LIP RR-2007-37, Laboratoire de l'informatique du parallélisme. 2007, 2+25p
Accès au texte intégral et bibtex

titre: Towards a user-oriented benchmark for transport protocols comparison in very high speed networks
auteur: Romaric Guillier, Ludovic Hablot, Pascale Vicat-Blanc Primet
article: [Research Report] LIP RR-2007-35, Laboratoire de l'informatique du parallélisme. 2007, 2+27p
Accès au texte intégral et bibtex

titre: Acyclicity of preferences, Nash equilibria, and subgame perfect equilibria : a formal and constructive equivalence
auteur: Stéphane Le Roux
article: [Research Report] LIP RR-2007-18, Laboratoire de l'informatique du parallélisme. 2007, 2+37p
Accès au texte intégral et bibtex

titre: Comparison and tuning of MPI implementations in a grid context
auteur: Ludovic Hablot, Olivier Glück, Jean-Christophe Mignot, Stéphane Genaud, Pascale Vicat-Blanc Primet
article: [Research Report] LIP RR-2007-21, Laboratoire de l'informatique du parallélisme. 2007, 2+19p
Accès au texte intégral et bibtex

titre: End-host based mechanisms for implementing flow scheduling in GridNetworks
auteur: Sébastien Soudan, Romaric Guillier, Pascale Primet
article: [Research Report] LIP RR-2007-24, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
Accès au texte intégral et bibtex

titre: Elementary transformation analysis for array-OL
auteur: Paul Feautrier
article: [Research Report] LIP RR-2007-28, Laboratoire de l'informatique du parallélisme. 2007, 2+7p
Accès au texte intégral et bibtex

titre: Acyclicity and Finite Linear Extendability: a Formal and Constructive Equivalence.
auteur: Stéphane Le Roux
article: [Research Report] LIP RR-2007-14, Laboratoire de l'informatique du parallélisme. 2007, 2+22p
Accès au texte intégral et bibtex

titre: Cosmological Simulations using Grid Middleware
auteur: Yves Caniou, Eddy Caron, Benjamin Depardon, Helene M. Courtois, Romain Teyssier
article: [Research Report] RR2007-11, LIP - ENS Lyon. 2007
Accès au bibtex

titre: Optimal Closest Policy with QoS and Bandwidth Constraints for Placing Replicas in Tree Networks.
auteur: Veronika Rehn
article: [Research Report] LIP RR-2007-10, Laboratoire de l'informatique du parallélisme. 2007, 2+11p
Accès au texte intégral et bibtex

titre: Arithmetic Operators for Pairing-Based Cryptography
auteur: Jean-Luc Beuchat, Nicolas Brisebarre, Jérémie Detrey, Eiji Okamoto
article: [Research Report] LIP RR-2007-13, Laboratoire de l'informatique du parallélisme. 2007, 2+16p
Accès au texte intégral et bibtex

titre: Available Bandwidth Estimation for IEEE 802.11-based Ad Hoc networks
auteur: Cheikh Sarr, Claude Chaudet, Guillaume Chelius, Isabelle Guérin-Lassous
article: [Research Report] RR-6217, INRIA. 2007, pp.34
Accès au texte intégral et bibtex

titre: Complexity results for throughput and latency optimization of replicated and data-parallel workflows
auteur: Anne Benoit, Yves Robert
article: [Research Report] RR-6308, LIP RR-2007-12, INRIA, LIP. 2007, pp.33
Accès au texte intégral et bibtex

titre: Towards a Parallel Out-of-core Multifrontal Solver: Preliminary Study
auteur: Emmanuel Agullo, Abdou Guermouche, Jean-Yves L'Excellent
article: [Research Report] RR-6120, LIP RR 2007-06, INRIA, LIP. 2007, pp.48
Accès au texte intégral et bibtex

titre: An Algorithmic Toolbox for Network Calculus
auteur: Anne Bouillard, Eric Thierry
article: [Research Report] RR-6094, INRIA. 2007, pp.44
Accès au texte intégral et bibtex

titre: XCP-i : "eXplicit Control Protocol" pour l'interconnexion de réseaux haut-débit hétérogènes
auteur: Dino Martín Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article: [Rapport de recherche] INRIA. 2007, pp.16
Accès au texte intégral et bibtex

titre: Comments on "Design and performance evaluation of load distribution strategies for multiple loads on heterogeneous linear daisy chain networks
auteur: Matthieu Gallet, Yves Robert, Frédéric Vivien
article: [Research Report] RR-6123, LIP RR-2007-07, INRIA, LIP. 2007
Accès au texte intégral et bibtex

titre: Snap-stabilizing Prefix Tree for Peer-to-peer Systems
auteur: Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi
article: [Research Report] RR-6297, LIP RR-2007-39, INRIA, LIP. 2007, pp.20
Accès au texte intégral et bibtex

titre: Graphs and Path Equilibria
auteur: Stéphane Le Roux
article: [Research Report] 2007, pp.41
Accès au texte intégral et bibtex

titre: ACI sécurité informatique KAA (Key Authentification Ambient)
auteur: Samuel Galice, Veronique Legrand, Frédéric Le Mouël, Marine Minier, Stéphane Ubéda, Michel Morvan, Sylvain Sené, Laurent Guihéry, Agnès Rabagny, Joël Moret-Bailly, Jean-Philippe Neuville, Jérome Pousin
article: [Rapport de recherche] Centre national de la recherche scientifique (CNRS); INRIA; Ministère délégué à la Recherche et aux Nouvelles Technologies. 2007, 26 p
Accès au texte intégral et bibtex

titre: Cosmological Simulations using Grid Middleware
auteur: Yves Caniou, Eddy Caron, Benjamin Depardon, Hélène M. Courtois, Romain Teyssier
article: [Research Report] RR-6139, LIP RR-2007-11, INRIA, LIP. 2007, pp.24
Accès au texte intégral et bibtex

titre: Comparison and tuning of MPI implementations in a grid context
auteur: Ludovic Hablot, Olivier Glück, Jean-Christophe Mignot, Stéphane Genaud, Pascale Vicat-Blanc Primet
article: [Research Report] INRIA. 2007, pp.25
Accès au texte intégral et bibtex

titre: Fast Liveness Checking for SSA-Form Programs
auteur: Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît de Dinechin, Fabrice Rastello
article: [Research Report] 2007, pp.9
Accès au texte intégral et bibtex

titre: Multi-criteria scheduling of pipeline workflows
auteur: Anne Benoit, Veronika Rehn-Sonigo, Yves Robert
article: [Research Report] RR-6232, LIP RR-2007-32, INRIA. 2007, 2+17p
Accès au texte intégral et bibtex

titre: Fairness Issues When Transferring Large Volumes of Data on High Speed Networks With Router-Assisted Transport Protocols
auteur: Dino Martín Lopez Pacheco, Laurent Lefèvre, Cong-Duc Pham
article: [Research Report] RR-6386, LIP RR-2007-46, INRIA, LIP. 2007, pp.16
Accès au texte intégral et bibtex

titre: Reducing the I/O Volume in an Out-of-core Sparse Multifrontal Solver
auteur: Emmanuel Agullo, Abdou Guermouche, Jean-Yves L'Excellent
article: [Research Report] RR-6207, LIP RR-2007-22, INRIA, LIP. 2007, pp.32
Accès au texte intégral et bibtex

titre: Elementary transformation analysis for Array-OL
auteur: Paul Feautrier
article: [Research Report] RR-6193, INRIA. 2007, pp.12
Accès au texte intégral et bibtex

titre: Optimal Replica Placement in Tree Networks with QoS and Bandwidth Constraints and the Closest Allocation Policy
auteur: Veronika Rehn-Sonigo
article: [Research Report] RR-6233, INRIA. 2007
Accès au texte intégral et bibtex

titre: Estimating Average End-to-End Delays in IEEE 802.11 Multihop Wireless Networks
auteur: Cheikh Sarr, Isabelle Guérin-Lassous
article: [Research Report] RR-6259, INRIA. 2007, pp.24
Accès au texte intégral et bibtex

titre: Some examples and counterexamples for (min,+) filtering operations
auteur: Anne Bouillard, Eric Thierry
article: [Research Report] RR-6095, INRIA. 2007, pp.14
Accès au texte intégral et bibtex

titre: A First Step Towards Automatically Building Network Representations
auteur: Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien
article: [Research Report] LIP RR-2007-08, INRIA, LIP. 2007
Accès au texte intégral et bibtex

titre: Discrete Non Neterminism and Nash Equilibria for Strategy-Based Games
auteur: Stéphane Le Roux
article: [Research Report] 2007
Accès au texte intégral et bibtex

titre: Offline and Online Scheduling of Concurrent Bags-of-Tasks on Heterogeneous Platforms
auteur: Anne Benoit, Loris Marchal, Jean-François Pineau, Yves Robert, Frédéric Vivien
article: [Research Report] RR-6401, INRIA. 2007, pp.49
Accès au texte intégral et bibtex

titre: End-host based mechanisms for implementing Flow Scheduling in GridNetworks
auteur: Sebastien Soudan, Romaric Guillier, Pascale Primet
article: [Research Report] INRIA. 2007
Accès au texte intégral et bibtex

titre: Collective construction of numerical potential fields for the foraging problem
auteur: Olivier Simonin, François Charpillet, Eric Thierry
article: [Research Report] RR-6171, INRIA. 2007, pp.23
Accès au texte intégral et bibtex

titre: Scheduling multiple divisible loads on a linear processor network
auteur: Matthieu Gallet, Yves Robert, Frédéric Vivien
article: [Research Report] RR-6235, INRIA. 2007
Accès au texte intégral et bibtex

titre: Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence
auteur: Stéphane Le Roux
article: [Research Report] 2007, pp.41
Accès au texte intégral et bibtex

titre: On Frequency Optimisation for Power Saving in WSNs: Finding Optimum Hardware Timers Frequencies
auteur: Andreea Picu, Antoine Fraboulet, Eric Fleury
article: [University works] RR-6290, INRIA. 2007, pp.42
Accès au texte intégral et bibtex

titre: Mapping pipeline skeletons onto heterogeneous platforms
auteur: Anne Benoit, Yves Robert
article: [Research Report] RR-6087, LIP RR-2007-05, INRIA, LIP. 2007, pp.30
Accès au texte intégral et bibtex

Theses

auteur: Dragisa Zunic
article: Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2007. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex

titre: Graphs and hypergraphs : algorithmic and algebraic complexities
auteur: Laurent Lyaudet
article: Complexité [cs.CC]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex

titre: Taylor models to extend the use and certification of interval arithmetic in a proof checker
auteur: Francisco Cháves
article: Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex

titre: Hardware arithmetic operators for specific applications
auteur: Nicolas Veyrat-Charvillon
article: Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex

titre: Query Complexity and Symmetries
auteur: Vincent Nesme
article: Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex

titre: Pure type systems and explicit substitutions
auteur: Romain Cyril Kervarc
article: Logique en informatique [cs.LO]. École normale supérieure de Lyon, 2007. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, ...

titre: Dynamic Logic of Common Knowledge in a Proof Assistant
auteur: Pierre Lescanne, Jérôme Puisségur
article: 2007
Accès au texte intégral et bibtex

titre: Coalescing Cellular Automata -- Synchronizing CA by Common Random Source and Varying Asynchronicity
auteur: Jean-Baptiste Rouquier, Michel Morvan
article: 2007
Accès au bibtex

titre: On the construction of a family of transversal subspaces over finite fields
auteur: Alexander Chistov, Hervé Fournier, Pascal Koiran, Sylvain Perifel
article: 2007
Accès au texte intégral et bibtex

titre: Interpolation in Valiant's theory
auteur: Pascal Koiran, Sylvain Perifel
article: 2007
Accès au texte intégral et bibtex

titre: When FPGAs are better at floating-point than microprocessors
auteur: Florent de Dinechin, Jérémie Detrey, Octavian Creţ, Radu Tudoran
article: 2007
Accès au texte intégral et bibtex

titre: FPGA-BASED COMPUTATION OF THE INDUCTANCE OF COILS USED FOR THE MAGNETIC STIMULATION OF THE NERVOUS SYSTEM
auteur: Ionuţ Trestian, Octavian Creţ, Laura Creţ, Lucia Văcariu, Radu Tudoran, Florent de Dinechin
article: 2007
Accès au texte intégral et bibtex

titre: An efficient rounding boundary test for pow(x,y) in double precision
auteur: Christoph Lauter, Vincent Lefèvre
article: 2007
Accès au texte intégral et bibtex

titre: CP games : a tutorial
auteur: Pierre Lescanne
article: 2007
Accès au texte intégral et bibtex

titre: The Complexity of two Problems on Arithmetic Circuits
auteur: Pascal Koiran, Sylvain Perifel
article: 2007
Accès au texte intégral et bibtex

titre: VPSPACE and a transfer theorem over the complex field
auteur: Pascal Koiran, Sylvain Perifel
article: 2007
Accès au texte intégral et bibtex

titre: Finding a Vector Orthogonal to Roughly Half a Collection of Vectors
auteur: Pierre Charbit, Emmanuel Jeandel, Pascal Koiran, Sylvain Perifel, Stéphan Thomassé
article: 2007
Accès au texte intégral et bibtex

titre: Optimal routing for end-to-end guarantees: the price of multiplexing
auteur: Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry
article: 2007
Accès au texte intégral et bibtex

titre: Symmetry of information and nonuniform lower bounds
auteur: Sylvain Perifel
article: 2007
Accès au texte intégral et bibtex

titre: Computing Integer Powers in Floating-Point Arithmetic
auteur: Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller
article: 2007
Accès au texte intégral et bibtex

titre: On the expressive power of planar perfect matching and permanents of bounded treewidth matrices
auteur: Uffe Flarup, Pascal Koiran, Laurent Lyaudet
article: 2007
Accès au texte intégral et bibtex

titre: Some notes on the possible under/overflow of the most common elementary functions
auteur: Jean-Michel Muller, Vincent Lefèvre
article: 2007
Accès au texte intégral et bibtex

titre: Interoperability Testing for The GridRPC API Specification
auteur: Y. Tanimura, Keith Seymour, Eddy Caron, Abdelkader Amar, Hidemoto Nakada, Yoshio Tanaka, Frédéric Desprez
article: 2007
Accès au texte intégral et bibtex

titre: A study of stochastic 2D Minority CA : would wearing stripes be a fatality for snob people ?
auteur: Eric Thierry, Damien Regnault, Nicolas Schabanel
article: 2007
Accès au texte intégral et bibtex

titre: Markov chain analysis of an agent based growth model
auteur: Eric Thierry, Bruno Gaujal, Laszlo Gulyas, Yuri Mansury
article: 2007
Accès au texte intégral et bibtex

titre: Bivariate Empirical Mode Decomposition
auteur: Gabriel Rilling, Patrick Flandrin, Paulo Gonçalves, Jonathan M. Lilly
article: 2007
Accès au texte intégral et bibtex

titre: VPSPACE and a Transfer Theorem over the Reals
auteur: Pascal Koiran, Sylvain Perifel
article: 2007
Accès au texte intégral et bibtex

titre: Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
auteur: Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard
article: 2007
Accès au texte intégral et bibtex

titre: Certification of the QR factor R, and of lattice basis reducedness
auteur: Gilles Villard
article: 2007
Accès au texte intégral et bibtex

titre: Solving Systems of Linear Equations in Complex Domain : Complex E-Method
auteur: Milos Ercegovac, Jean-Michel Muller
article: 2007
Accès au texte intégral et bibtex