Login / Signup
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
Roberto Bagnara
Patricia M. Hill
Enea Zaffanella
Published in:
CoRR (2007)
Keyphrases
</>
hardware and software
computer systems
low cost
data analysis
remote monitoring
databases
information systems
distributed systems
database
image processing
monitoring system
efficient implementation
hardware software