{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:28:57Z","timestamp":1729675737668,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/syscon.2017.7934708","type":"proceedings-article","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T20:22:08Z","timestamp":1496089328000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Approximation effects and user-controllable design space exploration"],"prefix":"10.1109","author":[{"given":"Haifeng","family":"Zhu","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2016.00297.x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2008.4484040"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337593"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.8"},{"journal-title":"Feature Models Grammars and Propositional Formulas","year":"2005","author":"batory","key":"ref14"},{"key":"ref15","article-title":"A Framework for User Assisted Design Space Exploration","author":"hu","year":"1999","journal-title":"IEEE\/ACM Design Automation Conference (DAC)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146921"},{"journal-title":"SpeedStep","year":"0","key":"ref17"},{"year":"0","key":"ref18"},{"year":"0","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297326"},{"journal-title":"Multi-objective Design Space Exploration of Multiprocessor SoC Architectures","year":"2014","author":"silvano","key":"ref3"},{"key":"ref6","article-title":"The Tradespace Exploration Paradigm","author":"adam","year":"2005","journal-title":"INCOSE International Symposium"},{"journal-title":"Iterative design space exploration and robustness optimization for embedded systems","year":"2008","author":"hamann","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.actaastro.2015.02.011"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20098"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2007.tb02981.x"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21332"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1002\/j.2334-5837.2012.tb01330.x","article-title":"Generic Approach for Systems Design Optimization in MBSE","author":"broodney","year":"2012","journal-title":"INCOSE International Symposium"},{"journal-title":"Matlab","year":"0","key":"ref20"},{"journal-title":"Adaptive Vehicle Make (AVM) portfolioof programs","year":"2011","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-4730(99)00014-4"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"371","DOI":"10.3233\/FI-2009-109","article-title":"Branching bisimilarity with explicit divergence","volume":"93","author":"van glabbeek","year":"2009","journal-title":"Fundamenta Informaticae"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3472-0_16"},{"key":"ref25","article-title":"Assume-guarantee verification for probabilistic systems","author":"kwiatkowska","year":"2010","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"}],"event":{"name":"2017 Annual IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2017,4,24]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2017,4,27]]}},"container-title":["2017 Annual IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7932286\/7934697\/07934708.pdf?arnumber=7934708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,8]],"date-time":"2020-10-08T21:23:39Z","timestamp":1602192219000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7934708\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/syscon.2017.7934708","relation":{},"subject":[],"published":{"date-parts":[[2017,4]]}}}