1![Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/47ee5d91acbc665de48bb2a25c4259f3.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-04 05:12:57
|
---|
2![Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi](https://www.pdfsearch.io/img/8fcffa9a6e4be791e55c05343db5b4fa.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:44:06
|
---|
3![International Journal of Computer Science and Software Engineering (IJCSSE), Volume 7, Issue 1, January 2018 ISSN (Online): www.IJCSSE.org Page: A Development of Static Analysis Program and Its Applicati International Journal of Computer Science and Software Engineering (IJCSSE), Volume 7, Issue 1, January 2018 ISSN (Online): www.IJCSSE.org Page: A Development of Static Analysis Program and Its Applicati](https://www.pdfsearch.io/img/c5cdd0a73dce9da56cd2a4b9cd96b243.jpg) | Add to Reading ListSource URL: ijcsse.orgLanguage: English - Date: 2018-02-04 11:36:31
|
---|
4![Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan](https://www.pdfsearch.io/img/34b80cb2be3b8809f6f22007bde9e198.jpg) | Add to Reading ListSource URL: manu.sridharan.net- Date: 2018-02-03 20:39:22
|
---|
5![Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad Static Differential Program Analysis for Software-Defined Networks Tim Nelson, Andrew D. Ferguson, and Shriram Krishnamurthi Brown University Abstract. Networks are increasingly controlled by software, and bad](https://www.pdfsearch.io/img/2ba28606ca658fbd438de8ae99fa5379.jpg) | Add to Reading ListSource URL: cs.brown.edu- Date: 2015-04-17 14:02:40
|
---|
6![Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se](https://www.pdfsearch.io/img/076954b32203702fa3ea5c015148badc.jpg) | Add to Reading ListSource URL: qapl17.doc.ic.ac.uk- Date: 2017-04-20 09:16:43
|
---|
7![FSU DEPARTMENT OF COMPUTER SCIENCE Ecient On-the-
y Analysis of Program Behavior and Static Cache Simulation FSU DEPARTMENT OF COMPUTER SCIENCE Ecient On-the-
y Analysis of Program Behavior and Static Cache Simulation](https://www.pdfsearch.io/img/020603a1fffddb41399c166a580e769b.jpg) | Add to Reading ListSource URL: www.cs.fsu.edu- Date: 2016-05-22 07:02:58
|
---|
8![Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks Umer Liqat1,3 Pedro L´ opez-Garc´ıa1,2 Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks Umer Liqat1,3 Pedro L´ opez-Garc´ıa1,2](https://www.pdfsearch.io/img/51abedb34401d54500f2fb7d30ebbd08.jpg) | Add to Reading ListSource URL: www.sci.unich.it- Date: 2017-10-23 05:13:15
|
---|
9![Ecient On-the-
y Analysis of Program? Behavior and Static Cache Simulation Frank Mueller and David B. Whalley Dept. of Computer Science, Florida State University, Tallahassee, FLe-mail: Ecient On-the-
y Analysis of Program? Behavior and Static Cache Simulation Frank Mueller and David B. Whalley Dept. of Computer Science, Florida State University, Tallahassee, FLe-mail:](https://www.pdfsearch.io/img/5ffceb77a2398c4abae5b913b62008b9.jpg) | Add to Reading ListSource URL: www.cs.fsu.edu- Date: 2016-05-21 11:32:34
|
---|
10![Static Program Analysis Mooly Sagiv
Hoare Proof Rules for Partial Correctness {A} skip {A} Static Program Analysis Mooly Sagiv
Hoare Proof Rules for Partial Correctness {A} skip {A}](https://www.pdfsearch.io/img/676500724031b0835f9599a05b17e611.jpg) | Add to Reading ListSource URL: www.cs.tau.ac.il- Date: 2014-04-28 07:30:30
|
---|