{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:38:16Z","timestamp":1725543496670},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/sies.2013.6601499","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T22:04:23Z","timestamp":1380146663000},"page":"259-268","source":"Crossref","is-referenced-by-count":3,"title":["Hardware architecture specification and constraint-based WCET computation"],"prefix":"10.1109","author":[{"given":"Hajer","family":"Herbegue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugues","family":"Casse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Rochange","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_29"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-9205-5"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217570"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"15"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1023\/A:1008807631619","article-title":"Retargetable code generation based on structural processor descriptions. Design automation for embedded systems","author":"leupers","year":"1998","journal-title":"Design Automation for Embedded Systems"},{"key":"13","article-title":"The Ma?lardalen WCET benchmarks - Past, present and future","author":"gustafsson","year":"2010","journal-title":"6th Intl Workshop on Worst-Case Execution Time (WCET) Analysis"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597161"},{"key":"11","article-title":"The nml machine description formalism","author":"freericks","year":"1991","journal-title":"Technical Report 1991\/15"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.073"},{"journal-title":"Processor Description Languages Applications and Methodologies","year":"2008","author":"mishra","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/972627.972633"},{"key":"22","article-title":"Processor modeling for hardware software codesign","author":"rajesh","year":"2000","journal-title":"International Conference on VLSI Design"},{"key":"23","article-title":"A versatile generator of instruction set simulators and disassemblers","author":"ratsiambahotra","year":"2009","journal-title":"Proceedings of the 12th International Conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems (SPECTS)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00904-4_12"},{"key":"25","article-title":"A framework for static analysis of VHDL code","author":"schlickling","year":"2007","journal-title":"Proceedings of 5th International Workshop on Worst-Case Execution Time Analysis"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/314403.314432"},{"journal-title":"Foundations of Constraint Satisfaction (Computation in Cognitive Science)","year":"1993","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356596"},{"journal-title":"Linear Programming Foundations and Extensions","year":"1996","author":"vanderbei","key":"29"},{"journal-title":"Gecode Generic Constraint Development Environment","year":"2006","key":"3"},{"journal-title":"Choco An Open Source Java Constraint Programming Library","year":"0","key":"2"},{"key":"10","article-title":"Fast and efficient cache behavior prediction","author":"ferdinand","year":"1997","journal-title":"Technical Report"},{"journal-title":"aiT Worst-Case Execution Time Analyzers","year":"0","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2011.15"},{"journal-title":"Programming in occam 2","year":"1988","author":"burns","key":"6"},{"journal-title":"Global Constraint Catalog","year":"2005","author":"beldiceanu","key":"5"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-16256-5_6","article-title":"Otawa: An open toolbox for adaptive wcet analysis","author":"ballabriga","year":"2010","journal-title":"Software Technologies for Future Embedded and Ubiquitous Systems (SEUS)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1995.470354"},{"key":"8","article-title":"METAMOC: Modular execution time analysis using model checking","author":"dalsgaard","year":"2010","journal-title":"6th Intl Workshop on Worst-Case Execution Time (WCET) Analysis"}],"event":{"name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2013,6,19]]},"location":"Porto","end":{"date-parts":[[2013,6,21]]}},"container-title":["2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589042\/6601457\/06601499.pdf?arnumber=6601499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:04:19Z","timestamp":1602687859000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6601499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/sies.2013.6601499","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}