A locally-clocked dynamic logic serial/parallel multiplier.
Gregg N. HoyerCarl SechenPublished in: CICC (2000)
Keyphrases
- dynamic logic
- modal logic
- reasoning about actions
- imperative programs
- parallel processing
- propositional dynamic logic
- parallel implementation
- floating point
- massively parallel
- classical first order logic
- interior point methods
- parallel computation
- computer architecture
- neural network
- shared memory
- low power
- distributed memory
- parallel computing
- globally consistent
- first order logic
- sufficient conditions
- natural language