„weak memory model“

Suchergebnisse

28 Treffer

• Weak Solvability of One Viscoelastic Fractional Dynamics Model of Continuum with Memory
  Zvyagin, V. G. ; Orlov, V. P.
• Equivalence of Weak Solvability of Initial-Boundary Value Problems for the Jeffries-Oldroyd Model and one Integro-Differential System with Memory
  Zvyagin, V. G. ; Orlov, V. P. ; Arsentiev, A. S.
• Parameterized Model Checking on the TSO Weak Memory Model
  Conchon, Sylvain ; Declerck, David ; Zaïdi, Fatiha
• Linearizability on hardware weak memory models
  Smith, Graeme ; Winter, Kirsten ; Colvin, Robert J.
• Modelling Memory Consistency Models for Formal Verification
  Senftleben, Maximilian ; Schneider, Klaus 2019 Technische Universität Kaiserslautern
• Attractors for Weak Solutions of a Regularized Model of Viscoelastic Mediums Motion With Memory in Non-Autonomous Case
  Boldyrev, A. S. ; Zvyagin, V. G.
• Verifying concurrent programs under weak memory models
  Travkin, Oleg 2017 Universitätsbibliothek
• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer