{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T04:14:00Z","timestamp":1648872840371},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s10766-015-0380-7","type":"journal-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T01:49:31Z","timestamp":1445824171000},"page":"337-380","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Memory Partitioning in the Limit"],"prefix":"10.1007","volume":"44","author":[{"given":"Emre","family":"K\u00fclt\u00fcrsay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kemal","family":"Ebcio\u011flu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00fcrhan","family":"K\u00fc\u00e7\u00fck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmut T.","family":"Kandemir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"380_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, Jennifer\u00a0M., Amarasinghe, Saman\u00a0P., Lam, Monica\u00a0S.: Data and computation transformations for multiprocessors. In: Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP \u201995, pp. 166\u2013178, New York, NY, USA. ACM (1995)","DOI":"10.1145\/209936.209954"},{"key":"380_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, Jennifer\u00a0M., Lam, Monica\u00a0S.: Global optimizations for parallelism and locality on scalable parallel machines. In: Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation, PLDI \u201993, pp. 112\u2013125 (1993)","DOI":"10.1145\/155090.155101"},{"issue":"1","key":"380_CR3","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/581888.581891","volume":"1","author":"Oren Avissar","year":"2002","unstructured":"Avissar, Oren, Barua, Rajeev, Stewart, Dave: An optimal memory allocation scheme for scratch-pad-based embedded systems. ACM Trans. Embed. Comput. Syst. 1(1), 6\u201326 (2002)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"380_CR4","doi-asserted-by":"crossref","unstructured":"Banakar, R., Steinke, S., Lee, B.-S., Balakrishnan, M., Marwedel, P.: Scratchpad memory: design alternative for cache on-chip memory in embedded systems. In: Proceedings of the Tenth International Symposium on Hardware\/software codesign, CODES \u201902, (2002)","DOI":"10.1145\/774789.774805"},{"key":"380_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6894-6","volume-title":"Dependence Analysis for Supercomputing","author":"UK Banerjee","year":"1988","unstructured":"Banerjee, U.K.: Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Norwell (1988)"},{"issue":"4","key":"380_CR6","first-page":"61:1","volume":"13","author":"Nastaran Baradaran","year":"2008","unstructured":"Baradaran, Nastaran, Diniz, Pedro C.: A compiler approach to managing storage and memory bandwidth in configurable architectures. ACM Trans. Des. Autom. Electron. Syst. 13(4), 61:1\u201361:26 (2008)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"380_CR7","doi-asserted-by":"crossref","unstructured":"Benini, L., Macchiarulo, L., Macii, A., Poncino, M.: From architecture to layout: partitioned memory synthesis for embedded systems-on-chip. In: Proceedings of Design Automation Conference, 2001, pp. 784\u2013789 (2001)","DOI":"10.1145\/378239.379066"},{"key":"380_CR8","doi-asserted-by":"crossref","unstructured":"Benini, L., Macii, A., Poncino, M.: A recursive algorithm for low-power memory partitioning. In: Proceedings of the 2000 International Symposium on Low Power Electronics and Design, ISLPED \u201900, pp. 78\u201383, ACM (2000)","DOI":"10.1145\/344166.344518"},{"key":"380_CR9","doi-asserted-by":"crossref","unstructured":"Blume, W., Eigenmann, R.: The range test: a dependence test for symbolic, non-linear expressions. In: Supercomputing \u201994, (1994)","DOI":"10.1109\/SUPERC.1994.344316"},{"key":"380_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-6100-4","volume-title":"Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications","author":"Christophe Bobda","year":"2007","unstructured":"Bobda, Christophe: Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications, 1st edn. Springer, New York (2007)","edition":"1"},{"key":"380_CR11","doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA \u201905, pp. 519\u2013538 (2005)","DOI":"10.1145\/1094811.1094852"},{"key":"380_CR12","doi-asserted-by":"crossref","unstructured":"Chen, T., Lin, J., Dai, X., Hsu, W.-C., Yew, P.-C.: Data dependence profiling for speculative optimizations. In: Evelyn Duesterwald (ed.) Compiler Construction, vol. 2985 of Lecture Notes in Computer Science, pp. 57\u201372 (2004)","DOI":"10.1007\/978-3-540-24723-4_5"},{"key":"380_CR13","doi-asserted-by":"crossref","unstructured":"Cimitile, A., De\u00a0Lucia, A., Munro, M.: Qualifying reusable functions using symbolic execution. In: Proceedings of the Second Working Conference on Reverse Engineering (1995)","DOI":"10.1109\/WCRE.1995.514706"},{"issue":"9","key":"380_CR14","doi-asserted-by":"crossref","first-page":"884","DOI":"10.1109\/32.92907","volume":"17","author":"A Coen-Porisini","year":"1991","unstructured":"Coen-Porisini, A., De Paoli, F., Ghezzi, C., Mandrioli, D.: Software specialization via symbolic execution. IEEE Trans. Softw. Eng. 17(9), 884\u2013889 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"380_CR15","doi-asserted-by":"crossref","unstructured":"Cong, J., Jiang, W., Liu, B., Zou, Y.: Automatic memory partitioning and scheduling for throughput and power optimization. In: Computer-Aided Design\u2014Digest of Technical Papers, 2009. ICCAD 2009. IEEE\/ACM International Conference on, pp. 697\u2013704 (2009)","DOI":"10.1145\/1687399.1687528"},{"key":"380_CR16","doi-asserted-by":"crossref","unstructured":"Csallner, C., Tillmann, N., Smaragdakis, Y.: Dysy: dynamic symbolic execution for invariant inference. In: Proceedings of the 30th International Conference on Software Engineering (2008)","DOI":"10.1145\/1368088.1368127"},{"key":"380_CR17","doi-asserted-by":"crossref","unstructured":"Dehnert, J.C., Grant, B.K., Banning, J.P., Johnson, R., Kistler, T., Klaiber, A., Mattson, J.: The transmeta code morphing software: using speculation, recovery, and adaptive retranslation to address real-life challenges. In: Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, CGO \u201903, pp. 15\u201324, Washington, DC, USA. IEEE Computer Society (2003)","DOI":"10.1109\/CGO.2003.1191529"},{"key":"380_CR18","doi-asserted-by":"crossref","unstructured":"Ebcio\u011flu, K., Altman, E.R.: Daisy: dynamic compilation for 100% architectural compatibility. In: Proceedings of the 24th Annual International Symposium on Computer Architecture, ISCA \u201997, pp. 26\u201337, New York, NY, USA. ACM (1997)","DOI":"10.1145\/264107.264126"},{"key":"380_CR19","doi-asserted-by":"crossref","unstructured":"El-Ghazawi, T., Cantonnet, F.: Upc performance and potential: a NPB experimental study. In: Proceedings of the 2002 ACM\/IEEE Conference On Supercomputing, Supercomputing \u201902, pp. 1\u201326 (2002)","DOI":"10.1109\/SC.2002.10034"},{"key":"380_CR20","doi-asserted-by":"crossref","unstructured":"Elkarablieh, B., Godefroid, P., Levin, M.Y.: Precise pointer reasoning for dynamic test generation. In: ISSTA \u201909: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis (2009)","DOI":"10.1145\/1572272.1572288"},{"issue":"11","key":"380_CR21","first-page":"1110","volume":"11","author":"T Fahringer","year":"2000","unstructured":"Fahringer, T., Scholz, B.: A unified symbolic evaluation framework for parallelizing compilers. IEEE Trans. Parallel Distrib. Syst. 11(11), 1110\u20131125 (2000)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"1","key":"380_CR22","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"Paul Feautrier","year":"1991","unstructured":"Feautrier, Paul: Dataflow analysis of array and scalar references. Int. J. Parallel Program. 20(1), 23\u201353 (1991)","journal-title":"Int. J. Parallel Program."},{"key":"380_CR23","volume-title":"Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays","author":"Maya B Gokhale","year":"2010","unstructured":"Gokhale, Maya B., Graham, Paul S.: Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays, 1st edn. Springer, New York (2010)","edition":"1"},{"key":"380_CR24","doi-asserted-by":"crossref","unstructured":"Gokhale, M.B., Stone, J.M.: Automatic allocation of arrays to memories in fpga processors with multiple memory banks. In: Proceedings of the Seventh Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM \u201999 (1999)","DOI":"10.1109\/FPGA.1999.803668"},{"key":"380_CR25","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/3-540-57502-2_69","volume-title":"Languages and Compilers for Parallel Computing, Volume 757 of Lecture Notes in Computer Science","author":"M Haghighat","year":"1993","unstructured":"Haghighat, M., Polychronopoulos, C.: Symbolic program analysis and optimization for parallelizing compilers. In: Banerjee, Utpal, Gelernter, David, Nicolau, Alex, Padua, David (eds.) Languages and Compilers for Parallel Computing, Volume 757 of Lecture Notes in Computer Science, pp. 538\u2013562. Springer, Berlin (1993)"},{"key":"380_CR26","unstructured":"Heinrich, J.: Origin and onyx2 theory of operations manual, silicon graphics corporation. Document number 007-3439-002, (1997). http:\/\/techpubs.sgi.com\/library\/manuals\/3000\/007-3439-002\/pdf\/007-3439-002.pdf"},{"issue":"4","key":"380_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1186736.1186737","volume":"34","author":"JL Henning","year":"2006","unstructured":"Henning, J.L.: Spec cpu2006 benchmark descriptions. SIGARCH Comput. Arch. News 34(4), 1\u201317 (2006)","journal-title":"SIGARCH Comput. Arch. News"},{"issue":"9","key":"380_CR28","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1109\/JRPROC.1952.273898","volume":"40","author":"DA Huffman","year":"1952","unstructured":"Huffman, D.A.: A method for the construction of minimum-redundancy codes. Proc. IRE 40(9), 1098\u20131101 (1952)","journal-title":"Proc. IRE"},{"key":"380_CR29","doi-asserted-by":"crossref","unstructured":"Ketterlin, A., Clauss, P.: Profiling data-dependence to assist parallelization: framework, scope, and optimization. In: Proceedings of the 2012 45th Annual IEEE\/ACM International Symposium on Microarchitecture, MICRO \u201912 (2012)","DOI":"10.1109\/MICRO.2012.47"},{"issue":"7","key":"380_CR30","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of ACM 19(7), 385\u2013394 (1976)","journal-title":"Communications of ACM"},{"issue":"3","key":"380_CR31","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/JSSC.1982.1051786","volume":"17","author":"RH Krambeck","year":"1982","unstructured":"Krambeck, R.H., Lee, C.M., Law, H.-F.S.: High-speed compact circuits with cmos. IEEE J. Solid-State Circuits 17(3), 614\u2013619 (1982)","journal-title":"IEEE J. Solid-State Circuits"},{"issue":"7","key":"380_CR32","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/71.238302","volume":"4","author":"JR Larus","year":"1993","unstructured":"Larus, J.R.: Loop-level parallelism in numeric and symbolic programs. IEEE Trans. Parallel Distrib. Syst. 4(7), 812\u2013826 (1993)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"380_CR33","first-page":"1","volume":"7","author":"Nihar R Mahapatra","year":"2005","unstructured":"Mahapatra, Nihar R., Liu, Jiangjiang, Sundaresan, Krishnan, Dangeti, Srinivas, Venkatrao, Balakrishna V.: A limit study on the potential of compression for improving memory system performance, power consumption, and cost. J. Instr. Level Parallelism 7, 1\u201337 (2005)","journal-title":"J. Instr. Level Parallelism"},{"issue":"6","key":"380_CR34","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1145\/267959.269966","volume":"19","author":"Soo-Mook Moon","year":"1997","unstructured":"Moon, Soo-Mook, Ebcio\u011flu, Kemal: Parallelizing nonnumerical code with selective scheduling and software pipelining. ACM Trans. Program. Lang. Syst. 19(6), 853\u2013898 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"380_CR35","unstructured":"Muralimanohar, N., Balasubramonian, R., Jouppi, N.P.: CACTI 6.0. http:\/\/www.hpl.hp.com\/research\/cacti\/ . (2009)"},{"issue":"5","key":"380_CR36","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/358438.349314","volume":"35","author":"GC Necula","year":"2000","unstructured":"Necula, G.C.: Translation validation for an optimizing compiler. SIGPLAN Not. 35(5), 83\u201394 (2000)","journal-title":"SIGPLAN Not."},{"issue":"2","key":"380_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/289918.289920","volume":"17","author":"Robert W Numrich","year":"1998","unstructured":"Numrich, Robert W., Reid, John: Co-array fortran for parallel programming. SIGPLAN Fortran Forum 17(2), 1\u201331 (1998)","journal-title":"SIGPLAN Fortran Forum"},{"key":"380_CR38","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The omega test: a fast and practical integer programming algorithm for dependence analysis. In: Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing, Supercomputing \u201991, pp. 4\u201313, ACM (1991)","DOI":"10.1145\/125826.125848"},{"key":"380_CR39","doi-asserted-by":"crossref","unstructured":"Rinard, M.C., Diniz, P.C.: Commutativity analysis: a new analysis framework for parallelizing compilers. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1996)","DOI":"10.1145\/249069.231390"},{"key":"380_CR40","volume-title":"Theory of Recursive Functions and Effective Computability","author":"Hartley Rogers Jr","year":"1987","unstructured":"Rogers Jr, Hartley: Theory of Recursive Functions and Effective Computability. MIT Press, Cambridge (1987)"},{"key":"380_CR41","doi-asserted-by":"crossref","unstructured":"Rul, S., Vandierendonck, H., De\u00a0Bosschere, K.: Towards automatic program partitioning. In: Proceedings of the 6th ACM Conference on Computing frontiers, CF \u201909 (2009)","DOI":"10.1145\/1531743.1531759"},{"key":"380_CR42","volume-title":"A Mathematical Theory of Communication","author":"Claude E Shannon","year":"1963","unstructured":"Shannon, Claude E., Weaver, Warren: A Mathematical Theory of Communication. University of Illinois Press, Champaign (1963)"},{"issue":"6","key":"380_CR43","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.214441","volume":"26","author":"Gabriel M Silberman","year":"1993","unstructured":"Silberman, Gabriel M., Ebcioglu, Kemal: An architectural framework for supporting heterogeneous instruction-set architectures. Computer 26(6), 39\u201356 (1993)","journal-title":"Computer"},{"key":"380_CR44","unstructured":"So, B., Hall, M.W., Ziegler, H.E.: Custom data layout for memory parallelism. In: Proceedings of the International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization, CGO \u201904 (2004)"},{"key":"380_CR45","unstructured":"Standard Performance\u00a0Evaluation Committee. Spec cpu2000 benchmarks, (2000). http:\/\/www.spec.org\/cpu2000\/"},{"issue":"2","key":"380_CR46","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"Robert Endre Tarjan","year":"1972","unstructured":"Tarjan, Robert Endre: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"380_CR47","doi-asserted-by":"crossref","unstructured":"Weinhardt, M., Luk, W.: Memory access optimization and ram inference for pipeline vectorization. In: FPL (1999)","DOI":"10.1007\/978-3-540-48302-1_7"},{"key":"380_CR48","doi-asserted-by":"crossref","unstructured":"Yelick, K., Bonachea, D., Chen, W.-Y., Colella, P., Datta, K., Duell, J., Graham, S.L., Hargrove, P., Hilfinger, P., Husbands, P., Lancu, C., Kamil, A., Nishtala, R., Su, J., Welcome, M., Wen, T.: Productivity and performance using partitioned global address space languages. In: Proceedings of the 2007 International Workshop on Parallel Symbolic Computation, PASCO \u201907 (2007)","DOI":"10.1145\/1278177.1278183"},{"issue":"3","key":"380_CR49","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1177\/1094342007078449","volume":"21","author":"K Yelick","year":"2007","unstructured":"Yelick, K., Hilfinger, P., Graham, S., Bonachea, D., Su, J., Kamil, A., Datta, K., Colella, P., Wen, T.: Parallel languages and compilers: perspective from the titanium experience. Int. J. High Perform. Comput. Appl. 21(3), 266\u2013290 (2007)","journal-title":"Int. J. High Perform. Comput. Appl."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-015-0380-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-015-0380-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-015-0380-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T19:36:51Z","timestamp":1567280211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-015-0380-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["380"],"URL":"https:\/\/doi.org\/10.1007\/s10766-015-0380-7","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,26]]}}}