MaskD : a tool for measuring masking fault-tolerance

Fil: Putruele, Luciano. Universidad Nacional de Rı́o Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales. Departamento de Computación; Argentina.

Guardado en:

Detalles Bibliográficos
Autores principales:	Putruele, Luciano, Demasi, Ramiro Adrián, Castro, Pablo Francisco, D'Argenio, Pedro Ruben
Otros Autores:	https://orcid.org/0000-0002-3063-4704
Formato:	publishedVersion article
Lenguaje:	Español Inglés
Publicado:	2023
Materias:	Tolerancia a fallas Teoría de juegos estocásticos Herramienta de verificación Fault tolerance Stochastic game theory Verification tool
Acceso en línea:	http://hdl.handle.net/11086/546727 https://doi.org/10.1007/978-3-030-99524-9_22
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Aplicaciones de la teoría de juegos a la verificación de sistemas tolerantes a fallas
por: Putruele, Luciano
Publicado: (2025)

Fault-tolerant Model-based Predictive Control Applied to Industrial Processes
por: Bernardi, Emanuel
Publicado: (2021)

Set-theoretic fault-tolerant control in multisensor systems
por: Stoican, Florin
Publicado: (2013)

Fault Tolerance in Multicore Clusters. Techniques to Balance Performance and Dependability
por: Meyer, Hugo
Publicado: (2016)

Outcomes of the fault tolerance configuration
por: Rexachs del Rosario, Dolores, et al.
Publicado: (2009)

Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
por: Kilmurray, Cecilia Noelia
Publicado: (2021)

Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
por: Kilmurray, Cecilia Noelia
Publicado: (2021)

A single-version scheme of fault tolerant computing
por: Saha, Goutan Kumar
Publicado: (2006)

Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
por: Monti, Raúl Enrique
Publicado: (2022)

A multipath routing method for tolerating permanent and non-permanent faults
por: Zarza, Gonzalo, et al.
Publicado: (2009)

Fault tolerance analysis for a class of reconfigurable aerial hexarotor vehicles
por: Pose, Claudio D., et al.
Publicado: (2020)

H-RADIC: A Fault Tolerance Framework for Virtual Clusters on Multi-Cloud Environments
por: Royo, Ambrosio, et al.
Publicado: (2018)

A Fault-Tolerant Algorithm For Distributed Resource Allocation
por: Pessolani, Pablo Andrés, et al.
Publicado: (2017)

Playing against fair adversaries in stochastic games with total rewards
por: Castro, Pablo Francisco, et al.
Publicado: (2023)

Multipath Fault-Tolerant Routing Policies to deal with Dynamic Link Failures in High Speed Interconnection Networks
por: Zarza, Gonzalo
Publicado: (2011)

Fault tolerance in an amplifier system implemented in reconfigurable system on chip platform
por: Lovay, Mónica, et al.
Publicado: (2011)

OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
por: Bordenabe, Nicolas Emilio
Publicado: (2011)

OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
por: Bordenabe, Nicolas Emilio
Publicado: (2011)

Some Issues to Consider in the Management of Energy Consumption in HPC Systems with Fault Tolerance
por: Morán, Marina, et al.
Publicado: (2022)

H-RADIC: The Fault Tolerance Framework for Virtual Clusters on Multi-Cloud Environments
por: Royo, Ambrosio, et al.
Publicado: (2018)

Neural Network based Fault Diagnosis Procedure for the Detector System of CFDF
por: Khalil, M. I.
Publicado: (2010)

A fault resilience tool for embedded real-time systems
por: Lima Santos, Franklin, et al.
Publicado: (2013)

Exploring Energy Saving Opportunities in Fault Tolerant HPC Systems
por: Morán, Marina, et al.
Publicado: (2024)

IaaS Cloud as a Virtual Environment for Experimentation¡ in Checkpoint Analysis
por: León, Betzabeth, et al.
Publicado: (2019)

Towards Management of Energy Consumption in HPC Systems with Fault Tolerance
por: Morán, Marina, et al.
Publicado: (2020)

Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
por: Acosta, Araceli Natalia
Publicado: (2023)

The evolution of fault-tolerant computing
Publicado: (1987)

A tool for detecting transient faults in execution of parallel scientific applications on multicore clusters
por: Montezanti, Diego Miguel, et al.
Publicado: (2014)

Delay tolerant networks protocols and applications /
Publicado: (2012)

A tool for detecting transient faults in execution of parallel scientific applications on multicore clusters
por: Montezanti, Diego Miguel, et al.
Publicado: (2013)

Propuestas para integrar la arquitectura RADIC de forma transparente
por: Meyer, Hugo, et al.
Publicado: (2011)

A Fault Diagnosis Scheme and Its Quality Issue in Reconfigurable Array Architecture
por: Chen, Yung-Yuan
Publicado: (2006)

Diseño de controladores tolerante a fallas aplicados a procesos de la industria química
por: Picó, Martín Francisco
Publicado: (2015)

Data-driven fault diagnosis and robust control: application to PEM fuel cell systems
por: Ocampo-Martínez, Carlos, et al.
Publicado: (2019)

DECK: A new model for a distributed executive kernel integrating communication and multithreading for support of distributed object oriented application with fault tolerance support
por: Barreto, Marcos Ennes, et al.
Publicado: (1998)

Machine tools for engineers /
por: Hine, Charles R.
Publicado: (1959)

Masks
por: Benda, Wladyslaw Theodore, 1873-
Publicado: (1944)

Masks
por: Wissler, Clark 1870-1947
Publicado: (1938)

Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
por: Acosta, Araceli, et al.
Publicado: (2009)

Analysis of non-Markovian repairable fault trees through rare event simulation
por: Budde, Carlos E., et al.
Publicado: (2023)