Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources | IEEE Journals & Magazine | IEEE Xplore