An analysis of dynamic scheduling techniques for symbolic applications | IEEE Conference Publication | IEEE Xplore