{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:40:02Z","timestamp":1745944802575,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358869"},{"type":"electronic","value":"9783642358876"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_15","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:10:13Z","timestamp":1357297813000},"page":"277-293","source":"Crossref","is-referenced-by-count":2,"title":["PRO3D, Programming for Future 3D Manycore Architectures: Project\u2019s Interim Status"],"prefix":"10.1007","author":[{"given":"Christian","family":"Fabre","sequence":"first","affiliation":[]},{"given":"Iuliana","family":"Bacivarov","sequence":"additional","affiliation":[]},{"given":"Ananda","family":"Basu","sequence":"additional","affiliation":[]},{"given":"Martino","family":"Ruggiero","sequence":"additional","affiliation":[]},{"given":"David","family":"Atienza","sequence":"additional","affiliation":[]},{"given":"\u00c9ric","family":"Flamand","sequence":"additional","affiliation":[]},{"given":"Jean-Pierre","family":"Krimm","sequence":"additional","affiliation":[]},{"given":"Julien","family":"Mottin","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Schor","sequence":"additional","affiliation":[]},{"given":"Pratyush","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"Hoeseok","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Devesh B.","family":"Chokshi","sequence":"additional","affiliation":[]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Benini","sequence":"additional","affiliation":[]},{"given":"Mohamed M.","family":"Sabry","sequence":"additional","affiliation":[]},{"given":"Yusuf","family":"Leblebici","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[]},{"given":"Diego","family":"Melpignano","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Aly, S., Mostafa, M., Coskun, A.K., Atienza Alonso, D.: Fuzzy Control for Enforcing Energy Efficiency in High-Performance 3D Systems. In: Proceedings of the 2010 International Conference on Computer-Aided Design, ICCAD 2010, New York (2010)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: Software Engineering and Formal Methods SEFM 2006 Proceedings, pp. 3\u201312. IEEE Computer Society Press (2006)","DOI":"10.1109\/SEFM.2006.27"},{"issue":"3","key":"15_CR3","first-page":"41","volume":"28","author":"A. Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based design using the BIP framework. IEEE Software, Special Edition \u2013 Software Components: Beyond Programming\u00a028(3), 41\u201348 (2011)","journal-title":"IEEE Software, Special Edition \u2013 Software Components: Beyond Programming"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s11265-005-6648-1","volume":"41","author":"L. Benini","year":"2005","unstructured":"Benini, L., Bertozzi, D., Bogliolo, A., Menichelli, F., Olivieri, M.: MPARM: Exploring the Multi-Processor SoC Design Space with SystemC. J. VLSI Signal Process.\u00a041(2), 169\u2013182 (2005)","journal-title":"J. VLSI Signal Process."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Benini, L., Flamand, E., Fuin, D., Melpignano, D.: P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator. In: Rosenstiel, W., Thiele, L. (eds.) DATE 2012, pp. 983\u2013987. IEEE (March 2012)","DOI":"10.1109\/DATE.2012.6176639"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Bortolotti, D., Paterna, F., Pinto, C., Marongiu, A., Ruggiero, M., Benini, L.: Exploring instruction caching strategies for tightly-coupled shared-memory clusters. In: Int. Symp. on Systems-on-Chip (2011)","DOI":"10.1109\/ISSOC.2011.6089691"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Bourgos, P., Basu, A., Bozga, M., Bensalem, S., Sifakis, J., Huang, K.: Rigorous system level modeling and analysis of mixed HW\/SW systems. In: Proceedings of MEMOCODE, pp. 11\u201320. IEEE\/ACM (2011)","DOI":"10.1109\/MEMCOD.2011.5970506"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s00542-008-0690-4","volume":"15","author":"T. Brunschwiler","year":"2009","unstructured":"Brunschwiler, T., et al.: Interlayer cooling potential in vertically integrated packages. Microsyst. Technol.\u00a015(1), 57\u201374 (2009)","journal-title":"Microsyst. Technol."},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1049\/sej.1991.0015","volume":"6","author":"A. Burns","year":"1991","unstructured":"Burns, A.: Scheduling hard real-time systems: a review. Softw. Eng. J.\u00a06, 116\u2013128 (1991)","journal-title":"Softw. Eng. J."},{"issue":"10","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.1109\/TCAD.2009.2026357","volume":"28","author":"A.K. Coskun","year":"2009","unstructured":"Coskun, A.K., et al.: Utilizing predictors for efficient thermal management in multiprocessor socs. IEEE Transactions on CAD\u00a028(10), 1503\u20131516 (2009)","journal-title":"IEEE Transactions on CAD"},{"key":"15_CR11","first-page":"92","volume-title":"Proc. Intl Conference on Systems, Architectures, Modeling and Simulation, SAMOS","author":"W. Haid","year":"2009","unstructured":"Haid, W., Keller, M., Huang, K., Bacivarov, I., Thiele, L.: Generation and calibration of compositional performance analysis models for multi-processor systems. In: Proc. Intl Conference on Systems, Architectures, Modeling and Simulation, SAMOS, pp. 92\u201399. IEEE, Samos (2009)"},{"key":"15_CR12","unstructured":"Huang, K., Haid, W., Bacivarov, I., Keller, M., Thiele, L.: Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications. ACM Trans. Embed. Comput. Syst. 11(1), 8:1\u20138:23 (2012), http:\/\/doi.acm.org\/10.1145\/2146417.2146425"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Joven, J., Marongiu, A., Angiolini, F., Benini, L., De Micheli, G.: Exploring programming model-driven QoS support for noc-based platforms. In: 2010 IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, CODES+ISSS, pp. 65\u201374 (October 2010)","DOI":"10.1145\/1878961.1878977"},{"key":"15_CR14","volume-title":"Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS","author":"P. Kumar","year":"2012","unstructured":"Kumar, P., Thiele, L.: Timing analysis on a processor with temperature-controlled speed scaling. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS. IEEE Computer, Beijing (2012)"},{"issue":"9","key":"15_CR15","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E. Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proceedings of the IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Leon, A., et al.: A power-efficient high-throughput 32-thread SPARC processor. In: ISSCC, vol.\u00a042(1), pp. 7\u201316 (2007)","DOI":"10.1109\/JSSC.2006.885049"},{"issue":"99","key":"15_CR17","first-page":"1","volume":"PP","author":"A. Marongiu","year":"2010","unstructured":"Marongiu, A., Benini, L.: An OpenMP compiler for efficient use of distributed scratchpad memory in MPSoCs. IEEE Transactions on Computers\u00a0PP(99), 1 (2010)","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Marongiu, A., Burgio, P., Benini, L.: Vertical stealing: robust, locality-aware do-all workload distribution for 3D MPSoCs. In: Kathail, V., Tatge, R., Barua, R. (eds.) CASES, pp. 207\u2013216. ACM (2010)","DOI":"10.1145\/1878921.1878952"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Marwedel, P., Teich, J., Kouveli, G., Bacivarov, J., Thiele, L., Ha, S., Lee, C., Xu, Q., Huang, L.: Mapping of applications to MPSoCs. In: 2011 Proceedings of the 9th International Conference on Hardware\/Software Codesign and System Synthesis, CODES+ISSS, pp. 109\u2013118 (October 2011)","DOI":"10.1145\/2039370.2039390"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Melpignano, D., Benini, L., Flamand, E., Jego, B., Lepley, T., Haugou, G., Clermidy, F., Dutoit, D.: Platform 2012, a many-core computing accelerator for embedded SoCs: performance evaluation of visual analytics applications. In: Groeneveld, P., Sciuto, D., Hassoun, S. (eds.) DAC, pp. 1137\u20131142. ACM (June 2012)","DOI":"10.1145\/2228360.2228568"},{"key":"15_CR21","unstructured":"Micheli, G.D., Pavlidis, V., Alonso, D.A., Leblebici, Y.: Design methods and tools for 3D integration. In: Proceedings of the Symposium on VLSI Technology, Kyoto, Japan, pp. 182\u2013183 (June 2011)"},{"key":"15_CR22","unstructured":"The Multicore Association: The Multicore Communications API (MCAPITM) v2.015 (2011), http:\/\/www.multicore-association.org"},{"key":"15_CR23","unstructured":"NVIDIA: Next Generation CUDA Compute Architecture: Fermi, whitepaper (2010), http:\/\/www.nvidia.com"},{"key":"15_CR24","unstructured":"Plurality: The HyperCore Processor. Plurality Ltd. (2010), http:\/\/www.plurality.com"},{"key":"15_CR25","unstructured":"PRO3D \u2013 Programming for Future 3D Multicore Architectures (2010), http:\/\/pro3d.eu"},{"issue":"1","key":"15_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1166\/jolpe.2011.1111","volume":"7","author":"H. Qian","year":"2011","unstructured":"Qian, H., et al.: Cyber-physical thermal management of 3D multi-core cache-processor system with microfluidic cooling. ASP Journal of Low Power Electronics\u00a07(1), 1\u201312 (2011)","journal-title":"ASP Journal of Low Power Electronics"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Rai, D., Yang, H., Bacivarov, I., Chen, J.J., Thiele, L.: Worst-case temperature analysis for real-time systems. In: Design, Automation Test in Europe Conference Exhibition, DATE, pp. 1\u20136 (March 2011)","DOI":"10.1109\/DATE.2011.5763104"},{"key":"15_CR28","unstructured":"Ruggiero, M., Angiolini, F., Poletti, F., Bertozzi, D., Benini, L., Zafalon, R.: Scalability analysis of evolving SoC interconnect protocols. In: Int. Symp. on Systems-on-Chip, pp. 169\u2013172 (2004)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Sabry, M.M., Atienza, D., Coskun, A.K.: Thermal Analysis and Active Cooling Management for 3D MPSoCs. In: Proceedings of IEEE International Symposium on Circuits and Systems, ISCAS 2011 (2011)","DOI":"10.1109\/ISCAS.2011.5938046"},{"issue":"12","key":"15_CR30","doi-asserted-by":"publisher","first-page":"1883","DOI":"10.1109\/TCAD.2011.2164540","volume":"30","author":"M.M. Sabry","year":"2011","unstructured":"Sabry, M.M., et al.: Energy-Efficient Multi-Objective Thermal Control for Liquid-Cooled 3D Stacked Architectures. IEEE Transactions on CAD\u00a030(12), 1883\u20131896 (2011)","journal-title":"IEEE Transactions on CAD"},{"key":"15_CR31","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/1785481.1785552","volume-title":"Proceedings of the 20th Symposium on Great Lakes Symposium on VLSI, GLSVLSI 2010","author":"M.M. Sabry","year":"2010","unstructured":"Sabry, M.M., Ruggiero, M., Del Valle, P.G.: Performance and energy trade-offs analysis of L2 on-chip cache architectures for embedded MPSoCs. In: Proceedings of the 20th Symposium on Great Lakes Symposium on VLSI, GLSVLSI 2010, pp. 305\u2013310. ACM, New York (2010)"},{"key":"15_CR32","volume-title":"Proc. IEEE Latin American Test Workshop, LATW","author":"L. Schor","year":"2012","unstructured":"Schor, L., Bacivarov, I., Yang, H., Thiele, L.: Fast worst-case peak temperature evaluation for real-time applications on multi-core systems. In: Proc. IEEE Latin American Test Workshop, LATW. IEEE, Quito (2012)"},{"key":"15_CR33","volume-title":"Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS","author":"L. Schor","year":"2012","unstructured":"Schor, L., Bacivarov, I., Yang, H., Thiele, L.: Worst-case temperature guarantees for real-time applications on multi-core systems. In: Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS. IEEE Computer, Beijing (2012)"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Sridhar, A., Vincenzi, A., Ruggiero, M., Brunschwiler, T., Atienza, D.: 3D-ICE: Fast compact transient thermal modeling for 3D ICs with inter-tier liquid cooling. In: 2010 IEEE\/ACM International Conference on Computer-Aided Design, ICCAD, pp. 463\u2013470 (2010)","DOI":"10.1109\/ICCAD.2010.5653749"},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"Sridhar, A., Vincenzi, A., Ruggiero, M., Brunschwiler, T., Atienza, D.: Compact transient thermal model for 3D ICs with liquid cooling via enhanced heat transfer cavity geometries. In: 2010 16th International Workshop on Thermal Investigations of ICs and Systems, THERMINIC, pp. 1\u20136 (2010)","DOI":"10.1109\/ICCAD.2010.5653749"},{"key":"15_CR36","unstructured":"STMicroelectronics, CEA: Platform 2012 \u2013 A Manycore Programmable Accelerator for Ultra-Efficient Embedded Computing in Nanometer Technology (November 2010) (whitepaper)"},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-Time Calculus for Scheduling Hard Real-Time Systems. In: Proc. IEEE Int\u2019l Symposium on Circuits and Systems, ISCAS, vol.\u00a04, pp. 101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"15_CR38","first-page":"268","volume-title":"Proc. Design Automation Conference, DAC","author":"L. Thiele","year":"2011","unstructured":"Thiele, L., Schor, L., Yang, H., Bacivarov, I.: Thermal-aware system analysis and software synthesis for embedded multi-processors. In: Proc. Design Automation Conference, DAC, pp. 268\u2013273. ACM, San Diego (2011)"},{"key":"15_CR39","doi-asserted-by":"crossref","unstructured":"Thiele, L., Bacivarov, I., Haid, W., Huang, K.: Mapping Applications to Tiled Multiprocessor Embedded Systems. In: Proc. Int\u2019l Conf. on Application of Concurrency to System Design, ACSD, pp. 29\u201340 (2007)","DOI":"10.1109\/ACSD.2007.53"},{"key":"15_CR40","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00365407","volume":"4","author":"K.W. Tindell","year":"1992","unstructured":"Tindell, K.W., Burns, A., Wellings, A.J.: Allocating hard real-time tasks: an np-hard problem made easy. Real-Time Syst.\u00a04, 145\u2013165 (1992)","journal-title":"Real-Time Syst."},{"key":"15_CR41","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/EDL.1981.25367","volume":"5","author":"D.B. Tuckerman","year":"1981","unstructured":"Tuckerman, D.B., Pease, R.F.W.: High-performance heat sinking for VLSI. IEEE Electron. Device Letters\u00a05, 126\u2013129 (1981)","journal-title":"IEEE Electron. Device Letters"},{"key":"15_CR42","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/ISLPED.2011.5993628","volume-title":"Proceedings of the 17th IEEE\/ACM International Symposium on Low-Power Electronics and Design, ISLPED 2011","author":"A. Vincenzi","year":"2011","unstructured":"Vincenzi, A., Sridhar, A., Ruggiero, M., Atienza, D.: Fast thermal simulation of 2D\/3D integrated circuits exploiting neural networks and GPUs. In: Proceedings of the 17th IEEE\/ACM International Symposium on Low-Power Electronics and Design, ISLPED 2011, pp. 151\u2013156. IEEE Press, Piscataway (2011)"},{"issue":"6","key":"15_CR43","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E. Wandeler","year":"2006","unstructured":"Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis - a case study. Software Tools for Technology Transfer (STTT)\u00a08(6), 649\u2013667 (2006)","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"15_CR44","doi-asserted-by":"crossref","unstructured":"Zanini, F., Atienza, D., Benini, L., de Micheli, G.: Thermal-Aware System-Level Modeling and Management for Multi-Processor Systems-on-Chip. In: Proceedings of IEEE International Symposium on Circuits and Systems, ISCAS 2011 (2011)","DOI":"10.1109\/ISCAS.2011.5938107"},{"key":"15_CR45","doi-asserted-by":"crossref","unstructured":"Zervas, M., Temiz, Y., Leblebici, Y.: Fabrication and characterization of wafer-level deep tsv arrays. In: Proceedings of 2012 Electronic Components and Technology Conference, San Diego, CA (2012)","DOI":"10.1109\/ECTC.2012.6249054"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:00:34Z","timestamp":1745942434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}