Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies.
Charlie BrejPublished in: ACSD (2010)
Keyphrases
- asynchronous circuits
- delay insensitive
- logic programming
- parallel processing
- automatic extraction
- classical logic
- artificial intelligence
- real world
- database
- knowledge extraction
- multi valued
- automatically extracting
- sound and complete axiomatization
- epistemic logic
- predicate logic
- digital circuits
- automated reasoning
- automatically extracted
- modal logic
- machine learning