 |
 |
|
|
||
|---|---|---|
|
hal-00014954v1
Article dans une revue
A. Skaf, Jean-Claude Bajard, A. Guyot, Jean-Michel Muller. A VLSI circuit for on-line polynomial computing: application to exponential, trigonometric and hyperbolic functions IFIP-Transactions-A-Computer-Science-and-Technology, 1994, A-42, pp.93-100 |
||
|
hal-00014979v1
Communication dans un congrès
Michel Cosnard, A. Guyot, B. Hochet, Jean-Michel Muller, H. Ouaouicha et al. The FELIN arithmetic coprocessor chip Proceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. IEEE Comput. Soc. Press, Washington, DC, USA, pp.107-12, 1987 |
||
|
hal-00014975v1
Communication dans un congrès
A. Guyot, Yvan Herreros, Jean-Michel Muller. JANUS, an on-line multiplier/divider for manipulating large numbers Proceedings-of-9th-Symposium-on-Computer-Arithmetic-Cat.-No.89CH2757-3., 1989, Santa Monica, CA, United States. IEEE Comput. Soc. Press, Washington, DC, USA, pp.106-11, 1989, <10.1109/ARITH.1989.72815> |
||
|
hal-00014928v1
Communication dans un congrès
Jean-Claude Bajard, A. Guyot, Jean-Michel Muller, A. Skaf. Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions Proceedings.-International-Conference-on-Application-Specific-Array-Processors-Cat.-No.93TH0572-8. 1993:, 1993, Venice, Italy. IEEE Comput. Soc. Press, Los Alamitos, CA, USA, pp.526-35, 1993, <10.1109/ASAP.1993.397172> |
||
|
hal-01301334v2
Rapport
Christophe Alias, Fabrice Rastello, Alexandru Plesco. High-Level Synthesis of Pipelined FSM from Loop Nests [Research Report] 8900, INRIA. 2016, pp.18 |
||
|
hal-00869230v2
Communication dans un congrès
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous. Formal verification in Coq of program properties involving the global state effect JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17, 2014 |
||
|
ensl-00474732v1
Communication dans un congrès
Georges Da Costa, Jean-Patrick Gelas, Georgiou Yiannis, Laurent Lefèvre, Anne-Cécile Orgerie et al. The GREEN-NET Framework: Energy Efficiency in Large Scale Distributed Systems High Performance Power Aware Computing Workshop (HPPAC), May 2009, Rome, Italy. pp.1 - 8, 2009, <10.1109/IPDPS.2009.5160975> |
||
|
hal-00925171v1
Article dans une revue
Francoise Berthoud, B. Boutherin, Romaric David, Robert Ferret, Laurent Lefèvre. Réduire la consommation électrique des centres de données La Revue Durable - Dossier "Les Technologies de l'Information et de la Comumunication et l'Impératif de la Sobriété", Publication CERIN, 2013, 49 |
||
|
hal-01427730v1
Pré-publication, Document de travail
Eddy Caron, Haiwu He, Olivier Richard, Frédéric Suter. Communication between LRMS and service/resource discovering system SPADE 1.4. Délivrable. 2010 |
||
|
hal-00484871v4
Communication dans un congrès
Thomas Braibant, Damien Pous. Tactics for Reasoning modulo AC in Coq Certified Proofs and Programs, 2011, Taiwan. pp167-182, 2011, <10.1007/978-3-642-25379-9_14> |
||
|
inria-00526741v1
Communication dans un congrès
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert. Reliability and performance optimization of pipelined real-time systems International Conference on Parallel Processing, Sep 2010, San Diego, United States. pp.20, 2010 |
||
|
inria-00424936v1
Rapport
Gilles Fedak, Jean-Patrick Gelas, Thomas Hérault, Victor Iniesta, Derrick Kondo et al. DSL-Lab: a Platform to Experiment on Domestic Broadband Internet [Research Report] RR-7024, INRIA. 2009 |
||
|
hal-00924926v1
Communication dans un congrès
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus Elham Kashefi and Jean Krivine and Femke van Raamsdonk. DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. Open Publishing Association, 88, pp.1-15, 2012, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.88.1> |
||
|
hal-00798455v1
Direction d'ouvrage, Proceedings
Yves Robert, Leonel Souza, Denis Trystram. Guest editorial for the special issue "ISPDC'09 and Heteropar'09 Robert, Yves and Souza, Leonel and Trystram, Denis. 37-8, Elsevier, pp.329-330, 2010 |
||
|
hal-00847635v1
Communication dans un congrès
Sheng Di, Yves Robert, Frédéric Vivien, Derrick Kondo, Cho-Li Wang et al. Optimization of Cloud Task Processing with Checkpoint-Restart Mechanism SC13 - Supercomputing - 2013, Nov 2013, Denver, United States. ACM, 2013, <10.1145/2503210.2503217> |
||
|
hal-00186786v1
Communication dans un congrès
Lionel Eyraud-Dubois, Grégory Mounié, Denis Trystram. Analysis of Scheduling Algorithms with Reservations IPDPS 2007, Mar 2007, Long Beach, California, United States. IEEE, pp.1-8, 2007 |
||
|
ensl-00365522v1
Pré-publication, Document de travail
Matthieu Gallet, Anne Benoit, Yves Robert, Bruno Gaujal. Computing the throughput of replicated workflows on heterogeneous platforms RR-2009-08. 20 pages. 2009 |
||
|
inria-00365795v1
Rapport
Anne Benoit, Yves Robert, Bruno Gaujal. Computing the throughput of replicated workflows on heterogeneous platforms [Research Report] RR-6865, INRIA. 2009, pp.23 |
||
|
hal-00966078v1
Communication dans un congrès
Fabienne Boyer, Olivier Gruber, Damien Pous. Robust reconfigurations of component assemblies ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. IEEE/ACM, pp.13-22, 2013, <http://dl.acm.org/citation.cfm?id=2486791> |
||
|
ensl-00517185v1
Communication dans un congrès
Georges Da Costa, Marcos Dias de Assuncao, Jean-Patrick Gelas, Yiannis Georgiou, Laurent Lefèvre et al. Multi-Facet Approach to Reduce Energy Consumption in Clouds and Grids: The GREEN-NET Framework International Conference on Energy-Efficient Computing and Networking (e-Energy), Apr 2010, Passau, Germany. pp.95-104, 2010, <10.1145/1791314.1791329> |
||
|
hal-01337140v1
Rapport
Julien Braine, Laure Gonnord, David Monniaux. Verifying Programs with Arrays and Lists [Intership report] ENS Lyon. 2016 |
||
|
inria-00502888v1
Communication dans un congrès
Gilles Fedak, Jean-Patrick Gelas, Thomas Hérault, Victor Iniesta, Derrick Kondo et al. DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet 9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010 |
||
|
inria-00452424v1
Rapport
Anne Benoit, Fanny Dufossé, Matthieu Gallet, Bruno Gaujal, Yves Robert. Computing the throughput of probabilistic and replicated streaming applications [Research Report] RR-7182, INRIA. 2010, pp.34 |
||
|
hal-01301382v1
Communication dans un congrès
Pedro Silva, Christian Pérez, Frédéric Desprez. Efficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'16), May 2016, Cartagena, Colombia. 2016, 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid). <10.1109/CCGrid.2016.77> |
||
|
hal-01152576v1
Communication dans un congrès
Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series |
||
|
tel-01094212v1
HDR
Clement Pernet. High Performance and Reliable Algebraic Computing Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014 |
||
|
hal-00944544v1
Communication dans un congrès
Pablo Arrighi, Gilles Dowek. The physical Church-Turing thesis and the principles of quantum theory QIPC, 2011, Zurich, Switzerland. Local proceedings, 2011 |
||
|
hal-00944502v1
Communication dans un congrès
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier. Intrinsic Simulations between Stochastic Cellular Automata 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium, Journées Automates Cellulaires, 2012, France. pp.208-224, 2012 |
||
|
hal-00944504v1
Communication dans un congrès
Pablo Arrighi, Vincent Nesme. A simple block representation of reversible cellular automata with time-symmetry 17th International Workshop on Cellular Automata and Discrete Complex Systems, 2011, Santiago, Chile. Local proceedings, 2011 |
||
|
hal-00944505v1
Pré-publication, Document de travail
Pablo Arrighi, Gilles Dowek. Causal graph dynamics 25 pages, 9 figures, LaTeX, v2: Minor presentation improvements, v3: Typos corrected, figure added. 2012 |
||
|
|
||
