„relaxed memory models“

Suchergebnisse

3 Treffer

• Robustness against Relaxed Memory Models
  Derevenetc, Egor ; Meyer, Roland 2015 Technische Universität Kaiserslautern
• Verifying Optimizations for Concurrent Programs
  Mansky, William ; Gunter, Elsa L. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)
  Boehm, Hans J. ; Goltz, Ursula ; Hermanns, Holger ; Sewell, Peter