[ACM Press the 2014 CoNEXT - Sydney, Australia (2014.12.02-2014.12.02)] Proceedings of the 2014 CoNEXT on Student Workshop - CoNEXT Student Workshop '14 - Profiling Energy Consumption in a Residential Campus
- 作者Sial, Ankur; Jain, Abhishek; Singh, Amarjeet; Mahanti, Aniket
- 文件大小465.76KB
- 发表时间2014
- DOI10.1145/2680821.2680827
- 页码15-17
[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - SWINLi, Jun; Wang, Chenglong; Xiong, Yingfei; Hu, Zhenjiang · 2015
[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Linearly Ordered Attribute Grammarsvan Binsbergen, L. Thomas; Bransen, Jeroen; Dijkstra, Atze · 2015
[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Generalising Tree Traversals to DAGsBahr, Patrick; Axelsson, Emil · 2015
[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Safe Concurrency Introduction through SlicingLi, Huiqing; Thompson, Simon · 2015
[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Constraint Specialisation in Horn Clause VerificationKafle, Bishoksan; Gallagher, John P. · 2015
[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Incremental Evaluation of Higher Order AttributesBransen, Jeroen; Dijkstra, Atze; Swierstra, S. Doaitse · 2015
[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Static Backward Demand-Driven SlicingLisper, Björn; Masud, Abu Naser; Khanfar, Husni · 2015
Web Verification: Perspective and ChallengesShriram Krishnamurthi · 2006
FlapjaxMeyerovich, Leo A.; Guha, Arjun; Baskin, Jacob; Cooper, Gregory H.; Greenberg, Michael; Bromfield, Aleks; Krishnamurthi, Shriram · ACM SIGPLAN Notices · 2009
The real software crisisKrishnamurthi, Shriram; Vitek, Jan · Communications of the ACM · 2015
An introduction to SchemeKrishnamurthi, Shriram · Crossroads · 1994
Artifact evaluation for software conferencesKrishnamurthi, Shriram · ACM SIGPLAN Notices · 2013
ResugaringPombrio, Justin; Krishnamurthi, Shriram · ACM SIGPLAN Notices · 2014
Discussion summaryKrishnamurthi, Shriram; Bultan, Tevfik · ACM SIGSOFT Software Engineering Notes · 2005
Verifying aspect advice modularlyKrishnamurthi, Shriram; Fisler, Kathi; Greenberg, Michael · ACM SIGSOFT Software Engineering Notes · 2004