„linearizability“

Suchergebnisse

74 Treffer

• Linearizability on hardware weak memory models
  Smith, Graeme ; Winter, Kirsten ; Colvin, Robert J.
• Integrability and Linearizability Problems of Three Dimensional Lotka–Volterra Equations of Rank-2
  Aziz, Waleed
• TSO-to-TSO linearizability is undecidable
  Wang, Chao ; Lv, Yi ; Wu, Peng
• Linearizability of Poisson structures around singular symplectic leaves
  Vorobjev, Yu. M.
• Analytic k-Linearizability of Some Resonant Poisson Structures
  Basto-Gonçalves, J. ; Cruz, I.
• On the complexity of linearizability
  Hamza, Jad
• The impact of timing on linearizability in counting networks
  Mavronicolas, Marios ; Papatriantafilu, Marina ; Tsigas, Philippas 1996 MPI Informatik, Bibliothek & Dokumentation
• Verifying a quantitative relaxation of linearizability via refinement
  Adhikari, Kiran ; Street, James ; Wang, Chao ; Liu, Yang ; Zhang, Shaojie
• An execution trace verification method on linearizability
  Dragičević, Kristijan 2011 TUM, Network Architectures and Services
• Verifying a Stack with Hazard Pointers in Temporal Logic
  Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang 2011 Universität Augsburg
• Linearizability and critical period bifurcations of a generalized Riccati system
  Romanovski, Valery G. ; Fernandes, Wilker ; Tang, Yilei ; Tian, Yun
• Local Integrability and Linearizability of a $$(1:-1:-1)$$ ( 1 : - 1 : - 1 ) Resonant Quadratic System
  Dukarić, Maša ; Oliveira, Regilene ; Romanovski, Valery G.
• Relating trace refinement and linearizability
  Smith, Graeme ; Winter, Kirsten
• Linearizability and a fake Lax pair for a nonlinear nonautonomous quad-graph equation consistent around the cube
  Gubbiotti, G. ; Scimiterna, C. ; Levi, D.