Parallel Protocol Verification: The Two-Phase Algorithm and Complexity Analysis.
Maria C. YuangAaron KershenbaumPublished in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
- complexity analysis
- theoretical analysis
- experimental evaluation
- recognition algorithm
- k means
- learning algorithm
- computational complexity
- search space
- computational cost
- probabilistic model
- segmentation algorithm
- objective function
- cost function
- parallel implementation
- detection algorithm
- improved algorithm
- verification method
- parallel processing
- times faster
- input data
- optimal solution
- similarity measure
- lightweight
- optimization algorithm
- worst case
- convergence rate
- dynamic programming
- significant improvement
- image sequences
- formal analysis
- neural network