Ayuda
Ir al contenido

Dialnet


Aportaciones al estudio del paralelismo y la concurrencia en la programación lógica

  • Autores: Manuel Carro Liñares
  • Directores de la Tesis: Manuel de Hermenegildo Salinas (dir. tes.)
  • Lectura: En la Universidad Politécnica de Madrid ( España ) en 2001
  • Idioma: español
  • Tribunal Calificador de la Tesis: Ana M. García Serrano (presid.), Juan José Moreno Navarro (secret.), Jaume Agustí i Cullell (voc.), Lourdes Araujo (voc.), Enrico Pontelli (voc.)
  • Materias:
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • En esta tesis se estudian medios para solventar algunos de los problemas de la programación lógica y aproximarse en la meta de un lenguaje (o familia de lenguajes) que permitan a un tiempo tener alto rendimiento, gran expresividad, y características avanzadas, En particular se diseñan y evalúan:

      1,- Mecanismos de mejora de la ejecución paralela de lenguajes lógicos.

      Los experimentos llevados a cabo arrojan una notable mejora para ciertas clases de programas muy comunes en la práctica. Asimismo se evalúa una herramienta destinada a averiguar la eficiencia de dichas ejecuciones paralelas en una serie de condiciones no siempre posibles en la práctica.

      2,- Una serie de diseños e implementaciones de herramientas de visualización para programas lógicos secuenciales, paralelos y con restricciones. Están fundamentalmente dirigidos a ayudar al programador a detectar la fuente de determinados problemas de eficiencia y/o de corrección de un modo intuitivo, sin tener que conocer en profundidad el funcionamiento interno del sistema con el que se está trabajando.

      3,- Una propuesta de ejecucción con concurrencia que, sin separarse excesivamente de la ejecución secuencial de Prolog, da al programador una libertad suficiente sobre el control de la ejecución.


Fundación Dialnet

Dialnet Plus

  • Más información sobre Dialnet Plus

Opciones de compartir

Opciones de entorno