Bringing Hardware and Software Closer Together with Termination Analysis.

Published in: MEMOCODE (2007)

Keyphrases

hardware and software
termination analysis
active rules
active databases
abstract interpretation
low cost
computer systems
hardware software
smart card
hardware software co design
static analysis
object oriented databases
query evaluation
remote monitoring
integrity constraints
case study
machine learning