{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:55:46Z","timestamp":1649138146464},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[1998,4]]},"abstract":"<jats:p> Hardware scheduling mechanisms are commonly used in current processors in order to make better use of instruction level parallelism. So far, such a mechanism is considered to be correct, if it avoids the standard structural and data hazards. However, based on two classical scheduling mechanisms, it will be shown that this condition is neither sufficient nor necessary for the correctness of such a mechanism, and that deadlocks are a serious matter in out-of-order execution as well. In addition, the paper provides sufficient conditions for the correctness of scheduling mechanisms. <\/jats:p>","DOI":"10.1142\/s0218126698000134","type":"journal-article","created":{"date-parts":[[2003,5,27]],"date-time":"2003-05-27T09:25:48Z","timestamp":1054027548000},"page":"301-314","source":"Crossref","is-referenced-by-count":0,"title":["ON THE CORRECTNESS OF HARDWARE SCHEDULING MECHANISMS FOR OUT-OF-ORDER EXECUTION"],"prefix":"10.1142","volume":"08","author":[{"given":"SILVIA M.","family":"MUELLER","sequence":"first","affiliation":[{"name":"Dept. 14: Computer Science, University of Saarland, 66123 Saarbruecken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"WOLFGANG J.","family":"PAUL","sequence":"additional","affiliation":[{"name":"Dept. 14: Computer Science, University of Saarland, 66123 Saarbruecken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126698000134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T03:47:07Z","timestamp":1565149627000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218126698000134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":0,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1998,4]]}},"alternative-id":["10.1142\/S0218126698000134"],"URL":"https:\/\/doi.org\/10.1142\/s0218126698000134","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}