{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:48:06Z","timestamp":1730342886035,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8715052","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:29:07Z","timestamp":1558042147000},"page":"1715-1720","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic State-Based RT-Analysis of SDFGs on MPSoCs with Shared Memory Communication"],"prefix":"10.23919","author":[{"given":"Ralf","family":"Stemmer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning","family":"Schlender","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maher","family":"Fakih","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Gruttner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2914788"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.1999.811218"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639422"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.30"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465796"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2016.22"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_37"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24310-3_7"},{"key":"ref18","first-page":"14","article-title":"Statistical model checking qos properties of systems with sbip","author":"nouri","year":"2014","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961864"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185065"},{"key":"ref3","article-title":"Analysis, design and management of multimedia multiprocessor systems","author":"kumar","year":"2009","journal-title":"Ph D Dissertation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_34"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2026356"},{"key":"ref7","first-page":"87","article-title":"Timed Automata: Semantics, algorithms and tools","author":"bengtsson","year":"2003","journal-title":"Advanced Course on Petri Nets"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"lee","year":"1987","journal-title":"Proceedings of the IEEE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.04.005"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9015-1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2681076"},{"article-title":"Power and execution time measurement methodology for sdf applications on fpga-based mpsocs","year":"2017","author":"schlaak","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177706645"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177704472"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2019,3,25]]},"location":"Florence, Italy","end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08715052.pdf?arnumber=8715052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T23:49:28Z","timestamp":1559605768000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8715052\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8715052","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}