Lost in Abstraction: Monotonicity in Multi-threaded Programs.

Alexander Kaiser Daniel Kroening Thomas Wahl

Published in: CONCUR (2014)

Keyphrases

multi threaded
multi core processors
information flow
operating system
high level
computer architecture
computer programs
real time
multithreading
neural network
general purpose
computing resources