Verificación de algoritmos concurrentes

Verificación de algoritmos concurrentes

Detalles Bibliográficos
Autor principal:	Sandoval Grajeda, Israel
Otras Contribuciones:	Benítez-Pérez, Héctor (Asesor)
Formato:	Tesis de maestría
Publicado:	México 2016
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000742265 https://tesiunamdocumentos.dgb.unam.mx/ptd2016/marzo/0742265/Index.html

Ejemplares similares

Algoritmos concurrentes por conjuntos de colas y pilas con multiplicidad
por: López Díaz, José Damian
Publicado: (2023)

Analisis del desempeño de un cluster beowulf en diversos algoritmos de tipo concurrente
por: Juarez Sosa, Julio Cesar, et al.
Publicado: (2001)

Logica de hoare para programas concurrentes
por: Montero Mejia, Emma Ceclia
Publicado: (1985)

LPC: Un paradigma de la programacion concurrente
por: Benveniste Kuehne, Marc Vincent Jerome
Publicado: (1988)

Verificacion de dispensarios de combustible
por: Gil Hernandez, Simon Israel
Publicado: (2007)

Un lenguaje para programacion concurrente basado en CSP
por: González Luna, Luis Alfonso
Publicado: (1990)

Simulación numérica de un gasificador de biomasa de flujo concurrente
por: Villegas Legal, Javier Alejandro
Publicado: (2013)

Estudio del flujo de informacion de una empresa aplicando ingenieria concurrente
por: López Mendoza, Nancy Erendira
Publicado: (2004)

Diseno e implantacion de un lenguaje de programacion concurrente en Unix
por: Perez Cortés, Elizabeth
Publicado: (1992)

Pilas y colas concurrentes de larga vida desde la perspectiva topológica
por: Zenil Rivas, Pablo Enrique
Publicado: (2020)

Principios de ingenieria concurrente y su implementacion en un proyecto piloto
por: Camacho Ortega, Martha Elena, et al.
Publicado: (1995)

Verificación de modelos para lógica híbrida de tiempo ramificado
por: Vázquez Sandoval, Itzel
Publicado: (2009)

Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos
por: Góngora Luna, Pedro Arturo
Publicado: (2014)

Ingenieria concurrente en el proceso de diseño de productos de plastico
por: Mejia Gonzalez, Ricardo, et al.
Publicado: (1994)

Simulacion de procesos en la ingenieria integral y concurrente
por: Acosta Morales, Leonardo German
Publicado: (2000)

Desarrollo de proyectos a traves de ingenieria concurrente y herramientas CAD-CAE
por: Alvarez Martinez, Juan Adolfo
Publicado: (2000)

Verificación formal de árboles rojinegros
por: Hernández Chiapa, David Felipe
Publicado: (2021)

Verificación formal en lógica modal
por: Prieto Larios, Estefanía
Publicado: (2018)

Implementacion de un sistema para el seguimiento, control y evaluacion concurrente de proyectos
por: Castellanos Vazquez, Gabriel
Publicado: (1996)

Lisp- Perito : un lenguaje concurrente para el desarrollo de aplicaciones en inteligencia artificial
por: Galván Jiménez, Marco Antonio
Publicado: (1989)

Verificacion fisica de obras hidraulicas : auditoria
por: Luna Garduno, Francisco
Publicado: (1977)

Verificación formal del zipper relacional simétrico
por: Galicia Mendoza, Fernando Abigail
Publicado: (2018)

Las facultades fisicas concurrentes (Sugerencias)
por: Gonzalez Torres, José
Publicado: (1944)

Ingeniería inversa y concurrente del interferómetro de motas Berkut para telescopios de clase 1 metro
por: López Cruz, Rogelio
Publicado: (2014)

Sistema de control de verificacion de predios
por: Ramirez Ney, Victoria
Publicado: (2001)

Control y verificacion de calidad de concreto
por: Santiago del Castillo, Antonio
Publicado: (1979)

Verificación a estaciones de servicio de combustible
por: Torres Hernández, Rogelio
Publicado: (2009)

Las facultades concurrentes en materia tributaria
por: Real Mier y Concha, Eugenio
Publicado: (1948)

El amparo penal en jurisdiccion concurrente
por: Roldan Quirino, Mario
Publicado: (1994)

Integracion, pruebas y manejo de interrupciones en las unidades procesadoras de una computadora de procesamiento concurrente
por: Díaz Barriga Sanchez, Rafael
Publicado: (1996)

Verificacion objetiva de campañas de estimulacion de lluvia
por: Calderon García, Juan José
Publicado: (2001)

Verificacion y pruebas de aceptacion de maquinas herramientas
por: Morales Flores, Esau, et al.
Publicado: (1991)

Verificación de la linealizabilidad en tiempo de ejecución
por: Rodríguez Jiménez, Gilde Valeria
Publicado: (2022)

Planificación de trayectorias basada en verificación de modelos
por: Fernández García, Pablo
Publicado: (2022)

Verificación formal de programas con lógicas de separación
por: Medina Martínez, Diego Roberto
Publicado: (2021)

Evaluación y acreditación de una unidad de verificación
por: Preciado Olvera, Abril Penélope, et al.
Publicado: (2009)

Valuacion de productos derivados y verificacion de supuestos
por: Gutierrez Salas, Rodolfo
Publicado: (1994)

Aprendizaje profundo aplicado a la verificación de autoría
por: Araujo Pino, Alan Emir
Publicado: (2021)

Verificación del perfil indestructible en rompeolas de enrocamiento
por: Armenta Aguilar, Carlos Alberto
Publicado: (2012)

Control y verificacion de la calidad del concreto
por: Martinez Omana, Jorge
Publicado: (1988)