搜索结果: 1-3 共查到“concurrency”相关记录3条 . 查询时间(0.031 秒)
A Capability Calculus for Concurrency and Determinism
Capability Calculus Concurrency Determinism
2016/5/24
We present a capability calculus for checking partial con-fluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previou...
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...