CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial / (Record no. 15249)

000 -CABECERA
Longitud fija campo de control 02758nam a22003377a 4500
003 - IDENTIFICADOR DELl NÚMERO DE CONTROL
Identificador del número de control AR_CdUFM
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Fecha y hora de la última transacción 20180725095013.0
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Códigos de información de longitud fija 100331s2010 ag_||||| |||| 00| 0 eng d
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador de origen AR_CdUFM
Centro transcriptor AR_CdUFM
041 ## - CÓDIGO DE LENGUA
Código de lengua del texto/banda sonora o título independiente eng
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA
9 (RLIN) 6255
Nombre de persona Giro, Sergio Sebastián,
Fechas asociadas al nombre 1981-
245 10 - MENCIÓN DE TÍTULO
Título Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /
Mención de responsabilidad, etc. Sergio Giro.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. [S.l. :
Nombre del editor, distribuidor, etc. s.n. ],
Fecha de publicación, distribución, etc. 2010.
300 ## - DESCRIPCIÓN FÍSICA
Extensión 224 p. :
Dimensiones 30 cm.
Otras características físicas il. :
500 ## - NOTA GENERAL
Nota general Tesis firmada por el autor.
502 ## - NOTA DE TESIS
Nota de tesis Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC
Nota de bibliografía, etc. Bibliografía : p. 215.
520 ## - NOTA DE SUMARIO
Sumario, etc, En esta tesis desarrollamos algoritmos y técnicas de análisis basadas en model checking para analizar la corrección de sistemas distribuidos con características aleatorias y no deterministas. Una contribución importante es la demostración de que no existe un algoritmo que resuelva el problema de verificación de forma totalmente automática. A pesar de este resultado, presentamos algoritmos que, si bien no pueden determinar la corrección para todos los sistemas y propiedades, sirven para detectar que ciertos sistemas son correctos o incorrectos. Uno de los impedimentos más frecuentes a la hora de verificar PDMs es el problema de la explosión de estado. Este problema, bien conocido y atacado en model checking, se agrava en el ámbito de model checking cuantitativo. Existen trabajos previos que, con el fin de atacar este problema, presentan adaptaciones de las técnicas de reducción orden parcial para model checking cualitativo al caso cuantitativo. Presentamos una nueva adaptación de la técnica de reducción de orden parcial. Nuestra adaptación aprovecha el hecho de que las componentes de un sistema concurrente tienen acceso limitado a la información sobre el estado global del sistema. Concluímos con casos de estudio que muestran las mejoras de nuestros algoritmos y nuestra técnica de orden parcial.
530 ## - NOTA DE FORMATO FÍSICO ADICIONAL DISPONIBLE
Nota de formato físico adicional disponible Disponible en línea
Identificador Uniforme del Recurso (R ) http://www.famaf.unc.edu.ar/publicaciones/documents/serie_d/DComp1.pdf
546 ## - NOTA DE LENGUA
Nota de lengua Texto en inglés.
590 ## - NOTAS LOCALES
Enlace La biblioteca posee 2 ej.
Nota local La biblioteca posee ej.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Performance analysis and design aids.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Performance of systems.
653 ## - TÉRMINO DE INDIZACIÓN - NO CONTROLADO
Término no controlado Análisis de ejecución y ayudas de diseño.
653 ## - TÉRMINO DE INDIZACIÓN - NO CONTROLADO
Término no controlado Ejecución de los sistemas.
653 ## - TÉRMINO DE INDIZACIÓN - NO CONTROLADO
Término no controlado Sistemas distribuidos.
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
Nombre de persona D'Argenio, Pedro Ruben,
Fechas asociadas al nombre 1968-
Término indicativo de función dir.
9 (RLIN) 3837
856 41 - LOCALIZACIÓN Y ACCESO ELECTRÓNICO
Identificador Uniforme del Recurso (URI) http://www.famaf.unc.edu.ar/publicaciones/documents/serie_d/DComp1.pdf
Texto del enlace Versión Digital
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA)
Koha [por defecto] tipo de item Tesis de Doctorado
Fuente de clasificaión o esquema
945 ## - TRATAMIENTO DE LA INFORMACIÓN LOCAL (OCLC)
a MBO
d 2010-03-31
-- 2011-08-23
Holdings
Suprimido Perdido Estropeado No para préstamo Localización permanente Localización actual Localización en estanter&íacute;as Fecha adquisición Fuente de adquisición Signatura completa Código de barras Fecha última consulta Número de copia Fecha del precio de reemplazo Tipo de item de Koha Note pública Forma de adquisición
        FaMAF FaMAF Vitrina 2010-03-31 Donación del autor T C GIR 20250 2017-08-10 1 2010-03-31 Tesis de Doctorado Ej. de CONSULTA DONACIÓN
        FaMAF FaMAF Secc. Tesis y Trabajos especiales 2010-03-31 Donación del autor T C GIR ej.2 20251 2010-03-31 2 2010-03-31 Tesis de Doctorado Disponible también en línea DONACIÓN

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