Información del autor
Autor Gribaudo, Marco |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra 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. Idioma : Inglés (eng) 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 Clasificación: 004.24 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th European Workshop on Computer Performance Engineering, EPEW 2019, held in Milan, Italy, in November 2019. The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 13 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from modeling and analysis of network/control protocols and high performance/BigData information systems, analysis of scheduling, blockchain technology, analytical modeling and simulation of computer/network systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 004.24 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 16th European Workshop on Computer Performance Engineering, EPEW 2019, held in Milan, Italy, in November 2019. The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 13 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from modeling and analysis of network/control protocols and high performance/BigData information systems, analysis of scheduling, blockchain technology, analytical modeling and simulation of computer/network systems. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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 Clasificación: 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. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 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. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 25th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2019, held in Moscow, Russia, in October 2019. Methods of analytical and stochastic modelling are widely used in engineering to assess and design various complex systems, like computer and communication networks, and manufacturing systems. The 13 full papers presented in this book were carefully reviewed and selected from 22 submissions. The papers detail a diverse range of analysis techniques, including Markov processes, queueing theoretical results, reliability of stochastic systems, stochastic network calculus, and wide variety of applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 25th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2019, held in Moscow, Russia, in October 2019. Methods of analytical and stochastic modelling are widely used in engineering to assess and design various complex systems, like computer and communication networks, and manufacturing systems. The 13 full papers presented in this book were carefully reviewed and selected from 22 submissions. The papers detail a diverse range of analysis techniques, including Markov processes, queueing theoretical results, reliability of stochastic systems, stochastic network calculus, and wide variety of applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
