Parallel Protocol Verification: The Two-Phase Algorithm.
Maria C. YuangAaron KershenbaumPublished in: PSTV (1989)
Keyphrases
- detection algorithm
- learning algorithm
- improved algorithm
- dynamic programming
- high accuracy
- similarity measure
- computational complexity
- parallel implementation
- cost function
- optimal solution
- significant improvement
- experimental evaluation
- input data
- computational cost
- matching algorithm
- optimization algorithm
- preprocessing
- worst case
- particle swarm optimization
- expectation maximization
- neural network
- np hard
- k means
- convergence rate
- search space
- formal methods
- parallel computation