{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T00:15:47Z","timestamp":1756167347986,"version":"3.44.0"},"reference-count":4,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/estimedia.2012.6507029","type":"proceedings-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T16:41:24Z","timestamp":1367599284000},"page":"56-56","source":"Crossref","is-referenced-by-count":0,"title":["Sequential specification of time-aware stream processing applications (Extended abstract)"],"prefix":"10.1109","author":[{"given":"Stefan J.","family":"Geuns","sequence":"first","affiliation":[{"name":"University of Twente"}]},{"given":"Joost P.H.M.","family":"Hausmans","sequence":"additional","affiliation":[{"name":"University of Twente"}]},{"given":"Marco J.G.","family":"Bekooij","sequence":"additional","affiliation":[{"name":"University of Twente"}]}],"member":"263","reference":[{"key":"3","article-title":"A survey of automatic distribution method for synchronous programs","volume":"5","author":"girault","year":"2005","journal-title":"International Workshop on Synchronous Languages Applications and Programs SLAP'05"},{"journal-title":"Ada 95 Reference Manual Language and Standard Libraries International Standard ISO\/IEC 8652 1995 (E)","year":"1997","author":"taft","key":"2"},{"journal-title":"Parallelization of while Loops in Nested Loop Programs for Shared-memory Multiprocessor S Ystems","year":"2011","author":"geuns","key":"1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045487"}],"event":{"name":"2012 IEEE 10th Symposium on Embedded Systems for Real-time Multimedia (ESTIMedia)","start":{"date-parts":[[2012,10,11]]},"location":"Tampere, Finland","end":{"date-parts":[[2012,10,12]]}},"container-title":["2012 IEEE 10th Symposium on Embedded Systems for Real-time Multimedia"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6504610\/6507015\/06507029.pdf?arnumber=6507029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:19:20Z","timestamp":1756153160000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6507029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/estimedia.2012.6507029","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}