Login / Signup
POSTER: Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics.
Alberto Ros
Carl Leonardsson
Christos Sakalis
Stefanos Kaxiras
Published in:
PACT (2016)
Keyphrases
</>
optimal solution
domain knowledge
formal semantics
logic programming
cost effective
real world
knowledge base
conceptual graphs