On Scheduling Constraint Abstraction for Multi-Threaded Program Verification.

Liangze Yin Wei Dong Wanwei Liu Ji Wang

Published in: IEEE Trans. Software Eng. (2020)

Keyphrases

multi threaded
scheduling problem
multi core processors
operating system
computer architecture
information flow
multithreading
high level
real time
resource allocation
information systems
parallel machines
graph cuts
parallel processing