Departamento de Computación

El cómputo móvil estudia los problemas peculiares al uso de dispositivos de cómputo móviles, conectados entre sí por redes inalámbricas. A pesar de las similitudes con el cómputo distribuido la investigación en el área ha mostrado que existen diferencias sustanciales entre las dos disciplinas. Como resultado, las herramientas teóricas y prácticas del cómputo distribuido no pueden ser usadas para el cómputo móvil.
Hay una gran cantidad de trabajo realizado en el desarrollo de modelos formales para el cómputo móvil, incluyendo en particular al cálculo de ambientes, pero poco de este trabajo se ha trasladado hacia el desarrollo de lenguajes de programación para cómputo móvil, lo cual inhibe la experimentación y el uso práctico. Este trabajo describe el diseño e implementación de una máquina abstracta para ejecutar el cálculo de ambientes, a la que hemos llamado MAC. La implementación de esta máquina incluye una herramienta que ayuda a visualizar los pasos de reducción en el cálculo de ambientes, para propósitos educativos o de experimentación. La contribución principal de este traba jo consiste en que la disponibilidad de esta máquina ayudará en la búsqueda de lengua jes de programación adecuados para el cómputo móvil.