{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:19:17Z","timestamp":1649182757077},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,3,27]],"date-time":"2010-03-27T00:00:00Z","timestamp":1269648000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s10836-010-5145-z","type":"journal-article","created":{"date-parts":[[2010,3,26]],"date-time":"2010-03-26T05:13:47Z","timestamp":1269580427000},"page":"227-242","source":"Crossref","is-referenced-by-count":1,"title":["Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus"],"prefix":"10.1007","volume":"26","author":[{"given":"Bin","family":"Xue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,3,27]]},"reference":[{"key":"5145_CR1","volume-title":"Synchronization and linearity: an algebra for discrete event systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and linearity: an algebra for discrete event systems. Wiley, New York"},{"issue":"1","key":"5145_CR2","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1186\/1687-3963-2007-039161","volume":"2007","author":"J Boucaron","year":"2007","unstructured":"Boucaron J, de Simone R, Millo J-V (2007) Formal methods for scheduling of latency-insensitive designs. EURASIP Embedded J Syst 2007(1):8\u20138","journal-title":"EURASIP Embedded J Syst"},{"key":"5145_CR3","doi-asserted-by":"crossref","unstructured":"Boucaron J, de Simone R, Millo J-V (2006) Latency-insensitive design and central repetitive scheduling. Formal methods and models for co-design, 2006. MEMOCODE \u201906. Proceedings fourth ACM and IEEE international conference on July 2006, pp 175\u2013183","DOI":"10.1109\/MEMCOD.2006.1695923"},{"key":"5145_CR4","first-page":"516","volume":"7","author":"FR Boyer","year":"1998","unstructured":"Boyer FR, Aboulhamid EM, Savaria Y, Boyer M (1998) Optimal design of synchronous circuits using software pipelining techniques. ACM Transact Des Automat Electron Syst 7:516\u2013532","journal-title":"ACM Transact Des Automat Electron Syst"},{"issue":"2","key":"5145_CR5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.entcs.2005.05.036","volume":"146","author":"LP Carloni","year":"2006","unstructured":"Carloni LP (2006) The role of back-pressure in implementing latency-insensitive systems. Electr Notes Theor Comput Sci 146(2):61\u201380","journal-title":"Electr Notes Theor Comput Sci"},{"issue":"9","key":"5145_CR6","first-page":"1305","volume":"79","author":"L Carloni","year":"1991","unstructured":"Carloni L, McMillan K, Sangiovanni-Vincentelli A (1991) Theory of latency-insensitive design. IEEE Trans Comput-aided Des Integr Circuits Syst 79(9):1305\u20131320","journal-title":"IEEE Trans Comput-aided Des Integr Circuits Syst"},{"key":"5145_CR7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/996566.996725","volume-title":"DAC \u201904: proceedings of the 41st annual conference on design automation","author":"MR Casu","year":"2004","unstructured":"Casu MR, Macchiarulo L (2004) A new approach to latency insensitive design. In: DAC \u201904: proceedings of the 41st annual conference on design automation. ACM, New York, pp\u00a0576\u2013581"},{"key":"5145_CR8","doi-asserted-by":"crossref","unstructured":"Cohen A, Duranton M, Eisenbeis C, Pagetti C, Plateau F, Pouzet M (2005) Synchronization of periodic clocks. In: In ACM conf. on embedded software (EMSOFT05)","DOI":"10.1145\/1086228.1086289"},{"key":"5145_CR9","unstructured":"Cohen A, Duranton M, Eisenbeis C, Pagetti C (2006) N-Synchronous Kahn networks - a relaxed model of synchrony for real-time systems. In: ACM international conference on principles of programming languages (POPL06). ACM Press, pp 180\u2013193"},{"key":"5145_CR10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-3-540-89330-1_17","volume-title":"APLAS \u201908: proceedings of the 6th asian symposium on programming languages and systems","author":"A Cohen","year":"2008","unstructured":"Cohen A, Mandel L, Plateau F, Pouzet M (2008) Abstraction of clocks in synchronous data-flow systems. In: APLAS \u201908: proceedings of the 6th asian symposium on programming languages and systems. Springer, Berlin, pp 237\u2013254"},{"key":"5145_CR11","doi-asserted-by":"crossref","unstructured":"Govindarajan R, Gao GR (1993) A novel framework for multi-rate scheduling in dsp applications. Proceedings., International Conference on Application Specific Array Processors, Venice, Italy, 25\u201327 Oct 1993. pp 77\u201388","DOI":"10.1109\/ASAP.1993.397122"},{"key":"5145_CR12","doi-asserted-by":"crossref","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D. The synchronous data-flow programming language LUSTRE. Proc IEEE 79(9):1305\u20131320","DOI":"10.1109\/5.97300"},{"key":"5145_CR13","volume-title":"Combinatorial optimization: networks and matroids","author":"E Lawvere","year":"1976","unstructured":"Lawvere E (1976) Combinatorial optimization: networks and matroids. Holt Rinehart and Winston, New York"},{"issue":"4","key":"5145_CR14","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"5145_CR15","doi-asserted-by":"crossref","unstructured":"Xue B, Shukla SK (2009) Analysis of scheduled latency insensitive systems with periodic clock calculus. In: IEEE high level design validation and test workshop (HLDVT09), San Francisco","DOI":"10.1109\/HLDVT.2009.5340183"},{"issue":"1","key":"5145_CR16","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.entcs.2008.02.004","volume":"200","author":"J You","year":"2008","unstructured":"You J, Xu Y, Han H, Stevens KS (2008) Performance evaluation of elastic gals interfaces and network fabric. Electron. Notes Theor Comput Sci 200(1):17\u201332","journal-title":"Electron. Notes Theor Comput Sci"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-010-5145-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-010-5145-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-010-5145-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T01:57:45Z","timestamp":1559267865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-010-5145-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,27]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["5145"],"URL":"https:\/\/doi.org\/10.1007\/s10836-010-5145-z","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,27]]}}}