Login / Signup
External Memory Search for Verification of Multi-threaded C++ Programs.
Stefan Edelkamp
Shahid Jabbar
Dino Midzic
Daniel Rikowski
Damian Sulewski
Published in:
Künstliche Intell. (2008)
Keyphrases
</>
multi threaded
external memory
main memory
memory space
search space
data structure
memory efficient
multithreading
multi core processors
database
information flow