NP-completeness of the bulk synchronous task scheduling problem and its approximation algorithm | IEEE Conference Publication | IEEE Xplore