Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers.
Jaroslav SevcíkPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- resource consumption
- low level
- automated theorem provers
- high level
- computer algebra
- resource allocation
- solution quality
- data transfer
- single machine scheduling problem
- response time
- scheduling algorithm
- quality of service
- query execution
- processing times
- neural network
- real time
- file system
- query language
- np hard
- lower bound