Paralelización de algoritmos para verificación simbólica de modelos probabilísticos / (Registro nro. 16944)
[ vista simple ]
000 -Encabezamiento | |
---|---|
fixed length control field | 02544nam a22003732a 4500 |
001 - Número de Control | |
control field | 16944 |
003 - Identificador del Número de Control | |
control field | AR_CdUFM |
005 - Fecha de Ultima Modificación | |
control field | 20201125141015.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 | 140225s2013 ag_||||| |||| 00| 0 spa d |
040 ## - Origen de la Catalogación | |
Agencia/entidad que catalogó originalmente la obra | AR_CdUFM |
100 1# - Entrada Principal - Nombre Personal | |
9 (RLIN) | 17032 |
Nombre Personal | Tealdi, Matías Daniel, |
Fechas asociadas con el nombre | 1987- |
245 10 - Título propiamente dicho | |
Título | Paralelización de algoritmos para verificación simbólica de modelos probabilísticos / |
Mención de responsabilidad | Matías D. Tealdi. |
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 | vii, 67 páginas : |
Otros detalles físicos | ilustraciones (algunas color) ; |
Dimensiones | 30 cm. |
500 ## - Nota General | |
Nota General | Incluye índice de figuras. |
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áfícas : p. 64-67. |
520 ## - Resumen, etc. | |
Nota de resumen, etc. | 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<br/>estocásticos y una propiedad lógica. Esta propiedad es evaluada automaticamente para detectar posibles fallas, posibilitando el análisis cuantitativo del sistema.<br/>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.<br/>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.<br/>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<br/>simbólicas. |
650 #4 - Entradas Secundarias - Términos temáticos | |
Tópico o nombre geográfico | Software |
Subdivisión general | Program Verication |
650 #4 - Entradas Secundarias - Términos temáticos | |
Tópico o nombre geográfico | Numerical Analysis |
650 #4 - Entradas Secundarias - Términos temáticos | |
Tópico o nombre geográfico | Concurrent Programming |
653 ## - Término Indizado - No Controlado | |
Término | Model checking |
653 ## - Término Indizado - No Controlado | |
Término | Sistemas de ecuaciones lineales |
653 ## - Término Indizado - No Controlado | |
Término | Computacion 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 |
700 1# - Entradas Secundarias - Nombre Personal | |
9 (RLIN) | 1240 |
Nombre Personal | Bederián, Carlos Sergio, |
Fechas asociadas con el nombre | 1980- |
Código 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 | 2014-02-25 |
-- | 2020-11-25 |
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 | 13/02/2014 | Donación del autor | Trabajo Especial Computación CAJA 16 - 22028 | 22028 | 21/07/2017 | 1 | 25/11/2020 | Trabajo Especial de Grado |