Skip to contents

Derevenetc, Egor [Author] ; Meyer, Roland [Degree supervisor]

Robustness against Relaxed Memory Models

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Technische Universität Kaiserslautern, 2015
Petri, Gustavo [Author]; Vitek, Jan [Author]; Jagannathan, Suresh [Author] ; Gustavo Petri and Jan Vitek and Suresh Jagannathan [Contributor]

Cooking the Books: Formalizing JMM Implementation Recipes

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Derevenetc, Egor [Author]

Robustness against Relaxed Memory Models

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 2015
Mansky, William [Author]; Gunter, Elsa L. [Author] ; William Mansky and Elsa L. Gunter [Contributor]

Verifying Optimizations for Concurrent Programs

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Boehm, Hans J. [Author]; Goltz, Ursula [Author]; Hermanns, Holger [Author]; Sewell, Peter [Author] ; Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell [Contributor]

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Lê, Nhat Minh [Author] ; Paris Sciences et Lettres (ComUE) [Contributor]; Cohen, Albert Henri [Contributor]

Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory ; Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2016-12-09
Morisset, Robin [Author] ; Paris Sciences et Lettres (ComUE) [Contributor]; Zappa Nardelli, Francesco [Contributor]

Compiler optimisations and relaxed memory consistency models ; Optimisations des compilateurs et modèles mémoire relâchés

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2017-04-05
Liu, Feng; Nedev, Nayden; Prisadnikov, Nedyalko; Vechev, Martin; Yahav, Eran

Dynamic synthesis for relaxed memory models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: ACM SIGPLAN Notices, 47 (2012) 6, Seite 429-440
Kuperstein, Michael; Vechev, Martin; Yahav, Eran

Partial-coherence abstractions for relaxed memory models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: ACM SIGPLAN Notices, 47 (2012) 6, Seite 187
Kuperstein, Michael; Vechev, Martin; Yahav, Eran

Partial-coherence abstractions for relaxed memory models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2011

Published in: ACM SIGPLAN Notices, 46 (2011) 6, Seite 187-198
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu

Verification of STM on relaxed memory models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2011

Published in: Formal Methods in System Design, 39 (2011) 3, Seite 297-331
Boudol, Gérard; Petri, Gustavo

Relaxed memory models : an operational approach : an operational approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2009

Published in: ACM SIGPLAN Notices, 44 (2009) 1, Seite 392-403
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu

Computer Aided Verification: Software Transactional Memory on Relaxed Memory Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Computer Aided Verification (2009), Seite 321-336
Jagadeesan, Radha; Jeffrey, Alan; Riely, James

Pomsets with preconditions: a simple model of relaxed memory

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2020

Published in: Proceedings of the ACM on Programming Languages, 4 (2020) OOPSLA, Seite 1-30
Zhang, Naling; Kusano, Markus; Wang, Chao

Dynamic partial order reduction for relaxed memory models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2015

Published in: ACM SIGPLAN Notices, 50 (2015) 6, Seite 250-259
Dan, Andrei Marian; Meshman, Yuri; Vechev, Martin; Yahav, Eran

Static Analysis: Predicate Abstraction for Relaxed Memory Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2013

Published in: Static Analysis (2013), Seite 84-104
Linden, Alexander; Wolper, Pierre

Model Checking Software: A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Model Checking Software (2011), Seite 144-160
Linden, Alexander; Wolper, Pierre

Model Checking Software: An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Model Checking Software (2010), Seite 212-226
Jain, Ridhi; Purandare, Rahul; Sharma, Subodh

BiRD: Race Detection in Software Binaries under Relaxed Memory Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2022

Published in: ACM Transactions on Software Engineering and Methodology, 31 (2022) 4, Seite 1-29
Paznikov, Alexey A.

Distributed relaxed queue in remote memory access model designing and diagnostics of computer systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Tomsk State University, 2020

Published in: Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika (2020) 50, Seite 97-105

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication