{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:27:54Z","timestamp":1762522074181,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319662831"},{"type":"electronic","value":"9783319662848"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66284-8_39","type":"book-chapter","created":{"date-parts":[[2017,9,2]],"date-time":"2017-09-02T08:14:30Z","timestamp":1504340070000},"page":"462-476","source":"Crossref","is-referenced-by-count":2,"title":["Towards Component-Based (max,+) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models"],"prefix":"10.1007","author":[{"given":"Mladen","family":"Skelin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"39_CR1","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and linearity: an algebra for discrete event systems (2001). https:\/\/www.rocq.inria.fr\/metalau\/cohen\/SED\/book-online.html"},{"key":"39_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-30113-4_7","volume-title":"Predictable Embedded Multiprocessor System Design","author":"M Bekooij","year":"2004","unstructured":"Bekooij, M., Moreira, O., Poplavko, P., Mesman, B., Pastrnak, M., van Meerbergen, J.: Predictable Embedded Multiprocessor System Design, pp. 77\u201391. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30113-4_7"},{"issue":"10","key":"39_CR3","doi-asserted-by":"crossref","first-page":"2408","DOI":"10.1109\/78.950795","volume":"49","author":"B Bhattacharya","year":"2001","unstructured":"Bhattacharya, B., Bhattacharyya, S.: Parameterized dataflow modeling for DSP systems. Signal Process. IEEE Trans. 49(10), 2408\u20132421 (2001)","journal-title":"Signal Process. IEEE Trans."},{"key":"39_CR4","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/978-1-4614-6859-2_28","volume-title":"Handbook of Signal Processing Systems","author":"SS Bhattacharyya","year":"2013","unstructured":"Bhattacharyya, S.S., Deprettere, E.F., Theelen, B.D.: Dynamic dataflow graphs. In: Bhattacharyya, S.S., Deprettere, E.F., Leupers, R., Takala, J. (eds.) Handbook of Signal Processing Systems, pp. 905\u2013944. Springer, New York (2013). doi: 10.1007\/978-1-4614-6859-2_28"},{"key":"39_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6859-2_28","volume-title":"Dynamic Dataflow Graphs","author":"SS Bhattacharyya","year":"2013","unstructured":"Bhattacharyya, S.S., Deprettere, E.F., Theelen, B.D.: Dynamic Dataflow Graphs. Springer, New York, NY (2013). doi: 10.1007\/978-1-4614-6859-2_28"},{"issue":"2","key":"39_CR6","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G Bilsen","year":"1996","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cycle-static dataflow. Signal Process. IEEE Trans. 44(2), 397\u2013408 (1996)","journal-title":"Signal Process. IEEE Trans."},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"Buck, J.T.: Scheduling dynamic dataflow graphs with bounded memory using the token flow model. Ph.D. thesis, EECS Department, University of California, Berkeley (1993)","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"39_CR8","unstructured":"Dasdan, A., Irani, S.S., Gupta, R.K.: Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems. In: Proceedings of the 36th Annual ACM\/IEEE Design Automation Conference, DAC 1999, pp. 37\u201342. ACM, New York, NY, USA (1999). http:\/\/doi.acm.org\/10.1145\/309847.309862"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Deroui, H., Desnos, K., Nezan, J.F., Munier-Kordon, A.: Throughput evaluation of DSP applications based on hierarchical dataflow models. In: International Symposium on Circuits and Systems (ISCAS) (2017)","DOI":"10.1109\/ISCAS.2017.8050774"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Desnos, K., Pelcat, M., Nezan, J.F., Bhattacharyya, S.S., Aridhi, S.: PiMM: parameterized and interfaced dataflow meta-model for MPSoCs runtime reconfiguration. In: 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), pp. 41\u201348, July 2013","DOI":"10.1109\/SAMOS.2013.6621104"},{"issue":"1","key":"39_CR11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"39_CR12","unstructured":"Geilen, M.: Reduction techniques for synchronous dataflow graphs. In: Proceedings of the 46th Annual Design Automation Conference, pp. 911\u2013916. DAC 2009, ACM, New York, NY, USA (2009). http:\/\/doi.acm.org\/10.1145\/1629911.1630146"},{"issue":"2","key":"39_CR13","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1880050.1880052","volume":"10","author":"M Geilen","year":"2011","unstructured":"Geilen, M.: Synchronous dataflow scenarios. ACM Trans. Embed. Comput. Syst. 10(2), 16:1\u201316:31 (2011). doi: 10.1145\/1880050.1880052","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"39_CR14","unstructured":"Geilen, M., Stuijk, S.: Worst-case performance analysis of synchronous dataflow scenarios. In: Proceedings of the Eighth IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, CODES\/ISSS 2010, pp. 125\u2013134. ACM, New York, NY, USA (2010), http:\/\/doi.acm.org\/10.1145\/1878961.1878985"},{"key":"39_CR15","unstructured":"Geilen, M., Tripakis, S., Wiggers, M.: The earlier the better: a theory of timed actor interfaces. Technical Report UCB\/EECS-2010-130, EECS Department, University of California, Berkeley, October 2010. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2010\/EECS-2010-130.html"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"Ghamarian, A.H., Geilen, M.C.W., Stuijk, S., Basten, T., Theelen, B.D., Mousavi, M.R., Moonen, A.J.M., Bekooij, M.J.G.: Throughput analysis of synchronous data flow graphs. In: Proceedings of the Sixth International Conference on Application of Concurrency to System Design, ACSD 2006, pp. 25\u201336. IEEE Computer Society, Washington (2006). http:\/\/dx.doi.org\/10.1109\/ACSD.2006.33","DOI":"10.1109\/ACSD.2006.33"},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"de Groote, R., Kuper, J., Broersma, H., Smit, G.J.M.: Max-plus algebraic throughput analysis of synchronous dataflow graphs. In: 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 29\u201338 (Sept 2012)","DOI":"10.1109\/SEAA.2012.20"},{"key":"39_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6859-2_33","volume-title":"Decidable Dataflow Models for Signal Processing: Synchronous Dataflow and Its Extensions","author":"S Ha","year":"2013","unstructured":"Ha, S., Oh, H.: Decidable Dataflow Models for Signal Processing: Synchronous Dataflow and Its Extensions. Springer, New York (2013). doi: 10.1007\/978-1-4614-6859-2_33"},{"key":"39_CR19","volume-title":"Max Plus at work: modeling and analysis of synchronized systems: a course on Max-Plus algebra and its applications","author":"B Heidergott","year":"2014","unstructured":"Heidergott, B., Olsder, G.J., Van Der Woude, J.: Max Plus at work: modeling and analysis of synchronized systems: a course on Max-Plus algebra and its applications. Princeton University Press, Princeton (2014)"},{"issue":"11","key":"39_CR20","doi-asserted-by":"crossref","first-page":"940","DOI":"10.1109\/TC.1986.1676696","volume":"C\u201335","author":"KM Kavi","year":"1986","unstructured":"Kavi, K.M., Buckles, B.P., Bhat, U.N.: A formal definition of data flow graph models. IEEE Trans. Comput. C\u201335(11), 940\u2013948 (1986)","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"39_CR21","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"issue":"9","key":"39_CR22","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/j.sysarc.2015.04.001","volume":"61","author":"A Nelson","year":"2015","unstructured":"Nelson, A., Goossens, K., Akesson, B.: Dataflow formalisation of real-time streaming applications on a composable and predictable multi-processor SOC. J. Syst. Archit. 61(9), 435\u2013448 (2015). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1383762115000181","journal-title":"J. Syst. Archit."},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Piat, J., Bhattacharyya, S.S., Raulet, M.: Interface-based hierarchy for synchronous data-flow graphs. In: 2009 IEEE Workshop on Signal Processing Systems. pp. 145\u2013150, October 2009","DOI":"10.1109\/SIPS.2009.5336240"},{"key":"39_CR24","doi-asserted-by":"crossref","unstructured":"Ritz, S., Pankert, M., Zivojinovic, V., Meyr, H.: Optimum vectorization of scalable synchronous dataflow graphs. In: Proceedings of the International Conference on Application-Specific Array Processors, 1993, pp. 285\u2013296, October 1993","DOI":"10.1109\/ASAP.1993.397152"},{"key":"39_CR25","doi-asserted-by":"crossref","DOI":"10.1201\/9781420048025","volume-title":"Embedded Multiprocessors: Scheduling and Synchronization","author":"S Sriram","year":"2009","unstructured":"Sriram, S., Bhattacharyya, S.S.: Embedded Multiprocessors: Scheduling and Synchronization, 2nd edn. CRC Press Inc., Boca Raton (2009)","edition":"2"},{"key":"39_CR26","doi-asserted-by":"crossref","unstructured":"Stuijk, S., Geilen, M., Theelen, B., Basten, T.: Scenario-aware dataflow: modeling, analysis and implementation of dynamic applications. In: 2011 International Conference on Embedded Computer Systems (SAMOS), pp. 404\u2013411, July 2011","DOI":"10.1109\/SAMOS.2011.6045491"},{"key":"39_CR27","doi-asserted-by":"crossref","unstructured":"Stuijk, S., Geilen, M., Basten, T.: SDF $$^3$$ : SDF For Free. In: Proceedings of the 6th International Conference on Application of Concurrency to System Design, ACSD 2006, pp. 276\u2013278. IEEE Computer Society Press, Los Alamitos, CA, USA. http:\/\/www.es.ele.tue.nl\/sdf3","DOI":"10.1109\/ACSD.2006.23"},{"key":"39_CR28","unstructured":"Stuijk, S.: Predictable mapping of streaming applications on multiprocessors. Ph.D. thesis, Eindhoven University of Technology (2007)"},{"issue":"3","key":"39_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2442116.2442133","volume":"12","author":"S Tripakis","year":"2013","unstructured":"Tripakis, S., Bui, D., Geilen, M., Rodiers, B., Lee, E.A.: Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embed. Comput. Syst. 12(3), 1\u201326 (2013). doi: 10.1145\/2442116.2442133","journal-title":"ACM Trans. Embed. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66284-8_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T22:49:00Z","timestamp":1570056540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66284-8_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662831","9783319662848"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66284-8_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}