Computación: Envíos recientes
Mostrando ítems 141-156 de 156
-
Localización de nodos en redes de sensores basada en composisicón de algoritmos, análisis de patrones y formalismos lógicos de posiciones
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2009) -
Diagnóstico distribuido confiable de sistemas de eventos discretos
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009) -
Generación y uso de abstracciones en la comprobación de modelos simbólica
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009) -
Middleware for adaptive multiagent environment distribution =Middleware para distribución adaptativa de ambientes multiagente
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2010) -
Reducción por simetrías en la comprobación de modelos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2009) -
Localización de errores de diseño en circuitos secuenciales sincrónicos mediante métodos formales de satisfacibilidad
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2009) -
Diagnóstico de faltas en sistemas de eventos discretos temporizados
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
Estudio e implementación de la interpolación de Craig en la comprobación de modelos acotada
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
Arquitecturas para la implementación eficiente de sumadores y multiplicadores en hardware
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
Trans-codificación y transmisión de video en redes convencionales y activas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
Caracterización de errores para explicar el desempeño de algoritmos de clasificación
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
A self-organization algorithm for mobile agents formation =Un algoritmo de auto-organización para la formación de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
Una herramienta para la generación de software distribuido basado en sistemas multiagentes
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
An algorithm for node localization in WSN based on a probabilistic model and multimensional scaling =Algoritmo de localización de nodos en redes de sensores inalámbricas basado en un modelo probabilístico y de escalamiento multidimensional
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
Performance models and throughput optimization for heterogeneous metropolitan networks =Modelos de desempeño y optimización del rendimiento de transmisión en redes metropolitanas heterogéneas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2011) -
Arquitectura de software para un sistema de comercio electrónico B2C
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2003)