{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T20:27:05Z","timestamp":1672691225661},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1007\/bf03037528","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:18:32Z","timestamp":1240543112000},"page":"81-103","source":"Crossref","is-referenced-by-count":4,"title":["Performance of Muse on switch-based multiprocessor machines"],"prefix":"10.1007","volume":"11","author":[{"given":"Khayri A. M.","family":"Ali","sequence":"first","affiliation":[]},{"given":"Roland","family":"Karlsson","sequence":"additional","affiliation":[]},{"given":"Shyam","family":"Mudambi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"BF03037528_CR1","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF01397627","volume":"19","author":"K. A. M. Ali","year":"1990","unstructured":"Ali, K. A. M. and Karlsson, R., \u201cFull Prolog and Scheduling OR-parallelism in Muse,\u201dInternational Journal of Parallel Programming, 19, 6, pp. 445\u2013475, Dec. 1990.","journal-title":"International Journal of Parallel Programming"},{"issue":"2","key":"BF03037528_CR2","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01407834","volume":"19","author":"K. A. M. Ali","year":"1990","unstructured":"Ali, K. A. M. and Karlsson, R., \u201cThe Muse Approach to OR-parallel Prolog,\u201dInternational Journal of Parallel Programming, 19, 2, pp. 129\u2013162, April 1990.","journal-title":"International Journal of Parallel Programming"},{"key":"BF03037528_CR3","unstructured":"Ali, K. A. M. and Karlsson, R., \u201cThe Muse OR-parallel Prolog Model and its Performances,\u201d inProceedings of the 1990 North American Conference on Logic Programming, MIT Press, pp. 757\u2013776, Oct. 1990."},{"key":"BF03037528_CR4","unstructured":"Ali, K. A. M. and Karlsson, R., \u201cScheduling OR-parallelism in Muse,\u201d inProceedings of the 1991 International Conference on Logic Programming, Paris, pp. 807\u2013821, June 1991."},{"key":"BF03037528_CR5","unstructured":"Baron, U., Chassin de Kergommeaux, J., Hailperin, M., Ratcliffe, M., Robert, P., Syre, J-C. and Westphal, H., \u201cThe Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results,\u201d inProceedings of the International Conference on Fifth Generation Computer Systems 1988, ICOT, pp. 841\u2013850, Nov. 1988."},{"key":"BF03037528_CR6","unstructured":"Biswas, P., Su, S. and Yun, D. Y. Y., \u201cA Scalable Abstract Machine Model to Support Limited-OR (LOR)\/Restricted-AND parallelism (RAP) in Logic Programs,\u201d inProceedings of the Fifth International Conference and Symposium on Logic Programming, MIT Press, pp. 1160\u20131179, Aug. 1988."},{"key":"BF03037528_CR7","unstructured":"Butler, R., Lusk, E., Olson, R. and Overbeek, R., \u201cANLWAM \u2014A Parallel Implementation of the Warren Abstract Machine,\u201dInternal Report, Argonne National Laboratory, 1986."},{"key":"BF03037528_CR8","unstructured":"Calderwood, A. and Szeredi, P., \u201cScheduling OR-parallelism in Aurora \u2014the Manchester Scheduler,\u201d inProceedings of the Sixth International Conference on Logic Programming, MIT Press, pp. 419\u2013435, June 1989."},{"key":"BF03037528_CR9","unstructured":"Carlsson, M. and Wid\u00e9n. J., \u201cSICStus Prolog User\u2019s Manual (for version 0.6),\u201dSICS Research Report, R88007B, Swedish Institute of Computer Science, Oct. 1988."},{"issue":"5","key":"BF03037528_CR10","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1093\/comjnl\/30.5.386","volume":"30","author":"W. Clocksin","year":"1987","unstructured":"Clocksin, W., \u201cPrinciples of the DelPhi Parallel Inference Machine,\u201dComputer Journal, 30, 5, pp. 386\u2013392, 1987.","journal-title":"Computer Journal"},{"issue":"2","key":"BF03037528_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01383953","volume":"17","author":"J. Conery","year":"1988","unstructured":"Conery, J., \u201cBinding Environments for Parallel Logic Programs in Nonshared Memory Multiprocessors,\u201dInternational Journal of Parallel Programming, 17, 2, pp. 125\u2013152, April 1988.","journal-title":"International Journal of Parallel Programming"},{"key":"BF03037528_CR12","first-page":"471","volume-title":"International Conference on Fifth Generation Computer Systems 1984","author":"D. DeGroot","year":"1984","unstructured":"DeGroot, D., \u201cRestricted AND-Parallelism,\u201d inInternational Conference on Fifth Generation Computer Systems 1984 (H. Aiso, ed.), Institute for New Generation Computing, Tokyo, pp. 471\u2013478, 1984."},{"key":"BF03037528_CR13","unstructured":"Hausman, B., \u201cHandling of Speculative Work in OR-parallel Prolog: Evaluation Results,\u201d inProceedings of the 1990 North American Conference on Logic Programming, MIT Press, pp. 721\u2013736, Oct. 1990."},{"key":"BF03037528_CR14","volume-title":"Pruning and Speculative Work in OR-parallel PROLOG","author":"B. Hausman","year":"1990","unstructured":"Hausman, B., \u201cPruning and Speculative Work in OR-parallel PROLOG,\u201dPh.D thesis, The Royal Institute of Technology, Stockholm, 1990."},{"key":"BF03037528_CR15","doi-asserted-by":"crossref","unstructured":"Hermenegildo, M., \u201cAn Abstract Machine for Restricted AND-parallel Execution of Logic Programs,\u201d inThird International Conference on Logic Programming, London (E. Shapiro, ed.), Springer-Verlag, pp. 25\u201339, 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"BF03037528_CR16","unstructured":"Kal\u00e9, L. V., \u201cThe Reduce-OR Process Model for Parallel Evaluation of Logic Programs,\u201d inProceedings of the Fourth International Conference on Logic Programming, MIT Press, pp. 616\u2013632, May 1987."},{"key":"BF03037528_CR17","unstructured":"Kal\u00e9, L. V., Ramkumar, B. and Shu, W., \u201cA Memory Organization Independent Binding Environment for And and Or Parallel Execution of Logic Programs,\u201d inProceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 1223\u20131240, 1988."},{"key":"BF03037528_CR18","unstructured":"Kumon, K., Masuzawa, H., Itashiki, A., Satoh, K. and Sohma, Y., \u201cKABU-WAKE: A New Parallel Inference Method and Its Evaluation,\u201dCOMPCON Spring 86, 1986."},{"key":"BF03037528_CR19","unstructured":"Lin Y. and Kumar, V., \u201cAND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results,\u201d inProceedings of the Fifth International Conference and Symposium on Logic Programming, pp. 1123\u20131141, 1988."},{"issue":"1","key":"BF03037528_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02575007","volume":"36","author":"E. Lusk","year":"1987","unstructured":"Lusk, E. and McFadden, R., \u201cUsing Automated Reasoning Tools: A Study of the Semigroup F2B2,\u201dSemigroup Forum, 36, 1, pp. 75\u201388, 1987","journal-title":"Semigroup Forum"},{"issue":"2\u20133","key":"BF03037528_CR21","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"Lusk, E., Warren, D. H. D., Haridi, S., et al. \u201cThe Aurora OR-parallel Prolog System,\u201dNew Generation Computing, 7, 2\u20133, pp. 243\u2013271, 1990.","journal-title":"New Generation Computing"},{"key":"BF03037528_CR22","unstructured":"Mudambi, S., \u201cPerformance of Aurora on NUMA machines,\u201d inProceedings of the 1991 International Conference on Logic Programming, MIT Press, pp. 793\u2013806, June 1991."},{"key":"BF03037528_CR23","unstructured":"Szeredi, P., \u201cPerformance Analysis of the Aurora OR-parallel Prolog System,\u201d inProceedings of the North American Conference on Logic Programming, MIT Press, pp. 713\u2013732, Oct. 1989."},{"key":"BF03037528_CR24","unstructured":"Warren, D. H. D., \u201cAn Abstract Prolog Instruction Set,\u201dTechnical Note 309, SRI International, 1983."},{"key":"BF03037528_CR25","unstructured":"Warren, D. H. D., \u201cThe SRI Model for OR-Parallel Execution of Prolog \u2014 Abstract Design and Implementation Issues,\u201d inProceedings of the 1987 Symposium on Logic Programming, pp. 92\u2013102, 1987."},{"key":"BF03037528_CR26","unstructured":"Westphal, H., Robert, P., Chassin, J. and Syre, J., \u201cThe PEPSys Model: Combining Backtracking, AND- and OR-Parallelism,\u201d inThe 1987 Symposium on Logic Programming, San Francisco, California, IEEE, 1987."},{"issue":"3","key":"BF03037528_CR27","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF03037061","volume":"2","author":"H. Yasuhara","year":"1984","unstructured":"Yasuhara H. and Nitadori, K., \u201cORBIT: A Parallel Computing Model of Prolog,\u201dNew Generation Computing, 2, 3, pp. 277\u2013288, 1984.","journal-title":"New Generation Computing"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037528.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037528\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:39Z","timestamp":1558572759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037528"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF03037528"],"URL":"https:\/\/doi.org\/10.1007\/bf03037528","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}