Lost in abstraction: Monotonicity in multi-threaded programs.

Alexander Kaiser Daniel Kroening Thomas Wahl

Published in: Inf. Comput. (2017)

Keyphrases

multi threaded
multi core processors
operating system
high level
information flow
computer architecture
computer programs
multithreading
real time
artificial intelligence
evolutionary algorithm
information systems
database systems
computer systems
message passing