Login / Signup

POSTER: Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics.

Alberto RosCarl LeonardssonChristos SakalisStefanos Kaxiras
Published in: PACT (2016)
Keyphrases
  • optimal solution
  • domain knowledge
  • formal semantics
  • logic programming
  • cost effective
  • real world
  • knowledge base
  • conceptual graphs