2010
Journal articles
- titre
- Design and Evaluation of a Session-Aware Admission Control Framework for Improving Service Providers' Profitability
- auteur
- Narjess Ayari, Laurent Lefèvre, Denis Barbaron
- article
- Journal of Internet Engineering, 2010, 4 (1), pp.260-268
- Accès au texte intégral et bibtex
-
- titre
- On Cluster Resource Allocation for Multiple Parallel Task Graphs
- auteur
- Henri Casanova, Frédéric Desprez, Frédéric Suter
- article
- Journal of Parallel and Distributed Computing, 2010, 70 (12), pp.1193-1203. ⟨10.1016/j.jpdc.2010.08.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Rigorous Perturbation Bounds of Some Matrix Factorizations
- auteur
- Xiao-Wen Chang, Damien Stehlé
- article
- SIAM Journal on Matrix Analysis and Applications, 2010, 31 (5), pp.2841--2859
- Accès au bibtex
-
- titre
- On the confluence of lambda-calculus with conditional rewriting
- auteur
- Frédéric Blanqui, Claude Kirchner, Colin Riba
- article
- Theoretical Computer Science, 2010, 411 (37), pp.3301-3327. ⟨10.1016/j.tcs.2009.07.058⟩
- Accès au texte intégral et bibtex
-
- titre
- Attraction Basins as Gauges of Environmental Robustness in Biological Complex Systems
- auteur
- Jacques Demongeot, Eric Goles, Michel Morvan, Mathilde Noual, Sylvain Sené
- article
- PLoS ONE, 2010, 5 (8), pp.e11793. ⟨10.1371/journal.pone.0011793⟩
- Accès au bibtex
-
- titre
- Communicating between the kernel and user-space in Linux using Netlink sockets
- auteur
- Pablo Neira, L. Gasca, Laurent Lefèvre
- article
- Software: Practice and Experience, 2010, 40 (9), pp.797-810. ⟨10.1002/spe.981⟩
- Accès au bibtex
-
- titre
- Interpreting a finitary pi-calculus in differential interaction nets
- auteur
- Thomas Ehrhard, Olivier Laurent
- article
- Information and Computation, 2010, 208 (6), pp.606--633. ⟨10.1016/j.ic.2009.06.005⟩
- Accès au bibtex
-
- titre
- Resource allocation algorithms for virtualized service hosting platforms
- auteur
- Mark Stillwell, David Schanzenbach, Frédéric Vivien, Henri Casanova
- article
- Journal of Parallel and Distributed Computing, 2010, 70 (9), pp.962-974. ⟨10.1016/j.jpdc.2010.05.006⟩
- Accès au texte intégral et bibtex
-
- titre
- High-level Approach to Modeling of Observed System Behavior
- auteur
- Thomas Begin, Alexandre Brandwajn, Bruno Baynat, Bernd Wolfinger, Serge Fdida
- article
- Performance Evaluation, 2010, 67 (5), pp.386-405. ⟨10.1016/j.peva.2009.11.002⟩
- Accès au bibtex
-
- titre
- Editorial: Simulators and Experimental Testbeds Design and Development for Wireless Networks
- auteur
- Faouzi Bader, Guillaume Chelius, Christian Ibars, Mohamed Ibnkahla, Nikos Passas, Arnd-Ragnar Rhiemeier
- article
- EURASIP Journal on Wireless Communications and Networking, 2010, 2010, ⟨10.1155/2010/603970⟩
- Accès au bibtex
-
- titre
- Improved Design of High-Performance Parallel Decimal Multipliers
- auteur
- Alvaro Vazquez, Elisardo Antelo, Paolo Montuschi
- article
- IEEE Transactions on Computers, 2010, 59 (5), pp.679-693
- Accès au bibtex
-
- titre
- Bringing fast floating-point arithmetic into embedded integer processors
- auteur
- Christian Bertin, Claude-Pierre Jeannerod, Christophe Monat
- article
- HiPEAC Info, 2010, 22, pp.11-12
- Accès au bibtex
-
- titre
- Un marathonien pas comme les autres
- auteur
- Guillaume Chelius, Joanna Jongwane
- article
- Interstices, 2010
- Accès au bibtex
-
- titre
- Designing and Evaluating an Energy Efficient Cloud
- auteur
- Laurent Lefèvre, Anne-Cécile Orgerie
- article
- Journal of Supercomputing, 2010, 51 (3), pp.352-373. ⟨10.1007/s11227-010-0414-2⟩
- Accès au bibtex
-
- titre
- Investigating self-similarity and heavy-tailed distributions on a large scale experimental facility
- auteur
- Loiseau Patrick, Paulo Gonçalves, Guillaume Dewaele, Pierre Borgnat, Patrice Abry, Pascale Primet Vicat-Blanc
- article
- IEEE/ACM Transactions on Networking, 2010, 99, pp.1. ⟨10.1109/TNET.2010.2042726⟩
- 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
- Parallel Processing Letters, 2010, 20 (1), pp.15-30. ⟨10.1142/S012962641000003X⟩
- Accès au bibtex
-
- titre
- Extending Software Component Models with the Master-Worker Paradigm
- auteur
- Hinde Lilia Bouziane, Christian Pérez, Thierry Priol
- article
- Parallel Computing, 2010, 36 (2-3), pp.86--103. ⟨10.1016/j.parco.2009.12.012⟩
- Accès au bibtex
-
- titre
- Linear logic by levels and bounded time complexity
- auteur
- Patrick Baillot, Damiano Mazza
- article
- Theoretical Computer Science, 2010, 411 (2), pp. 470--503. ⟨10.1016/j.tcs.2009.09.015⟩
- Accès au bibtex
-
- titre
- On the analysis of ''simple'' 2D stochastic cellular automata
- auteur
- Damien Regnault, Nicolas Schabanel, Eric Thierry
- article
- Discrete Mathematics and Theoretical Computer Science, 2010, Vol. 12 no. 2 (2), pp.263-294. ⟨10.46298/dmtcs.518⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
- auteur
- Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
- article
- ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
- Accès au bibtex
-
- titre
- An Efficient Method for Evaluating Complex Polynomials
- auteur
- Milos Ercegovac, Jean-Michel Muller
- article
- Journal of Signal Processing Systems, 2010, 58 (1), pp.17-27. ⟨10.1007/s11265-008-0265-8⟩
- 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
- SIAM Journal on Scientific Computing, 2010, 31 (6), pp.4774-4794. ⟨10.1137/080720061⟩
- Accès au bibtex
-
- titre
- Fully Dynamic Algorithm for Modular Decomposition and Recognition of Permutation Graphs
- auteur
- Christophe Crespelle, Christophe Paul
- article
- Algorithmica, 2010, 58 (2), pp.405-432. ⟨10.1007/s00453-008-9273-0⟩
- Accès au bibtex
-
- titre
- Simulators and Experimental Testbeds Design and Development for Wireless Networks
- auteur
- Faouzi Bader, Guillame Chelius, Christian Ibars, Mohamed Ibnkahla, Nikos Passas, Arnd-Ragnar Rhiemeier
- article
- EURASIP Journal on Wireless Communications and Networking, 2010, 2010 (1), pp.603970
- Accès au texte intégral et bibtex
-
- titre
- A Self-Stabilizing K-clustering algorithm for weighted graphs
- auteur
- Eddy Caron, Ajoy K. Datta, Benjamin Depardon, Lawrence L. Larmore
- article
- Journal of Parallel and Distributed Computing, 2010, 70 (11), pp.1159-1173
- Accès au bibtex
-
- titre
- PLC sensor IPv6 networking interoperabe with WSN
- auteur
- Cedric Chauvenet, Pierre-Emmanuel Goudet, Mathieu Pouillot, Bernard Tourancheau, Denis Genon-Catalot
- article
- International Journal of Business Data Communications and Networking, 2010
- Accès au texte intégral et bibtex
-
- titre
- Analyse numérique et réduction de réseaux
- auteur
- Ivan Morel, Damien Stehlé, Gilles Villard
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (1), pp.115-144. ⟨10.3166/tsi.29.115-144⟩
- Accès au texte intégral et bibtex
-
- titre
- Why and How to Use Arbitrary Precision
- auteur
- Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
- article
- Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
- Accès au bibtex
-
- titre
- A Matrix Partitioning Interface to PaToH in MATLAB
- auteur
- Bora Uçar, Umit V. Catalyurek, Cevdet Aykanat
- article
- Parallel Computing, 2010, 36 (5--6), pp.254--272. ⟨10.1016/j.parco.2009.12.008⟩
- Accès au bibtex
-
- titre
- On Two-Dimensional Sparse Matrix Partitioning: Models, Methods, and a Recipe
- auteur
- Umit V. Catalyurek, Cevdet Aykanat, Bora Uçar
- article
- SIAM Journal on Scientific Computing, 2010, 32 (2), pp.656--683. ⟨10.1137/080737770⟩
- Accès au bibtex
-
- titre
- Well-Quasi-Order of Relabel Functions
- auteur
- Jean Daligault, Michael Rao, Stéphan Thomassé
- article
- Order, 2010, 27, pp.301-315. ⟨10.1007/s11083-010-9174-0⟩
- Accès au bibtex
-
- titre
- Average long-lived binary consensus: Quantifying the stabilizing role played by memory
- auteur
- Florent Becker, Ivan Rapaport, Sergio Rajsbaum, Éric Rémila
- article
- Theoretical Computer Science, 2010, 411 (14-15), pp.1558-1566. ⟨10.1016/j.tcs.2010.01.005⟩
- Accès au bibtex
-
- titre
- Rooted-tree Solutions for Tree Games
- auteur
- Sylvain Béal, Éric Rémila, Philippe Solal
- article
- European Journal of Operational Research, 2010, 203, pp.404-408
- Accès au bibtex
-
- titre
- Complexity results for throughput and latency optimization of replicated and data-parallel workflows
- auteur
- Anne Benoit, Yves Robert
- article
- Algorithmica, 2010, 57 (4), pp.689-724. ⟨10.1007/s00453-008-9229-4⟩
- Accès au bibtex
-
- titre
- A new approach to the lattice Boltzmann method for graphics processing units
- auteur
- Christian Obrecht, Frédéric Kuznik, Bernard Tourancheau, Jean-Jacques Roux
- article
- Computers & Mathematics with Applications, 2010, ⟨10.1016/j.camwa.2010.01.054⟩
- Accès au texte intégral et bibtex
-
- titre
- A nonlinear model for satellite images time series: analysis and prediction of land cover dynamics
- auteur
- Hugo Carrão, Paulo Gonçalves, Mário Caetano
- article
- IEEE Transactions on Geoscience and Remote Sensing, 2010, 48 (2) (4), pp.1919-1930
- Accès au bibtex
-
- titre
- On the Block Triangular Form of Symmetric Matrices
- auteur
- Iain S. Duff, Bora Uçar
- article
- SIAM Review, 2010, 52 (3), pp.455--470. ⟨10.1137/080720036⟩
- Accès au texte intégral et bibtex
-
- titre
- Le cout écologique d'Internet
- auteur
- Laurent Lefèvre
- article
- Pour la science, 2010, 66, pp.40-41
- Accès au bibtex
-
- titre
- Specifying and provisioning Virtual Infrastructures with HIPerNET
- auteur
- Fabienne Anhalt, Guilherme Koslovski, Pascale Vicat-Blanc Primet
- article
- International Journal of Network Management, 2010, 20 (3), pp.12-148. ⟨10.1002/nem.732⟩
- Accès au bibtex
-
- titre
- Scheduling concurrent bag-of-tasks applications on heterogeneous platforms
- auteur
- Anne Benoit, Loris Marchal, Jean-François Pineau, Yves Robert, Frédéric Vivien
- article
- IEEE Transactions on Computers, 2010, 59 (2), pp.202-217. ⟨10.1109/TC.2009.117⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi-criteria scheduling of precedence task graphs on heterogeneous platforms
- auteur
- Anne Benoit, Mourad Hakem, Yves Robert
- article
- The Computer Journal, 2010, 53 (6), pp.772-785. ⟨10.1093/comjnl/bxp067⟩
- Accès au bibtex
-
- titre
- Termination in higher-order concurrent calculi
- auteur
- Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
- article
- Journal of Logic and Algebraic Programming, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩
- Accès au bibtex
-
Conference papers
- titre
- Termination of Multipartite Graph Series Arising from Complex Network Modelling
- auteur
- Matthieu Latapy, Thi Ha Duong Phan, Christophe Crespelle, Thanh Qui Nguyen
- article
- 4th Annual International Conference on Combinatorial Optimization and Applications - COCOA'10, Dec 2010, Hawaii, Big Island, United States. pp.1-10, ⟨10.1007/978-3-642-17458-2_1⟩
- Accès au bibtex
-
- titre
- A Quantum Game of Life
- auteur
- Pablo Arrighi, Jonathan Grattage
- article
- Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.31-42
- Accès au texte intégral et bibtex
-
- titre
- Future Internet Management Platforms for Network Virtualisation and Service Clouds
- auteur
- Alex Galis, Stuart Clayman, Andreas Fischer, Paler Alexandru, Al-Hazmi Yahya, Hermann de Meer, Abderhaman Cheniour, Olivier Mornard, Jean-Patrick Gelas, Laurent Lefèvre, Javier Rubio-Loyola, Antonio Astorga, Joan Serrat, Steven Davy
- article
- ServiceWave 2010 - Third European Conference, Dec 2010, Ghent, Belgium. pp.235-237, ⟨10.1007/978-3-642-17694-4_39⟩
- Accès au bibtex
-
- titre
- Floating-point exponential functions for DSP-enabled FPGAs
- auteur
- Florent de Dinechin, Bogdan Pasca
- article
- International Conference on Field-Programmable Technology, Dec 2010, Beijing, China. pp.110-117
- Accès au texte intégral et bibtex
-
- titre
- Efficient implementation of Parallel BCD Multiplication in LUT-6 FPGAs
- auteur
- Alvaro Vazquez, Florent de Dinechin
- article
- 2010 International Conference on Field-Programmable Technology, Dec 2010, Beijing, China
- Accès au bibtex
-
- titre
- General vs. Interval Mappings for Streaming Applications
- auteur
- Anne Benoit, Hinde Lilia Bouziane, Yves Robert
- article
- IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS), Dec 2010, Shanghai, China
- Accès au bibtex
-
- titre
- Multi-Operand Decimal Addition by Efficient Reuse of a Binary Carry-Save Adder Tree
- auteur
- Alvaro Vazquez, Elisardo Antelo
- article
- 44th ASILOMAR Conference on Signals, Systems and Computers, Dec 2010, Pacific Grove, CA, United States
- Accès au bibtex
-
- titre
- Platforms and Software Systems for an Autonomic Internet
- auteur
- Javier Rubio-Loyola, A. Astorga, Joan Serrat, W.K. Chai, L. Mamatas, A. Galis, S. Clayman, A. Cheniour, L. Lefevre, Olivier Mornard, A. Fischer, A. Paler, H. de Meer
- article
- IEEE Globecom 2010 - Next Generation Networking Symposium, Dec 2010, Miami, United States. ⟨10.1109/GLOCOM.2010.5683380⟩
- Accès au bibtex
-
- titre
- A 128-Tap Complex FIR Filter Processing 20 Giga-Samples/s in a Single FPGA
- auteur
- Florent de Dinechin, Honoré Takeugming, Jean-Marc Tanguy
- article
- 44th Conference on signals, systems and computers, United States
- Accès au texte intégral et bibtex
-
- titre
- An Analysis of Power Consumption Logs from a Monitored Grid Site
- auteur
- Marcos Dias de Assuncao, Anne-Cécile Orgerie, Laurent Lefèvre
- article
- IEEE/ACM International Conference on Green Computing and Communications (GreenCom), Dec 2010, Hangzhou, China. pp.61, ⟨10.1109/GreenCom-CPSCom.2010.46⟩
- Accès au bibtex
-
- titre
- Reliablility Support in Virtual Infrastructures
- auteur
- Guilherme Koslovski, Wai-Leong Yeow, Cedric Westphal, Tram Truong Huu, Johan Montagnat, Pascale Vicat-Blanc Primet
- article
- IEEE International Conference on Cloud Computing Technology and Science (CloudCom'10), Nov 2010, Indianapolis, United States. pp.49-58, ⟨10.1109/CloudCom.2010.23⟩
- Accès au texte intégral et bibtex
-
- titre
- Forecasting for Grid and Cloud Computing On-Demand Resources Based on Pattern Matching
- auteur
- Eddy Caron, Frédéric Desprez, Adrian Muresan
- article
- IEEE CloudCom 2010, Nov 2010, Indianapolis, Indiana, USA, United States. ⟨10.1109/CloudCom.2010.65⟩
- Accès au bibtex
-
- titre
- Concurrency Can't Be Observed, Asynchronously
- auteur
- Filippo Bonchi, Paolo Baldan, Fabio Gadducci, Valentina Monreale
- article
- Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Nov 2010, Shanghai, China. pp.424-438
- Accès au bibtex
-
- titre
- mining time-dependent communities
- auteur
- Qinna Wang, Eric Fleury
- article
- Journées automnales ResCom 2010, Nov 2010, lyon, France
- Accès au bibtex
-
- titre
- Execution Models for Processors and Instructions
- auteur
- Florian Brandner, Pavlu Viktor, Krall Andreas
- article
- NORCHIP 2010, IEEE, Nov 2010, Finland
- Accès au bibtex
-
- titre
- Workflow-based comparison of two Distributed Computing Infrastructures
- auteur
- Johan Montagnat, Tristan Glatard, Damien Reimert, Ketan Maheshwari, Eddy Caron, Frédéric Desprez
- article
- Workshop on Workflows in Support of Large-Scale Science (WORKS 2010), Nov 2010, New Orleans, United States. pp.1-10, ⟨10.1109/WORKS.2010.5671856⟩
- Accès au texte intégral et bibtex
-
- titre
- New Parameters for Measuring Exposure to Diffusion in Dynamic Networks
- auteur
- Jérémie Dumas, Christophe Crespelle, Eric Fleury
- article
- LAWDN - Latin-American Workshop on Dynamic Networks, INTECIN - Facultad de Ingeniería (U.B.A.) - I.T.B.A., Nov 2010, Buenos Aires, Argentina. 4 p
- Accès au texte intégral et bibtex
-
- titre
- Mining time-dependent communities
- auteur
- Qinna Wang, Eric Fleury
- article
- LAWDN - Latin-American Workshop on Dynamic Networks, INTECIN - Facultad de Ingeniería (U.B.A.) - I.T.B.A., Nov 2010, Buenos Aires, Argentina. 4 p
- Accès au texte intégral et bibtex
-
- titre
- Towards MapReduce for Desktop Grid Computing
- auteur
- Bing Tang, Mircea Moca, Stéphane Chevalier, Gilles Fedak
- article
- P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2010 International Conference on, Nov 2010, Fukuoka, Japan. ⟨10.1109/3PGCIC.2010.33⟩
- Accès au bibtex
-
- titre
- Modeling TCP Throughput: an Elaborated Large-Deviations-Based Model and its Empirical Validation
- auteur
- Patrick Loiseau, Paulo Gonçalves, Julien Barral, Pascale Vicat-Blanc Primet
- article
- IFIP, Performance, Nov 2010, Namur, Belgium
- Accès au bibtex
-
- titre
- On the design of Adaptive Mesh Refinement applications based on software components
- auteur
- Vincent Pichon, Christian Pérez, André Ribes
- article
- Workshop on Component-Based High Performance Computing (2010), Oct 2010, Bruxelles, Belgium. pp.383-386, ⟨10.1109/GRID.2010.5698012⟩
- Accès au bibtex
-
- titre
- Formalization of Hensel's lemma in Coq
- auteur
- Érik Martin-Dorel
- article
- TYPES 2010: The 17th Workshop on Types for Proofs and Programs, Oct 2010, Warsaw, Poland
- Accès au bibtex
-
- titre
- Uncovering Overlapping Community Structure
- auteur
- Wang Qinna, Eric Fleury
- article
- Second International Workshop, CompleNet 2010, Oct 2010, Rio de Janeiro, Brazil. pp.176-186, ⟨10.1007/978-3-642-25501-4_18⟩
- Accès au bibtex
-
- titre
- VXDL: Virtual Resources and Interconnection Networks Description Language
- auteur
- Guilherme Koslovski, Pascale Vicat-Blanc Primet, Andréa Schwertner-Charão
- article
- Second international conference, GridNets 2008, Oct 2010, Beijing, China. ⟨10.1007/978-3-642-02080-3_15⟩
- Accès au bibtex
-
- titre
- Sharing Resources for Performance and Energy Optimization of Concurrent Streaming Applications
- auteur
- Anne Benoit, Paul Renaud-Goud, Yves Robert
- article
- Computer Architecture and High Performance Computing (SBAC-PAD), 2010 22nd International Symposium on, Oct 2010, Petropolis, Brazil. pp.79-86, ⟨10.1109/SBAC-PAD.2010.19⟩
- Accès au bibtex
-
- titre
- Split Register Allocation: Linear Complexity Without the Performance Penalty
- auteur
- Boubacar Diouf, Albert Cohen, Fabrice Rastello, John Cavazos
- article
- International Conference on High Performance and Embedded Architectures and Compilers, Oct 2010, Pisa, Italy. 15 p
- Accès au texte intégral et bibtex
-
- titre
- The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with Network Calculus
- auteur
- Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
- article
- 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - ISOLA 2010, Oct 2010, Heraclion, Greece
- Accès au texte intégral et bibtex
-
- titre
- Accuracy issues in linear algebra using interval arithmetic
- auteur
- Hong Diep Nguyen, Nathalie Revol
- article
- SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
- Accès au bibtex
-
- titre
- Code generation for argument filtering and argument reduction in elementary functions
- auteur
- Florent de Dinechin, Claude-Pierre Jeannerod, David Pfannholzer, Nathalie Revol
- article
- SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
- Accès au bibtex
-
- titre
- Accelerated Invariant Generation for C Programs with Aspic and C2fsm
- auteur
- Paul Feautrier, Laure Gonnord
- article
- Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. ⟨10.1016/j.entcs.2010.09.014⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- Static Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Reliability and performance optimization of pipelined real-time systems
- auteur
- Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert
- article
- International Conference on Parallel Processing, Sep 2010, San Diego, United States. pp.20
- Accès au texte intégral et bibtex
-
- titre
- Minimizing Stretch and Makespan of Multiple Parallel Task Graphs via Malleable Allocations
- auteur
- Henri Casanova, Frédéric Desprez, Frédéric Suter
- article
- 39th International Conference on Parallel Processing, Sep 2010, San Diego, United States. pp.71-80, ⟨10.1109/ICPP.2010.16⟩
- Accès au texte intégral et bibtex
-
- titre
- Sollya: an environment for the development of numerical codes
- auteur
- Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter
- article
- Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31, ⟨10.1007/978-3-642-15582-6_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
- auteur
- Nathalie Revol
- article
- ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
- Accès au bibtex
-
- titre
- Modelization and performance evaluation of the DIET middleware
- auteur
- Eddy Caron, Benjamin Depardon, Frédéric Desprez
- article
- ICPP 2010 : 39th International Conference on Parallel Processing, Sep 2010, San Diego, Californie, United States. pp.375-384, ⟨10.1109/ICPP.2010.45⟩
- Accès au bibtex
-
- titre
- Electronic Sensors for Measuring Interactions between Healthcare Workers (HCWs) and Patients (Pts): the Case of Tuberculosis (TB)
- auteur
- Jean-Christophe Lucet, Guillaume Chelius, Cédric Laouenan, Adrien Friggeri, N. Veziris, D. Lepelletier, D. Abiteboul, Elisabeth Bouvet, Eric Fleury, France Mentré
- article
- 2010 Interscience Conference on Antimicrobial Agents and Chemotherapy, American Society for Microbiology, Sep 2010, Boston, United States
- Accès au bibtex
-
- titre
- Methodology for Multifractal Analysis of Heart Rate Variability: From LF/HF Ratio to Wavelet Leaders
- auteur
- Patrice Abry, Herwig Wendt, Stéphane Jaffard, Hannes Helgason, Paulo Gonçalves, Edmundo Pereira, Claude Gharib, Pascal Gaucherand, Muriel Doret
- article
- 32nd Int. Conf. of the IEEE Engineering in Medicine and Biology Society, Sep 2010, Buenos Aires, Argentina
- Accès au bibtex
-
- titre
- Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications
- auteur
- Henri Casanova, Matthieu Gallet, Frédéric Vivien
- article
- Euro-Par 2010, Aug 2010, Ischia, Italy. pp.168-179, ⟨10.1007/978-3-642-15277-1_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Multiplicative square root algorithms for FPGAs
- auteur
- Florent de Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy
- article
- International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.14, ⟨10.1109/FPL.2010.112⟩
- Accès au texte intégral et bibtex
-
- titre
- Deployment of a hierarchical middleware
- auteur
- Eddy Caron, Benjamin Depardon, Frédéric Desprez
- article
- Euro-Par 2010, Aug 2010, Ischia - Naples, Italy. pp.343-354, ⟨10.1007/978-3-642-15277-1_34⟩
- Accès au bibtex
-
- titre
- Pipelined FPGA Adders
- auteur
- Florent de Dinechin, Hong Diep Nguyen, Bogdan Pasca
- article
- International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.422-427, ⟨10.1109/FPL.2010.87⟩
- Accès au texte intégral et bibtex
-
- titre
- The Multivariate Resultant is NP-hard in any Characteristic
- auteur
- Bruno Grenet, Pascal Koiran, Natacha Portier
- article
- Mathematical Foundations of Computer Science 2010, Aug 2010, Brno, Czech Republic. pp.477-488, ⟨10.1007/978-3-642-15155-2_42⟩
- Accès au texte intégral et bibtex
-
- titre
- Accelerating lattice reduction with FPGAs
- auteur
- Jérémie Detrey, Guillaume Hanrot, Xavier Pujol, Damien Stehlé
- article
- First International Conference on Cryptology and Information Security in Latin America (LATINCRYPT'10), Aug 2010, Puebla, Mexico. pp.124-143, ⟨10.1007/978-3-642-14712-8_8⟩
- Accès au texte intégral et bibtex
-
- titre
- Demystifying Energy Consumption in Grids and Clouds
- auteur
- Anne-Cécile Orgerie, Laurent Lefèvre, Jean-Patrick Gelas
- article
- International Green Computing Conference (IGCC), Aug 2010, Chicago, United States. pp.335 - 342, ⟨10.1109/GREENCOMP.2010.5598295⟩
- Accès au bibtex
-
- titre
- Traffic classification techniques supporting semantic networks
- auteur
- Olivier Grémillet, Paulo Gonçalves, Pascale Vicat-Blanc Primet, Arnaud Dupas
- article
- 1st Int. Wireless Comm. and Mobile Comp. Conf., TRaffic Analysis and Classification W., Jul 2010, Caen, France
- Accès au bibtex
-
- titre
- Type inference in intuitionistic linear logic
- auteur
- Patrick Baillot, Martin Hofmann
- article
- 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩
- Accès au bibtex
-
- titre
- Computing specified generators of structured matrix inverses
- auteur
- Claude-Pierre Jeannerod, Christophe Mouilleron
- article
- 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩
- Accès au texte intégral et bibtex
-
- titre
- High performance linear algebra using interval arithmetic
- auteur
- Hong Diep Nguyen, Nathalie Revol
- article
- PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Moreno Maza, Marc and Roch, Jean-Louis, Jul 2010, Grenoble, France. ⟨10.1145/1837210.1837236⟩
- Accès au bibtex
-
- titre
- Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors
- auteur
- Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, Christophe Mouilleron, Jean-Michel Muller, Guillaume Revy
- article
- 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩
- Accès au bibtex
-
- titre
- Petaflow: a project towards information and communication technologies in society
- auteur
- Annemie van Hirtum, K. Baba, Julien Cisonni, Y. Ebara, Xavier Grandchamp, T. Kawamura, K. Koyamada, Kazunori Nozaki, H. Ohsaki, Xavier Pelorson, B. Raffin, E. Sakane, N. Sakamoto, Shinji Shimojo, Pascale Vicat-Blanc, Paulo Gonçalves, Shigeo Wada
- article
- HSNCE 2010 - 1st IEEE International Workshop on High-Speed Network and Computing Environments for Scientific Applications, Jul 2010, Séoul, South Korea. pp.4
- Accès au bibtex
-
- titre
- Petaflow - a project towards information and communication technologies in society
- auteur
- Paulo Gonçalves, Xavier Grandchamp, Xavier Pelorson, Bruno Raffin, Annemie van Hirtum, Pascale Vicat-Blanc, Ken Ichi Baba, Julien Cisonni, Yasuo Ebara, Kazunori Nozaki, Hiroyuki Ohsaki, Shigeo Wada, Takuma Kawamura, Koji Koyamada, Eisaku Sakane, Naohisa Sakamoto, Shimojo Shimijo
- article
- SAINT 2010 - 10th IEEE/IPSJ International Symposium on Applications and the Internet, Jul 2010, Séoul, South Korea. pp.347-350, ⟨10.1109/SAINT.2010.72⟩
- Accès au bibtex
-
- titre
- Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision
- auteur
- Hong Diep Nguyen, Nathalie Revol
- article
- NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq
- auteur
- Pieter Collins, Milad Niqui, Nathalie Revol
- article
- NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Formal proof of a wave equation resolution scheme: the method error
- auteur
- Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
- article
- ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Jul 2010, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- An affine-intuitionistic system of types and effects: confluence and termination
- auteur
- Roberto M. Amadio, Patrick Baillot, Antoine Madet
- article
- Workshop LOLA "Syntax and Semantics of Low Level Languages", Jul 2010, Edimbourg, United Kingdom
- Accès au bibtex
-
- titre
- LEMA: Towards a Language for Reliable Arithmetic
- auteur
- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
- article
- International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩
- Accès au bibtex
-
- titre
- Newton-Raphson Algorithms for Floating-Point Division Using an FMA
- auteur
- Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux
- article
- 21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. pp.200-207
- Accès au texte intégral et bibtex
-
- titre
- Automatic generation of polynomial-based hardware architectures for function evaluation
- auteur
- Florent de Dinechin, Mioara Joldes, Bogdan Pasca
- article
- Application-specific Systems, Architectures and Processors, Jul 2010, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Optimizing the reliability of pipelined applications under throughput constraints
- auteur
- Anne Benoit, Hinde Lilia Bouziane, Yves Robert
- article
- 9th International Symposium on Parallel and Distributed Computing (ISPDC), Jul 2010, Istanbul, Turkey. pp.1-8
- Accès au bibtex
-
- titre
- Implementing decimal floating-point arithmetic through binary: some suggestions
- auteur
- Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux
- article
- 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩
- Accès au texte intégral et bibtex
-
- titre
- DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet
- auteur
- Gilles Fedak, Jean-Patrick Gelas, Thomas Herault, Victor Iniesta, Derrick Kondo, Laurent Lefèvre, Paul Malecot, Lucas Nussbaum, Ala Rezmerita, Olivier Richard
- article
- 9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey
- Accès au texte intégral et bibtex
-
- titre
- Completeness of automatically generated instruction selectors
- auteur
- Florian Brandner
- article
- 21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), Jul 2010, Rennes, France. pp.175 - 182, ⟨10.1109/ASAP.2010.5540994⟩
- Accès au bibtex
-
- titre
- On Bisimilarity and Substitution in Presence of Replication
- auteur
- Daniel Hirschkoff, Damien Pous
- article
- ICALP, Jul 2010, Bordeaux, France. pp.454-465, ⟨10.1007/978-3-642-14162-1_38⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Proof of SCHUR Conjugate Function
- auteur
- Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet
- article
- CALCULEMUS 2010, Jul 2010, Paris, France. pp.158-171, ⟨10.1007/978-3-642-14128-7⟩
- Accès au bibtex
-
- titre
- Short bases of lattices over number fields
- auteur
- Claus Fieker, Damien Stehlé
- article
- ANTS-IX, Jul 2010, France. pp.157--173
- Accès au bibtex
-
- titre
- On the Extremality of an 80-Dimensional Lattice
- auteur
- Damien Stehlé, Mark Watkins
- article
- ANTS-IX, Jul 2010, France. pp.340--356
- Accès au bibtex
-
- titre
- On the Completeness of Quantum Computation Models
- auteur
- Pablo Arrighi, Gilles Dowek
- article
- CiE 2010 - 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Azores, Portugal. pp.21-30, ⟨10.1007/978-3-642-13962-8_3⟩
- Accès au bibtex
-
- titre
- Specifying Imperative ML-Like Programs Using Dynamic Logic
- auteur
- Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
- article
- Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Jun 2010, Paris, France. pp.122-137
- Accès au bibtex
-
- titre
- A practical study of self-stabilization for prefix-tree based overlay networks
- auteur
- Vlad Acretoaie, Eddy Caron, Cédric Tedeschi
- article
- MOSPAS 2010 - Workshop on MOdeling and Simulation of Peer-to-Peer Architectures and Systems., IEEE, Jun 2010, Caen, France. pp.341 - 347, ⟨10.1109/HPCS.2010.5547117⟩
- Accès au texte intégral et bibtex
-
- titre
- Parallel Copy Motion
- auteur
- Florent Bouchez, Quentin Colombet, Alain Darte, Christophe Guillon, Fabrice Rastello
- article
- SCOPES 2010 - 13th International Workshop on Software & Compilers for Embedded Systems, Jun 2010, New York, United States. pp.0
- Accès au texte intégral et bibtex
-
- titre
- Décrypthon Grid - Grid Resources Dedicated to Neuromuscular Disorders
- auteur
- Nicolas Bard, Raphaël Bolze, Eddy Caron, Frédéric Desprez, Michael Heymann, Anne Friedrich, Luc Moulinier, Hoan-Ngoc Nguyen, Poch Olivier, Thierry Toursel
- article
- HealthGrid 2010 - 8th HealthGrid conference, Jun 2010, Paris, France. pp.124-133, ⟨10.3233/978-1-60750-583-9-124⟩
- Accès au bibtex
-
- titre
- Investigating the Impact of Human Activity on the Performance of Wireless Networks – An Experimental Approach
- auteur
- Elyes Ben Hamida, Guillaume Chelius
- article
- 11th IEEE International Symposium on a "World of Wireless, Mobile and Multimedia Networks" (WoWMoM 2010), Jun 2010, Montreal, Canada
- Accès au bibtex
-
- titre
- Efficient implementation of interval matrix multiplication
- auteur
- Hong Diep Nguyen
- article
- Para 2010: State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavik, Iceland
- Accès au texte intégral et bibtex
-
- titre
- Multipliers for Floating-Point Double Precision and Beyond on FPGAs
- auteur
- Sebastian Banescu, Florent de Dinechin, Bogdan Pasca, Radu Tudoran
- article
- Highly Efficient Accelerators and Reconfigurable Technologies, Jun 2010, Tsukuba, Japan
- Accès au texte intégral et bibtex
-
- titre
- Note sur la simulation d'une file M/G/1 selon la distribution du temps de service
- auteur
- Thomas Begin, Alexandre Brandwajn
- article
- 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France
- Accès au texte intégral et bibtex
-
- titre
- A Bi-Criteria Algorithm for Scheduling Parallel Task Graphs on Clusters
- auteur
- Frédéric Desprez, Frédéric Suter
- article
- 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2010, Melbourne, Australia. pp.243-252
- Accès au texte intégral et bibtex
-
- titre
- Extending the EGEE Grid with XtremWeb-HEP Desktop Grids
- auteur
- Haiwu He, Gilles Fedak, Péter Kacsuk, Zoltan Farkas, Zoltan Balaton, Oleg Lodygensky, Etienne Urbah, Gabriel Caillat, Filipe Araujo, Ad Emmen
- article
- Cluster, Cloud and Grid Computing (CCGrid), 2010 10th IEEE/ACM International Conference on, May 2010, Melbourne, Australia. pp.685-690, ⟨10.1109/CCGRID.2010.100⟩
- Accès au bibtex
-
- titre
- 802.15.4, a MAC layer solution for PLC
- auteur
- Cedric Chauvenet, Bernard Tourancheau, Denis Genon-Catalot
- article
- The ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks (FT-ASN 2010), May 2010, hammamet, Tunisia. 11 p
- Accès au texte intégral et bibtex
-
- titre
- The Green Grid5000: Instrumenting a Grid with Energy Sensors
- auteur
- Marcos Dias de Assuncao, Jean-Patrick Gelas, Laurent Lefèvre, Anne-Cécile Orgerie
- article
- INGRID'2010 : 5th International Workshop on Distributed Cooperative Laboratories: Instrumenting the Grid, May 2010, Poznan, Poland. pp.25-42, ⟨10.1007/978-1-4614-0508-5_3⟩
- Accès au bibtex
-
- titre
- A Flow Scheduler Architecture
- auteur
- Dinil Mon Divakaran, Giovanna Carofiglio, Eitan Altman, Pascale Vicat-Blanc Primet
- article
- 9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.122-134, ⟨10.1007/978-3-642-12963-6_10⟩
- Accès au texte intégral et bibtex
-
- titre
- Scheduling complex streaming applications on the Cell processor
- auteur
- Matthieu Gallet, Mathias Jacquelin, Loris Marchal
- article
- 4th Workshop on Multi-threaded Architectures and Applications (MTAAP 2010), May 2010, Atlanta, GA, United States. pp.1-8, ⟨10.1109/IPDPSW.2010.5470684⟩
- Accès au bibtex
-
- titre
- A Fair Decentralized Scheduler for Bag-of-tasks Applications on Desktop Grids
- auteur
- Javier Celaya, Loris Marchal
- article
- CCGrid 2010 - 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2010, Malbourne, Australia. ⟨10.1109/CCGRID.2010.13⟩
- Accès au bibtex
-
- titre
- On the Number of Attractors of Positive and Negative Boolean Automata Circuits.
- auteur
- Jacques Demongeot, Mathilde Noual, Sylvain Sené
- article
- 24th IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA 2010), Apr 2010, Perth, WA, Australia. pp.782--789, ⟨10.1109/WAINA.2010.141⟩
- Accès au texte intégral et bibtex
-
- titre
- Gradual sub-lattice reduction and a new complexity for factoring polynomials
- auteur
- Mark van Hoeij, Andrew Novocin
- article
- LATIN 2010, Apr 2010, Oaxaca, Mexico
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Fractional Resource Scheduling for HPC Workloads
- auteur
- Mark Stillwell, Frédéric Vivien, Henri Casanova
- article
- IEEE International Symposium on Parallel & Distributed Processing (IPDPS), 2010, Apr 2010, Atlanta, GA, United States. pp.1-12, ⟨10.1109/IPDPS.2010.5470356⟩
- Accès au texte intégral et bibtex
-
- titre
- Manageability of Future Internet Virtual Networks from a Practical Viewpoint
- auteur
- Javier Rubio-Loyola, Antonio Astorga, Joan Serrat, Laurent Lefevre, Abderhaman Cheniour, D. Muldowney, Steven Davy, Alex Galis, Lefteris Mamatas, Stuart Clayman, Daniel Macedo, Zeinab Movahedi, Guy Pujolle, Andreas Fischer, Hermann de Meer
- article
- FIA 2010 - Future Internet Assembly, Apr 2010, Valencia, Spain. pp.105-114, ⟨10.3233/978-1-60750-539-6-105⟩
- Accès au texte intégral et bibtex
-
- titre
- Performance and energy optimization of concurrent pipelined applications
- auteur
- Anne Benoit, Paul Renaud-Goud, Yves Robert
- article
- 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), Apr 2010, Atlanta, GA, United States. ⟨10.1109/IPDPS.2010.5470483⟩
- Accès au bibtex
-
- titre
- Scheduling algorithms for linear workflow optimization
- auteur
- Kunal Agrawal, Anne Benoit, Loic Magnan, Yves Robert
- article
- IPDPS - 24th IEEE International Parallel and Distributed Processing Symposium - 2010, Apr 2010, Atlanta, United States. pp.1-12, ⟨10.1109/IPDPS.2010.5470346⟩
- Accès au bibtex
-
- titre
- Multi-Facet Approach to Reduce Energy Consumption in Clouds and Grids: The GREEN-NET Framework
- auteur
- Georges da Costa, Marcos Dias de Assuncao, Jean-Patrick Gelas, Yiannis Georgiou, Laurent Lefèvre, Anne-Cécile Orgerie, Jean-Marc Pierson, Olivier Richard, Amal Sayah
- article
- International Conference on Energy-Efficient Computing and Networking (e-Energy), Apr 2010, Passau, Germany. pp.95-104, ⟨10.1145/1791314.1791329⟩
- Accès au bibtex
-
- titre
- A PolyTime Functional Language from Light Linear Logic
- auteur
- Patrick Baillot, Marco Gaboardi, Virgile Mogbil
- article
- 19th European Symposium on Programming (ESOP 2010), Mar 2010, Paphos, Cyprus. pp. 104-124, ⟨10.1007/978-3-642-11957-6⟩
- Accès au texte intégral et bibtex
-
- titre
- Rigorous Measurement of IP-Level Neighborhood of Internet Core Routers
- auteur
- Christophe Crespelle, Matthieu Matthieu Latapy, Elie Rotenberg
- article
- Second International Workshop on Network Scienece for Communication Networks (NetSciCom 2010), Mar 2010, San Diego, CA, United States. pp.499-504, ⟨10.1109/INFCOMW.2010.5466707⟩
- Accès au texte intégral et bibtex
-
- titre
- Tight performance bounds in the worst-case analysis of feed-forward networks
- auteur
- Anne Bouillard, Laurent Jouhet, Éric Thierry
- article
- IEEE INFOCOM 2010 - IEEE Conference on Computer Communications, Mar 2010, San Diego, United States
- Accès au texte intégral et bibtex
-
- titre
- Multifractal analysis for in partum fetal-ECG diagnosis
- auteur
- Paulo Gonçalves, Patrice Abry, Claude Gharib, Muriel Doret, Hannes Helgason, Edmundo Pereira de Souza Neto
- article
- IEEE Int. Conf. on Acoustic Speech and Signal Processing, Mar 2010, Dallas (TX), United States
- Accès au bibtex
-
- titre
- On the scalability of hypergraph models for sparse matrix partitioning
- auteur
- Bora Uçar, Umit V. Catalyurek
- article
- 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2010), IEEE, Feb 2010, Pisa, Italy. pp.593-600, ⟨10.1109/PDP.2010.92⟩
- Accès au texte intégral et bibtex
-
- titre
- Compensations in the Shapley value and the compensation solutions for graph games
- auteur
- Sylvain Béal, Éric Rémila, Philippe Solal
- article
- First International Workshop "Models of Influence and Network theory", Feb 2010, Lyon, France
- Accès au bibtex
-
- titre
- Partitioning regular meshes for minimizing the total communication volume
- auteur
- Bora Uçar, Umit V. Catalyurek
- article
- SIAM Conference on Parallel Processing for Scientific Computing (PP10), Feb 2010, Seattle, WA, United States
- Accès au bibtex
-
- titre
- Average Tree Solutions and the Distribution of Harsanyi Dividends
- auteur
- Richard Baron, Sylvain Béal, Philippe Solal, Éric Rémila
- article
- Séminaire CREM - Université de Caen, Jan 2010, Caen, France
- 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
- Séminaire CREM - Université de Caen, Jan 2010, Caen, France
- Accès au bibtex
-
- titre
- Stochastic Flips on Two-letter Words
- auteur
- Olivier Bodini, Thomas Fernique, Damien Regnault
- article
- ANALCO 2010 - 7th Workshop on Analytic Algorithmics and Combinatorics, Jan 2010, Austin, TX, United States. pp.48-55, ⟨10.1137/1.9781611973006.7⟩
- Accès au texte intégral et bibtex
-
- titre
- A Model for Space-Correlated Failures in Large-Scale Distributed Systems
- auteur
- Matthieu Gallet, Nezih Yigitbasi, Bahman Javadi, Derrick Kondo, Alexandru Iosup, Dick Epema
- article
- Euro-Par 2010 - Proceedings of the 16th International Euro-Par Conference, 2010, Ischia, Italy. 168-179, x-pays = NL
- Accès au bibtex
-
- titre
- Unitarity plus causality implies localizability
- auteur
- Pablo Arrighi, Vincent Nesme, Reinhard Werner
- article
- QIP, 2010, Zurich, Switzerland. Local proceedings
- Accès au bibtex
-
- titre
- Block-sequential update schedules and Boolean automata circuits
- auteur
- Eric Goles, Mathilde Noual
- article
- Automata 2010 - 16th Intl. Workshop on CA and DCS, 2010, Nancy, France. pp.41-50, ⟨10.46298/dmtcs.2762⟩
- Accès au texte intégral et bibtex
-
- titre
- Stratégie de Placement des Puits Mobiles dans les Réseaux de Capteurs sans Fil pour Bâtiments
- auteur
- Leila Ben Saad, Bernard Tourancheau
- article
- JDIR, 2010, Sophia-Antipolois, France
- Accès au texte intégral et bibtex
-
- titre
- Throughput optimization for micro-factories subject to task and machine failures
- auteur
- Anne Benoit, Alexandru Dobrila, Laurent Philippe, Jean-Marc Nicod
- article
- {APDCM'10}, 12th Workshop on Advances on Parallel and Distributed Processing Symposium, 2010, United States. pp.11--18
- Accès au texte intégral et bibtex
-
- titre
- Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing
- auteur
- Nicolas Brisebarre, Mioara Maria Joldes
- article
- ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, 2010, Münich, Germany. pp.147-154, ⟨10.1145/1837934.1837966⟩
- Accès au texte intégral et bibtex
-
- titre
- A communication stack over PLC for multi physical layer IPv6 Networking
- auteur
- Cedric Chauvenet, Bernard Tourancheau, Denis Genon-Catalot, Pierre-Emmanuel Goudet, Mathieu Pouillot
- article
- SmartGridCom, 2010, Washington, United States
- Accès au texte intégral et bibtex
-
- titre
- Energy-aware, power-aware, and Green Computing for large distributed systems and applications
- auteur
- Frédéric Giroire, F. Guinand, Laurent Lefèvre, Jordi Torres
- article
- Proceedings of the 2010 International Conference on High Performance Computing & Simulation (HPCS), 2010, Caen, France
- Accès au bibtex
-
- titre
- Checkpointing vs. migration for post-petascale supercomputers
- auteur
- Franck Cappello, Henri Casanova, Yves Robert
- article
- ICPP'2010 - the 39th International Conference on Parallel Processing, 2010, San Diego, United States. ⟨10.1109/ICPP.2010.26⟩
- Accès au bibtex
-
- titre
- Termination in Impure Concurrent Languages
- auteur
- Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
- article
- CONCUR'10, 2010, Paris, France. pp.328-342, ⟨10.1007/978-3-642-15375-4_23⟩
- Accès au bibtex
-
- titre
- Biais dans les mesures obtenues par un réseau de capteurs sans fil
- auteur
- Adrien Friggeri, Guillaume Chelius
- article
- 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France
- Accès au texte intégral et bibtex
-
- titre
- Analysis and Modeling of Time-Correlated Failures in Large-Scale Distributed Systems
- auteur
- Nezih Yigitbasi, Matthieu Gallet, Derrick Kondo, Alexandru Iosup, Dick Epema
- article
- Grid 2010 - Proceedings of the 11th ACM/IEEE International Conference on Grid Computing, 2010, Bruxelles, Belgium. pp.355-366, ⟨10.1109/GRID.2010.5697961⟩
- Accès au bibtex
-
- titre
- Computing the throughput of probabilistic and replicated streaming applications
- auteur
- Anne Benoit, Fanny Dufossé, Matthieu Gallet, Bruno Gaujal, Yves Robert
- article
- 22nd Symposium on Parallelism in Algorithms and Architectures (SPAA), 2010, Santorini, Greece. pp.166-175, ⟨10.1145/1810479.1810511⟩
- Accès au bibtex
-
- titre
- Mapping pipelined applications with replication to increase throughput and reliability
- auteur
- Anne Benoit, Loris Marchal, Oliver Sinnen
- article
- International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2010, Petropolis, Brazil. pp.55-62, ⟨10.1109/SBAC-PAD.2010.16⟩
- Accès au bibtex
-
- titre
- Modeling and Dimensioning Ground Heat Exchangers Principles: Influence of the soil's thermal proprieties
- auteur
- Francois Lavoué, Bernard Tourancheau
- article
- International Building Performance Simulation Association, IBPSA France, 2010, Moret sur Loing, France
- Accès au texte intégral et bibtex
-
- titre
- Faster Fully Homomorphic Encryption
- auteur
- Damien Stehlé, Ron Steinfeld
- article
- Proceedings of ASIACRYPT 2010, 2010, Singapore. pp.377--394
- Accès au bibtex
-
- titre
- A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton
- auteur
- Pablo Arrighi, Jonathan Grattage
- article
- LATA, 2010, Germany. pp.70-81
- Accès au bibtex
-
- titre
- Un mécanisme d'allocation de bande passante dans les réseaux sans fil hétérogènes basé sur la notion d'enchère
- auteur
- Manos Dramitinos, Isabelle Guérin-Lassous
- article
- 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France. 4 p
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Energy Aware Clouds
- auteur
- Anne-Cécile Orgerie, Marcos Dias de Assuncao, Laurent Lefèvre
- article
- Massimo Cafaro and Giovanni Aloisio. Grids, Clouds and Virtualization, Springer, pp.143-166, 2010
- Accès au bibtex
-
- titre
- Floating-point LLL: theoretical and practical aspects
- auteur
- Damien Stehlé
- article
- The LLL Algorithm: survey and applications, Springer, pp.179-213, 2010
- Accès au bibtex
-
- titre
- Almost All F-Free Graphs Have The Erdos-Hajnal Property
- auteur
- Martin Loebl, Bruce Reed, Alex Scott, Andrew Thomason, Stéphan Thomassé
- article
- An Irregular Mind, 21, pp.405-414, 2010, ⟨10.1007/978-3-642-14444-8_11⟩
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- Contribution to the management of large scale platforms: the Diet experience
- auteur
- Eddy Caron
- article
- Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2010
- Accès au texte intégral et bibtex
-
- titre
- Analyse temps-fréquence et modèles d'invariance d'échelle: Contribution à l'étude de systèmes complexes
- auteur
- Paulo Gonçalves
- article
- Traitement du signal et de l'image [eess.SP]. Ecole normale supérieure de lyon - ENS LYON, 2010
- Accès au texte intégral et bibtex
-
- titre
- Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
- auteur
- Olivier Laurent
- article
- Mathématiques [math]. Université Paris-Diderot - Paris VII, 2010
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Recent development in DIET: from Grid to Cloud
- auteur
- Frédéric Desprez, Luis Rodero-Merino, Eddy Caron, Adrian Muresan
- article
- 2010, pp.2
- Accès au texte intégral et bibtex
-
- titre
- I-Bird, comprendre les infections nosocomiales
- auteur
- Eric Fleury, Cramer Marianne
- article
- 2010
- Accès au bibtex
-
- titre
- Et si les Français n'avaient plus seulement une voiture dans la tête ?
- auteur
- Kamila Tabaka, Vincent Kaufmann, Jean-Marie Guidez, Nicolas Louvet
- article
- 2010, http://www.certu.fr/fr/_Mobilit%C3%A9_et_d%C3%A9placements-n25/Connaissance_de_la_mobilit%C3%A9-n41/
- Accès au bibtex
-
- titre
- SensLAB
- auteur
- Julien Vandaële, Eric Fleury, Cédric Trojani, Arnaud Langlois
- article
- 2010
- Accès au bibtex
-
Books
- titre
- Réseaux de calcul - des grappes aux nuages de calcul
- auteur
- Pascale Vicat-Blanc Primet, Romaric Guillier, Sebastien Soudan, Brice Goglin
- article
- Hermès Science - Lavoisier, pp.213, 2010, 978-2-7462-3006-4
- Accès au bibtex
-
- titre
- Grids, P2P and Services Computing
- auteur
- Frédéric Desprez, Vladimir Getov, Thierry Priol, Ramin Yahyapour
- article
- Frédéric Desprez and Vladimir Getov and Thierry Priol and Ramin Yahyapour. Springer, 10, pp.202, 2010, CoreGRID book series, 978-1-4419-6793-0
- Accès au bibtex
-
- titre
- Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
- auteur
- Guillaume Hanrot, François Morain, Emmanuel Thomé
- article
- Guillaume Hanrot and François Morain and Emmanuel Thomé. Springer-Verlag, 6197, pp.397, 2010, Lecture Notes in Computer Science, 978-3-642-14518-6. ⟨10.1007/978-3-642-14518-6⟩
- Accès au bibtex
-
- titre
- Parallel Computing: From Multicores and GPU's to Petascale. Proceedings of ParCO 2009
- auteur
- Barbara Chapman, Frédéric Desprez, Gerhard Joubert, Alain Lichnewsky, Frans Peters, Thierry Priol
- article
- Barbara Chapman and Frédéric Desprez and Gerhard R. Joubert and Alain Lichnewsky and Frans Peters and Thierry Priol. IOS Press, 19, pp.739, 2010, Advances in Parallel Computing, 978-1-60750-529-7
- Accès au bibtex
-
- titre
- Guest editorial for the special issue "ISPDC'09 and Heteropar'09
- auteur
- Yves Robert, Leonel Souza, Denis Trystram
- article
- Robert, Yves and Souza, Leonel and Trystram, Denis. Elsevier, 37-8, pp.329-330, 2010
- Accès au bibtex
-
- titre
- Handbook of Floating-Point Arithmetic
- auteur
- Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
- article
- Birkhauser Boston, pp.572, 2010
- Accès au bibtex
-
Patents
- titre
- DECOUVERTE DE VOISINAGE POUR OBJETS COMMUNICANTS
- auteur
- Guillaume Chelius, Eric Fleury, Antoine Fraboulet
- article
- France, Patent n° : 1059043. 2010
- Accès au bibtex
-
Reports
- titre
- A year in the life of a large scale experimental distributed system: the Grid'5000 platform in 2008
- auteur
- Anne-Cécile Orgerie, Laurent Lefèvre
- article
- [Research Report] RR-7481, INRIA. 2010, pp.33
- Accès au texte intégral et bibtex
-
- titre
- Throughput optimization for micro-factories subject to task and machine failures
- auteur
- Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, Laurent Philippe
- article
- [Research Report] RR-7479, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- The impact of cache misses on the performance of matrix product algorithms on multicore platforms
- auteur
- Mathias Jacquelin, Loris Marchal, Yves Robert
- article
- [Research Report] RR-7456, INRIA. 2010, pp.32
- Accès au texte intégral et bibtex
-
- titre
- Multi-operand Decimal Adder Trees for FPGAs
- auteur
- Alvaro Vazquez, Florent de Dinechin
- article
- [Research Report] RR-7420, INRIA. 2010, pp.20
- Accès au texte intégral et bibtex
-
- titre
- Some Experiments and Issues to Exploit Multicore Parallelism in a Distributed-Memory Parallel Sparse Direct Solver
- auteur
- Indranil Chowdhury, Jean-Yves L'Excellent
- article
- [Research Report] RR-7411, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Untying RMS from Application Scheduling
- auteur
- Cristian Klein, Christian Pérez
- article
- [Research Report] RR-7389, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- On the performance of greedy algorithms for energy minimization
- auteur
- Anne Benoit, Paul Renaud-Goud, Yves Robert
- article
- [Research Report] RR-LIP-2010-27, 2010, pp.12
- Accès au texte intégral et bibtex
-
- titre
- Performance and energy optimization of concurrent pipelined applications
- auteur
- Anne Benoit, Paul Renaud-Goud, Yves Robert
- article
- [Research Report] RR-LIP-2009-27, 2010, pp.28
- Accès au texte intégral et bibtex
-
- titre
- Enabling Connectors in Hierarchical Component Models
- auteur
- Julien Bigot, Christian Pérez
- article
- [Research Report] RR-7204, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Evaluation of Reallocation Heuristics for Moldable Tasks in Computational Dedicated and non Dedicated Grids
- auteur
- Ghislain Charrier, Yves Caniou, Frédéric Desprez
- article
- [Research Report] RR-7365, INRIA. 2010, pp.38
- Accès au texte intégral et bibtex
-
- titre
- Forecasting for Cloud computing on-demand resources based on pattern matching
- auteur
- Eddy Caron, Frédéric Desprez, Adrian Muresan
- article
- [Research Report] RR-7217, INRIA. 2010, pp.26
- Accès au texte intégral et bibtex
-
- titre
- A Recurrent Solution of Ph/M/c/N-like and Ph/M/c-like Queues
- auteur
- Alexandre Brandwajn, Thomas Begin
- article
- [Research Report] RR-7321, INRIA. 2010, pp.16
- Accès au texte intégral et bibtex
-
- titre
- Modelization for the Deployment of a Hierarchical Middleware on a Heterogeneous Platform
- auteur
- Eddy Caron, Benjamin Depardon, Frédéric Desprez
- article
- [Research Report] RR-7309, INRIA. 2010, pp.32
- Accès au texte intégral et bibtex
-
- titre
- Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators. An Experience with the Altera C2H HLS Tool.
- auteur
- Christophe Alias, Alain Darte, Alexandru Plesco
- article
- [Research Report] RR-7281, INRIA. 2010, pp.19
- 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
- [Research Report] RR-7262, INRIA. 2010, pp.24
- Accès au texte intégral et bibtex
-
- titre
- A Practical Study of Self-Stabilization for Prefix-Tree Based Overlay Networks
- auteur
- Vlad Acretoaie, Eddy Caron, Cédric Tedeschi
- article
- [Research Report] RR-7252, INRIA. 2010, pp.15
- Accès au texte intégral et bibtex
-
- titre
- LEMA: Towards a Language for Reliable Arithmetic
- auteur
- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
- article
- [Research Report] RR-7258, INRIA. 2010, pp.15
- Accès au texte intégral et bibtex
-
- titre
- Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
- auteur
- Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
- article
- [Research Report] RR-7235, INRIA. 2010, pp.32
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Tasks Reallocation in a Dedicated Grid Environment
- auteur
- Yves Caniou, Ghislain Charrier, Frédéric Desprez
- article
- [Research Report] RR-7226, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- On Cluster Resource Allocation for Multiple Parallel Task Graphs
- auteur
- Henri Casanova, Frédéric Desprez, Frédéric Suter
- article
- [Research Report] RR-7224, INRIA. 2010, pp.31
- Accès au texte intégral et bibtex
-
- titre
- Scheduling Rigid, Evolving Applications on Homogeneous Resources
- auteur
- Cristian Klein, Christian Pérez
- article
- [Research Report] RR-7205, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Modelization for the Deployment of a Hierarchical Middleware on a Homogeneous Platform
- auteur
- Eddy Caron, Benjamin Depardon, Frédéric Desprez
- article
- [Research Report] RR-7201, INRIA. 2010, pp.56
- Accès au texte intégral et bibtex
-
- titre
- Auction-based Bandwidth Allocation Mechanisms for Wireless Future Internet
- auteur
- Emmanouil Dramitinos, Isabelle Guérin-Lassous
- article
- [Research Report] RR-7188, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Exploring the Virtual Infrastructures as a Service concept with HIPerNET
- auteur
- Pascale Primet Vicat-Blanc, Guilherme Koslovski, Fabienne Anhalt, Tram Truong Huu, Johan Montagnat
- article
- [Research Report] RR-7185, INRIA. 2010, pp.36
- Accès au texte intégral et bibtex
-
- titre
- Size-Based Flow Scheduling in a CICQ Switch
- auteur
- Dinil Mon Divakaran, Fabienne Anhalt, Eitan Altman, Pascale Primet
- article
- [Research Report] RR-7183, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Computing the throughput of probabilistic and replicated streaming applications
- auteur
- Anne Benoit, Fanny Dufossé, Matthieu Gallet, Bruno Gaujal, Yves Robert
- article
- [Research Report] RR-7182, INRIA. 2010, pp.34
- Accès au texte intégral et bibtex
-
- titre
- HIPCAL: final report
- auteur
- Fabienne Anhalt, Christophe Blanchet, Romaric Guillier, Tram Truong Huu, Guilherme Koslovski, Johan Montagnat, Pascale Vicat-Blanc Primet, Vincent Roca
- article
- [Research Report] 2010
- Accès au bibtex
-
- titre
- Scheduling Parallel Iterative Applications on Volatile Resources
- auteur
- Henri Casanova, Fanny Dufossé, Yves Robert, Frédéric Vivien
- article
- [Research Report] 2010, pp.19
- Accès au texte intégral et bibtex
-
Theses
- titre
- Du support générique d'opérateurs de composition dans les modèles de composants logiciels, application au calcul à haute performance.
- auteur
- Julien Bigot
- article
- Modélisation et simulation. INSA de Rennes, 2010. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Scheduling and Dynamic Management of Applications over Grids
- auteur
- Ghislain Charrier
- article
- Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2010. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Contribution au Déploiement d'un Intergiciel Distribué et Hiérarchique, Appliqué aux Simulations Cosmologiques
- auteur
- Benjamin Depardon
- article
- Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2010. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators
- auteur
- Alexandru Plesco
- article
- Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2010. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Practical polynomial factoring in polynomial time
- auteur
- William Hart, Mark van Hoeij, Andrew Novocin
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- A Practical Univariate Polynomial Composition Algorithm
- auteur
- William Hart, Andrew Novocin
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- FPGA-Specific Custom Arithmetic Datapath Design
- auteur
- Florent de Dinechin, Bogdan Pasca
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- How to square floats accurately and efficiently on the ST231 integer processor
- auteur
- Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Scheduling streaming applications on a complex multicore platform
- auteur
- Tudor David, Mathias Jacquelin, Loris Marchal
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Power-aware replica placement and update strategies in tree networks
- auteur
- Anne Benoit, Paul Renaud-Goud, Yves Robert
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Strong Normalization of MLF via a Calculus of Coercions
- auteur
- Giulio Manzonetto, Paolo Tranquilli
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Bulking I: an Abstract Theory of Bulking
- auteur
- Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Stochastic Minority on Graphs
- auteur
- Damien Regnault, Jean-Baptiste Rouquier, Eric Thierry
- article
- 2010
- Accès au bibtex
-
- titre
- Jeux d'inondation dans les graphes
- auteur
- Aurélie Lagoutte
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Shallow Circuits with High-Powered Inputs
- auteur
- Pascal Koiran
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- A flexible floating-point logarithm for reconfigurable computers
- auteur
- Florent de Dinechin
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Scaling Newton-Raphson division iterations to avoid double rounding
- auteur
- Jean-Michel Muller
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Modelization for the Deployment of a Hierarchical Middleware on a Heterogeneous Platform
- auteur
- Eddy Caron, Benjamin Depardon, Frédéric Desprez
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Active Learning for Hidden Attributes in Networks
- auteur
- Xiaoran Yan, Yaojia Zhu, Jean-Baptiste Rouquier, Cristopher Moore
- article
- 2010
- Accès au bibtex
-
- titre
- An affine-intuitionistic system of types and effects: confluence and termination
- auteur
- Roberto Amadio, Patrick Baillot, Antoine Madet
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- On the completeness of quantum computation models
- auteur
- Pablo Arrighi, Gilles Dowek
- article
- 2010
- Accès au bibtex
-
- titre
- Computing floating-point square roots via bivariate polynomial evaluation
- auteur
- Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Tasks Reallocation in a Dedicated Grid Environment
- auteur
- Ghislain Charrier, Yves Caniou, Frédéric Desprez
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Communication between LRMS and service/resource discovering system
- auteur
- Eddy Caron, Haiwu He, Olivier Richard, Frédéric Suter
- article
- 2010
- Accès au bibtex
-
- titre
- Communication between co-scheduler and service/resource discovering system
- auteur
- Eddy Caron, Florent Chuffart, Haiwu He, Frédéric Suter
- article
- 2010
- Accès au bibtex
-
- titre
- Modelization for the Deployment of a Hierarchical Middleware on a Homogeneous Platform
- auteur
- Eddy Caron, Benjamin Depardon, Frédéric Desprez
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- On the complexity of task graph scheduling with transient and fail-stop failures
- auteur
- Anne Benoit, Louis-Claude Canon, Emmanuel Jeannot, Yves Robert
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Optimizing the reliability of pipelined applications under throughput constraints
- auteur
- Anne Benoit, Hinde Lilia Bouziane, Yves Robert
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Enabling Connectors in Hierarchical Component Models
- auteur
- Julien Bigot, Christian Pérez
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Sharing resources for performance and energy optimization of concurrent streaming applications
- auteur
- Anne Benoit, Paul Renaud-Goud, Yves Robert
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- General Iteration graphs and Boolean automata circuits
- auteur
- Mathilde Noual
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Translating types and effects with state monads and linear logic
- auteur
- Paolo Tranquilli
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Fondements de géométrie euclidienne
- auteur
- Jean Duprat
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Bulking II: Classifications of Cellular Automata
- auteur
- Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier
- article
- 2010
- Accès au texte intégral et bibtex
-