Reliable Integrity Checking in Multicore Processors.
Arun K. KanuparthiRamesh KarriPublished in: ACM Trans. Archit. Code Optim. (2015)
Keyphrases
- integrity checking
- multicore processors
- integrity constraints
- deductive databases
- computing power
- constraint logic programming
- hard and soft constraints
- operating system
- highly parallel
- parallel algorithm
- parallel architectures
- logic programming
- parallel programming
- query answering
- high end
- fine grained
- software engineering
- object oriented