Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos / (Registro nro. 16932)

Detalles MARC
000 -Encabezamiento
fixed length control field 02244nam a22003492a 4500
001 - Número de Control
control field 16932
003 - Identificador del Número de Control
control field AR_CdUFM
005 - Fecha de Ultima Modificación
control field 20201202161236.0
006 - Elementos de Fongitud Fija--Características Adicionales del Material--Información General
fixed length control field a|||||r|||| 00| 0
007 - Campo Fijo de Descripción Física--Información General
fixed length control field ta
008 - Elementos de Fongitud Fija--Información General
fixed length control field 131227s2013 ag_||||| |||| 00| 0 spa d
040 ## - Origen de la Catalogación
Agencia/entidad que catalogó originalmente la obra AR_CdUFM
Entidad que transcribió la catalogación AR_CdUFM
100 1# - Entrada Principal - Nombre Personal
9 (RLIN) 8027
Nombre Personal Ingaramo, Gastón,
Fechas asociadas con el nombre 1988-
245 10 - Título propiamente dicho
Título Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos /
Mención de responsabilidad Gastón Ingaramo.
260 ## - Publicación, Distribución, etc. (Pie de Imprenta)
Lugar de publicación, distribución, etc. [S.l. :
Nombre de la editorial, distribuidor, etc. s.n. ],
Fecha de publicación, distribución, etc. 2013.
300 ## - Descripción Física
Extensión v, 89 páginas :
Otros detalles físicos ilustraciones (algunas color) ;
Dimensiones 30 cm.
502 ## - Nota de disertación
Nota de disertación Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
504 ## - Nota de Bibliografía, etc.
Nota de Bibliografía, etc. Incluye referencias bibliográficas : p. 88-89.
520 ## - Resumen, etc.
Nota de resumen, etc. 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 <br/>simbólico utilizado, implementa estos operadores y que estructuras de datos utiliza.<br/>Finalmente presentamos nuestra implementación de un algoritmo pseudo Gauss- Seidel en arquitecturas GPGPU, principalmente en CUDA. Hacemos dos distinciones, cuando la memoria de la tarjeta es suciente para contener todos los vectores y cuando se requiere dividir el problema. Concluímos con un análisis experimental que demuestra las mejoras del desempeño obtenidas.
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Software
Subdivisión general program verification
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Concurrent programming
650 #4 - Entradas Secundarias - Términos temáticos
Tópico o nombre geográfico Numerical analysis
653 ## - Término Indizado - No Controlado
Término Sistemas de ecuaciones lineales
653 ## - Término Indizado - No Controlado
Término Model checking
653 ## - Término Indizado - No Controlado
Término Computación de alta performance
653 ## - Término Indizado - No Controlado
Término Modelos probabilistas
700 1# - Entradas Secundarias - Nombre Personal
9 (RLIN) 3837
Nombre Personal D'Argenio, Pedro Ruben,
Fechas asociadas con el nombre 1968-
Término de relación director
942 ## - Elementos Agregados (KOHA)
Koha item type Trabajo Especial de Grado
Source of classification or shelving scheme
945 ## - Inforación de Procesamiento Local (OCLC)
Código del digitador MBO
AAAA-MM-DD - Fecha de ingreso o modificacion 2013-12-27
-- 2020-12-02
Existencias
Estado de retiro Existencia (perdido o no perdido) Fuente de clasificación o esquema de estanterías Estado general No para préstamo Forma de Adquisición Ubicación (sede de origen) Sububicacón o colección (sede poseedora del item) Estantería donde se ubica Fecha de adquisición o compra Fuente de adquisición Signatura topográfica Número de inventario (código de barras) Última vez visto (Koha) Número de copia Fecha del precio de reemplazo Tipo de ítem (Koha)
        DONACIÓN FaMAF FaMAF Secc. Tesis y Trabajos especiales 22/12/2013 Donación del autor Trabajo Especial Computación CAJA 16 - 22023 22023 21/07/2017 1 02/12/2020 Trabajo Especial de Grado


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)