{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:14:11Z","timestamp":1725459251794},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/memcod.2012.6292295","type":"proceedings-article","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T15:45:06Z","timestamp":1347291906000},"page":"11-20","source":"Crossref","is-referenced-by-count":1,"title":["A correlation preserving performance analysis for stream processing systems"],"prefix":"10.1109","author":[{"given":"Gideon","family":"Smeding","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Gossler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.13"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"journal-title":"Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems","year":"2006","author":"wandeler","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484729"},{"key":"16","first-page":"1364","article-title":"Validation of mixed SIGNAL-ALPHA real-time systems through affine calculus on clock synchronisation constraints","author":"smarandache","year":"1999","journal-title":"FM"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1755888.1755895"},{"journal-title":"Interpretations of net theory","year":"1976","author":"petri","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364409"},{"journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet","year":"2001","author":"le boudec","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253607"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0028-x"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289964"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289860"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111054"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_17"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639422"},{"journal-title":"A Practitioner?s Handbook for Real-Time Analysis","year":"1993","author":"harbour","key":"8"}],"event":{"name":"2012 10th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012)","start":{"date-parts":[[2012,7,16]]},"location":"Arlington, VA, USA","end":{"date-parts":[[2012,7,17]]}},"container-title":["Tenth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6287679\/6292291\/06292295.pdf?arnumber=6292295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T20:59:20Z","timestamp":1490129960000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6292295\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/memcod.2012.6292295","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}