First Page | Document Content | |
---|---|---|
Date: 2011-09-30 00:00:00Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control Transaction processing Computing | Model checking transactional memory John O’Leary Intel Bratin Saha IntelAdd to Reading ListSource URL: www.markrtuttle.comDownload Document from Source WebsiteFile Size: 47,95 KBShare Document on Facebook |