Login / Signup
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report).
Alexander Kaiser
Daniel Kroening
Thomas Wahl
Published in:
CoRR (2014)
Keyphrases
</>
multi threaded
technical report
operating system
multi core processors
high level
information flow
computer architecture
multithreading
real time
computer programs
neural network
genetic algorithm
fine grained