Sign in

Elastic Bundles: Modelling and Synthesis of Asynchronous Circuits with Granular Rigidity.

Johnson FernandesDanil SokolovAlex Yakovlev
Published in: ASYNC (2017)
Keyphrases
  • asynchronous circuits
  • delay insensitive
  • process algebra
  • point correspondences
  • model checking
  • program synthesis
  • multiscale
  • elastic matching
  • search engine
  • decision trees
  • case study
  • fuzzy sets
  • distributed systems