Parallel protocol verification using the two-phase algorithm.
Maria C. YuangAaron KershenbaumPublished in: COMPSAC (1989)
Keyphrases
- computational complexity
- parallel implementation
- matching algorithm
- learning algorithm
- preprocessing
- detection algorithm
- cost function
- worst case
- experimental evaluation
- search space
- np hard
- dynamic programming
- improved algorithm
- computational cost
- data sets
- particle swarm optimization
- evolutionary algorithm
- lower bound
- convergence rate
- recognition algorithm
- objective function
- hardware implementation
- genetic algorithm