{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:39:00Z","timestamp":1729615140544,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641430","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T19:14:34Z","timestamp":1224011674000},"page":"105-110","source":"Crossref","is-referenced-by-count":11,"title":["Integrated requirement evaluation of non-functional system-on-chip properties"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Viehl","sequence":"first","affiliation":[]},{"given":"Bjorn","family":"Sander","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Bringmann","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243741"},{"journal-title":"Introduction to Thermal Systems Engineering Thermodynamics Fluid Mechanics and Heat Transfer","year":"2002","author":"moran","key":"17"},{"journal-title":"SystemC Methodologies and Applications","year":"2003","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1027794.1027797"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915081"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268966"},{"key":"12","article-title":"modeling and transformation of temporal environment models","author":"lo?ffler","year":"2008","journal-title":"Study"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337438"},{"key":"20","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/996566.1142984","article-title":"analysis and optimization of distributed realtime embedded systems","author":"pop","year":"2004","journal-title":"DAC '04 Proceedings of the 41st annual conference on Design automation"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484912"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1250886"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/513918.513993"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358016"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1176254.1176325"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/MP.2006.1692283"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.357788"},{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/2.982917"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-0590-8"},{"year":"2007","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253607"},{"key":"6","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1145\/937555.937558","article-title":"model checking stochastic automata","volume":"4","author":"bryans","year":"2003","journal-title":"ACM Trans Comput Logic"},{"key":"5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/280756.280881","article-title":"System-level power estimation and optimization","author":"benini","year":"1998","journal-title":"Proceedings 1998 International Symposium on Low Power Electronics and Design (IEEE Cat No 98TH8379) LPE"},{"key":"4","first-page":"231","author":"benini","year":"2002","journal-title":"A survey of design techniques for system-level dynamic power management"},{"article-title":"an improved block-based thermal model in hotspot 4.0 with granularity considerations","year":"2007","author":"huang","key":"9"},{"journal-title":"CODES+ISSS '04 Transaction level modeling Flows and use models","year":"2004","author":"donlin","key":"8"}],"event":{"name":"Design Languages (FDL)","start":{"date-parts":[[2008,9,23]]},"location":"Stuttgart","end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641430.pdf?arnumber=4641430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T12:01:34Z","timestamp":1684584094000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4641430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641430","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}