Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos

Autores
Ingaramo, Gastón
Año de publicación
2013
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
D'Argenio, Pedro Ruben
Descripción
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Fil: Ingaramo, Gastón. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
Presentamos los distintos lenguajes para el modelado de sistemas, tanto de tiempo discreto como de tiempo continuo, DTMC y CTMC respectivamente. Luego estudiamos las lógicas correspondientes para su verificación prestando especial atención a los operadores que requieren de multiplicaciones matriz-vector. Explicamos como PRISM, el model checker simbólico utilizado, implementa estos operadores y que estructuras de datos utiliza.
Fil: Ingaramo, Gastón. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
Materia
Verificación de software
Programación
Sistemas de ecuaciones lineales
Computación de alta performance
Modelos probabilistas
Software program verification
Concurrent programming
Numerical analysis
Model checking
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/555305
Acceder
id RDUUNC_e8018cd2aa93bb5c655a54b73277e500
oai_identifier_str oai:rdu.unc.edu.ar:11086/555305
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticosIngaramo, GastónVerificación de softwareProgramaciónSistemas de ecuaciones linealesComputación de alta performanceModelos probabilistasSoftware program verificationConcurrent programmingNumerical analysisModel checkingTesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.Fil: Ingaramo, Gastón. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Presentamos los distintos lenguajes para el modelado de sistemas, tanto de tiempo discreto como de tiempo continuo, DTMC y CTMC respectivamente. Luego estudiamos las lógicas correspondientes para su verificación prestando especial atención a los operadores que requieren de multiplicaciones matriz-vector. Explicamos como PRISM, el model checker simbólico utilizado, implementa estos operadores y que estructuras de datos utiliza.Fil: Ingaramo, Gastón. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.D'Argenio, Pedro Ruben2013-12-17info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/555305spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-11-06T09:40:05Zoai:rdu.unc.edu.ar:11086/555305Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-11-06 09:40:06.273Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
title Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
spellingShingle Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
Ingaramo, Gastón
Verificación de software
Programación
Sistemas de ecuaciones lineales
Computación de alta performance
Modelos probabilistas
Software program verification
Concurrent programming
Numerical analysis
Model checking
title_short Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
title_full Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
title_fullStr Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
title_full_unstemmed Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
title_sort Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos
dc.creator.none.fl_str_mv Ingaramo, Gastón
author Ingaramo, Gastón
author_facet Ingaramo, Gastón
author_role author
dc.contributor.none.fl_str_mv D'Argenio, Pedro Ruben
dc.subject.none.fl_str_mv Verificación de software
Programación
Sistemas de ecuaciones lineales
Computación de alta performance
Modelos probabilistas
Software program verification
Concurrent programming
Numerical analysis
Model checking
topic Verificación de software
Programación
Sistemas de ecuaciones lineales
Computación de alta performance
Modelos probabilistas
Software program verification
Concurrent programming
Numerical analysis
Model checking
dc.description.none.fl_txt_mv Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Fil: Ingaramo, Gastón. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
Presentamos los distintos lenguajes para el modelado de sistemas, tanto de tiempo discreto como de tiempo continuo, DTMC y CTMC respectivamente. Luego estudiamos las lógicas correspondientes para su verificación prestando especial atención a los operadores que requieren de multiplicaciones matriz-vector. Explicamos como PRISM, el model checker simbólico utilizado, implementa estos operadores y que estructuras de datos utiliza.
Fil: Ingaramo, Gastón. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
description Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
publishDate 2013
dc.date.none.fl_str_mv 2013-12-17
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11086/555305
url http://hdl.handle.net/11086/555305
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1848046266647314432
score 12.571709

Publicaciones similares