Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations.

Jingshu Chen Marie Duflot Stephan Merz

Published in: CoRR (2014)

Keyphrases

multi threaded
operating system
multi core processors
multithreading
information flow
genetic algorithm
computer architecture
evolutionary algorithm
image annotation