„weak memory model“

Suchergebnisse

1.000+ Treffer

• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
• Store buffer reduction theorem and application
  Chen, Geng ; Paul, Wolfgang J. 2016 Saarländische Universitäts- und Landesbibliothek
• Weak Solvability of the Initial Boundary Value Problem for the Voigt Model with a Smoothed Jaumann Time Derivative Taking into Account the Memory of Fluid Motion
  Zvyagin, V. G. ; Zvyagin, A. V. ; Orlov, V. P. ; Turbin, M. V.
• What Cannot Be Implemented on Weak Memory?
  Castañeda, Armando ; Chockler, Gregory ; Dongol, Brijesh ; Lahav, Ori 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automating Memory Model Metatheory with Intersections
  Koutsouridis, Aristotelis ; Kokologiannakis, Michalis ; Vafeiadis, Viktor 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)
  Kaiser, Jan-Oliver ; Dang, Hoang-Hai ; Dreyer, Derek ; Lahav, Ori ; Vafeiadis, Viktor
• Consistency Models with Global Operation Sequencing and their Composition
  Gotsman, Alexey ; Burckhardt, Sebastian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Promising Compilation to ARMv8 POP
  Podkopaev, Anton ; Lahav, Ori ; Vafeiadis, Viktor 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
  Kaiser, Jan-Oliver ; Dang, Hoang-Hai ; Dreyer, Derek ; Lahav, Ori ; Vafeiadis, Viktor 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Benefits of Duality in Verifying Concurrent Programs under TSO
  Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Ngo, Tuan Phong 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of Persistent Programming (Dagstuhl Seminar 21462)
  Boehm, Hans-J. ; Lahav, Ori ; Raad, Azalea
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• On the Weak Solvability of a Mathematical Model Describing the Motion of Polymer Solutions with Memory
  Zvyagin, A. V. ; Strukov, M. I.
• Targeted memory reactivation with sleep disruption does not weaken week-old memories
  Whitmore, Nathan W. ; Yamazaki, Erika M. ; Paller, Ken A.
• The Path to Durable Linearizability
  D'Osualdo, Emanuele ; Raad, Azalea ; Vafeiadis, Viktor 2023 KOPS Universität Konstanz
• Automated Reasoning under Weak Memory Consistency
  Kokologiannakis, Michail ; Vafeiadis, Viktor 2024 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Investigation of the Weak Solvability of One Fractional Model with Infinite Memory
  Zvyagin, V. G. ; Kostenko, E. I.
• Modeling, simulation and experimental exploration of metal magnetic memory under weak magnetic excitation
  Liu, Bo ; Zhang, Juwei ; Zhang, Zengguang
• Dynamical Responses of Chaotic Memory Dynamics to Weak Input in a Recurrent Neural Network Model
  Mikami, S. ; Nara, S.
• Safety and security of software systems – logics, proofs, applications : post-proceedings of the Summer School Marktoberdorf
  Seidl, Helmut 2020 TUM.University Press