Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos / (Registro nro. 16932)
[ vista simple ]
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 |
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 |