Run-time Requirement Enforcement for Loop Programs on Processor Arrays | IEEE Conference Publication | IEEE Xplore