{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:32Z","timestamp":1750306172367,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1145\/2968478.2968500","type":"proceedings-article","created":{"date-parts":[[2016,10,12]],"date-time":"2016-10-12T18:34:04Z","timestamp":1476297244000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Energy and timing aware synchronous programming"],"prefix":"10.1145","author":[{"given":"JiaJie","family":"Wang","sequence":"first","affiliation":[{"name":"University of Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patha S.","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Girault","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"a model based solution for safety critical software development,\" in Proceedings of European Congress on Embedded Real Time Software (ERTS)","author":"Dormoy F. X.","year":"2008","unstructured":"F. X. Dormoy , \"S CADE 6 : a model based solution for safety critical software development,\" in Proceedings of European Congress on Embedded Real Time Software (ERTS) , 2008 , pp. 1 -- 9 . F. X. Dormoy, \"SCADE 6: a model based solution for safety critical software development,\" in Proceedings of European Congress on Embedded Real Time Software (ERTS), 2008, pp. 1--9."},{"key":"e_1_3_2_1_3_1","first-page":"8","volume-title":"Towards certifiable software for medical devices: The pacemaker case study revisited,\" in Proceedings of International Workshop on Harnessing Theories for Tool Support in Software (TTSS)","author":"Huhn M.","year":"2011","unstructured":"M. Huhn and S. Bessling , \" Towards certifiable software for medical devices: The pacemaker case study revisited,\" in Proceedings of International Workshop on Harnessing Theories for Tool Support in Software (TTSS) , 2011 , pp. 8 -- 14 . M. Huhn and S. Bessling, \"Towards certifiable software for medical devices: The pacemaker case study revisited,\" in Proceedings of International Workshop on Harnessing Theories for Tool Support in Software (TTSS), 2011, pp. 8--14."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024837"},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"ILPc: A novel approach for scalable timing analysis of synchronous programs,\" in Proceedings of the international conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES)","author":"Wang J. J.","year":"2013","unstructured":"J. J. Wang , P. S. Roop , and S. Andalam , \" ILPc: A novel approach for scalable timing analysis of synchronous programs,\" in Proceedings of the international conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) , 2013 , pp. 1 -- 10 . J. J. Wang, P. S. Roop, and S. Andalam, \"ILPc: A novel approach for scalable timing analysis of synchronous programs,\" in Proceedings of the international conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2013, pp. 1--10."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9219-y"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.49"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.48"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132361"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781138"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147003"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996597"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255464"},{"key":"e_1_3_2_1_14_1","first-page":"219","volume-title":"Performance comparison of dynamic voltage scaling algorithms for hard real-time systems,\" in Proceedings of Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"Kim W.","year":"2002","unstructured":"W. Kim , D. Shin , H.-S. Yun , J. Kim , and S. L. Min , \" Performance comparison of dynamic voltage scaling algorithms for hard real-time systems,\" in Proceedings of Real-Time and Embedded Technology and Applications Symposium (RTAS) , 2002 , pp. 219 -- 228 . W. Kim, D. Shin, H.-S. Yun, J. Kim, and S. L. Min, \"Performance comparison of dynamic voltage scaling algorithms for hard real-time systems,\" in Proceedings of Real-Time and Embedded Technology and Applications Symposium (RTAS), 2002, pp. 219--228."},{"key":"e_1_3_2_1_15_1","first-page":"296","article-title":"On a bicriterion formulation of the problems of integrated system identification and system optimization","volume":"1","author":"Haimes Y.","year":"1971","unstructured":"Y. Haimes , L. Lasdon , and D. Wismer , \" On a bicriterion formulation of the problems of integrated system identification and system optimization ,\" IEEE Transactions on Systems, Man, and Cybernetics , vol. 1 , pp. 296 -- 297 , 1971 . Y. Haimes, L. Lasdon, and D. Wismer, \"On a bicriterion formulation of the problems of integrated system identification and system optimization,\" IEEE Transactions on Systems, Man, and Cybernetics, vol. 1, pp. 296--297, 1971.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2011.01.004"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.28"},{"key":"e_1_3_2_1_18_1","first-page":"288","volume-title":"Energy efficient CMOS microprocessor design,\" in Proceedings of Hawaii International Conference on System Sciences (HICSS)","author":"Burd T. D.","year":"1995","unstructured":"T. D. Burd and R. W. Brodersen , \" Energy efficient CMOS microprocessor design,\" in Proceedings of Hawaii International Conference on System Sciences (HICSS) , vol. 1 , 1995 , pp. 288 -- 297 . T. D. Burd and R. W. Brodersen, \"Energy efficient CMOS microprocessor design,\" in Proceedings of Hawaii International Conference on System Sciences (HICSS), vol. 1, 1995, pp. 288--297."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656046"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362336.2362345"}],"event":{"name":"ESWEEK'16: TWELFTH EMBEDDED SYSTEM WEEK","acronym":"ESWEEK'16","location":"Pittsburgh Pennsylvania"},"container-title":["Proceedings of the 13th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2968478.2968500","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2968478.2968500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:40:11Z","timestamp":1750218011000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2968478.2968500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":20,"alternative-id":["10.1145\/2968478.2968500","10.1145\/2968478"],"URL":"https:\/\/doi.org\/10.1145\/2968478.2968500","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]},"assertion":[{"value":"2016-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}