Buscar
Mostrando ítems 21-30 de 90
Extracción del paralelismo en modelos de programación visual y técnicas para generación de código paralelo /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2000)
Diseño e implementación de un spooler y un cluster printing /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2000)
Coordinación distribuida basada en agentes de sistemas de manufactura flexible
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002)
Un editor de ambientes virtuales dinámicos = A dynamic-virtual environments editor
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002)
LCIASA :lenguaje de "capacidad de interacción" de agentes en sistemas abiertos /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2000)
Ambiente genérico virtual distribuido GeDA-3D /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2000)
Ambiente de programación visual paralela /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2000)
Codificación perceptual de audio banda extendida usando paquetes de ondeletas =Perceptual wide-band speech audio coding using wavelet packets. /
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001)
Comprobación de modelos explícita basada en autómatas de Búchi y lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Verificación de una clase de especificaciones de seguridad en controladores de procedimientos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)