Block Unification IF-conversion for High Performance Architectures.
Nadav RotemYosi Ben-AsherPublished in: IEEE Comput. Archit. Lett. (2014)
Keyphrases
- theorem proving
- image blocks
- higher order
- scientific computing
- parallel computers
- high reliability
- fixed size
- theorem prover
- row column
- block wise
- database
- cost effective
- information systems
- machine learning
- neural network
- binary images
- signal processing
- multiscale
- high efficiency
- dct coefficients
- bayesian networks
- block size
- image processing
- search engine
- array processor
- databases