搜索结果: 1-2 共查到“计算机科学技术 Concurrency Control”相关记录2条 . 查询时间(0.114 秒)
Using Formal Methods to Verify Transactional Abstract Concurrency Control
Transactional Memory Formal Verification SAT
2014/12/18
Concurrent application design and implementation is more important than ever in today's multi-core processor world. Transactional Memory (TM) Concurrent application design and implementation is more i...
Performance Modeling of an Enhanced Optimistic Locking Architecture for Concurrency Control in a Distributed Database System
Performance Modeling an Enhanced Optimistic Locking Architecture Concurrency Control a Distributed Database System
2014/3/12
Optimistic methods of concurrency control are gaining popularity. This is especially true with the resurgence of mobile and distributed databases during the last decade, which inherently rely on optim...