Reversible Pebbling Game for Quantum Memory Management.

Giulia Meuli Mathias Soeken Martin Roetteler Nikolaj Bjørner Giovanni De Micheli

Published in: CoRR (2019)

Keyphrases

memory management
operating system
hardware implementation
clause learning
garbage collection
cellular automata
parallel computation
java virtual machine
image processing
signal processing
general purpose
data processing
computing environments