Automatic Synthesis of Parallel Programs Targeted to Dynamically Reconfigurable Logic Arrays.
Maya B. GokhaleAaron MarksPublished in: FPL (1995)
Keyphrases
- functional programs
- logic synthesis
- parallel processing
- high level programming language
- recursive programs
- logic programming
- dynamic logic
- program synthesis
- distributed memory
- data sets
- multi valued
- computer programs
- classical logic
- parallel execution
- modal logic
- fully automatic
- sorting algorithms
- semi automatic
- logic programs
- multi agent systems