A Sound Algorithm for Asynchronous Session Subtyping (extended version).
Mario BravettiMarco CarboneJulien LangeNobuko YoshidaGianluigi ZavattaroPublished in: CoRR (2019)
Keyphrases
- detection algorithm
- improved algorithm
- high accuracy
- computational complexity
- times faster
- experimental evaluation
- simulated annealing
- dynamic programming
- computational cost
- np hard
- cost function
- learning algorithm
- significant improvement
- preprocessing
- memory requirements
- recognition algorithm
- selection algorithm
- experimental study
- optimization algorithm
- hardware implementation
- segmentation algorithm
- convergence rate
- path planning
- matching algorithm
- objective function