A Compositional Method For Verifying Software Transactional Memory

2017 1:18:14
Synopsis
We present a method for verifying software transactional memory (STM) implementations. We decompose the problem by viewing ...

You Might Also Like

ECE 459 Lecture 13: Software Transactional Memory 12:02
Ece 459 Lecture 13: Software Transactional Memory
2021
Software Transactional Memory 9:32
Software Transactional Memory
2016
[OOPSLA] Implementing and Verifying Release-Acquire Transactional Memory in C11 30:08
[oopsla] Implementing And Verifying Release-acquire Transact...
2024
Transactional Memory: Composability & Basic Algorithms 1:12:37
Transactional Memory: Composability & Basic Algorithms
2017
Haskell for Imperative Programmers #30 - Software Transactional Memory (STM) 24:15
Haskell For Imperative Programmers #30 - Software Transactio...
2021
Novel & efficient way to Starvation-Freedom in Multi-Version Software Transactional Memory Systems 20:07
Novel & Efficient Way To Starvation-freedom In Multi-version...
2022
VenkatSubramaniam#5 - Software Transactional Memory 2:07
Venkatsubramaniam#5 - Software Transactional Memory
2014
Model Checking Transactional Memories 51:54
Model Checking Transactional Memories
2017
Introduction to Software Transactional Memory in Haskell 1:03:38
Introduction To Software Transactional Memory In Haskell
2021
Software transactional memory 0:48
Software Transactional Memory
2024
LogTM: Log-based Transactional Memory 1:11:34
Logtm: Log-based Transactional Memory
2017
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.