Author:
Li Xianfeng,Liang Yun,Mitra Tulika,Roychoudhury Abhik
Reference26 articles.
1. AbsInt, aiT: Worst case execution time analyzer. http://www.absint.com/ait/, 2005
2. M. Berkelaar, lp_solve: (Mixed Integer) Linear programming problem solver. Available from: ftp://ftp.es.ele.tue.nl/pub/lp_solve
3. D. Burger, T. Austin, The SimpleScalar Tool Set, Version 2.0, Technical Report CS-TR-1997-1342, University of Wisconsin, Madison. http://www.simplescalar.com/docs/users_guide_v2.pdf, Jun. 1997
4. P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: ACM Symposium on Principles of Programming Languages, 1977
5. CPLEX, The ILOG CPLEX Optimizer v7.5, commercial software. http://www.ilog.com, 2002
Cited by
115 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献