{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T15:40:17Z","timestamp":1733240417050,"version":"3.30.1"},"reference-count":18,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1016\/s0167-739x(01)00072-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:06:09Z","timestamp":1027591569000},"page":"449-460","source":"Crossref","is-referenced-by-count":0,"title":["KelpIO: a telescope-ready domain-specific I\/O library for irregular block-structured applications"],"prefix":"10.1016","volume":"18","author":[{"given":"Bradley","family":"Broom","sequence":"first","affiliation":[]},{"given":"Rob","family":"Fowler","sequence":"additional","affiliation":[]},{"given":"Ken","family":"Kennedy","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S0167-739X(01)00072-3_BIB1","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1109\/71.762818","article-title":"A general interprocedural framework for placement of split-phase large latency operations","volume":"10","author":"Agrawal","year":"1999","journal-title":"IEEE Trans. Parallel Distributed Syst."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S0167-6423(99)00046-5","article-title":"A calculus of program adaptation and its applications","volume":"38","author":"Ayed","year":"2000","journal-title":"Sci. Comput. Progr."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB3","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1007\/BF00291051","article-title":"A calculus of refinements for program derivations","volume":"25","author":"Back","year":"1988","journal-title":"Acta Inform."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB4","unstructured":"R. Bordawekar, A. Choudhary, Extending I\/O capabilities of high performance Fortran: initial experiences, Scalable I\/O initiative, Technical Report CACR-115, Center of Advanced Computing Research, California Institute of Technology, December 1995."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB5","doi-asserted-by":"crossref","unstructured":"R. Bordawekar, R. Thakur, A. Choudhary, Efficient compilation of out-of-core data parallel programs, Technical Report SCCS-622, NPAC, April 1994.","DOI":"10.1145\/209936.209938"},{"key":"10.1016\/S0167-739X(01)00072-3_BIB6","doi-asserted-by":"crossref","unstructured":"P. Brezany, M. Gernt, P. Mehotra, H. Zima, Concurrent file operations in a high performance FORTRAN, in: Proceedings of the Supercomputing\u201992, 1992, pp. 230\u2013237.","DOI":"10.1109\/SUPERC.1992.236691"},{"key":"10.1016\/S0167-739X(01)00072-3_BIB7","unstructured":"D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh, Structured presentation of refinements and proofs, Technical Report 95-46, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane, Australia, November 1995."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB8","unstructured":"A. Colvin, T.H. Cormen, ViC\u2217: a compiler for virtual-memory C\u2217, Technical Report PCS-TR97-323, Dartmouth College, Computer Science, Hanover, NH, November 1997."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB9","doi-asserted-by":"crossref","unstructured":"R. Ferreira, T. Kurc, M. Beynon, C. Chang, A. Sussman, J. Saltz, Object-relational queries into multidimensional databases with the active data repository, Parallel Processing Lett. 9 (1999) 173\u2013195.","DOI":"10.1142\/S0129626499000190"},{"issue":"1\u20132","key":"10.1016\/S0167-739X(01)00072-3_BIB10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1006\/jpdc.1998.1437","article-title":"Efficient run-time support for irregular block-structured applications","volume":"50","author":"Fink","year":"1998","journal-title":"J. Parallel Distributed Comput."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB11","unstructured":"I. Foster, C. Kesselman (Eds.), The Grid: Blueprint for a New Computing Infrastructure, Morgan Kaufmann, Los Altos, CA, 1998."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB12","unstructured":"G. Fox, S. Hiranandani, K. Kennedy, C. Koelbel, U. Kremer, C. Tseng, Fortran D language specifications, Technical Report COMP TR90-141, Rice University, December 1990."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB13","doi-asserted-by":"crossref","unstructured":"K. Kennedy, Telescoping languages: a compiler strategy for implementation of high-level domain-specific programming systems, in: Proceedings of the International Parallel and Distributed Processing Symposium 2000, Cancun, Mexico, May 2000.","DOI":"10.1109\/IPDPS.2000.845999"},{"key":"10.1016\/S0167-739X(01)00072-3_BIB14","doi-asserted-by":"crossref","unstructured":"K. Kennedy, B. Broom, K. Cooper, J. Dongarra, R. Fowler, D. Gannon, L. Johnsson, J. Mellor-Crummey, L. Torczon, Telescoping languages: a strategy for automatic generation of scientific problem-solving systems from annotated libraries, J. Parallel Distributed Comput. 61 (2001) 1803\u20131826.","DOI":"10.1006\/jpdc.2001.1724"},{"key":"10.1016\/S0167-739X(01)00072-3_BIB15","unstructured":"MPI-IO: A Parallel file I\/O Interface for MPI, Version 0.5, The MPI-IO Committee, April 1996."},{"key":"10.1016\/S0167-739X(01)00072-3_BIB16","doi-asserted-by":"crossref","unstructured":"M. Paleczny, K. Kennedy, C. Koelbel, Compiler support for out-of-core arrays on data parallel machines, in: Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Computation, McLean, VA, February 1995, pp. 110\u2013118.","DOI":"10.1109\/FMPC.1995.380457"},{"key":"10.1016\/S0167-739X(01)00072-3_BIB17","unstructured":"J.M. Spivey, The Z Notation: A Reference Manual, 2nd Edition, Prentice Hall International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, 1992."},{"issue":"6","key":"10.1016\/S0167-739X(01)00072-3_BIB18","first-page":"70","article-title":"Passion: optimized I\/O for parallel applications","volume":"29","author":"Thakur","year":"1996","journal-title":"IEEE Comput."}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X01000723?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X01000723?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T15:11:00Z","timestamp":1733238660000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X01000723"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["S0167739X01000723"],"URL":"https:\/\/doi.org\/10.1016\/s0167-739x(01)00072-3","relation":{},"ISSN":["0167-739X"],"issn-type":[{"type":"print","value":"0167-739X"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}