Stochastic approximation of global reachability probabilities of Markov population models (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Stochastic approximation of global reachability probabilities of Markov population models (Contributo in atti di convegno) (literal)

Anno

• 2014-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-319-10885-8_16 (literal)

Alternative label

• Bortolussi L.; Lanciani R. (2014)
  Stochastic approximation of global reachability probabilities of Markov population models
  in EPEW 2014 - Computer Performance Engineering. 11th European Workshop, Florence, Italy, 11-12 September 2014
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bortolussi L.; Lanciani R. (literal)

Pagina inizio

• 224 (literal)

Pagina fine

• 239 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• Grant agreement: 600708 Tipo Progetto: EU_FP7 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.scopus.com/inward/record.url?eid=2-s2.0-84906968906&partnerID=q2rCbXpz (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 8721 LNCS (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 8721 LNCS (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 15 (literal)

Note

• PuMa (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR/ISTI, Pisa, Italy; IMT Lucca, Italy. (literal)

Titolo

• Stochastic approximation of global reachability probabilities of Markov population models (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-319-10885-8 (literal)

Abstract

• Complex computer systems, from peer-to-peer networks to the spreading of computer virus epidemics, can often be described as Markovian models of large populations of interacting agents. Many properties of such systems can be rephrased as the computation of time bounded reachability probabilities. However, large population models suffer severely from state space explosion, hence a direct computation of these probabilities is often unfeasible. In this paper we present some results in estimating these probabilities using ideas borrowed from Fluid and Central Limit approximations. We consider also an empirical improvement of the basic method leveraging higher order stochastic approximations. Results are illustrated on a peer-to-peer example. © 2014 Springer International Publishing. (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• LUCA BORTOLUSSI (Unità di personale esterno)

Insieme di parole chiave

• Parole chiave di "Stochastic approximation of global reachability probabilities of Markov population models" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• LUCA BORTOLUSSI (Unità di personale esterno)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)

Insieme di parole chiave di

• Parole chiave di "Stochastic approximation of global reachability probabilities of Markov population models" (Insieme di parole chiave)