Scalable and precise refinement of cache timing analysis via path-sensitive verification.

Sudipta Chattopadhyay Abhik Roychoudhury

Published in: Real Time Syst. (2013)

Keyphrases

web scale
data access
cache management
prefetching
main memory
model checking
query processing
shortest path
asynchronous circuits
database
neural network
face verification
databases
lightweight
endpoints
data intensive
highly scalable
refinement process
data sets