{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:10:01Z","timestamp":1739074201900,"version":"3.37.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1990,2,1]],"date-time":"1990-02-01T00:00:00Z","timestamp":633830400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1990,2]]},"DOI":"10.1007\/bf03037207","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:48:42Z","timestamp":1240368522000},"page":"219-242","source":"Crossref","is-referenced-by-count":0,"title":["A wide instruction word architecture for parallel execution of logic programs coded in BSL"],"prefix":"10.1007","volume":"7","author":[{"given":"Kemal","family":"Ebcio\u011dlu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manoj","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037207_CR1","doi-asserted-by":"crossref","unstructured":"Cohen, J., \u201cNon-deterministic algorithms,\u201dComputing Surveys,Vol. 11,No. 2, June, 1979.","DOI":"10.1145\/356770.356773"},{"key":"BF03037207_CR2","series-title":"Technical Report","volume-title":"The AND\/OR Process Model for Parallel Interpretation of Logic Programs","author":"J. S. Conery","year":"1983","unstructured":"Conery, J. S., \u201cThe AND\/OR Process Model for Parallel Interpretation of Logic Programs,\u201dPh. D. thesis andTechnical Report 204, The University of California, Irvine, 1983."},{"key":"BF03037207_CR3","series-title":"Report, No. UIUCDCS-R-84-1177","volume-title":"Comple-time Scheduling and Optimization for Asynchronous Machines","author":"R. G. Cytron","year":"1984","unstructured":"Cytron, R. G., \u201cComple-time Scheduling and Optimization for Asynchronous Machines,\u201dReport, No. UIUCDCS-R-84-1177, Dept. of Computer Science, University of Illinois, Urbana-Champaign, October, 1984."},{"key":"BF03037207_CR4","unstructured":"Date, C. J.,Introduction to Database Systems, Addison-Wesley, 1977."},{"key":"BF03037207_CR5","series-title":"Report, No. UIUDCS-R-81-1070","volume-title":"Parallel Loop Constructs For Multiprocessors","author":"J. R. B. Davies","year":"1981","unstructured":"Davies J. R. B., \u201cParallel Loop Constructs For Multiprocessors,\u201dReport, No. UIUDCS-R-81-1070, Dept of Computer Science, University of Illinois, Urbana-Champaign, May, 1981."},{"key":"BF03037207_CR6","unstructured":"de Bakker, J.,Mathematical Theory of Program Correctness, North Holland, 1979."},{"key":"BF03037207_CR7","series-title":"Research Report, RC","volume-title":"Report on the CHORAL project: An Expert System for Harmonizing Four-part Chorales","author":"K. Ebcio\u011dlu","year":"1987","unstructured":"Ebcio\u011dlu, K., \u201cReport on the CHORAL project: An Expert System for Harmonizing Four-part Chorales,\u201dResearch Report, RC 12628, IBM Thomas J. Watson Research Center, Yorktown Heights, March, 1987. (This is a revised version of the author\u2019s Ph. D. dissertation, \u201cAn Expert System for Harmonization of Chorales, in the Style of J. S. Bach,\u201dTechnical Report, TR 86-09, Dept. of Computer Science, S. U. N. Y., Buffalo, March, 1986.)"},{"key":"BF03037207_CR8","unstructured":"Ebcio\u011dlu, K., \u201cAn Efficient Logic Programming Language and its Application to Music,\u201dProc. 4th ICLP, May, 1987."},{"key":"BF03037207_CR9","doi-asserted-by":"crossref","unstructured":"Ebico\u011dlu, K., \u201cA Compilation Technique for Software Pipelining of Loops with Conditional Jumps,\u201dProc. 20th Annual Workshop on Microprogramming (MICRO-20), December, 1987.","DOI":"10.1145\/255305.255317"},{"key":"BF03037207_CR10","unstructured":"Ebcio\u011dlu, K., \u201cSome Design Ideas for a VLIW Architecture for Sequential-Natured Software,\u201d inParallel Processing (Proc. IFIP WG 10.3 Working Conference on Parallel Processing), (Cosnard, M. et al. eds.), North Holland, April, 1988."},{"key":"BF03037207_CR11","doi-asserted-by":"crossref","unstructured":"Ebcio\u011dlu, K., \u201cAn Expert Expert System for Harmonizing Four-part Chorales,\u201dComputer Music Journal,Vol. 12,No. 3, Fall, 1988.","DOI":"10.2307\/3680335"},{"key":"BF03037207_CR12","volume-title":"Proc. Second Workshop on Programming Languages and Compilers for Parallel Computing","author":"K. Ebcio\u011dlu","year":"1989","unstructured":"Ebcio\u011dlu, K. and Nakatani, T., \u201cA New Compilation Technique for Parallelizing Loops with Unpredictable Branches on a VLIW Architecture,\u201d inProc. Second Workshop on Programming Languages and Compilers for Parallel Computing, Univ. of Illinois, Urbana-Champaign, Aug., 1989."},{"key":"BF03037207_CR13","doi-asserted-by":"crossref","unstructured":"Ebcio\u011dlu, K., \u201cAn Expert System for Harmonizing Chorales in the Style of J. S. Bach,\u201dSpecial Issue of the Journal of Logic Programming on Applications of Logic Programming, to appear, Jan.-March, 1990.","DOI":"10.1016\/0743-1066(90)90055-A"},{"key":"BF03037207_CR14","unstructured":"Ellis, J. R.,Bulldog: A Compiler for VLIW Architectures, MIT Press, 1986."},{"key":"BF03037207_CR15","series-title":"Report, No. UCB\/CSD 86\/257","volume-title":"The Berkeley PLM Instruction Set: An Instruction Set for Prolog","author":"B. Fagin","year":"1985","unstructured":"Fagin, B. and Dobry, T., \u201cThe Berkeley PLM Instruction Set: An Instruction Set for Prolog,\u201dReport, No. UCB\/CSD 86\/257, Computer Science Division (EECS), University of California, Berkeley, September, 1985."},{"issue":"7","key":"BF03037207_CR16","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MC.1984.1659185","volume":"17","author":"J. A. Fisher","year":"1984","unstructured":"Fisher, J. A., \u201cThe VLIW Machine: A Multiprocessor for Compiling Scientific Code,\u201dCOMPUTER 17 (7), July, 1984, pp. 45\u201353.","journal-title":"COMPUTER"},{"key":"BF03037207_CR17","doi-asserted-by":"crossref","unstructured":"Floyd, R., \u201cNondeterministic Algorithms,\u201dJournal of the Association for Computing Machinery,Vol. 14,No. 4, October, 1967.","DOI":"10.1145\/321420.321422"},{"key":"BF03037207_CR18","unstructured":"Forgy, C. and McDermott, J., \u201cOPS: A Domain Independent Production System Language,\u201dProceedings of the fifth International Joint Conference in Artificial Intelligence, 1977."},{"key":"BF03037207_CR19","doi-asserted-by":"crossref","unstructured":"Harel, D., \u201cFirst Order Dynamic Logic,\u201dLecture Notes in Computer Science (Goos and Hartmanis eds.), Spring-Verlag, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"BF03037207_CR20","series-title":"Publication, Number SA 22-7121-5","volume-title":"3090 Processor Complex Functional Characteristics","author":"IBM","year":"1987","unstructured":"IBM, \u201c3090 Processor Complex Functional Characteristics,\u201dPublication, Number SA 22-7121-5, IBM Corp., Poughkeepsee, NY, 1987."},{"key":"BF03037207_CR21","unstructured":"Kale, L. V., \u201cThe REDUCE-OR Process Model for Parallel Evaluation of Logic Programs,\u201dProc. 4th International Conference on Logic Programming, 1987."},{"key":"BF03037207_CR22","unstructured":"Kurokawa, T., Tamura, N., Asakawa, Y. and Komatsu, H., \u201cA Very Fast Prolong Compiler on Multiple Architectures,\u201dProc. FJCC, 1986."},{"key":"BF03037207_CR23","doi-asserted-by":"crossref","unstructured":"Maruyama, T., Hirata, K., Tanaka, H. and Moto-Oka, T., \u201cA Note on the Elementary Execution Unit in a Parallel Inference Machine,\u201dProc. 4th Conference on Logic Programming, Tokyo, 1985.","DOI":"10.1007\/3-540-16479-0_3"},{"key":"BF03037207_CR24","unstructured":"Nicolau, A., \u201cPercolation Scheduling: A Parallel Compilation Technique,\u201dTR 85-678, Dept. of Computer Science, Cornell University, May, 1985."},{"key":"BF03037207_CR25","doi-asserted-by":"crossref","unstructured":"Onai, R., Shimizu, H., Masuda, K., Matsumoto, A. and Aso, M., \u201cArchitecture and Evaluation of a Reduction-based Parallel Inference Machine: PIM-R,\u201dProc. 4th Conference on Logic Programming, Tokyo, 1985.","DOI":"10.1007\/3-540-16479-0_1"},{"key":"BF03037207_CR26","doi-asserted-by":"crossref","unstructured":"Robinson, J. A., \u201cA Machine Oriented Logic Based on the Resolution Principle,\u201dJournal of the Association for Computing Machinery 12, 1965.","DOI":"10.1145\/321250.321253"},{"key":"BF03037207_CR27","doi-asserted-by":"crossref","unstructured":"Robinson, J. A., \u201cA Machine Oriented Logic Based on the Resolution Principle,\u201dJournal of the Association for Computing Machinery 12, 1965.","DOI":"10.1145\/321250.321253"},{"key":"BF03037207_CR28","unstructured":"Smith, D. C. and Enea, H. J., \u201cBacktracking in Mlisp2,\u201dProceedings of the third International Joint Conference in Artificial Intelligence, 1973."},{"key":"BF03037207_CR29","unstructured":"Turk, A. W., \u201cCompiler Optimizations for the WAM\u201dProc. 3rd ICLP, 1986."},{"key":"BF03037207_CR30","doi-asserted-by":"crossref","unstructured":"Ueda, K., \u201cGuarded Horn Clauses,\u201dICOT, Technical Report, TR-103, Tokyo, 1985.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"BF03037207_CR31","unstructured":"Warren, S. H., Auslander, M. A., Chaitin, G. J., Chibib, A. C., Hopkins, M. E. and MacKay, A. L., \u201cFinal Code Generation in the PL. 8 Compiler,\u201dReport, No. RC 11974, IBM T. J. Watson Research Center, 1986."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037207.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037207\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T03:38:15Z","timestamp":1739072295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,2]]},"references-count":31,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1990,2]]}},"alternative-id":["BF03037207"],"URL":"https:\/\/doi.org\/10.1007\/bf03037207","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1990,2]]}}}