Run-time Requirement Enforcement for Loop Programs on Processor Arrays.

Michael Witterauf Jürgen Teich

Published in: MEMOCODE (2018)

Keyphrases

access control
database
high speed
automatic programming
programming environment
central processing unit
control program
single chip
parallel processing
computer architecture
computer programs
high end
answer sets
parallel architecture
program execution
source code
programs written
functional verification
databases