Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial /

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2010.

Guardado en:

Detalles Bibliográficos
Autor principal:	Giro, Sergio
Otros Autores:	D'Argenio, Pedro R.
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2011
Materias:	Performance analysis and design aids Performance of systems Análisis de ejecución y ayudas de diseño Ejecución de los sistemas Sistemas distribuidos
Acceso en línea:	http://hdl.handle.net/11086/136
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
por: Giro, Sergio Sebastián
Publicado: (2011)

El juego de manos como ejecución musical : Un estudio con niños de nueve a once años de edad
por: Lucero, Mónica Graciela
Publicado: (2015)

Sistemas Distribuidos
por: Facultad de Ingeniería y Tecnología Informática
Publicado: (2015)

El estilo de ejecución en el tango : Un estudio acerca de la temporalidad en la performance
por: Alimenti Bel, Demian
Publicado: (2024)

Sistemas distribuidos : conceptos y diseño /
Publicado: (2001)

Sistemas distribuidos : principios y paradigmas /
Publicado: (2008)

Formas de vitalidad y ejecución expresiva : Un análisis del perfil sonoro-kinético de diferentes versiones del Preludio Op. 28-7 de F. Chopin
por: Martínez, Isabel Cecilia, et al.
Publicado: (2015)

Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María.
Publicado: (2011)

Reducción de orden parcial en model checking probabilista simbólico
por: Ferrer Fioriti, Luis María
Publicado: (2011)

Airplane aerodynamics and performance /
por: Roskam, Jan, 1930-
Publicado: (1997)

Procesamiento distribuido y paralelo : Fundamentos y aplicaciones
por: Naiouf, Marcelo, et al.
Publicado: (2009)

Procesamiento paralelo y distribuido : Fundamentos y aplicaciones
por: Naiouf, Marcelo, et al.
Publicado: (2006)

Sistemas operativos distribuídos
por: Bastidas C., Jose Fernando, et al.
Publicado: (2010)

Algoritmos paralelos y distribuidos : Fundamentos, modelos y aplicaciones
por: Naiouf, Marcelo, et al.
Publicado: (2012)

Ejecuciones. Judicial. Bancaria. Notarial / Norberto José Novellino
por: Novellino, Norberto José
Publicado: (2011)

Procesos de ejecución /
por: De Santo, Víctor
Publicado: (2003)

Procesamiento distribuido y paralelo. : Fundamentos y aplicaciones.
por: Naiouf, Marcelo, et al.
Publicado: (2008)

Estrategias de optimización y análisis de performance en sistemas de almacenamiento distribuido
por: Charne, Javier Gonzalo
Publicado: (2021)

Procesamiento distribuido y paralelo : Fundamentos, métricas y aplicaciones
por: Naiouf, Marcelo, et al.
Publicado: (2007)

Derecho Procesal Civil Comercial y Laboral : Doctrina, Legislacion y Jurisprudencia : Tratado de las Ejecuciones..
por: Podetti, Ramiro
Publicado: (1952)

Tratado de las ejecuciones.
por: Podetti, Ramiro J.
Publicado: (1997)

Derecho Procesal Civil Comercial y Laboral : Doctrina, Legislacion y Jurisprudencia : Tratado de las Ejecuciones..
por: Podetti, Ramiro
Publicado: (1952)

Procesamiento paralelo y distribuido : Fundamentos, modelos y aplicaciones
por: Naiouf, Marcelo, et al.
Publicado: (2011)

Sistemas Distribuidos
por: Facultad de Ingeniería y Tecnología Informática
Publicado: (2015)

Localización y seguimiento de servicios replicados en sistemas distribuidos
por: Pessolani, Pablo, et al.
Publicado: (2021)

Comunicação entre objetos distribuídos replicados tolerantes a falhas
por: Hanel, Marcelo, et al.
Publicado: (2001)

Propuesta de uso de sistemas multimediales-hipermediales en ambientes educativos presenciales y a distancia : Presentación de una metodología para el diseño y construcción de sistemas educativos multimediales-hipermediales
por: Lanza Castelli, Silvia
Publicado: (2005)

Fundamentos y aplicaciones de procesamiento distribuido y paralelo
por: Naiouf, Marcelo, et al.
Publicado: (2010)

Sistemas distribuidos : principios y paradigmas
por: Tanembaum, Andrew S.
Publicado: (2008)

Detección de terminación y activación en sistemas distribuidos
por: Baraldi, Waldemar A., et al.
Publicado: (2002)

Sistemas distribuidos: control de concurrencia
por: Cenci, Karina M., et al.
Publicado: (2001)

Un modelo de arquitectura para un sistema de virtualización distribuido
por: Pessolani, Pablo
Publicado: (2021)

Derecho procesal, civil,comercial y laboral. Tratado de las Ejecuciones. Tomo VII -B /
por: Podetti, J.Ramiro
Publicado: (1968)

Líneas de investigación en sistemas distribuidos
por: Ardenghi, Jorge Raúl
Publicado: (2000)

Seguridad en sistemas distribuidos federados
por: Echaiz, Javier, et al.
Publicado: (2011)

Comportamiento mimético y construcción de sentido: la ejecución aérea como externalización de la cognición
por: Valles, Mónica Leonor, et al.
Publicado: (2018)

La memorización de música contrapuntística : Un estudio de caso de las estrategias empleadas por una pianista profesional
por: Bertea, Maximiliano Andrés
Publicado: (2018)

Sistemas distribuidos de tiempo real : Modelización y verificación de las restricciones de tiempo
por: Pesado, Patricia Mabel, et al.
Publicado: (1999)

Procesos de ejecución /
por: Falcón, Enrique M.
Publicado: (1999)

Procesos de ejecución /
por: Falcón, Enrique M.
Publicado: (1999)