Paralelización de algoritmos para verificación simbólica de modelos probabilísticos / (Registro nro. 16944)

Detalles MARC
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
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 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


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)