Design and Implementation of Concurrent C0.

Max Willsey Rokhini Prabhu Frank Pfenning

Published in: LINEARITY (2016)

Keyphrases

efficient implementation
high level synthesis
artificial intelligence
design considerations
design process
architectural design
computer aided
real time
building blocks
databases
knowledge based systems
software engineering
embedded systems
engineering design
design methodology
information systems
social networks