First Page | Document Content | |
---|---|---|
Date: 2015-05-22 10:51:47Computing Software engineering Concurrent computing Concurrency control C++ Parallel computing Transaction processing Concurrency Linearizability C++11 Thread POSIX Threads | The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter SewellAdd to Reading ListSource URL: user.it.uu.seDownload Document from Source WebsiteFile Size: 658,70 KBShare Document on Facebook |