|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Architecture of BPFS: a Basic Parallel File System Version 1.0
Robert D. Russell
RR-3460, INRIA. 1998
Reports
inria-00073230v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Revised Presentation of the CENA Method
Philippe Langlois
RR-4025, INRIA. 2000
Reports
inria-00072615v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Validating Polynomial Numerical Computations with Complementary Automatic Methods
Philippe Langlois
,
Nathalie Revol
[Research Report] RR-4205, INRIA. 2001
Reports
inria-00072417v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Logical Framework to Prove Properties of Alpha Programs
Luc Bougé
,
David Cachera
[Research Report] RR-3031, INRIA. 1996
Reports
inria-00073662v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the Probabilistic Query Complexity of Transitively Symmetric Problems
Pascal Koiran
,
Vincent Nesme
,
Natacha Portier
2006
Preprints, Working Papers, ...
hal-00120934v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A new range-reduction algorithm
Jean-Michel Muller
,
Nicolas Brisebarre
,
Peter Kornerup
,
David Defour
,
Nathalie Revol
Journal articles
ensl-00086904v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Computing branchwidth via Efficient Triangulations and blocks
Fedor V. Fomin
,
Frédéric Mazoit
,
Ioan Todinca
2005, pp.374-384
Conference papers
hal-00085562v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Computing Maximum Stable Set for Distance-Hereditary Graphs
Olivier Cogis
,
Eric Thierry
Journal articles
lirmm-00105342v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Using local planar geometric invariants to match and model images of line segments
Patrick Gros
,
Olivier Bournez
,
Edmond Boyer
Journal articles
istex
inria-00102944v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Systolic convolution of arithmetic functions
Patrice Quinton
,
Yves Robert
[Research Report] RR-0976, INRIA. 1989
Reports
inria-00075583v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Asynchronous behavior of double-quiescent elementary cellular automata
Nazim A. Fatès
,
Michel Morvan
,
Nicolas Schabanel
,
Eric Thierry
2004
Preprints, Working Papers, ...
hal-00002808v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Thermodynamic graph-rewriting
Vincent Danos
,
Russell Harmer
,
Ricardo Honorato-Zimmer
,
Hernán Melgratti
Journal articles
hal-01974698v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|