Search Results - Leonardsson, Carl

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Mending fences with self-invalidation and self-downgrade

    Mending fences with self-invalidation and self-downgrade by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Kaxiras, Stefanos, Leonardsson, Carl, Ros, Alberto, Zhu, Yunyun

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics

    Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics by Ros, Alberto, Leonardsson, Carl, Sakalis, Christos, Kaxiras, Stefanos

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Stateless model checking for TSO and PSO

    Stateless model checking for TSO and PSO by Abdulla, Parosh Aziz, Aronis, Stavros, Atig, Mohamed Faouzi, Jonsson, Bengt, Leonardsson, Carl, Sagonas, Konstantinos

    Published in Acta informatica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Mending Fences with Self-Invalidation and Self-Downgrade

    Mending Fences with Self-Invalidation and Self-Downgrade by Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Kaxiras, Stefanos, Leonardsson, Carl, Ros, Alberto, Zhu, Yunyun

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Stateless Model Checking for POWER

    Stateless Model Checking for POWER by Parosh Aziz Abdulla, Atig, Mohamed Faouzi, Jonsson, Bengt, Leonardsson, Carl

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Stateless Model Checking for TSO and PSO

    Stateless Model Checking for TSO and PSO by Abdulla, Parosh, Aronis, Stavros, Atig, Mohammed Faouzi, Jonsson, Bengt, Leonardsson, Carl, Sagonas, Konstantinos

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: