Markov nets Probabilistic models for distributed and concurrent systems, extended version

A Markovian model for the stationary behavior of TCP

Fortin, Sophie
Sericola, Bruno
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 1 - Reseaux et systemes - Projet ArmorAvailable from INIST (FR), Document Supply Service, unde...

Applications of Markov decision processes in communication networks : a survey

Altman, Eitan
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MistralAvailable from INIST (FR), Document Supply Service, un...

Geometric convergence of Markov chains through a local Doeblin condition

Delyon, B.
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2SIGLEAvailable from INIST ...

Markov nets : probabilistic models for distributed and concurrent systems

Haar, Stefan
Fabre, Eric
Benveniste, Albert
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2Available from INIST (FR),...

Distributed semi-Markov processes in stochastic t-timed Petri net

Haar, Stefan
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projets SIGMA2SIGLEAvailable from INIST...

On numerical problems in simulations of highly reliable Markovian systems

Tuffin, Bruno
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes. Projet ModelSIGLEAvailable from INIST (FR), Document Supply Service, ...

Probabilistic cluster unfoldings for Petri nets

Haar, Stefan
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projets SIGMA2SIGLEAvailable from INIST...

Distributed monitoring of concurrent and asynchronous systems Extended version

Jard, Claude
Fabre, Eric
Haar, Stefan
Benveniste, Albert
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2Available from INIST (FR),...

Approche probabiliste de l'homogeneisation des operateurs sous forme divergence en milieu periodique

Lejay, Antoine
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 4 - Simulation et optimisation de systemes complexes. Projet SysdysAvailable from INIST (FR), ...

Modeles de Markov caches theorie et techniques de base - partie I

Alani, Tarik
Guellif, Hadj
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1994

Programme 5 : traitement du signal, automatique et productiqueAvailable at INIST (FR), Document Supp...

Calcul de probabilites de visite dans les chaines de Markov reductibles selon les composantes fortement connexes

Le Guen, Helene
Marie, Raymond
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

Theme 1 - Reseaux et systemes - Projet ArmorSIGLEAvailable from INIST (FR), Document Supply Service,...

For solving Markov models of parallel systems

Plateau, Brigitte
Fourneau, Jean-Michel
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660 / INIST-CNRS - Ins...

Un modele probabiliste d'evolution de proteines

Campillo, Fabien
Dudoignon, Lorie
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet SYSDYSAvailable from INIST (FR),...

A method for handling complex Markov models of parallel systems

Plateau, Brigitte
Atif, Karim
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique (LGI)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Genie Informatique (LGI)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1990 n....

Sensibilite de l'esperance de la recompense cumulee des modeles markoviens raides

Abdallah, Haiscam
Hamza, Moulaye
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 4 - Simulation et optimisation de systemes complexes - Projet Aladin et ArmorAvailable from IN...

A Markovian model for the stationary behavior of TCP

Fortin, Sophie
Sericola, Bruno
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 1 - Reseaux et systemes - Projet ArmorAvailable from INIST (FR), Document Supply Service, unde...

Applications of Markov decision processes in communication networks : a survey

Altman, Eitan
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MistralAvailable from INIST (FR), Document Supply Service, un...

Geometric convergence of Markov chains through a local Doeblin condition

Delyon, B.
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2SIGLEAvailable from INIST ...

Markov nets : probabilistic models for distributed and concurrent systems

Haar, Stefan
Fabre, Eric
Benveniste, Albert
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2Available from INIST (FR),...

Distributed semi-Markov processes in stochastic t-timed Petri net

Haar, Stefan
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projets SIGMA2SIGLEAvailable from INIST...

On numerical problems in simulations of highly reliable Markovian systems

Tuffin, Bruno
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes. Projet ModelSIGLEAvailable from INIST (FR), Document Supply Service, ...

Probabilistic cluster unfoldings for Petri nets

Haar, Stefan
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projets SIGMA2SIGLEAvailable from INIST...

Distributed monitoring of concurrent and asynchronous systems Extended version

Jard, Claude
Fabre, Eric
Haar, Stefan
Benveniste, Albert
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2Available from INIST (FR),...

Approche probabiliste de l'homogeneisation des operateurs sous forme divergence en milieu periodique

Lejay, Antoine
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 4 - Simulation et optimisation de systemes complexes. Projet SysdysAvailable from INIST (FR), ...

Modeles de Markov caches theorie et techniques de base - partie I

Alani, Tarik
Guellif, Hadj
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1994

Programme 5 : traitement du signal, automatique et productiqueAvailable at INIST (FR), Document Supp...

Calcul de probabilites de visite dans les chaines de Markov reductibles selon les composantes fortement connexes

Le Guen, Helene
Marie, Raymond
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

Theme 1 - Reseaux et systemes - Projet ArmorSIGLEAvailable from INIST (FR), Document Supply Service,...

For solving Markov models of parallel systems

Plateau, Brigitte
Fourneau, Jean-Michel
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660 / INIST-CNRS - Ins...

Un modele probabiliste d'evolution de proteines

Campillo, Fabien
Dudoignon, Lorie
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet SYSDYSAvailable from INIST (FR),...

A method for handling complex Markov models of parallel systems

Plateau, Brigitte
Atif, Karim
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique (LGI)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Genie Informatique (LGI)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1990 n....

Sensibilite de l'esperance de la recompense cumulee des modeles markoviens raides

Abdallah, Haiscam
Hamza, Moulaye
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 4 - Simulation et optimisation de systemes complexes - Projet Aladin et ArmorAvailable from IN...

A Markovian model for the stationary behavior of TCP

Fortin, Sophie
Sericola, Bruno
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2001

Theme 1 - Reseaux et systemes - Projet ArmorAvailable from INIST (FR), Document Supply Service, unde...

Applications of Markov decision processes in communication networks : a survey

Altman, Eitan
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MistralAvailable from INIST (FR), Document Supply Service, un...

Geometric convergence of Markov chains through a local Doeblin condition

Delyon, B.
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2SIGLEAvailable from INIST ...

Markov nets Probabilistic models for distributed and concurrent systems, extended version

Abstract

Extracted data

Markov nets Probabilistic models for distributed and concurrent systems, extended version

Abstract

Extracted data

Related items

Related items