Research Reports/Rapports de Recherche

Mistral

Prépublications - Rapports de recherche / Research Reports - Preprints

You will find here a list of some of the INRIA research and technical reports written by members of the Mistral project. The list was obtained using INRIA's research report server. It was last updated on 16 january 1999.

• Point Processes and Stochastic Geometry
• Discrete Event Systems: General, Queues, (max,+) Systems, Petri Nets
• Markov Decision Process, Dynamic Programming, Game Theory
• Performance Evaluation and Control of Networks
• Scheduling
• Parallel and Distributed Simulation
• Analysis of Algorithms

Point Processes and Stochastic Geometry

RR-1993 :

• Foss, Serguei G. ; Zuyev, Serguei A.
• On a certain segment process with Voronoi clustering

• Zuyev, Sergei
• Poisson Power Tesselations

• Baccelli, François; Klein Maurice; Zouev, Sergei
• Perturbation Analysis of Functionals of Random Measures

• François Baccelli, Maurice Klein, Marc Lebourges, Sergueï Zuyev :
• Géométrie Aléatoire et Architecture de Réseaux de Communications

• Borovkov, Alexander A.
• Asymptotic expansions for functionals processes

• Aboulalaa, Adnan
• Sur un theoreme de limite conditionnelle

• Sergei Zuyev ; Pascal Desnogues; Hery Rakotoarisoa :
• Simulations of large telecommunication networks based on probabilistic modeling

• François Baccelli, Sergei Zuyev :
• Poisson-Voronoi Spanning Trees with Applications to the Optimization of Communication Networks

• Sergei Zuyev :
• Stopping sets: Gamma-type results and hitting properties

• Ilya Molchanov, Sergei Zuyev :
• Variational Analysis of Functionals of a Poisson Process

• François Baccelli, Konstantin Tchoumatchenko, Sergei Zuyev :
• Markov Paths on the Poisson-Delaunay Graph with applications to routing in mobile networks

• Stephane Crepey
• Méthode de gradients en optimisation combinatoire. Applications a un problème de sac à dos et au modèle d'Ising.

• Pascal Desnogues, Hery Rakotoarisoa :
• ``ARC'': Simulateur d'architecture de réseaux de communications

Discrete Event Systems: General, Queues, (max,+) Systems, Petri Nets

Discrete Event Systems: General

RR-2568 :

• Bruno Gaujal ; Alain Jean-Marie ;Jean Mairesse :
• Minimal Representation of Uniform Recurrence Equations

• François Baccelli, Jean Mairesse :
• Ergodic Theorems for Stochastic Operators and Discrete Event Networks

• François Baccelli, D. R. McDonald :
• Rare Events for Stationary Processes

Discrete Event Systems: Queues

RR-1596 :

• Altman, Eitan ; Konstantopoulos, Panagiotis ; Liu, Zhen
• Some qualitative properties in polling systems

• Boucherie, Richard J.
• Batch routing queuing networks with jump-over blocking

• Altman, Eitan ; Foss, Serguei G.
• Polling on a graph with general arrival and service time distribution

• Liu, Zhen ; Mussi, Philippe
• Deadlock free routing on a ring : a performance evaluation

• Liu, Zhen ; Nain, Philippe ; Towsley, Don
• On a Generalization of Kingman's Bounds

• Zhen Liu, Philippe Nain, Don Towsley :
• Bounds on Finite Horizon QoS Metrics with Application to Call Admission

• Zhen Liu, Philippe Nain, Don Towsley :
• Exponential Bounds with Applications to Call Admission

• Zhen Liu, Philippe Nain, Don Towsley, Zhi-Li Zhang :
• Asymptotic Behavior of a Multiplexer Fed by a Long-Range Dependent Process

• Rajeev Agrawal, Armand M. Makowski, Philippe Nain :
• On a Reduced Load Equivalence for Fluid Queues Under Subexponentiality

• Rajeev Agrawal, François Baccelli, Rajendran Rajan :
• An Algebra for Queueing Networks with Time Varying Service and its application to the analysis of integrated service networks

Discrete Event Systems: (max,+) systems

RR-1939 :

• Mairesse, Jean
• Products of irreducible random matrices in the $(Max,+)$ Algebra : part 1

• Mairesse, Jean
• A Graphical representation for matrices in the,Max,+ algebra

• François Baccelli ; Volker Schmidt
• Taylor Expansions for Poisson Driven $(\max,+)$-Linear Systems

• François Baccelli, Sven Hasenfuss, Volker Schmidt :
• Expansions for Steady-State Characteristics in (max,+) -Linear Systems

• François Baccelli, Sven Hasenfuss, Volker Schmidt :
• Transient and Stationary Waiting Times in (max,+)-Linear Systems with Poisson Input

• Alain Jean-Marie :
• The Waiting Time Distribution in Poisson-Driven Deterministic Systems

• François Baccelli, Dohy Hong :
• Analytic Expansions of (max,+) Lyapunov Exponents

• François Baccelli, Dohy Hong :
• Analyticity of Iterates of Random Non-Expansive Maps

Discrete Event Systems: Petri Nets

RR-1880 :

• Boucherie, Richard J.
• A Characterisation of independence for competing Markov chains with applications to stochastic Petri nets

• Canales, Miguel ; Gaujal, Bruno
• Marking optimization and parallelism of marked graphs

• Baccelli, Francois ; Gaujal, Bruno ; Foss, Sergei
• Structural, temporal and stochastic properties of unbounded free-choice Petri nets

• Liu, Zhen
• Performance Analysis of Stochastic Timed Petri Nets using Linear Programming Approach

• François Baccelli, Bruno Gaujal :
• Liveness in Free-Choice Petri Nets An Algebraic Approach

Scheduling

RR-2198 :

• Finta, Lucian ; Liu, Zhen
• Single machine scheduling subject to precedence delays

• Finta, Lucian ; Liu, Zhen
• Scheduling of Parallel Programs in Single-Bus Multiprocessor System s

• Lucian Finta, Zhen Liu, Ioannis Milis, Evripidis Bampis :
• Scheduling UET-UCT Series-Parallel Graphs on Two Processors

• Lucian Finta, Zhen Liu :
• Complexity of Task Graph Scheduling with Fixed Communication Capacity

• Gaujal, Bruno
• Optimal allocation sequences of two processes sharing a resource

• Lefebvre-Barbaroux, Sophie ; Jean-Marie, Alain ; Chaouiya, Claudine
• Problemes d'ordonnancement d'une superposition de flux periodiques sous contrainte temps-reel

• Jorn M. Migge, Alain Jean-Marie :
• Timing Analysis of Real-Time Scheduling Policies: A Trajectory Based Model

• Jorn M. Migge, Alain Jean-Marie :
• Real-Time Scheduling: Non-Preemption, Critical Sections and Round Robin.

• Zhen Liu; Rhonda Righter :
• Optimal Load Balancing on Distributed Homogeneous Unreliable Processors

• Zhen Liu :
• Worst-Case Analysis of Scheduling Heuristics of Parallel Systems

• Zhen Liu, Rhonda Righter :
• The Impact of Cell Dropping Policies in ATM Networks

• Zhen Liu :
• Dynamic Scheduling of Parallel Computations

• Eitan Altman, Bruno Gaujal, Arie Hordijk :
• Admission Control in Stochastic Event Graphs

• Eitan Altman, Bruno Gaujal, Arie Hordijk :
• Balanced Sequences and Optimal Routing

• Eitan Altman, Bruno Gaujal, Arie Hordijk :
• Multimodularity,Convexity and Optimization Properties

• Eitan Altman, Bruno Gaujal, Arie Hordijk :
• Optimal Open-Loop Control of Vacations, Polling and Service Assignment

• E. G. Coffman Jr., Zhen Liu, Richard R. Weber :
• Optimal Robot Scheduling for Web Search Engines

Markov Decision Process, Dynamic Programming, Game Theory

RR-1597 :

• Altman, Eitan
• Flow control using the theory of zero sum Markov games

• Altman, Eitan
• Asymptotic properties of constrained Markov decision processes

• Eitan Altman :
• Constrained Markov Decision Processes

• Altman, Eitan
• Denumerable constrained Markov decision problems and finite approximations

• Altman, Eitan ; Nain, Philippe
• Optimal control of the M/G/1/ queue with repeated vacations of the server

• Altman, Eitan ; Nain, Philippe
• Closed-loop control with delayed information

• Eitan Altman, Ger Koole :
• On submodular value functions of dynamic programming

• Koole, Ger
• On the pathwise optimal Bernoulli routing policy for homogeneous parallel servers

• Tidball, Mabel ; Pourtallier, Odile ; Altman, Eitan
• Approximations in dynamic zero-sum games, II

Performance Evaluation and Control of Networks

RR-1597 :

• Altman, Eitan
• Flow control using the theory of zero sum Markov games

• Damien Artiges, Philippe Nain :
• Upper and Lower Bounds on Overflow Probabilities for a Multiplexer with Multiclass Markovian Sources

• Zhen Liu, Philippe Nain, Don Towsley :
• Bounds on Finite Horizon QoS Metrics with Application to Call Admission

• Zhen Liu, Philippe Nain, Don Towsley :
• Exponential Bounds with Applications to Call Admission

• Zhen Liu, Philippe Nain, Don Towsley, Zhi-Li Zhang :
• Asymptotic Behavior of a Multiplexer Fed by a Long-Range Dependent Process

• Rajeev Agrawal, Armand M. Makowski, Philippe Nain :
• On a Reduced Load Equivalence for Fluid Queues Under Subexponentiality

• Zhi-Li Zhang, Zhen Liu, Jim Kurose, Don Towsley :
• Call Admission Control Schemes under the Generalized Processor Sharing Scheduling

• Zhen Liu, Rhonda Righter :
• The Impact of Cell Dropping Policies in ATM Networks

• Omar Ait-Hellal, Eitan Altman, Driss Elouadghiri, Mohammed Erramdani :
• Performance Evaluation of the Rate-Based Flow Control Mechanism for ABR Service

• Eitan Altman, Jean Bolot, Philippe Nain, Driss Elouadghiri, Mohammed Erramdani, Patrick Brown, Denis Collange :
• Performance Modeling of TCP/IP in a Wide-Area Network

• Eitan Altman and Karim Traore :
• On the Integration of Best-Effort and Guaranteed Performance Services

• Martin May, Jean-Chrysostome Bolot, Christophe Diot, Alain Jean-Marie :
• 1-Bit Schemes for Service Discrimination in the Internet: Analysis and Evaluation

• François Baccelli, Thomas Bonald :
• Window Flow Control in FIFO Networks with Cross Traffic

• Thomas Bonald :
• Comparison of TCP Reno and TCP Vegas via Fluid Approximation

• Nesrine Chaher, Chadi Barakat, Walid Dabbous, Eitan Altman :
• Improving TCP/IP over Geostationary Satellite Links

• Chadi Barakat, Eitan Altman :
• Analysis of TCP in Networks with Small Buffering Capacity and Large Bandwidth-Delay Product

• Omar Ait-Hellal, Eitan Altman :
• Fonctionnement de TCP: problèmes et améliorations

• Chadi Barakat, Eitan Altman :
• Analysis of TCP with Several Bottleneck Nodes

Parallel and Distributed Simulation

RR-1520 :

• Baccelli, Francois ; Canales, Miguel
• Parallel simulation of stochastic Petri nets using recursive equati ons

• Ferrante, Patrick ; Mussi, Philippe ; Siegel, Gunther ; Mallet, Lionel
• Object oriented simulation : Highlighs on the PROSIT : parallel dis crete event simulator

• Mallet, Lionel ; Mussi, Philippe
• Object oriented parallel discrete event simulation : the PROSIT approach

• Mussi, Philippe ; Rakotoarisoa, Hery
• PARSEVAL : a workbench for queueing networks parallel simulation

• Rakotoarisoa, Hery ; Mussi, Philippe
• PARSEVAL: PARallelisation sur reseaux de Transputers de Simulations pour l'EVALaluation de performances

Analysis of Algorithms

RR-3089 :

• Svante Janson, Wojciech Szpankowski :
• Analysis of an Asymmetric Leader Election Algorithm