Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Repositorio Digital Universitario - Universidad Nacional de Córdoba | - |
| dc.contributor | D'Argenio, Pedro R. | - |
| dc.creator | Giro, Sergio | - |
| dc.date | 2010 | - |
| dc.date.accessioned | 2019-07-13T15:54:02Z | - |
| dc.date.available | 2019-07-13T15:54:02Z | - |
| dc.date.issued | 2010 | - |
| dc.identifier | Bibliografía : p.215. | - |
| dc.identifier | http://hdl.handle.net/11086/136 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/566779 | - |
| dc.description | Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010. | - |
| dc.description | 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. | - |
| dc.description | Sergio Giro ; dirigido por Pedro R. D'Argenio. | - |
| dc.format | application/pdf | - |
| dc.language | spa | - |
| dc.relation | Disponible en línea | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.source | reponame:Repositorio Digital Universitario (UNC) | - |
| dc.source | instname:Universidad Nacional de Córdoba | - |
| dc.source | instacron:UNC | - |
| dc.source.uri | http://hdl.handle.net/11086/136 | - |
| dc.subject | Performance analysis and design aids | - |
| dc.subject | Performance of systems | - |
| dc.subject | Análisis de ejecución y ayudas de diseño | - |
| dc.subject | Ejecución de los sistemas | - |
| dc.subject | Sistemas distribuidos | - |
| dc.title | Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial / | - |
| dc.type | info:eu-repo/semantics/doctoralThesis | - |
| dc.type | info:eu-repo/semantics/acceptedVersion | - |
| dc.type | info:ar-repo/semantics/tesisDoctoral | - |
| Aparece en las colecciones: | Universidad Nacional de Córdoba. Repositorio Digital Universitario | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.