{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:33:20Z","timestamp":1767137600224,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319259413","type":"print"},{"value":"9783319259420","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25942-0_14","type":"book-chapter","created":{"date-parts":[[2015,10,16]],"date-time":"2015-10-16T05:32:14Z","timestamp":1444973534000},"page":"217-223","source":"Crossref","is-referenced-by-count":0,"title":["Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods"],"prefix":"10.1007","author":[{"given":"Yu-Lei","family":"Gu","sequence":"first","affiliation":[]},{"given":"Xue-Yang","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Guangquan","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Ascia, G., Catania, V., Palesi, M.: Multi-objective mapping for mesh-based noc architectures, pp. 182\u2013187. IEEE (2004)","DOI":"10.1145\/1016720.1016765"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Chen, G., Li, F., Son, S., Kandemir, M.: Application mapping for chip multiprocessors, pp. 620\u2013625. IEEE (2008)","DOI":"10.1145\/1391469.1391628"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Heidergott, B., Olsder, G.J., Woude, J.v.d.: Max Plus at Work: Modeling and Analysis of Synchronized Systems. Princeton University Press (2005)","DOI":"10.1515\/9781400865239"},{"issue":"24","key":"14_CR4","first-page":"551","volume":"4","author":"J Hu","year":"2005","unstructured":"Hu, J., Marculescu, R.: Energy- and performance-aware mapping for regular noc architectures. Computer-Aided Design of Integrated Circuits and Systems 4(24), 551\u2013562 (2005)","journal-title":"Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"E Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comput. 36(1), 24\u201335 (1987)","journal-title":"IEEE Trans. Comput."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Murali, S., Coenen, M., Radulescu, A., Goossens, K., Micheli, G.D.: A methodology for mapping multiple use-cases onto networks on chips. In: DATE, pp. 118\u2013123. IEEE (2006)","DOI":"10.1109\/DATE.2006.244007"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Singh, A.K., Shafique, M., Kumar, A., Henkel, J.: Mapping on multi\/many-core systems: Survey of current and emerging trends. In: Proc. of the 50th Ann. Design Automation Conf. (DAC), pp. 1\u201310 (2013)","DOI":"10.1145\/2463209.2488734"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Theelen, B., Katoen, J.P., Wu, H.: Model checking of scenario-aware dataflow with CADP. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 653\u2013658 (2012)","DOI":"10.1109\/DATE.2012.6176552"},{"issue":"5","key":"14_CR9","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1049\/ip-cdt:20030837","volume":"150","author":"D Wu","year":"2003","unstructured":"Wu, D., Al-Hashimi, B., Else, P.: Scheduling and mapping of conditional task graph for the synthesis of low power embedded systems. Computers and Digital Techniques 150(5), 262\u2013273 (2003)","journal-title":"Computers and Digital Techniques"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/978-3-319-19249-9_34","volume-title":"FM 2015: Formal Methods","author":"X-Y Zhu","year":"2015","unstructured":"Zhu, X.-Y., Yan, R., Gu, Y.-L., Zhang, J., Zhang, W., Zhang, G.: Static optimal scheduling for synchronous data flow graphs with model checking. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 551\u2013569. Springer, Heidelberg (2015)"}],"updated-by":[{"DOI":"10.1007\/978-3-319-25942-0_21","type":"erratum","label":"Erratum","source":"publisher","updated":{"date-parts":[[2016,4,5]],"date-time":"2016-04-05T00:00:00Z","timestamp":1459814400000}}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering: Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25942-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T03:01:39Z","timestamp":1559271699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25942-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259413","9783319259420"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25942-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}