„lock-freedom“

Suchergebnisse

1.000+ Treffer

• Über das Schicksal
  Cicero, Marcus Tullius ; Weidemann, Hermann 2019 De Gruyter
• Journey to freedom/Locked Up – Journey to Freedom
  Schulz, Miriam 2024 epubli
• The History of Philosophy – Myth, Mind, Modernity (Pocketbook Edition)
  de Haan, Auke 2025 epubli
• Temporal logic verification of lock-freedom
  Tofan, Bogdan ; Bäumler, Simon ; Schellhorn, Gerhard ; Reif, Wolfgang ; Bolduc, Claude ; Desharnais, Jules ; Ktari, Béchir 2010 Universität Augsburg
• The History of Philosophy – Myth, Mind, Modernity (Pocketbook Edition)
  de Haan, Auke 2025 epubli
• Eingriffe in den Internet-Datenverkehr zur Durchsetzung des Urheberrechts
  Fokken, Martin 2021 Humboldt-Universität zu Berlin
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• Lockdown of expression: civic space restrictions during the COVID-19 pandemic as a response to mass protests
  Bethke, Felix S. ; Wolff, Jonas 2023 Universitätsbibliothek Johann Christian Senckenberg
• Local rely-guarantee conditions for linearizability and lock-freedom
  Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang ; Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2011 Universität Augsburg
• Strong Linearizability Without Compare&Swap: The Case of Bags
  Ellen, Faith ; Sela, Gal 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robert Lockie: Free Will and Epistemology. A Defence of the Transcendental Argument for Freedom – London: Bloomsbury Academic, 2018. Hardback (ISBN:978-1-3500-2904-0), €103.30. 303+xiii pp
  Bernáth, László
• Robert Lockie: Free Will and Epistemology. A Defence of the Transcendental Argument for Freedom
  Johansson, Ingvar
• Mendelssohn, Kant, and Religious Liberty
  Guyer, Paul
• Embedding Rely-Guarantee Reasoning in Temporal Logic
  Tofan, Bogdan ; Schellhorn, Gerhard ; Bäumler, Simon ; Reif, Wolfgang 2010 Universität Augsburg
• Verifying Linearizability and Lock-Freedom with Temporal Logic
  Tofan, Bogdan ; Bäumler, Simon ; Schellhorn, Gerhard ; Reif, Wolfgang 2009 Universität Augsburg
• Strongly Linearizable Linked List and Queue
  Hwang, Steven Munsu ; Woelfel, Philipp 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation
  Sheffi, Gali ; Ramalhete, Pedro ; Petrank, Erez 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Recoverable Computing (Invited Talk)
  Fatourou, Panagiota 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• VBR: Version Based Reclamation
  Sheffi, Gali ; Herlihy, Maurice ; Petrank, Erez 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Press freedom and stringency measures: the role of energy consumption during COVID-19 lockdowns
  Bhattacharya, Madhumita ; Yan, Eric