Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware | IEEE Journals & Magazine | IEEE Xplore