Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures
No Thumbnail Available
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)