{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:22Z","timestamp":1725456142379},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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\/bfb0014193","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T03:13:46Z","timestamp":1132715626000},"page":"81-95","source":"Crossref","is-referenced-by-count":3,"title":["Interprocedural array data-flow analysis for cache coherence"],"prefix":"10.1007","author":[{"given":"Lynn","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen -Chung","family":"Yew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"R. Ballance, A. Maccabe, and K. Ottenstein. The Program Dependence Web: a Representation Supporting Control-Data-and Demand-Driven Interpretation of Imperative Languages. Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 257\u2013271, June 1990.","DOI":"10.1145\/93548.93578"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/0743-7315(88)90011-1","volume":"5","author":"D. Callahan","year":"1988","unstructured":"D. Callahan and K. Kennedy. Analysis of Interprocedural Side Effects in a Parallel Programming Environment. Journal of Parallel and Distributed Computing, 5:517\u2013550, 1988.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Hoichi Cheong. Life Span Strategy \u2014 A Compiler-Based Approach to Cache Coherence. Proceedings of the 1992 International Conference on Supercomputing, July 1992.","DOI":"10.1145\/143369.143402"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Hoichi Cheong and Alex Veidenbaum. A Cache Coherence Scheme with Fast Selective Invalidation. Proceedings of The 15th Annual International Symposium on Computer Architecture, page 299, June 1988.","DOI":"10.1109\/ISCA.1988.5240"},{"key":"6_CR5","unstructured":"Hoichi Cheong and Alexander V. Veidenbaum. Stale Data Detection and Coherence Enforcement Using Flow Analysis. Proceedings of the 1988 International Conference on Parallel Processing, I, Architecture:138\u2013145, August 1988."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Hoichi Cheong and Alexander V. Veidenbaum. A Version Control Approach To Cache Coherence. Proceedings of 1989 ACM\/SIGARCH International Conference on Supercomputing, June 1989.","DOI":"10.1145\/318789.318824"},{"key":"6_CR7","unstructured":"T. Chiueh. A Generational Approach to Software-Controlled Multiprocessor Cache Coherence. Proceedings 1993 International Conference on Parallel Processing, 1993."},{"key":"6_CR8","unstructured":"Lynn Choi and Pen-Chung Yew. Eliminating Stale Data References through Array Data-Flow Analysis. CSRD Technical Report No. 1425, April. 1995."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Lynn Choi and Pen-Chung Yew. Interprocedural Array Data-Flow Analysis for Cache Coherence. CSRD Technical Report No. 1427, May. 1995.","DOI":"10.1007\/BFb0014193"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Lynn Choi and Pen-Chung Yew. A Compiler-Directed Cache Coherence Scheme with Improved Intertask Locality. Proceedings of the Supercomputing'94, November 1994.","DOI":"10.1109\/SUPERC.1994.344343"},{"key":"6_CR11","unstructured":"Mary W. Hall. Managing Interprocedural Optimization. Technical report, Rice University, Dept. of Computer Science, April 1991. Ph.D. Thesis."},{"key":"6_CR12","unstructured":"Paul Havlak. Interprocedural Symbolic Analysis. Technical report, Rice University, Dept. of Computer Science, May 1994. Ph.D. Thesis."},{"key":"6_CR13","unstructured":"A. Louri and H. Sung. A Compiler Directed Cache Coherence Scheme with Fast and Parallel Explicit Invalidation. Proceedings of the 1992 International Conference on Parallel Processing, I, Architecture:I-2\u2013I-9, August 1992."},{"key":"6_CR14","first-page":"23","volume":"I","author":"S. L. Min","year":"1989","unstructured":"S. L. Min and J.-L. Baer. A Timestamp-based Cache Coherence Scheme. 1989 International Conference on Parallel Processing, I:23\u201332, 1989.","journal-title":"1989 International Conference on Parallel Processing"},{"key":"6_CR15","volume-title":"CSRD Rept. No. 1306","author":"D. A. Padua","year":"1993","unstructured":"D. A. Padua, R. Eigenmann, J. Hoeflinger, P. Peterson, P. Tu, S. Weatherford, and K. Faign. Polaris: A New-Generation Parallelizing Compiler for MPPs. In CSRD Rept. No. 1306. Univ. of Illinois at Urbana-Champaign., June, 1993."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"P. Tu and D. Padua. Gated SSA Based Demand-Driven Symbolic Analysis. CSRD Technical Report No. 1336, Feb. 1994.","DOI":"10.1145\/224538.224648"},{"key":"6_CR17","unstructured":"A. V. Veidenbaum. A Compiler-Assisted Cache Coherence Solution for Multiprocessors. Proceedings of the 1986 International Conference on Parallel Processing, pages 1029\u20131035, August 1986."}],"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\/BFb0014193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:39:37Z","timestamp":1586565577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607656","9783540494461"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0014193","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}