Are hardware performance counters a cost effective way for integrity checking of programs.
Corey MaloneMohamed ZahranRamesh KarriPublished in: STC@CCS (2011)
Keyphrases
- cost effective
- integrity checking
- low cost
- integrity constraints
- deductive databases
- fixpoint
- control program
- hard and soft constraints
- cost effectiveness
- constraint logic programming
- semantic query optimization
- real time
- hardware designs
- high level programming
- query answering
- floating point
- data center
- query evaluation
- data acquisition
- logic programming
- logic programs
- relational databases
- search algorithm
- databases
- database