Modelado y autooptimización en esquemas paralelos de backtracking

Abstract

En este trabajo se estudia el modelado del tiempo de ejecuci´on de esquemas paralelos de backtracking. Se estudian diferentes esquemas de programaci ´on identificando par´ametros que influyen en el tiempo de ejecuci´on. Se propone una metodolog´ıa de optimizaci´on basada en la selecci´on autom´atica de par´ametros para obtener ejecuciones con un tiempo reducido. Se estudian las propiedades que deber´ıa tener un esquema algor´ıtmico secuencial de backtracking para poder realizar internamente la paralelizaci´on. De esta manera se pretende abstraer a los usuarios finales de las complejidades de la programaci´on paralela.