{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:09:45Z","timestamp":1736140185525,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607656"},{"type":"electronic","value":"9783540494461"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014215","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:13:46Z","timestamp":1132733626000},"page":"422-433","source":"Crossref","is-referenced-by-count":1,"title":["General purpose optimization technology"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Cheatham","sequence":"first","affiliation":[]},{"given":"Amr","family":"Fahmy","sequence":"additional","affiliation":[]},{"given":"Dan C.","family":"Stefanescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(90)90188-N","volume":"71","author":"A. Aggarwal","year":"1990","unstructured":"A. Aggarwal, A. Chandra and M. Snir Communication Complexity of PRAMs, Theoretical Computer Science, 71(1990), pp 3\u201328.","journal-title":"Theoretical Computer Science"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"S. P. Amarasinghe and M. Lam Communication Optimization and Code Generation for Distributed Memory Machines Proceedings of the ACM SIGPLAN'93, Conference on Programming Language Design and Implementation, June 1993","DOI":"10.1145\/155090.155102"},{"key":"28_CR3","unstructured":"R.H. Bisseling and W. F. McColl Scientific Computing on Bulk Synchronous Parallel Architectures Preprint 836, Dept. of Mathematics, Utrecht University, December 1993"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"T. Cheatham, H. Gao, and D. Stefanescu A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter, Proceedings of the International Conference on Compiler Construction, Edinburgh, April 1994","DOI":"10.1007\/3-540-57877-3_13"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"T. Cheatham, A. Fahmy, D. Stefanescu, and L. Valiant Bulk Synchronous Parallel Computing \u2014 a Paradigm for Transportable Software, Proceedings HICSS95, Vol II, pp 268\u2013275.","DOI":"10.1109\/HICSS.1995.375451"},{"key":"28_CR6","unstructured":"T. Cheatham, A. Fahmy, and D. Stefanescu Supporting Multiple Evolving Compilers, SEKE'94, Riga, June 1994"},{"key":"28_CR7","volume-title":"Lecture Notes on Computer Science","author":"T. Cheatham","year":"1994","unstructured":"T. Cheatham, Models, Languages, and Compiler Technology for High Performance Computers, Workshop on Mathematical Foundations of Computer Science, Kosice, Slovakia, Lecture Notes on Computer Science, Springer Verlag, August 1994."},{"key":"28_CR8","first-page":"515","volume":"1","author":"T. Cheatham","year":"1994","unstructured":"T. Cheatham, A. Fahmy, and D. Stefanescu H-BSP \u2014 A General Purpose Parallel Computing Environment, Proceedings of IFIP World Congress, Vol. 1, pp 515\u2013520, Hamburg, August 1994","journal-title":"Proceedings of IFIP World Congress"},{"key":"28_CR9","unstructured":"T. Cheatham, A. Fahmy, and D. Stefanescu A Compiler for BSP-L, A Programming Language for the Bulk Synchronous Processing Model, Proceedings of IEEE TENCON'94, Singapore, August 1994"},{"key":"28_CR10","unstructured":"T.Cheatham The Unbundled Compiler, Technical Report, Harvard University, 1993"},{"key":"28_CR11","volume-title":"Introduction to Split-C EECS","author":"D. E. Culler","year":"1993","unstructured":"D. E. Culler, et al. Introduction to Split-C EECS, UC Berkeley, Berkeley, CA 94720, April 1993"},{"key":"28_CR12","volume-title":"PVM3 Users Guide and Reference Manual ORNL\/TM-12187","author":"A. Geist","year":"1993","unstructured":"A. Geist, et al. PVM3 Users Guide and Reference Manual ORNL\/TM-12187, Oak Ridge National Laboratory, Tennessee, May 1993"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"A.V.Gerbessiotis and L.G.Valiant Direct bulk-synchronous parallel algorithms, Third Scandinavian Workshop on Algorithm Theory, vol. 621, pages 1\u201318, Springer Verlag, 1992. Extended version in Journal of Parallel and Distributed Computing, 22, pp. 251\u2013267, 1994","DOI":"10.1006\/jpdc.1994.1085"},{"key":"28_CR14","unstructured":"E. Heinz, M. Phillipson Synchronization Barrier Elimination in Synchronous FORALLs TR13\/93 University of Karlsruhe, April 1993"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"S. Hiranandani, K.Kennedy, C.Tseng Compiling Fortran D for MIMD Distributed-Memory Machines Communications of the ACM, August 1992","DOI":"10.1145\/135226.135230"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"J.W.Hong and H.T.Kung I\/O Complexity: The Red-Blue Pebble Game Proceedings of the 13-th ACM Symposium on Theory of Computing, pp 326\u2013333, 1981","DOI":"10.1145\/800076.802486"},{"key":"28_CR17","unstructured":"V.Kathail and D. Stefanescu A Data Mapping Parallel Language TR-21-89, Center for Research in Computing Technology, Harvard University, December 1989"},{"key":"28_CR18","unstructured":"W. F. McColl General Purpose Parallel Computing, In A.M. Gibbons and P.Spirakis, editors, Lectures on Parallel Computation, Proc. 1991 ALCOM Spring School on Parallel Computation, vol 4 of Cambridge International Series on Parallel Computation, Cambridge University Press, 1993"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"W. F. McColl BSP Programming In DIMACS Series of Discrete Mathematics and Theoretical Computer Science, 1994. To appear.","DOI":"10.1090\/dimacs\/018\/02"},{"key":"28_CR20","first-page":"539","volume":"1","author":"W. F. McColl","year":"1994","unstructured":"W. F. McColl Scalable Parallel Computing: A Grand Unified Theory and its Practical Development Proceedings of IFIP World Congress, Vol. 1, pp 539\u2013546, Hamburg, August 1994","journal-title":"Proceedings of IFIP World Congress"},{"key":"28_CR21","unstructured":"R. Miller and J. Reed The Oxford BSP Library. Users Guide. Version 1.0, Oxford University, 1994"},{"key":"28_CR22","unstructured":"M. Paterson. Manuscript. 1994"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"J. P. Singh, E. Rothberg, and A. Gupta Modeling Communication in Parallel Algorithms: A Fruitful Interaction Between Theory and Systems Proceedings of the ACM Symposium on Parallel Algorithms and Architectures, 1994.","DOI":"10.1145\/181014.181329"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"D. Stefanescu and Y. Zhou An Equational Framework for the Abstract Analysis of Functional Programs, Proceedings of ACM Conference on Lisp and Functional Programming, Orlando, 1994.","DOI":"10.1145\/182409.182497"},{"issue":"8","key":"28_CR25","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"L. G. Valiant","year":"1990","unstructured":"L. G. Valiant A Bridging Model for Parallel Computation Communications of the ACM, 33(8):103\u2013111, 1990","journal-title":"Communications of the ACM"},{"key":"28_CR26","unstructured":"L. G. Valiant A combining mechanism for parallel computers. In Parallel Architectures and Their Efficient Use, Proceedings of First Heinz Nixdorf Symposium, Paderborn, Germany, November 1992. Lecture Notes in Computer Science Vol678, Springer-Verlag, 1\u201310."},{"key":"28_CR27","first-page":"2","volume-title":"Proceedings of the 7-th International Parallel Processing Symposium","author":"L. G. Valiant","year":"1993","unstructured":"L. G. Valiant Why BSP Computers? Proceedings of the 7-th International Parallel Processing Symposium, pp 2\u20135, IEEE Computer Society Press, Los Alamitos, CA, 1993"},{"key":"28_CR28","doi-asserted-by":"crossref","unstructured":"M.E.Wolf and M.Lam A Data Locality Optimizing Algorithm, Conference on Programming Languages Design and Implementation'91, 1991","DOI":"10.1145\/113445.113449"}],"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\/BFb0014215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:43:06Z","timestamp":1736113386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014215"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607656","9783540494461"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0014215","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}