{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:43Z","timestamp":1725663703068},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_89","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:51:18Z","timestamp":1330192278000},"page":"75-86","source":"Crossref","is-referenced-by-count":14,"title":["Optimal instruction scheduling using constraint logic programming"],"prefix":"10.1007","author":[{"given":"M. Anton","family":"Ertl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Krall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"David G. Bradlee, Susan J. Eggers, and Robert R. Henry. Integrating register allocation and instruction scheduling for RISCs. In Architectural Support for Programming Languages and Operating Systems, pages 122\u2013131, 1991.","DOI":"10.1145\/106974.106986"},{"issue":"8","key":"7_CR2","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1109\/12.2247","volume":"37","author":"R. P. Colwell","year":"1988","unstructured":"Robert P. Colwell, Robert P. Nix, John J. O'Donnel, David B. Papworth, and Paul K. Rodman. A VLIW architecture for a trace scheduling compiler. IEEE Transactions on Computers, 37(8):318\u2013328, August 1988.","journal-title":"IEEE Transactions on Computers"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Mehmet Dincbas, Helmut Simonis, and Pascal Van Hentenryck. Solving large combinatorial problems in logic programming. The Journal of Logic Programming, (8):75\u201393, 1990.","DOI":"10.1016\/0743-1066(90)90052-7"},{"key":"7_CR4","unstructured":"M. Anton Ertl. Coroutining und Constraints in der Logik-Programmierung. Master's thesis, Technische Universit\u00e4t Wien, 1990."},{"issue":"7","key":"7_CR5","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1109\/TC.1981.1675827","volume":"30","author":"J. A. Fischer","year":"1981","unstructured":"Joseph A. Fischer. Trace scheduling: A technique for global microcode compaction. IEEE Transactions on Computers, 30(7):478\u2013490, July 1981.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"7_CR6","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0096-0551(89)90005-2","volume":"14","author":"M. Ganapathi","year":"1989","unstructured":"Mahadevan Ganapathi. Prolog based retargetable code generation. Computer Languages, 14(3):193\u2013204, 1989.","journal-title":"Computer Languages"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"J. R. Goodman and W.-C. Hsu. Code scheduling and register allocation in large basic blocks. In International Conference on Supercomputing, 1988.","DOI":"10.1145\/55364.55407"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Phillip B. Gibbons and Steve S. Muchnick. Efficient instruction scheduling for a pipelined architecture. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, pages 11\u201316, 1986.","DOI":"10.1145\/13310.13312"},{"issue":"3","key":"7_CR9","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1145\/2166.357217","volume":"5","author":"J. Hennessy","year":"1983","unstructured":"John Hennessy and Thomas Gross. Postpass code optimization of pipeline constraints. ACM Transactions on Programming Languages and Systems, 5(3):422\u2013448, July 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"7_CR10","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1287\/opre.9.6.841","volume":"9","author":"T. C. Hu","year":"1961","unstructured":"T. C. Hu. Paralell sequencing and assembly line problems. Operations Research, 9(6):841\u2013848, 1961.","journal-title":"Operations Research"},{"key":"7_CR11","doi-asserted-by":"crossref","DOI":"10.1515\/9783110702873","volume-title":"\u00dcbersetzerbau","author":"U. Kastens","year":"1990","unstructured":"Uwe Kastens. \u00dcbersetzerbau. R. Oldenbourg Verlag, M\u00fcnchen, 1990."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Andreas Krall and Ulrich Neumerkel. The Vienna Abstract Machine. In P. Deransart and J. Maluzy\u0144ski, editors, Programming Language Implementation and Logic Programming (PLILP'90), pages 121\u2013136. Springer LNCS 456, 1990.","DOI":"10.1007\/BFb0024180"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Monica Lam. Software pipelining: An effective scheduling technique for VLIW machines. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 318\u2013328, 1988.","DOI":"10.1145\/53990.54022"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Roland L. Lee, Alex Y. Kwok, and Fay\u00e9 A. Briggs. The floating-point performance of a superscalar SPARC processor. In Architectural Support for Programming Languages and Operating Systems, pages 28\u201337, 1991.","DOI":"10.1145\/106974.106978"},{"key":"7_CR15","unstructured":"Motorola, Inc. MC88100 RISC Microprocessor User's Manual, second edition edition, 1990."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(83)80008-3","volume":"21","author":"B. Nudel","year":"1983","unstructured":"Bernard Nudel. Consistent labeling problems and their algorithms: Expected complexities and theory-based heuristics. Artificial Intelligence, 21:135\u2013178, 1983.","journal-title":"Artificial Intelligence"},{"key":"7_CR17","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. The MIT Press, Cambridge, Massachusetts, 1989."},{"key":"7_CR18","unstructured":"Pascal Van Hentenryck and Mehmet Dincbas. Forward checking in logic programming. In Logic Programming: Proceedings of the Fourth International Conference, pages 229\u2013256, 1987."},{"key":"7_CR19","unstructured":"D. Waltz. Generating semantic descriptions from drawings of scenes with shadows. Technical report AI271, MIT, 1972."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T22:49:16Z","timestamp":1640904556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}