Resumen de Independencia, análisis global y paralelismo en computación lógica con restricciones y planificación dinámica
M. José García de la Banda García
LA NOCION DE INDEPENDENCIA ES CRUCIAL EN LA DEFINICION DE LOS MODELOS DE PARALELISMO CONJUNTIVO INDEPENDIENTE COMO CONDICION PARA GARANTIZAR LA CORRECION Y EFICIENCIA DE DICHOS MODELOS CON RESPECTO AL MODELO SECUENCIAL, EL PRESENTE TRABAJO GENERALIZA LA APLICABILIDAD DEL PARALELISMO CONJUNTIVO INDEPENDIENTE A LOS LENGUAJES LOGICOS CON RESTRICCIONES Y PLANIFICACION DINAMICA. DICHO ESTUDIO REVELA LA IMPORTANCIA DEL CONCEPTO DE INDEPENDENCIA NO SOLO DESDE EL PUNTO DE VISTA DEL PARALELISMO CONJUNTIVO INDEPENDIENTE, SINO TAMBIEN DESDE EL PUNTO DE VISTA DE MUCHAS OTRAS APLICACIONES QUE MODIFICAN LAS REGLAS DE COMPUTACION.
EN SEGUNDO LUGAR, Y UNA VEZ GENERALIZADO EL CONCEPTO DE INDEPENDENCIA, ES NECESARIO REALIZAR UN ESTUDIO EXHAUSTIVO DE LA EFECTIVIDAD DE LAS HERRAMIENTAS DE ANALISIS EN LA TAREA DE LA PARALELIZACION AUTOMATICA. LOS RESULTADOS OBTENIDOS DE DICHA EVALUACION PERMITEN ASEGURAR DE FORMA EMPIRICA QUE LA UTILIZACION DE ANALIZADORES GLOBALES EN LA TAREA DE LA PARALELIZACION AUTOMATICA ES VITAL PARA LA CONSECUCION DE UNA PARALELIZACION EFECTIVA.
POR ULTIMO, A LA LUZ DE LOS BUENOS RESULTADOS OBTENIDOS SOBRE LA EFECTIVIDAD DE LOS ANALIZADORES DE FLUJO GLOBALES BASADOS EN LA INTERPRETACION ABSTRACTA, SE PRESENTA LA GENERALIZACION DE LAS HERRAMIENTAS DE ANALISIS AL CONTEXTO DE LOS LENGUAJES LOGICOS RESTRICCIONES Y PLANIFICACION DINAMICA.
