{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T18:22:25Z","timestamp":1746728545284},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550389"},{"type":"electronic","value":"9783540466734"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55038-0_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:26:14Z","timestamp":1330212374000},"page":"70-82","source":"Crossref","is-referenced-by-count":6,"title":["A flexible scheduler for the Andorra-I system"],"prefix":"10.1007","author":[{"given":"In\u00eas","family":"Castro Dutra","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"10","key":"6_CR1","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1002\/spe.4380201002","volume":"20","author":"Valmir C. C. Barbosa","year":"1990","unstructured":"Valmir C. Barbosa and Priscila M. V. Lima. On the Distributed Parallel Simulation of Hopfield's Neural Networks. Software-Practice and Experience, 20(10):967\u2013983, October 1990.","journal-title":"Software-Practice and Experience"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Anthony Beaumont, S. Muthu Raman, and P\u00e9ter Szeredi. Flexible Scheduling of Or-Parallelism in Aurora: The Bristol Scheduler. Technical Report to be published, University of Bristol, Computer Science Department, October 1990.","DOI":"10.1007\/3-540-54152-7_77"},{"key":"6_CR3","unstructured":"Per Brand. Wavefront scheduling. 1988. Internal Report, Gigalips Project."},{"issue":"2","key":"6_CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Maurice Bruynooghe. A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming, 10(2):91\u2013124, February 1991.","journal-title":"Journal of Logic Programming"},{"key":"6_CR5","unstructured":"Ralph Butler, Terry Disz, Ewing Lusk, Robert Olson, Ross Overbeek, and Rick Stevens. Scheduling OR-parallelism: an Argonne perspective. In Proceedings of the Fifth International Conference on Logic Programming, pages 1590\u20131605, MIT Press, August 1988."},{"key":"6_CR6","unstructured":"Felipe M. G. Fran\u00e7a. A Self-Organising Updating Network. In International Conference on Artificial Neural Networks, ICANN 91, Helsinki, 1991."},{"key":"6_CR7","unstructured":"Alan Calderwood. Aurora\u2014description of scheduler interfaces. January 1988. Internal Report, Gigalips Project."},{"key":"6_CR8","unstructured":"Alan Calderwood and P\u00e9ter Szeredi. Scheduling or-parallelism in Aurora \u2014 the Manchester scheduler. In Proceedings of the Sixth International Conference on Logic Programming, pages 419\u2013435, MIT Press, June 1989."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Saumya K. Debray, Nai-Wei Lin, and Manuel Hermenegildo. Task granularity analysis in logic programs. In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, pages 174\u2013188, June 1990.","DOI":"10.1145\/93548.93564"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"In\u00eas de Castro Dutra. Design of a Flexible Scheduler for Andorra-I. January 1991. Internal Report, ESPRIT Project 2471, PEPMA.","DOI":"10.1007\/3-540-55038-0_6"},{"key":"6_CR11","volume-title":"PhD thesis","author":"B. Hausman","year":"1990","unstructured":"Bogumil Hausman. Pruning and Speculative Work in OR-Parallel PROLOG. PhD thesis, The Royal Institute of Technology, Stockholm, 1990."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"2554","DOI":"10.1073\/pnas.79.8.2554","volume":"79","author":"J. J. Hopfield","year":"1982","unstructured":"J. J. Hopfield. Neural Networks and Physical Systems with Emergent Collective Computational Abilities. Proc. Natl. Acad. Sci., USA, 79:2554\u20132558, April 1982.","journal-title":"Proc. Natl. Acad. Sci., USA"},{"key":"6_CR13","unstructured":"Hung Khei Huang and Valmir Carneiro Barbosa. Static Task Allocation in Heterogeneous Distributed Systems. Technical Report ES-149\/88, Federal University of Rio de Janeiro, COPPE\/Sistemas, 1988."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Yannis E. Ioannidis and Eugene Wong. Query Optimization by Simulated Annealing. In SIGMOD \u2014 Proceedings of the 1987 International Conference on Management of Data, pages 9\u201322, ACM, 1987.","DOI":"10.1145\/38714.38722"},{"key":"6_CR15","unstructured":"G. J. Lipovsky and M. V. Hermenegildo. B-LOG: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. In Proceedings of the 1985 International Symposium on Logic Programming, pages 560\u2013567, IEEE, 1985."},{"issue":"23","key":"6_CR16","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"Ewing Lusk, David H. D. Warren, Seif Haridi, et al. The Aurora or-parallel Prolog system. New Generation Computing, 7(2,3):243\u2013271, 1990.","journal-title":"New Generation Computing"},{"key":"6_CR17","unstructured":"Douglas Pase and Peter Borgwardt. Load Balancing Heuristics and Networks Topologies for Distributed Evaluation of Prolog. Technical Report, Imperial College, Department of Computer Science. Available as TR: Parallel Logic Programming 57, Parlog Group."},{"key":"6_CR18","unstructured":"V. Santos Costa, D. H. D. Warren, and R. Yang. The Andorra-I Engine: A parallel implementation of the Basic Andorra model. In Logic Programming: Proceedings of the 8th International Conference, MIT Press, 1991."},{"key":"6_CR19","unstructured":"V. Santos Costa, D. H. D. Warren, and R. Yang. The Andorra-I Preprocessor: Supporting full Prolog on the Basic Andorra model. In Logic Programming: Proceedings of the 8th International Conference, MIT Press, 1991."},{"key":"6_CR20","unstructured":"V\u00edtor Santos Costa and Rong Yang. Andorra-I User's Guide and reference manual. Technical Report, University of Bristol, Computer Science Department, Sept 1990. Internal Report, Gigalips Project."},{"key":"6_CR21","unstructured":"Raed Sindaha. Scheduling speculative work in the Aurora or-parallel Prolog system. March 1990. Internal Report, Gigalips Project, University of Bristol."},{"key":"6_CR22","unstructured":"P\u00e9ter Szeredi and Mats Carlsson. The Engine-Scheduler Interface in the Aurora Or-Parallel Prolog System. Technical Report TR-90-09, University of Bristol, Computer Science Department, April 1990."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"P\u00e9ter Szeredi, Mats Carlsson, and Rong Yang. Interfacing engines and schedulers in or-parallel prolog systems. In PARLE91: Conference on Parallel Architectures and Languages Europe, Springer Verlag, June 1991.","DOI":"10.1007\/3-540-54152-7_79"},{"key":"6_CR24","unstructured":"Evan Tick. Compile Time Granularity Analysis for Parallel Logic Programming Systems. In International Conference on Fifth Generation Computer Systems 1988, ICOT, 1988."},{"key":"6_CR25","unstructured":"David H. D. Warren. Oct 90. Personal Communication."},{"key":"6_CR26","unstructured":"David H. D. Warren. The Andorra model. March 1988. Presented at Gigalips Project workshop, University of Manchester."},{"key":"6_CR27","unstructured":"R. Warren, M. Hermenegildo, and S. Debray. On the practicality of global flow analysis of logic programs. In Proceedings of the Fifth International Conference on Logic Programming, MIT Press, August 1988."},{"key":"6_CR28","unstructured":"Rong Yang. Programming in Andorra-I. August 1988. Internal Report, Gigalips Project."},{"key":"6_CR29","unstructured":"Rong Yang. Solving simple substitution ciphers in Andorra-I. In Proceedings of the Sixth International Conference on Logic Programming, pages 113\u2013128, MIT Press, June 1989."}],"container-title":["Lecture Notes in Computer Science","Parallel Execution of Logic Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55038-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:21Z","timestamp":1605646641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55038-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550389","9783540466734"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-55038-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}