Semantics-Directed Prototyping of Hardware Runtime Monitors.

William L. Harrison Gerard Allwein

Published in: RSP (2018)

Keyphrases

low cost
real time
logic programming
semantic information
hardware and software
formal semantics
computing power
computing systems
database
data sets
databases
neural network
image processing
keywords
rapid prototyping
vlsi implementation