{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:33Z","timestamp":1725663453895},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_78","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:31Z","timestamp":1330209211000},"page":"421-438","source":"Crossref","is-referenced-by-count":1,"title":["Virtual memory support for OR-parallel logic programming systems"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"V\u00e9ron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiyang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. A.","family":"Delgado-Rannauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Schuerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Vadim Abrossimov and Marc Rozier. Generic virtual memory management for operating system kernels. In Symposium on Operating Systems Principles, pages 123\u2013136, December 1989.","DOI":"10.1145\/74850.74863"},{"key":"24_CR2","unstructured":"K. Ali. Muse. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1531\u20131545, Seattle, August 1988."},{"key":"24_CR3","unstructured":"K. Ali. OR-parallel execution of Prolog on theBC-machine. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1531\u20131545, Seattle, August 1988."},{"key":"24_CR4","unstructured":"H. Alshawi and D. Moran. The DELPHI Model and Some Preliminary Experiments. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1578\u20131589, Seattle, August 1988."},{"key":"24_CR5","unstructured":"U.C. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. Ratcliffe, P. Robert, J.C. Syre, and H. Westphal. The parallel ECRC Prolog system PEPSys: An overview and evaluation results. In Proceedings FGCS'88, Tokyo, November 1988. International Conference on Fifth Generation Computer Systems."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"A. Beaumont, S. Muthu Raman, and P. Szeredi. Scheduling OR-Parallelism in Aurora with the Bristol scheduler. In Proceedings PARLE, Eindhoven, June 1991.","DOI":"10.1007\/978-3-662-25209-3_50"},{"key":"24_CR7","unstructured":"P. Borgwardt. Parallel Prolog stack segments on shared-memory multiprocessors. In Proceedings Symposium on Logic Programming, pages 2\u201311, February 1984."},{"key":"24_CR8","unstructured":"Lothar Borrmann. A virtually shared memory model with customized coherency. In 11th ITG\/GI Conference on Architecture of Computing Systems, March 1990."},{"key":"24_CR9","unstructured":"R. Butler, T. Disz, E. Lusk, R. Olson, R. Overbeek, and R.Stevens. Scheduling OR-Parallelism: An Argonne Perspective. In K. Bowen R. Kowalski, editor, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1590\u20131605, Seattle, August 1988."},{"key":"24_CR10","unstructured":"R. Butler, E.L. Lusk, R. Olson, and R.A. Overbeek. ANLWAM \u2014 A Parallel Implementation of the Warren Abstract Machine. Internal report, Argonne National Laboratory, 1986."},{"key":"24_CR11","unstructured":"A. Calderwood and P. Szeredi. Scheduling Or-Parallelism in Aurora \u2014 the Manchester Scheduler. In ICLP'89, pages 419\u2013435. Univ. Manchester, June 1989."},{"key":"24_CR12","unstructured":"A. Ciepielewski and S. Haridi. A Formal Model for OR-parallel execution of logic programs. In Proceedings Information Processing, pages 299\u2013305, 1983."},{"key":"24_CR13","unstructured":"Saumya Debray. SB-Prolog system, Version 2.5, a user manual. Technical report, Department of Computer Science, University of Arizona, September 1988."},{"key":"24_CR14","unstructured":"S. Delgado-Rannauro, Kees Schuerman, and Jiyang Xu. The Elipsys computational model. EDS Deliverable EDS.DD.5E.CA-51, Computer Architecture Group, ECRC, December 1989."},{"key":"24_CR15","volume-title":"A Message Driven OR-Parallel Logic Architecture","author":"S. A. Delgado-Rannauro","year":"1989","unstructured":"S. A. Delgado-Rannauro. A Message Driven OR-Parallel Logic Architecture. PhD thesis, University of Essex, England, December 1989."},{"key":"24_CR16","unstructured":"S.A Delgado-Rannauro. Computational Models of Parallel Logic Languages. Computer Architecture Group, technical report 46, ECRC, February 1989."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Brett D. Fleisch and Gerald J. Popek. MIRAGE: A coherent distributed shared memory design. In Symposium on Operating Systems Principles, pages 123\u2013136, December 1989.","DOI":"10.1145\/74850.74871"},{"issue":"4","key":"24_CR18","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/75104.75105","volume":"7","author":"L. Kai","year":"1989","unstructured":"Kai Li and Paul Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4):321\u2013359, November 1989.","journal-title":"ACM Transactions on Computer Systems"},{"key":"24_CR19","unstructured":"E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D.H.D. Warren, A. Calderwodd, P. Szeridi, S. Haridi, P. Brand, M. Carlson, A. Ciepielewski, and B. Hausman. The Aurora OR-parallel Prolog system. In Proceedings FGCS'88, Tokyo, November 1988. International Conference on Fifth Generation Computer Systems."},{"key":"24_CR20","unstructured":"EDS Project. European Declarative System, Executive Summary. Technical report ESPRIT II EP 2025, EDS Deliverable, 1989."},{"key":"24_CR21","unstructured":"P. Szeredi and M. Carlsson. The Engine-Scheduler Interface in the Aurora Or-parallel Prolog System. In distributed in NACLP Workshop on parallel execution, Austin, Texas, October 1990."},{"key":"24_CR22","unstructured":"Avadis Tevanian, Jr. Architecture-Independent Virtual Memory Management for Parallel and Distributed Environments: The Mach Approach. PhD thesis, Carnegie Mellon University, december 1987."},{"key":"24_CR23","unstructured":"David H.D. Warren. An abstract Prolog instruction set. Technical report, 309, Artificial Intelligence Center, SRI International, 1983."},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"David S. Warren. Efficient Prolog memory management for flexible control strategies. In The International Symposium on Logic Programming, pages 198\u2013202, 1984.","DOI":"10.1007\/BF03037327"},{"key":"24_CR25","unstructured":"Jiyang Xu. Elipsys execution models: A preview. Computer Architecture Group, internal report: Elipsys-017, ECRC, February 1990."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:46Z","timestamp":1605646366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}