{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T16:53:59Z","timestamp":1648832039214},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T00:00:00Z","timestamp":1489363200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s10766-017-0496-z","type":"journal-article","created":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:19:38Z","timestamp":1489414778000},"page":"284-312","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Software Static Energy Modeling for Modern Processors"],"prefix":"10.1007","volume":"46","author":[{"given":"Jawad","family":"Haj-Yihia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosi","family":"Ben-Asher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,13]]},"reference":[{"key":"496_CR1","doi-asserted-by":"crossref","unstructured":"McCurdy, C., Marin, G., Vetter, J.S.: Characterizing the impact of prefetching on scientific application performance. In: High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation, pp. 115\u2013135. Springer International Publishing (2014)","DOI":"10.1007\/978-3-319-10214-6_6"},{"key":"496_CR2","doi-asserted-by":"crossref","unstructured":"Reddi, V.J., et al.: Voltage smoothing: characterizing and mitigating voltage noise in production processors via software-guided thread scheduling. In: Microarchitecture (MICRO), 2010 43rd Annual IEEE\/ACM International Symposium on. IEEE (2010)","DOI":"10.1109\/MICRO.2010.35"},{"key":"496_CR3","doi-asserted-by":"crossref","unstructured":"Reddi, V.J., et al.: Voltage emergency prediction: using signatures to reduce operating margins. In: High Performance Computer Architecture, 2009. HPCA 2009. IEEE 15th International Symposium on. IEEE (2009)","DOI":"10.1109\/HPCA.2009.4798233"},{"key":"496_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-71601-5","volume-title":"Power Distribution Networks with On-Chip Decoupling Capacitors","author":"M Popovich","year":"2008","unstructured":"Popovich, M., Mezhiba, A.V., Friedman, E.G.: Power Distribution Networks with On-Chip Decoupling Capacitors. Springer, New York (2008)"},{"key":"496_CR5","doi-asserted-by":"crossref","unstructured":"Lefurgy, C.R., et al.: Active management of timing guardband to save energy in POWER7. In: Proceedings of the 44th Annual IEEE\/ACM International Symposium on Microarchitecture. ACM (2011)","DOI":"10.1145\/2155620.2155622"},{"issue":"4","key":"496_CR6","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/2685393","volume":"11","author":"J Haj-Yihia","year":"2015","unstructured":"Haj-Yihia, J., et al.: Compiler-directed power management for superscalars. ACM Trans. Archit. Code Optim. 11(4), 48 (2015)","journal-title":"ACM Trans. Archit. Code Optim."},{"key":"496_CR7","doi-asserted-by":"crossref","unstructured":"H\u00f6nig, T., et al.: SEEP: exploiting symbolic execution for energy-aware programming. In: Proceedings of the 4th Workshop on Power-Aware Computing and Systems. ACM (2011)","DOI":"10.1145\/2039252.2039256"},{"key":"496_CR8","unstructured":"H\u00f6nig, T., et al.: Proactive energy-aware programming with PEEK. In: 2014 Conference on Timely Results in Operating Systems (TRIOS 14). USENIX (2014)"},{"key":"496_CR9","unstructured":"Een, N., S\u00f6rensson, N.: MiniSat: a SAT solver with conflict-clause minimization. Sat 5, 8 (2005)"},{"key":"496_CR10","doi-asserted-by":"crossref","unstructured":"Tiwari, V., et al.: Instruction level power analysis and optimization of software. In: Journals of VLSI Signal Processing Systems, pp. 223\u2013233 (1996)","DOI":"10.1007\/978-1-4613-1453-0_9"},{"key":"496_CR11","doi-asserted-by":"crossref","unstructured":"Grech, N., et al.: Static analysis of energy consumption for LLVM IR programs. In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems. ACM (2015)","DOI":"10.1145\/2764967.2764974"},{"key":"496_CR12","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. Code Generation and Optimization, CGO 2004. International Symposium on. IEEE (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"496_CR13","doi-asserted-by":"crossref","unstructured":"Borghesi, A., et al.: Power capping in high performance computing systems. In: Principles and Practice of Constraint Programming. Springer International Publishing (2015)","DOI":"10.1007\/978-3-319-23219-5_37"},{"key":"496_CR14","unstructured":"Gustaffson, J., Ermedahl, A., Lisper, B.: Algorithms for infeasible path calculation. In: OASIcs-OpenAccess Series in Informatics, vol. 4. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2006)"},{"issue":"7","key":"496_CR15","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"496_CR16","doi-asserted-by":"crossref","unstructured":"Anand, S., Godefroid, P., Tillmann, N.: Demand-driven compositional symbolic execution. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"496_CR17","doi-asserted-by":"crossref","unstructured":"Ma, K.-K., et al.: Directed symbolic execution. In: Static Analysis, pp. 95\u2013111. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-23702-7_11"},{"key":"496_CR18","doi-asserted-by":"crossref","unstructured":"Staats, M., P\u01ces\u01cereanu, C.: Parallel symbolic execution for structural test generation. In: Proceedings of the 19th International Symposium on Software Testing and Analysis. ACM (2010)","DOI":"10.1145\/1831708.1831732"},{"key":"496_CR19","unstructured":"Lam, P., Bodden, E., Lhot\u00e1k, O., Hendren, L.: The Soot framework for Java program analysis: a retrospective. In: Cetus Users and Compiler Infastructure Workshop (CETUS 2011), vol. 15, p. 35. (2011)"},{"key":"496_CR20","doi-asserted-by":"crossref","unstructured":"Shao, Y.S., Brooks, D.: Energy characterization and instruction-level energy model of Intel\u2019s Xeon Phi processor. In: Proceedings of the International Symposium on Low Power Electronics and Design. IEEE Press (2013)","DOI":"10.1109\/ISLPED.2013.6629328"},{"key":"496_CR21","doi-asserted-by":"crossref","unstructured":"David, H., Gorbatov, E., Hanebutte, U.R., et al.: RAPL: memory power estimation and capping. In: 2010 ACM\/IEEE International Symposium on Low-Power Electronics and Design (ISLPED), pp. 189\u2013194. IEEE (2010)","DOI":"10.1145\/1840845.1840883"},{"key":"496_CR22","first-page":"209","volume":"8","author":"C Cadar","year":"2008","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI 8, 209\u2013224 (2008)","journal-title":"OSDI"},{"key":"496_CR23","unstructured":"Coreutils. \n                        www.gnu.org\/software\/coreutils"},{"issue":"4","key":"496_CR24","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/3018112","volume":"13","author":"J Haj-Yihia","year":"2016","unstructured":"Haj-Yihia, J., Yasin, A., Asher, Y.B., Mendelson, A.: Fine-grain power breakdown of modern out-of-order cores and its implications on Skylake-based systems. ACM Trans. Archit. Code Optim. 13(4), 56 (2016)","journal-title":"ACM Trans. Archit. Code Optim."},{"key":"496_CR25","unstructured":"Intel.: Intel-64 and ia-32 architectures software developer\u2019s manual, Volume 3A: System Programming Guide, Part 1.64 (2013)"},{"issue":"6","key":"496_CR26","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1145\/1809028.1806647","volume":"45","author":"Y Chen","year":"2010","unstructured":"Chen, Y., Huang, Y., Eeckhout, L., Fursin, G., Peng, L., Temam, O., Chengyong, W.: Evaluating iterative optimization across 1000 datasets. ACM Sigplan Notices 45(6), 448\u2013459 (2010)","journal-title":"ACM Sigplan Notices"},{"key":"496_CR27","doi-asserted-by":"crossref","unstructured":"Eeckhout, L., Vandierendonck, H., De Bosschere, K: Workload design: selecting representative program-input pairs. In: Parallel Architectures and Compilation Techniques, 2002. Proceedings. 2002 International Conference on, pp. 83\u201394. IEEE (2002)","DOI":"10.1109\/PACT.2002.1106006"},{"key":"496_CR28","doi-asserted-by":"crossref","unstructured":"Cammarota, R., Nicolau, A., Veidenbaum, A.V., Kejariwal, A., Donato, D., Madhugiri, M.: On the determination of inlining vectors for program optimization. In: International Conference on Compiler Construction, pp. 164\u2013183. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-37051-9_9"},{"issue":"2\u20133","key":"496_CR29","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1008186323068","volume":"17","author":"C Ferdinand","year":"1999","unstructured":"Ferdinand, C., Wilhelm, R.: Efficient and precise cache behavior prediction for real-time systems. Real Time Syst. 17(2\u20133), 131\u2013181 (1999)","journal-title":"Real Time Syst."},{"issue":"4","key":"496_CR30","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/s11241-013-9178-0","volume":"49","author":"S Chattopadhyay","year":"2013","unstructured":"Chattopadhyay, S., Roychoudhury, A.: Scalable and precise refinement of cache timing analysis via path-sensitive verification. Real Time Syst. 49(4), 517\u2013562 (2013)","journal-title":"Real Time Syst."},{"key":"496_CR31","doi-asserted-by":"crossref","unstructured":"Wagemann, P., et al.: Worst-case energy consumption analysis for energy-constrained embedded systems. In: Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS). IEEE (2015)","DOI":"10.1109\/ECRTS.2015.17"},{"key":"496_CR32","doi-asserted-by":"crossref","unstructured":"Brooks, D., Tiwari, V., Martonosi, M.: Wattch: a framework for architectural-level power analysis and optimizations, vol. 28, pp. 83\u201394. ACM (2000)","DOI":"10.1145\/339647.339657"},{"key":"496_CR33","doi-asserted-by":"crossref","unstructured":"Ye, W., Vijaykrishnam, N., Kandemir, M., Irwin, M.: The design and use of simplepower: a cycle accurate energy estimation tool. In: Proceedings of the Design Automation Conference DAC\u201900 (June 2000)","DOI":"10.1145\/337292.337436"},{"issue":"4","key":"496_CR34","first-page":"309","volume":"22","author":"G Fursin","year":"2014","unstructured":"Fursin, G., Miceli, R., Lokhmotov, A., Gerndt, M., Baboulin, M., Malony, A.D., Chamski, Z., Novillo, D., Del Vento, D.: Collective mind: towards practical and collaborative auto-tuning. Sci. Program. 22(4), 309\u2013329 (2014)","journal-title":"Sci. Program."},{"issue":"4","key":"496_CR35","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1145\/1113830.1113835","volume":"4","author":"I Kadayif","year":"2005","unstructured":"Kadayif, I., Kandemir, M., Chen, G., Vijaykrishnan, N., Irwin, M.J., Sivasubramaniam, A.: Compiler-directed high-level energy estimation and optimization. ACM Trans. Embed. Comput. Syst. 4(4), 819\u2013850 (2005)","journal-title":"ACM Trans. Embed. Comput. Syst."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-017-0496-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-017-0496-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-017-0496-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,16]],"date-time":"2018-03-16T05:27:28Z","timestamp":1521178048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-017-0496-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,13]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["496"],"URL":"https:\/\/doi.org\/10.1007\/s10766-017-0496-z","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,13]]}}}