Notice détaillée
Titre
Bushkov, Victor
Sciper ID
200037
Laboratoires affiliés
LPD
Publications
On the Liveness of Transactional Memory
On the liveness of transactional memory
Safety, Liveness and Parallelism in Concurrent Computing
Safety-Liveness Exclusion in Distributed Computing
Safety-Liveness Exclusion in Distributed Computing
The PCL Theorem. Transactions cannot be Parallel, Consistent and Live.
The PCL Theorem: Transactions cannot be Parallel, Consistent, and Live
On the liveness of transactional memory
Safety, Liveness and Parallelism in Concurrent Computing
Safety-Liveness Exclusion in Distributed Computing
Safety-Liveness Exclusion in Distributed Computing
The PCL Theorem. Transactions cannot be Parallel, Consistent and Live.
The PCL Theorem: Transactions cannot be Parallel, Consistent, and Live
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People