Autor Gribaudo, Marco
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers / Gribaudo, Marco ; Iacono, Mauro ; Phung-Duc, Tuan ; Razumchik, Rostislav
Título : 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Gribaudo, Marco, ; Iacono, Mauro, ; Phung-Duc, Tuan, ; Razumchik, Rostislav, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIII, 161 p. 164 ilustraciones, 34 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-44411-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Computadoras digitales electrónicas Red de computadoras Informática Inteligencia artificial Rendimiento y evaluación del sistema Redes de comunicación informática Matemáticas de la Computación Índice Dewey: 004.24 Análisis de rendimiento Resumen: Este libro constituye las actas arbitradas del 16º Taller Europeo sobre Ingeniería de Rendimiento Informático, EPEW 2019, celebrado en Milán, Italia, en noviembre de 2019. Los 10 artículos presentados en este volumen junto con una charla invitada fueron cuidadosamente revisados y seleccionados entre 13 presentaciones. Los artículos presentados en el taller reflejan la diversidad de la ingeniería de rendimiento moderna, con temas que van desde el modelado y análisis de protocolos de red/control y sistemas de información de alto rendimiento/BigData, análisis de programación, tecnología blockchain, modelado analítico y simulación de sistemas informáticos/de red. . . Nota de contenido: Hybrid Petri Nets Featuring Multiple Random Variables -- Abandonment Attack on the LEACH Protocol -- Coherent Resolutions of Nondeterminism -- Emulating Self-adaptive Stochastic Petri Nets -- Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases -- A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States -- A Network Aware Resource Discovery Service -- EthExplorer: A Tool for Forensic Analysis of the Ethereum Blockchain -- A Queueing Model that Works Only on Biggest Jobs -- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-Core Systems -- Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov~Queues. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers [documento electrónico] / Gribaudo, Marco, ; Iacono, Mauro, ; Phung-Duc, Tuan, ; Razumchik, Rostislav, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIII, 161 p. 164 ilustraciones, 34 ilustraciones en color.
ISBN : 978-3-030-44411-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Computadoras digitales electrónicas Red de computadoras Informática Inteligencia artificial Rendimiento y evaluación del sistema Redes de comunicación informática Matemáticas de la Computación Índice Dewey: 004.24 Análisis de rendimiento Resumen: Este libro constituye las actas arbitradas del 16º Taller Europeo sobre Ingeniería de Rendimiento Informático, EPEW 2019, celebrado en Milán, Italia, en noviembre de 2019. Los 10 artículos presentados en este volumen junto con una charla invitada fueron cuidadosamente revisados y seleccionados entre 13 presentaciones. Los artículos presentados en el taller reflejan la diversidad de la ingeniería de rendimiento moderna, con temas que van desde el modelado y análisis de protocolos de red/control y sistemas de información de alto rendimiento/BigData, análisis de programación, tecnología blockchain, modelado analítico y simulación de sistemas informáticos/de red. . . Nota de contenido: Hybrid Petri Nets Featuring Multiple Random Variables -- Abandonment Attack on the LEACH Protocol -- Coherent Resolutions of Nondeterminism -- Emulating Self-adaptive Stochastic Petri Nets -- Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases -- A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States -- A Network Aware Resource Discovery Service -- EthExplorer: A Tool for Forensic Analysis of the Ethereum Blockchain -- A Queueing Model that Works Only on Biggest Jobs -- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-Core Systems -- Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov~Queues. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings Tipo de documento: documento electrónico Autores: Gribaudo, Marco, ; Jansen, David N., ; Remke, Anne, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 298 p. 97 ilustraciones, 44 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-59854-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Ingeniería de software Inteligencia artificial Informática Estadistica matematica Red de computadoras Teoría de la Computación Probabilidad y Estadística en Informática Redes de comunicación informática Matemáticas de la Computación Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2020, celebrada en Viena, Austria, en agosto/septiembre de 2020. Los 12 artículos completos presentados junto con 7 artículos breves fueron cuidadosamente revisados y seleccionados entre 42 presentaciones. Los artículos cubren temas tales como medidas clásicas que involucran desempeño y confiabilidad, cuantificación de propiedades que son clásicamente cualitativas, como seguridad, corrección y protección, así como estudios analíticos, diversidad en los formalismos modelo y metodologías empleadas, y el desarrollo de nuevos formalismos y metodologías. Nota de contenido: Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings [documento electrónico] / Gribaudo, Marco, ; Jansen, David N., ; Remke, Anne, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 298 p. 97 ilustraciones, 44 ilustraciones en color.
ISBN : 978-3-030-59854-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Ingeniería de software Inteligencia artificial Informática Estadistica matematica Red de computadoras Teoría de la Computación Probabilidad y Estadística en Informática Redes de comunicación informática Matemáticas de la Computación Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 17.ª Conferencia Internacional sobre Sistemas de Evaluación Cuantitativa, QEST 2020, celebrada en Viena, Austria, en agosto/septiembre de 2020. Los 12 artículos completos presentados junto con 7 artículos breves fueron cuidadosamente revisados y seleccionados entre 42 presentaciones. Los artículos cubren temas tales como medidas clásicas que involucran desempeño y confiabilidad, cuantificación de propiedades que son clásicamente cualitativas, como seguridad, corrección y protección, así como estudios analíticos, diversidad en los formalismos modelo y metodologías empleadas, y el desarrollo de nuevos formalismos y metodologías. Nota de contenido: Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings Tipo de documento: documento electrónico Autores: Gribaudo, Marco, ; Sopin, Eduard, ; Kochetkova, Irina, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 187 p. 64 ilustraciones, 36 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-62885-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Informática Sistemas informáticos Red de computadoras Ingeniería de software Aplicaciones matemáticas en informática Implementación de sistema informático Redes de comunicación informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 25.ª Conferencia Internacional sobre Técnicas y Aplicaciones de Modelado Analítico y Estocástico, ASMTA 2019, celebrada en Moscú, Rusia, en octubre de 2019. Los métodos de modelado analítico y estocástico se utilizan ampliamente en ingeniería para evaluar y diseñar diversos sistemas complejos. sistemas, como redes informáticas y de comunicación, y sistemas de fabricación. Los 13 artículos completos presentados en este libro fueron cuidadosamente revisados y seleccionados entre 22 envíos. Los artículos detallan una amplia gama de técnicas de análisis, incluidos los procesos de Markov, resultados teóricos de colas, confiabilidad de sistemas estocásticos, cálculo de redes estocásticas y una amplia variedad de aplicaciones. Nota de contenido: Algorithmic Analysis of a Two-Class Multi-Server HeterogeneousQueueing System with a Controllable Cross-Connectivity -- Queueing Analysis of Cognitive Radio Networks with Finite Number ofSecondary Users -- On Reliability of a Double Redundant Renewable System -- Queueing Analysis for a Mixed Model of Carsharing and Ridesharing -- An All Geometric Discrete-Time Multiserver Queueing System -- Dealing with Dependence in Stochastic Network Calculus { UsingIndependence as a Bound -- Map-Reduce Process Algebra: a Formalism to Describe Directed -- Acyclic Graph Task-Based Jobs in Parallel Environments -- Performance Evaluation of Scheduling Policies for the DRCMPSP -- An Algorithm for Improved Proportional-Fair Utility for Vehicular Users -- Method of Asymptotic Di usion Analysis of Queueing System MjMjNwith feedback -- Exact Performance Analysis of Retrial Queues with Collisions -- In nite-Server Bulk Queue with MMPP Arrivals -- Dissipativity Of The Quantum Measurement Model. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings [documento electrónico] / Gribaudo, Marco, ; Sopin, Eduard, ; Kochetkova, Irina, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 187 p. 64 ilustraciones, 36 ilustraciones en color.
ISBN : 978-3-030-62885-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Informática Sistemas informáticos Red de computadoras Ingeniería de software Aplicaciones matemáticas en informática Implementación de sistema informático Redes de comunicación informática Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la 25.ª Conferencia Internacional sobre Técnicas y Aplicaciones de Modelado Analítico y Estocástico, ASMTA 2019, celebrada en Moscú, Rusia, en octubre de 2019. Los métodos de modelado analítico y estocástico se utilizan ampliamente en ingeniería para evaluar y diseñar diversos sistemas complejos. sistemas, como redes informáticas y de comunicación, y sistemas de fabricación. Los 13 artículos completos presentados en este libro fueron cuidadosamente revisados y seleccionados entre 22 envíos. Los artículos detallan una amplia gama de técnicas de análisis, incluidos los procesos de Markov, resultados teóricos de colas, confiabilidad de sistemas estocásticos, cálculo de redes estocásticas y una amplia variedad de aplicaciones. Nota de contenido: Algorithmic Analysis of a Two-Class Multi-Server HeterogeneousQueueing System with a Controllable Cross-Connectivity -- Queueing Analysis of Cognitive Radio Networks with Finite Number ofSecondary Users -- On Reliability of a Double Redundant Renewable System -- Queueing Analysis for a Mixed Model of Carsharing and Ridesharing -- An All Geometric Discrete-Time Multiserver Queueing System -- Dealing with Dependence in Stochastic Network Calculus { UsingIndependence as a Bound -- Map-Reduce Process Algebra: a Formalism to Describe Directed -- Acyclic Graph Task-Based Jobs in Parallel Environments -- Performance Evaluation of Scheduling Policies for the DRCMPSP -- An Algorithm for Improved Proportional-Fair Utility for Vehicular Users -- Method of Asymptotic Di usion Analysis of Queueing System MjMjNwith feedback -- Exact Performance Analysis of Retrial Queues with Collisions -- In nite-Server Bulk Queue with MMPP Arrivals -- Dissipativity Of The Quantum Measurement Model. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
