Descripción:
La programación concurrente nos permite crear aplicaciones cuya
estructura se adapte mejor a la naturaleza de la aplicación, entre otras
bondades, al mismo tiempo, que podemos explotar la capacidad de las
infraestructuras de cómputo actuales para hacer ejecutar varias
instrucciones de manera simultánea.
Sin embargo, el actuar simultáneo de varios flujos de ejecución que
comparten recursos impone los retos de construir programas en donde
no existan condiciones de competencia, interbloqueos o inanición. En
este proyecto terminal se plantea la exploración y evaluación de
herramientas para detectar estos problemas de manera automática y
corregirlos.
Datos de Contacto:
Profesora: Dra. Elizabeth Pérez Cortés
email: pece@xanum.uam.mx
cubículo T-148