1. Recherche
38 résultats  enregistrer la recherche


  • 1
  • 2
...
inria-00076333v1  Rapport
Gérard Berry, P.L. Curien. Theory and practice of sequential algorithms : the Kernel of the applicative Language CDS
[Research Report] RR-0225, INRIA. 1983
...
inria-00076445v1  Rapport
Gérard Boudol, Laurent Kott. Recursion induction principle revisited
[Research Report] RR-0115, INRIA. 1982
...
inria-00214235v2  Rapport
Anne Bouillard, Bruno Gaujal, Sébastien Lagrange, Eric Thierry. Optimal routing for end-to-end guarantees using Network Calculus
[Research Report] RR-6423, INRIA. 2008, pp.20
...
inria-00268788v2  Rapport
Bruno Gaume, Fabien Mathieu. From Random Graph to Small World by Wandering
[Research Report] RR-6489, INRIA. 2008, pp.11
...
inria-00143790v2  Rapport
Anh-Tuan Gai, Dmitry Lebedev, Fabien Mathieu, Fabien De Montgolfier, Julien Reynier et al.  Acyclic Preference Systems in P2P Networks
[Research Report] RR-6174, INRIA. 2007, pp.9
...
inria-00263813v2  Rapport
Luca Muscariello, Diego Perino. Early Experiences in Traffic Engineering Exploiting Path Diversity: A Practical Approach
[Research Report] RR-6474, INRIA. 2008, pp.21
...
inria-00072638v1  Rapport
Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel. Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems
[Research Report] RR-4006, INRIA. 2000
...
inria-00072755v1  Rapport
Radu Mateescu, Mihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus
[Research Report] RR-3899, INRIA. 2000
...
inria-00142851v2  Rapport
Laurent Viennot, Philippe Jacquet. Bi-connectivity, k-connectivity and Multipoint Relays
[Research Report] RR-6169, INRIA. 2007, pp.9
...
inria-00270406v2  Rapport
Laurent Viennot, Yacine Boufkhad, Fabien Mathieu, Fabien De Montgolfier, Diego Perino. Scalable Distributed Video-on-Demand: Theoretical Bounds and Practical Algorithms
[Research Report] RR-6496, INRIA. 2008, pp.19
...
inria-00206099v4  Rapport
Daniel De Carvalho, Michele Pagani, Lorenzo Tortora de Falco. A semantic measure of the execution time in Linear Logic
[Research Report] RR-6441, INRIA. 2008, pp.48
...
inria-00071380v1  Communication dans un congrès
Anne Bouillard, Bruno Gaujal, Jean Mairesse. Throughputs in stochastic free-choice nets, existence, computations and optimizations
44-th IEEE Conference on Decision and Control, 2005, Sevilla, Spain. pp.1-19, 2006
...
inria-00076361v1  Rapport
Gérard Berry, Pierre-Louis Curien, Jean-Jacques Levy. Full abstraction for sequential languages : The states of the art
[Research Report] RR-0197, INRIA. 1983
...
inria-00071839v1  Rapport
Miguel Escobedo, Philippe Laurençot, Stéphane Mischler. On a Kinetic Equation for Coalescing Particles
[Research Report] RR-4748, INRIA. 2003
...
inria-00111991v2  Rapport
Nuno Diniz dos Santos, Jean-Frédéric Gerbeau, Jean-François Bourgat. A partitioned fluid-structure algorithm for elastic thin valves with contact
[Research Report] RR-6022, INRIA. 2006, pp.23
...
inria-00123344v2  Rapport
Americo Marrocco. Aggrégation de bactéries. Simulations numériques de modèles de réaction-diffusion à l'aide des éléments finis mixtes
[Rapport de recherche] RR-6092, INRIA. 2007, pp.57
...
inria-00232824v3  Rapport
Jacques Sainte-Marie, Marie-Odile Bristeau. Derivation of a non-hydrostatic shallow water model; Comparison with Saint-Venant and Boussinesq systems
[Research Report] RR-6451, INRIA. 2008, pp.33
...
inria-00070315v1  Rapport
Miguel Angel Fernández, Jean-Frédéric Gerbeau, Céline Grandmont. A projection semi-implicit scheme for the coupling of an elastic structure with an incompressible fluid
[Research Report] RR-5700, INRIA. 2005, pp.31
...
inria-00070378v1  Rapport
Erik Burman, Miguel Angel Fernández. A finite element method with edge oriented stabilization for the time-dependent Navier-Stokes equations: space discretization and convergence
[Research Report] RR-5630, INRIA. 2005, pp.42
...
inria-00070650v1  Rapport
Simone Deparis, Jean-Frédéric Gerbeau, Xavier Vasseur. A Dynamic Preconditioner for Newton-Krylov Algorithms: Application to Fluid-Structure Interaction
[Research Report] RR-5352, INRIA. 2004, pp.25
...
inria-00070653v1  Rapport
Erik Burman, Miguel Angel Fernández, Peter Hansbo. Edge Stabilization for the Incompressible Navier-Stokes Equations: a Continuous Interior Penalty Finite Element Method
[Research Report] RR-5349, INRIA. 2004, pp.34
...
inria-00070780v1  Rapport
Gabriel Raúl Barrenechea, Miguel Angel Fernández, Carolina Ivon Vidal. A Stabilized Finite Element Method for the Oseen Equation with Dominating Reaction
[Research Report] RR-5213, INRIA. 2004, pp.21
...
inria-00070597v1  Rapport
Claude Basdevant, Jean Clairambault, Francis Lévi. Optimal drug infusion strategies for cancer chronotherapy
[Research Report] RR-5407, INRIA. 2004, pp.25
...
inria-00070737v1  Rapport
Emmanuel Audusse, Benoît Perthame. Uniqueness for a Scalar Conservation Law with Discontinuous Flux via Adapted Entropies
[Research Report] RR-5261, INRIA. 2004, pp.19
...
inria-00070738v1  Rapport
Emmanuel Audusse, Marie-Odile Bristeau. A 2d Well-balanced Positivity Preserving Second Order Scheme for Shallow Water Flows on Unstructured Meshes
[Research Report] RR-5260, INRIA. 2004, pp.31
...
inria-00070749v1  Rapport
Emmanuel Audusse. A Multilayer Saint-Venant Model
[Research Report] RR-5249, INRIA. 2004, pp.35
...
inria-00071254v1  Rapport
Mohamed Belhadj, Eric Cancès, Jean-Frédéric Gerbeau, Andro Mikelic. Homogenization approach to filtration through a fibrous medium
[Research Report] RR-5277, INRIA. 2004
...
inria-00071456v1  Rapport
Miguel Angel Fernández, Vuk Milisic, Alfio Quarteroni. Analysis of a geometrical multiscale blood flow model based on the coupling of ODE's and hyperbolic PDE's
[Research Report] RR-5127, INRIA. 2004
...
inria-00071480v1  Rapport
Americo Marrocco, V. Romano, J.M. Sellier. Numerical Simulation of the 2D Non-Parabolic MEP Energy-Transport Model with a Mixed Finite Elements Scheme
[Research Report] RR-5103, INRIA. 2004
...
inria-00071488v1  Rapport
A.M. Anile, Americo Marrocco, V. Romano, J.M. Sellier. Numerical simulation of 2D Silicon MESFET and MOSFET described by the MEP based energy-transport model with a mixed finite elements scheme
[Research Report] RR-5095, INRIA. 2004
  • 1
  • 2

Contact


archive-ouverte@inria.fr