Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

4 976 Results
Structure: Internal structure identifier : 35418
Image document

A Scalable Approach to Network Enabled Servers

Eddy Caron , Philippe Combes , Sylvain Contassot-Vivier , Frédéric Desprez , Frédéric Lombard , et al.
[Research Report] RR-4501, INRIA. 2002
Reports inria-00072087v1
Image document

Optimizing the steady-state throughput of Broadcasts on heterogeneous platforms

Arnaud Legrand , Olivier Beaumont , Loris Marchal , Yves Robert
RR-4871, INRIA. 2003
Reports inria-00071712v1
Image document

Dynamic Performance Forecasting for Network-Enabled Servers in a Heterogeneous Environment

Frédéric Desprez , Martin Quinson , Frédéric Suter
[Research Report] RR-4320, INRIA. 2001
Reports inria-00072267v1
Image document

The Architecture of BPFS: a Basic Parallel File System Version 1.0

Robert D. Russell
RR-3460, INRIA. 1998
Reports inria-00073230v1
Image document

Communications collectives et ordonnancement en régime permanent sur plates-formes hétérogènes

Loris Marchal
Réseaux et télécommunications [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2006. Français. ⟨NNT : ⟩
Theses tel-00123193v1
Image document

A Revised Presentation of the CENA Method

Philippe Langlois
RR-4025, INRIA. 2000
Reports inria-00072615v1
Image document

Validating Polynomial Numerical Computations with Complementary Automatic Methods

Philippe Langlois , Nathalie Revol
[Research Report] RR-4205, INRIA. 2001
Reports inria-00072417v1
Image document

Return of the hardware floating-point elementary function

Jérémie Detrey , Florent de Dinechin , Xavier Pujol
18th Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.161-168
Conference papers ensl-00117386v1
Image document

Scheduling multiple bags of tasks on heterogeneous master- worker platforms: centralized versus distributed solutions

Olivier Beaumont , Larry Carter , Jeanne Ferrante , Arnaud Legrand , Loris Marchal , et al.
RR-5739, INRIA. 2005, pp.35
Reports inria-00070279v1
Image document

Plugging Anti and Output Dependence Removal Techniques into Loop Parallelization Algorithms

Pierre-Yves Calland , Alain Darte , Yves Robert , Frédéric Vivien
[Research Report] RR-2914, INRIA. 1996
Reports inria-00073783v1
Image document

Utilisation de processus légers pour l'exécution de programmes à parallélisme de données : étude expérimentale

Christian Pérez
RR-3036, INRIA. 1996
Reports inria-00073657v1
Image document

Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language

Luc Bougé , David Cachera , Yann Le Guyadec , Gil Utard , Bernard Virot
[Research Report] RR-3033, INRIA. 1996
Reports inria-00073660v1
Image document

A Logical Framework to Prove Properties of Alpha Programs

Luc Bougé , David Cachera
[Research Report] RR-3031, INRIA. 1996
Reports inria-00073662v1
Image document

Throughputs in stochastic free-choice nets, existence, computations and optimizations

Anne Bouillard , Bruno Gaujal , Jean Mairesse
44-th IEEE Conference on Decision and Control, 2005, Sevilla, Spain. pp.1-19
Conference papers inria-00071380v1
Image document

On the Probabilistic Query Complexity of Transitively Symmetric Problems

Pascal Koiran , Vincent Nesme , Natacha Portier
2006
Preprints, Working Papers, ... hal-00120934v2
Image document

A Kleene Theorem for Piecewise Constant Signals Automata

Jérôme Durand-Lose
Information Processing Letters, 2004, 89(5), pp.237-245
Journal articles hal-00079824v1
Image document

An Example of Pi^0_3-complete Infinitary Rational Relation

Olivier Finkel
Computer Science Journal of Moldova, 2007, 15 (1), pp.3-21
Journal articles ensl-00130246v1
Image document

A new range-reduction algorithm

Jean-Michel Muller , Nicolas Brisebarre , Peter Kornerup , David Defour , Nathalie Revol
IEEE Transactions on Computers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
Journal articles ensl-00086904v1

Computing branchwidth via Efficient Triangulations and blocks

Fedor V. Fomin , Frédéric Mazoit , Ioan Todinca
2005, pp.374-384
Conference papers hal-00085562v1

Computing Maximum Stable Set for Distance-Hereditary Graphs

Olivier Cogis , Eric Thierry
Discrete Optimization, 2005, 2 (2), pp.185-188. ⟨10.1016/j.disopt.2005.03.004⟩
Journal articles lirmm-00105342v1
Image document

Algorithmes de routage et modèles aléatoires pour les graphes petits mondes

Emmanuelle Lebhar
Réseaux et télécommunications [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français. ⟨NNT : ⟩
Theses tel-00011646v1
Image document

Using local planar geometric invariants to match and model images of line segments

Patrick Gros , Olivier Bournez , Edmond Boyer
Computer Vision and Image Understanding, 1998, 69 (2), pp.135-155. ⟨10.1006/cviu.1997.0565⟩
Journal articles istex inria-00102944v1
Image document

Systolic convolution of arithmetic functions

Patrice Quinton , Yves Robert
[Research Report] RR-0976, INRIA. 1989
Reports inria-00075583v1
Image document

Asynchronous behavior of double-quiescent elementary cellular automata

Nazim A. Fatès , Michel Morvan , Nicolas Schabanel , Eric Thierry
2004
Preprints, Working Papers, ... hal-00002808v1

Grid'5000: a large scale, reconfigurable, controlable and monitorable Grid platform

Franck Cappello , Frédéric Desprez , Michel Daydé , Emmanuel Jeannot , Yvon Jégou , et al.
6th IEEE/ACM International Workshop on Grid Computing - GRID 2005, Nov 2005, Seattle, USA, United States
Conference papers inria-00000284v1
Image document

UDT and TCP without Congestion Control for Profile Pursuit

Romaric Guillier , Sébastien Soudan , Pascale Primet
[Research Report] RR-6874, INRIA. 2009
Reports inria-00367160v1

Thermodynamic graph-rewriting

Vincent Danos , Russell Harmer , Ricardo Honorato-Zimmer , Hernán Melgratti
Logical Methods in Computer Science, 2015, 11 (2), ⟨10.2168/LMCS-11(2:13)2015⟩
Journal articles hal-01974698v1
Image document

Static Strategies for Worksharing with Unrecoverable Interruptions (Extended version)

Anne Benoit , Yves Robert , Arnold Rosenberg , Frédéric Vivien
[Research Report] RR-7029, LIP RR-2008-29, INRIA, LIP. 2009, pp.132
Reports inria-00413977v1
Image document

Snap-stabilizing Prefix Tree for Peer-to-peer Systems

Eddy Caron , Frédéric Desprez , Franck Petit , Cédric Tedeschi
[Research Report] RR-6297, LIP RR-2007-39, INRIA, LIP. 2007, pp.20
Reports inria-00173050v2

Knowledge representation and update in hierarchies of graphs

Russ Harmer , Eugenia Oshurko
International Conference on Graph Transformation, Jul 2019, Eindhoven, Netherlands
Conference papers hal-02127178v1