Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings.

Nahal Mirzaie Fathiyeh Faghih Swen Jacobs Borzoo Bonakdarpour

Published in: OPODIS (2018)

Keyphrases

program synthesis
database
communication protocol
communication protocols
real world
evolutionary algorithm
texture synthesis
functional programs
face recognition
similarity measure
multiscale
pairwise
security protocols