A calculus for hardware description.

Sungwoo Park Hyeonseung Im

Published in: J. Funct. Program. (2011)

Keyphrases

low cost
real time
high level
hardware and software
computer systems
computing power
data sets
database
image processing
case study
embedded systems
massively parallel
parallel hardware
computer algebra
processing capabilities
computational power
description logics
information systems
artificial intelligence