SPEED: precise and efficient static estimation of program computational complexity.
Sumit GulwaniKrishna K. MehraTrishul M. ChilimbiPublished in: POPL (2009)
Keyphrases
- case study
- computational complexity
- real time
- lightweight
- data structure
- parameter estimation
- high computational complexity
- accurate estimation
- static analysis
- computer programs
- storage requirements
- computational efficiency
- rate distortion
- logic programs
- high speed
- information systems
- artificial intelligence
- neural network