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.