Extensible transactional memory testbed (Q666242): Difference between revisions

@@ Property / describes a project that uses @@
+veriSoft
@@ Property / describes a project that uses: veriSoft / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eraser
@@ Property / describes a project that uses: Eraser / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STMBench7
@@ Property / describes a project that uses: STMBench7 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+tm_db
@@ Property / describes a project that uses: tm_db / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2169135994
@@ Property / OpenAlex ID: W2169135994 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of transactional memory and automatic mutual exclusion
+Normal rank
@@ Property / cites work @@
+Q4533586
@@ Property / cites work: Q4533586 / rank @@
+Normal rank
@@ Property / cites work @@
+Executing Java programs with transactional memory
@@ Property / cites work: Executing Java programs with transactional memory / rank @@
+Normal rank
@@ Property / cites work @@
+Privatization techniques for software transactional memory
+Normal rank
@@ Property / cites work @@
+The semantics of progress in lock-based transactional memory
+Normal rank
@@ Property / cites work @@
+Framework for testing multi‐threaded Java programs
+Normal rank
@@ Property / cites work @@
+Elastic Transactions
@@ Property / cites work: Elastic Transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274970
@@ Property / cites work: Q4274970 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and Nondeterminism in Model Checking Transactional Memories
+Normal rank
@@ Property / cites work @@
+Software Transactional Memory on Relaxed Memory Models
+Normal rank
@@ Property / cites work @@
+Toward a theory of transactional contention managers
+Normal rank
@@ Property / cites work @@
+Extensible transactional memory testbed
@@ Property / cites work: Extensible transactional memory testbed / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ Property / cites work @@
+A Lazy Snapshot Algorithm with Eager Validation
@@ Property / cites work: A Lazy Snapshot Algorithm with Eager Validation / rank @@
+Normal rank
@@ Property / cites work @@
+From causal to z-linearizable transactional memory
+Normal rank