Communication based logic partitioning.
Mark BeardsleeBill LinAlberto L. Sangiovanni-VincentelliPublished in: EURO-DAC (1992)
Keyphrases
- modal logic
- communication systems
- real time
- logic programming
- computer networks
- communication networks
- multi valued
- website
- automated reasoning
- defeasible logic
- communication overhead
- logical framework
- probabilistic logic
- resource constrained
- communication channels
- e learning
- information systems
- artificial intelligence