{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:30:44Z","timestamp":1725719444759},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/samos.2013.6621117","type":"proceedings-article","created":{"date-parts":[[2013,10,12]],"date-time":"2013-10-12T02:59:08Z","timestamp":1381546748000},"page":"145-154","source":"Crossref","is-referenced-by-count":3,"title":["Stochastic modeling and performance analysis of multimedia SoCs"],"prefix":"10.1109","author":[{"given":"Balaji","family":"Raman","sequence":"first","affiliation":[]},{"given":"Ayoub","family":"Nouri","sequence":"additional","affiliation":[]},{"given":"Deepak","family":"Gangadharan","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"Ananda","family":"Basu","sequence":"additional","affiliation":[]},{"given":"Mayur","family":"Maheshwari","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1331331.1331334"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337553"},{"journal-title":"Application-specific Workload Shaping in Resource-constrained Media Players","year":"2010","author":"raman","key":"18"},{"journal-title":"A Free MPEG2 Video Stream Decoder","year":"2006","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065645"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1276920.1276922"},{"key":"14","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","article-title":"Statistical model checking: An overview","author":"legay","year":"2010","journal-title":"Proc of the International Conference on Runtime Verification (RV)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/258612.258688"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89740-8_9"},{"key":"21","article-title":"A general stochastic framework for low-cost design of multimedia SoCs","author":"raman","year":"2012","journal-title":"Technical Report TR-2012-7 Verimag Research Report"},{"key":"20","doi-asserted-by":"crossref","first-page":"738","DOI":"10.1145\/1278480.1278664","article-title":"reducing data-memory footprint of multimedia applications by delay redistribution","author":"raman","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039398"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967028"},{"key":"24","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","article-title":"Statistical model checking of black-box probabilistic systems","author":"sen","year":"2004","journal-title":"Proc of International Conference on Computer Aided Verification (CAV)"},{"journal-title":"MPEG Elementary Streams","year":"1996","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177731118"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/BF00429748"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923077"},{"journal-title":"Verification and Planning for Stochastic Precess with Asynchronous Events","year":"2005","author":"younes","key":"29"},{"key":"3","first-page":"3","article-title":"Modeling heterogeneous real-time systems in BIP","author":"basu","year":"2006","journal-title":"SEFM'04 Proceedings of the Software Engineering and Formal Methods"},{"key":"2","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-642-13464-7_4","article-title":"Statistical abstraction and model-checking of large heterogeneous systems","author":"basu","year":"2010","journal-title":"Proc of the International Joint Conference on Formal Techniques for Distributed Systems (FMOODS\/FORTE)"},{"journal-title":"Stochastic Network Calculus","year":"2008","author":"jiang","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364409"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1188275.1188277"},{"key":"6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","article-title":"Approximate probabilistic model checking","author":"he?rault","year":"2004","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"4","first-page":"327","article-title":"Statistical model checking QoS properties of systems with SBIP","author":"bensalem","year":"2012","journal-title":"ISoLA (1)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/49.611159"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5654114"}],"event":{"name":"2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII)","start":{"date-parts":[[2013,7,15]]},"location":"Agios konstantinos, Samos Island, Greece","end":{"date-parts":[[2013,7,18]]}},"container-title":["2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6601057\/6621089\/06621117.pdf?arnumber=6621117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:25:21Z","timestamp":1602689121000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6621117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/samos.2013.6621117","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}