CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Paralelización de algoritmos para verificación simbólica de modelos probabilísticos / Matías D. Tealdi.

By: Tealdi, Matías Daniel, 1987-.
Contributor(s): D'Argenio, Pedro Ruben, 1968- [dir.] | Bederián, Carlos Sergio, 1980- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2013Description: vii, 67 p. : il. (algunas col.) ; 30 cm.Subject(s): Software -- Program Verication | Numerical Analysis | Concurrent Programming | Model checking | Sistemas de ecuaciones lineales | Computacion de alta performance | Modelos probabilistasOnline resources: Acceso a Versión Digital. Disponible en línea.Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Summary: La verificación de modelos es una técnica útil para el análisis de modelos complejos. En particular, la verificación de modelos probabilistas se basa en una especificación formal de un sistema que presenta comportamientos probabilistas o estocásticos y una propiedad lógica. Esta propiedad es evaluada automaticamente para detectar posibles fallas, posibilitando el análisis cuantitativo del sistema. La principales variables que afectan el alcance de esta técnica son los tamaños de los modelos y la complejidad computación de los cálculos numéricos involucrados. La verificacion simbólica ataca el tamaño de los modelos con estructuras de datos compactas. Aun así, los cálculos numéricos demandan una gran cantidad de recursos computacionales. La motivacion de este trabajo es mejorar los tiempos de ejecución de los algoritmos numéricos, específicamente el método de Jacobi, a través de la arquitectura de GPU Computing sin perder los beneficios, antes nombrados, de las estructuras simbólicas.
Tags from this library: No tags from this library for this title.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C TEA http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/16944.pdf 1 Available Disponible también en línea. 22028
Total holds: 0

Incluye índice de figuras.

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.

Incluye referencias bibliográfícas : p. 64-67.

La verificación de modelos es una técnica útil para el análisis de modelos complejos. En particular, la verificación de modelos probabilistas se basa en una especificación formal de un sistema que presenta comportamientos probabilistas o
estocásticos y una propiedad lógica. Esta propiedad es evaluada automaticamente para detectar posibles fallas, posibilitando el análisis cuantitativo del sistema.
La principales variables que afectan el alcance de esta técnica son los tamaños de los modelos y la complejidad computación de los cálculos numéricos involucrados.
La verificacion simbólica ataca el tamaño de los modelos con estructuras de datos compactas. Aun así, los cálculos numéricos demandan una gran cantidad de recursos computacionales.
La motivacion de este trabajo es mejorar los tiempos de ejecución de los algoritmos numéricos, específicamente el método de Jacobi, a través de la arquitectura de GPU Computing sin perder los beneficios, antes nombrados, de las estructuras
simbólicas.

Disponible en línea.

La biblioteca posee 1 ej.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//