Login / Signup
State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version).
Bengt Jonsson
Published in:
SIGARCH Comput. Archit. News (2008)
Keyphrases
</>
state space
preliminary version
data structure
computational complexity
significant improvement
computational cost
memory requirements
learning algorithm
reinforcement learning
theoretical analysis
orders of magnitude
computationally efficient
heuristic search
memory usage