A logic sharing synthesis tool for mutually exclusive applications.
Alp KiliçZied MarrakchiMatthieu TunaHabib MehrezPublished in: DTIS (2012)
Keyphrases
- software tools
- case study
- modal logic
- video sequences
- logic programming
- information sharing
- texture synthesis
- classical logic
- default logic
- program synthesis
- asynchronous circuits
- deontic logic
- digital circuits
- computational properties
- multiple users
- multi valued
- analysis tool
- data sets
- control system
- search algorithm
- image sequences
- neural network