- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2019
- Keyword
-
Memory
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2019
- Creator
-
Chakraborty, Soham
- Contributor
-
Vafeiadis, Viktor
Majumdar, Rupak
- URN
-
urn:nbn:de:hbz:386-kluedo-56979
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Chakraborty, Soham
- Vafeiadis, Viktor
- Majumdar, Rupak
- Technische Universität Kaiserslautern
Time of origin
- 2019
Other Objects (12)
Robustness against Relaxed Memory Models
A formal framework for correct and secure compilation
Concurrency in Main-Memory Database Systems
Program Logic for Weak Memory Concurrency
Scaling up relaxed memory verification with separation logics
On the cost of concurrency in transactional memory
Relaxed superconductors
Ganz schön relaxed…
Fast, efficient and predictable memory accesses : optimization algorithms for memory architecture aware compilation
Compilation
Compilation
Concurrency 88 : proceedings
Robustness against Relaxed Memory Models
A formal framework for correct and secure compilation
Concurrency in Main-Memory Database Systems
Program Logic for Weak Memory Concurrency
Scaling up relaxed memory verification with separation logics
On the cost of concurrency in transactional memory
Relaxed superconductors
Ganz schön relaxed…
Fast, efficient and predictable memory accesses : optimization algorithms for memory architecture aware compilation
Compilation
Compilation
Concurrency 88 : proceedings
Robustness against Relaxed Memory Models
A formal framework for correct and secure compilation
Concurrency in Main-Memory Database Systems
Program Logic for Weak Memory Concurrency
Scaling up relaxed memory verification with separation logics
On the cost of concurrency in transactional memory
Relaxed superconductors
Ganz schön relaxed…
Fast, efficient and predictable memory accesses : optimization algorithms for memory architecture aware compilation
Compilation
Compilation