CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishAnalysis of timed properties using the jump-diffusion approximation / Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy. - 10497(2017), pp. 69-84. ((Intervento presentato al convegno 14th European Workshop on Computer Performance Engineering, EPEW 2017 tenutosi a Berlino, Germania nel 7-8 Settembre 2017.
| Titolo: | Analysis of timed properties using the jump-diffusion approximation |
| Autori Riconosciuti: | |
| Autori: | Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy |
| Data di pubblicazione: | 2017 |
| Editore: | Springer Verlag |
| Titolo del libro: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume: | 10497 |
| Pagina iniziale: | 69 |
| Pagina finale: | 84 |
| Nome del convegno: | 14th European Workshop on Computer Performance Engineering, EPEW 2017 |
| Luogo del convegno: | Berlino, Germania |
| Anno del convegno: | 7-8 Settembre 2017 |
| Digital Object Identifier (DOI): | 10.1007/978-3-319-66583-2_5 |
| ISBN: | 9783319665825 |
| URL: | http://springerlink.com/content/0302-9743/copyright/2005/ |
| Parole Chiave: | Diffusion approximation; Statistical model checking; Stochastic differential equations with jumps; Theoretical Computer Science; Computer Science (all) |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| Jeremy_LectureNotes.pdf | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2020