{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:04:12Z","timestamp":1773983052679,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540541523","type":"print"},{"value":"9783540474722","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:33:08Z","timestamp":1330209188000},"page":"385-402","source":"Crossref","is-referenced-by-count":5,"title":["Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor"],"prefix":"10.1007","author":[{"given":"J.","family":"Briat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Favre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Geyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Chassin de Kergommeaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"22_CR1","unstructured":"K. A. M. Ali and R. Karlsson. The Muse or-parallel prolog model and its performance. In Proceedings of the NACLP'90, Austin, 1990."},{"key":"22_CR2","unstructured":"P.G. Bosco, C. Cecchi, C. Moiso, M. Porta, and G. Sofi. Logic and functional programming on distributed memory architectures. In Proceedings of the 6 th International Conference on Logic Programming, pages 325\u2013339, Jerusalem, June 1990."},{"key":"22_CR3","unstructured":"U. 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, Nov-Dec 1988. International Conference on Fifth Generation COmputer Systems."},{"key":"22_CR4","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":"22_CR5","unstructured":"J. Briat, M. Favre, D. Fort, Y. Langu\u00e9, and M. Santana. Parx: a parallel operating system for transputer-based machine. In Proceedings 10th. Occam User Group, 1989."},{"key":"22_CR6","unstructured":"Anthony Beaumont, Muthuraman, and P\u00e9ter Szeredi. Scheduling orparallelism in Aurora with the bristol scheduler. Technical Report TR-90-04, University of Bristol, March 1990."},{"key":"22_CR7","unstructured":"Per Brand. Wavefront scheduling. Internal report, SICS, Gigalips project, 1988."},{"key":"22_CR8","unstructured":"T. Chikayama. Current status of research and development of parallel inference systems in fifth generation computer systems. Pre-conference Workshop on Parallel Logic Programming, 7th International Conference on Logic Programming, ICLP'90, Eilat, june 1990."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Charles CLOS. A study of non blocking switching networks. In Chuan-Lin Wu and Tse-Yun Fen, editors, Tutorial Interconnexion Networks for parallel and Distribued Processsing. IEEE Computer Society Press, 1984. republished from The Bell System Technical Journal, March 1953 pp406\u2013424.","DOI":"10.1002\/j.1538-7305.1953.tb01433.x"},{"key":"22_CR10","unstructured":"A. Calderwood and P. Szeredi. Scheduling or-parallelism in Aurora. In Proceedings of the 6 th International Conference on Logic Programming, Lisboa, June 1989."},{"key":"22_CR11","unstructured":"J.G. Harp, C.R. Jesshope, T. Muntean, and C. Whitby-Stevens. The development and application of a low cost high performance multiprocessor machine. In Proceedings ESPRIT'86: Results and Achievements. Elsevier Science Publishers, 1986."},{"key":"22_CR12","unstructured":"E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D.H.D. Warren, A. Calderwodd, P. Szeredi, S. Haridi, P. Brand, M. Carlson, A. Ciepielewski, and B. Hausman. The Aurora or-parallel prolog system. In Proceedings FGCS'88, Tokyo, Nov\u2013Dec 1988. International Conference on Fifth Generation Computer Systems."},{"key":"22_CR13","unstructured":"H. Masuzawa and et al. Kabu wake parallel inference mechanism and its evaluation. In 1986 FJCC, pages 955\u2013962. IEEE, November 1986."},{"key":"22_CR14","unstructured":"Michel Raynal. Networks and Distributed Computation. Concepts, Tools and Algorithms. Computer Systems Series. The MIT Press, 1988. ISBN 18130-4 RAYNH."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"E. Shapiro. The family of concurrent logic programming languages. acm computing surveys, 21(3), september 1989.","DOI":"10.1145\/72551.72555"},{"key":"22_CR16","volume-title":"Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation","author":"M. Hermenegildo","year":"1990","unstructured":"M. Hermenegildo S. K. Debray, N-W Lin. Task granularity analysis in logic programs. In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, White Plains, New York, June 20\u201322 1990."},{"key":"22_CR17","series-title":"Technical report, LGI-IMAG, project CMaP","volume-title":"Mesures de performance des communications du meganode \u00e0 128 transputers","author":"A. Touzene","year":"1990","unstructured":"A. Touzene and B. Plateau. Mesures de performance des communications du meganode \u00e0 128 transputers. Technical report, LGI-IMAG, project CMaP, 46, avenue F\u00e9lix Viallet, 38031 Grenoble C\u00e9dex, France, 1990."},{"key":"22_CR18","unstructured":"David H. D. Warren. An Abstract Prolog Instruction Set. Technical Report tn309, SRI, October 1983."},{"key":"22_CR19","unstructured":"D.H.D. Warren. The SRI model for or-parallel execution of prolog. Abstract design and implementation issues. In 4 th Symposium on Logic Programming, pages 46\u201353, San Fransisco, Sept. 1987."},{"key":"22_CR20","unstructured":"H. Westphal, P. Robert, J. Chassin, and J.-C. Syre. The PEPSys model: Combining backtracking, and-and or-parallelism. In 4 th Symposium on Logic Programming, pages 436\u2013448, San Fransisco, Sept. 1987."}],"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_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:44Z","timestamp":1605646364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}