Adaptive parallel algorithms for the synthesis of real-time computer systems | IEEE Conference Publication | IEEE Xplore