The top documents tagged [subtle bugs]

Transactional Memory

---

36 views

Partial-coherence abstractions for relaxed memory models

---

52 views

Software Model Checking with SMT

---

66 views