An analysis of dynamic scheduling techniques for symbolic application