Higher-Order Abstraction in Hardware Descriptions with C?aSH.
Marco GerardsChristiaan BaaijJan KuperMatthijs KooijmanPublished in: DSD (2011)
Keyphrases
- higher order
- high level
- low cost
- hardware and software
- real time
- hardware designs
- high order
- natural images
- computer systems
- hardware implementation
- pairwise
- lambda calculus
- image processing
- high end
- low order
- conditional random fields
- markov random field
- personal computer
- computing power
- circuit design
- hardware architecture
- natural language descriptions
- probabilistic model
- processing capabilities
- graphics hardware
- data abstraction
- decision theoretic planning
- parallel hardware
- search algorithm