Synthesis of Reo circuits from scenario-based interaction specifications.
Sun MengFarhad ArbabChristel BaierPublished in: Sci. Comput. Program. (2011)
Keyphrases
- delay insensitive
- analog circuits
- logic synthesis
- data sets
- program synthesis
- high speed
- high level
- user interaction
- formal specification
- digital circuits
- asynchronous circuits
- learning algorithm
- video sequences
- knowledge base
- human computer interaction
- texture synthesis
- information systems
- artificial intelligence
- real time