{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:13:04Z","timestamp":1737609184625,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664260"},{"type":"electronic","value":"9783540483199"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48319-5_1","type":"book-chapter","created":{"date-parts":[[2007,11,9]],"date-time":"2007-11-09T04:49:58Z","timestamp":1194583798000},"page":"1-17","source":"Crossref","is-referenced-by-count":5,"title":["From Flop to MegaFlops: Java for Technical Computing"],"prefix":"10.1007","author":[{"given":"J. E.","family":"Moreira","sequence":"first","affiliation":[]},{"given":"S. P.","family":"Midkiff","sequence":"additional","affiliation":[]},{"given":"M.","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/151333.151392","volume":"1","author":"J. M. Asuru","year":"1992","unstructured":"J. M. Asuru. Optimization of array subscript range checks. ACM Letters on Programming Languages and Systems, 1(2):109\u2013118, June 1992.","journal-title":"ACM Letters on Programming Languages and Systems"},{"issue":"11","key":"1_CR2","first-page":"11","volume":"9","author":"C. A. Atwood","year":"1997","unstructured":"C. A. Atwood, R. P. Garg, and D. DeRyke. A prototype computational fluid dynamics case study in Java. Concurrency, Pract. Exp. (UK), 9(11):11\u201318, November 1997. Java for Computational Science and Engineering-Simulation and Modeling IILas Vegas, NV, USA21 June 1997.","journal-title":"Concurrency, Pract. Exp. (UK)"},{"unstructured":"U. Banerjee. Unimodular transformations of double loops. In Proc. Third Workshop on Programming Languages and Compilers for Parallel Computing, Irvine, CaliforniaAugust 1990.","key":"1_CR3"},{"unstructured":"A. Bik and D. Gannon. javab manual (version 1.0 BETA. In ACM 1998 Workshop on Java for High Performance Network Computing. ACM SIGPLAN, 1998. Available at URL http:\/\/www.cs.ucsb.edu\/conferences\/java98 .","key":"1_CR4"},{"issue":"11","key":"1_CR5","first-page":"81","volume":"9","author":"A. Bik","year":"1997","unstructured":"A. Bik, J. Villacis, and D. Gannon. javar: A prototype Java restructuring compiler. Concurrency, Pract. Exp. (UK), 9(11):81\u201391, November 1997. Java for Computational Science and Engineering-Simulation and Modeling IILas Vegas, NV, USA21 June 1997.","journal-title":"Concurrency, Pract. Exp. (UK)"},{"unstructured":"R. F. Boisvert, J. J. Dongarra, R. Pozo, K. A. Remington, and G. W. Stewart. Developing numerical libraries in Java. In ACM 1998 Workshop on Java for High-Performance Network Computing. ACM SIGPLAN, 1998. Available at http:\/\/www.cs.ucsb.edu\/conferences\/java98 .","key":"1_CR6"},{"issue":"11","key":"1_CR7","first-page":"45","volume":"9","author":"Z. Budimlic","year":"1997","unstructured":"Z. Budimlic and K. Kennedy. Optimizing Java: Theory and practice. Concurrency, Pract. Exp. (UK), 9(11):45\u201363, November 1997. Java for Computational Science and Engineering-Simulation and Modeling IILas Vegas, NV, USA21 June 1997.","journal-title":"Concurrency, Pract. Exp. (UK)"},{"doi-asserted-by":"crossref","unstructured":"D. Callahan, S. Carr, and K. Kennedy. Improving register allocation for subscripted variables. In Proc. ACM SIGPLAN\u2019 90 Conference on Programming Language Design and Implementation, White Plains, NY, June 1990.","key":"1_CR8","DOI":"10.1145\/93542.93553"},{"issue":"11","key":"1_CR9","first-page":"79","volume":"9","author":"H. Casanova","year":"1997","unstructured":"H. Casanova, J. Dongarra, and D. M. Doolin. Java access to numerical libaries. Concurrency, Pract. Exp. (UK), 9(11):79\u201391, November 1997. Java for Computational Science and Engineering-Simulation and Modeling IILas Vegas, NV, USA21 June 1997.","journal-title":"Concurrency, Pract. Exp. (UK)"},{"unstructured":"IBM Corporation. IBM High Performance Compiler for Java, 1997. Available for download at http:\/\/www.alphaWorks.ibm.com\/formula .","key":"1_CR10"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4\u2019th ACM Symposium on Principles of Programming Languages, pages 238\u2013252, January 1977.","key":"1_CR11","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Conference Record of the 5\u2019th ACM Symposium on Principles of Programming Languages, pages 84\u201396, January 1978.","key":"1_CR12","DOI":"10.1145\/512760.512770"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic proofs of the absence of common run-time errors. In Conference Record of the 5\u2019th ACM Symposium on Principles of Programming Languages, pages 105\u2013118, January 1978.","key":"1_CR13","DOI":"10.1145\/512760.512772"},{"unstructured":"J. J. Dongarra, I. S. Duff, D. C. Sorensen, and H. A. van der Vorst. Solving Linear Systems on Vector and Shared Memory Computers. Society for Industrial and Applied Mathematics, 1991.","key":"1_CR14"},{"unstructured":"J. Ferrante, V. Sarkar, and W. Thrash. On estimating and enhancing cache effectiveness. In Proc. Fourth Workshop on Programming Languages and Compilers for Parallel Computing, August 1991.","key":"1_CR15"},{"unstructured":"Java Grande Forum. Issues in numerical computing with Java. Document available at URL http:\/\/math.nist.gov\/javanumerics\/issues.html , March 1998.","key":"1_CR16"},{"unstructured":"James Gosling. The evolution of numerical computing in Java. Document available at Web-page http:\/\/java.sun.com\/people\/jag\/FP.htm . Sun Microsystems.","key":"1_CR17"},{"unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java(\u2122) Language Specification. Addison-Wesley, 1996.","key":"1_CR18"},{"doi-asserted-by":"crossref","unstructured":"R. Gupta. A fresh look at optimizing array bounds checking. In Proceedings of the ACM SIGPLAN\u2019 90 Conference on Programming Language Design and Implementation, pages 272\u2013282, June 1990.","key":"1_CR19","DOI":"10.1145\/93542.93581"},{"issue":"1-4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/176454.176507","volume":"2","author":"R. Gupta","year":"1993","unstructured":"R. Gupta. Optimizing array bound checks using flow analysis. ACM Letters on Programming Languages and Systems, 2(1-4):135\u2013150, March-December 1993.","journal-title":"ACM Letters on Programming Languages and Systems"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/TSE.1977.231133","volume":"SE3","author":"W. H. Harrison","year":"1977","unstructured":"W. H. Harrison. Compiler analysis for the value ranges for variables. IEEE Transactions on Software Engineering, SE3(3):243\u2013250, May 1977.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"International Business Machines Corporation. IBM Engineering and Scientific Subroutine Library for AIX \u2014 Guide and Reference, December 1997.","key":"1_CR22"},{"doi-asserted-by":"crossref","unstructured":"P. Kolte and M. Wolfe. Elimination of redundant array subscript range checks. In Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation, pages 270\u2013278, Jun 1995.","key":"1_CR23","DOI":"10.1145\/207110.207160"},{"doi-asserted-by":"crossref","unstructured":"V. Markstein, J. Cocke, and P. Markstein. Elimination of redundant array subscript range checks. In Proceedings of the ACM SIGPLAN\u2019 82 Conference on Programming Language Design and Implementation, pages 114\u2013119, June 1982.","key":"1_CR24","DOI":"10.1145\/872726.806986"},{"unstructured":"Sun Microsystems. Sun proposes modification to Java programming languages\u2019s floating point specification. http:\/\/www.sun.com\/smi\/Press\/sunflash\/9803\/sunflash.980324.17.html , 1998.","key":"1_CR25"},{"unstructured":"S. P. Midkiff, J. E. Moreira, and M. Gupta. Method for optimizing array bounds checks in programs. Patent pending, IBM Docket #YO-998-052, filed with U. S. Patent Office, April 24th, 1998.","key":"1_CR26"},{"issue":"3","key":"1_CR27","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1147\/sj.373.0409","volume":"37","author":"S. P. Midkiff","year":"1998","unstructured":"S. P. Midkiff, J. E. Moreira, and M. Snir. Optimizing bounds checking in java programs. IBM Systems Journal, 37(3):409\u2013453, August 1998.","journal-title":"IBM Systems Journal"},{"doi-asserted-by":"crossref","unstructured":"J. E. Moreira, S. P. Midkiff, and M. Gupta. From flop to megaflops: Java for technical computing, 1998. Submitted to ACM TOPLAS, IBM Research Report 21166.","key":"1_CR28","DOI":"10.1007\/3-540-48319-5_1"},{"unstructured":"D. Orchard. Better peformance with exceptions in Java. Byte, pages 53\u201354, March 1998. In the Core Programming feature.","key":"1_CR29"},{"doi-asserted-by":"crossref","unstructured":"V. Sarkar. Automatic selection of high-order transformations in the IBM XL Fortran compilers. IBM Journal of Research and Development, 41(3), May 1997.","key":"1_CR30","DOI":"10.1147\/rd.413.0233"},{"unstructured":"M. Schwab and J. Schroeder. Algebraic java classes for numerical optimization. In ACM 1998 Workshop on Java for High-Performance Network Computing. ACM SIGPLAN, 1998. Available at http:\/\/www.cs.ucsb.edu\/conferences\/java98 .","key":"1_CR31"},{"doi-asserted-by":"crossref","unstructured":"B. Schwarz, W. Kirchgassner, and R. Landwehr. An optimizer for Ada-design, experience and results. In Proceedings of the ACM SIGPLAN\u2019 88 Conference on Programming Language Design and Implementation, pages 175\u2013185, June 1988.","key":"1_CR32","DOI":"10.1145\/53990.54008"},{"unstructured":"V. Seshadri. IBM high performance compiler for Java. AIXpert Magazine, September 1997. Electronic publication available at URL http:\/\/www.developer.ibm.com\/library\/aixpert .","key":"1_CR33"},{"unstructured":"Proposal for extension of java floating point in jdk 1.2. http:\/\/java.sun.com\/feedback\/fp.html , 1998.","key":"1_CR34"},{"issue":"4","key":"1_CR35","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1109\/71.97902","volume":"2","author":"M. E. Wolf","year":"1991","unstructured":"M. E. Wolf and M. S. Lam. A loop transformation theory and an algorithm to maximize parallelism. IEEE Transactions on Parallel and Distributed Systems, 2(4):452\u2013471, October 1991.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"unstructured":"M. J. Wolfe. Iteration space tiling for memory hierarchies. In Proc. 3rd SIAM Conference on Parallel Processing for Scientific Computing, pages 357\u2013361, Philadelphia, PA, 1987.","key":"1_CR36"},{"unstructured":"M. J. Wolfe. Optimizing Supercompilers for Supercomputers. The MIT Press, 1989.","key":"1_CR37"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48319-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:30:17Z","timestamp":1737523817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48319-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664260","9783540483199"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-48319-5_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}