An Assertional Proof of a Lock Synchronization Algorithm Using Fetch and Store Atomic Instruction.
T.-L. HuangJ.-H. LinPublished in: ICPADS (1994)
Keyphrases
- times faster
- improved algorithm
- significant improvement
- probabilistic model
- preprocessing
- computational complexity
- computational cost
- learning algorithm
- classification algorithm
- high accuracy
- objective function
- optimal solution
- recognition algorithm
- convergence rate
- selection algorithm
- neural network
- theoretical analysis
- experimental evaluation
- concurrency control
- particle swarm optimization
- worst case
- dynamic programming
- np hard
- cost function
- similarity measure
- database systems
- genetic algorithm