Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures
Files
Date
2015
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
1202-1216 p. ; 714ko.
Keywords
Quasilinéarisation, Equations différentielles non linéaires : Solutions numériques, Compilateur LLVM, Code source, Compilation (informatique)