{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:44:59Z","timestamp":1772163899224,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,14]],"date-time":"2006-06-14T00:00:00Z","timestamp":1150243200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,6,14]]},"DOI":"10.1145\/1134650.1134661","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"64-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reducing the cost of conditional transfers of control by using comparison specifications"],"prefix":"10.1145","author":[{"given":"William","family":"Kreahling","sequence":"first","affiliation":[{"name":"Western Carolina University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Hines","sequence":"additional","affiliation":[{"name":"Florida State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Whalley","sequence":"additional","affiliation":[{"name":"Florida State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary","family":"Tyson","sequence":"additional","affiliation":[{"name":"Florida State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Ed. Prentice-Hall","author":"Allen F. E.","year":"1971","unstructured":"Allen , F. E. , and Cocke , J . A catalogue of optimizing transformations. In Design and Optimization of Compilers, R. Rustin , Ed. Prentice-Hall , Englewood Cliffs, NJ, USA , 1971 , pp. 1 -- 30 . Allen, F. E., and Cocke, J. A catalogue of optimizing transformations. In Design and Optimization of Compilers, R. Rustin, Ed. Prentice-Hall, Englewood Cliffs, NJ, USA, 1971, pp. 1--30."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.982917"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54023"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258929"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090307"},{"key":"e_1_3_2_1_6_1","volume-title":"ARM System-on-Chip Architecture","author":"Furber S.","year":"2000","unstructured":"Furber , S. ARM System-on-Chip Architecture , second ed. Addison-Wesley Longman , Harlow, Essex CM20 2JE, England, 2000 . Also available in Japanese translation, ARM Processor, C Q Publishing Co., Ltd. ISBN 4-7898-3351-8. Furber, S. ARM System-on-Chip Architecture, second ed. Addison-Wesley Longman, Harlow, Essex CM20 2JE, England, 2000. Also available in Japanese translation, ARM Processor, C Q Publishing Co., Ltd. ISBN 4-7898-3351-8."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_8_1","volume-title":"Computer Architecture: A Quantitative Approach","author":"Hennessy J.","year":"1996","unstructured":"Hennessy , J. , and Patterson , D . Computer Architecture: A Quantitative Approach ., second ed. Morgan Kaufmann Publishers Inc ., San Francisco, CA, 1996 . Hennessy, J., and Patterson, D. Computer Architecture: A Quantitative Approach., second ed. Morgan Kaufmann Publishers Inc., San Francisco, CA, 1996."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/571637.571639"},{"key":"e_1_3_2_1_11_1","first-page":"396","volume-title":"Proc. 13th Annual International Symposium on Computer Architecture, Computer Architecture News (June","author":"McFarling S.","year":"1986","unstructured":"McFarling , S. , and Hennessy , J . Reducing the cost of branches . In Proc. 13th Annual International Symposium on Computer Architecture, Computer Architecture News (June 1986 ), ACM, pp. 396 -- 403 . Published as Proc. 13th Annual International Symposium on Computer Architecture, Computer Architecture News , volume 14 , number 2. McFarling, S., and Hennessy, J. Reducing the cost of branches. In Proc. 13th Annual International Symposium on Computer Architecture, Computer Architecture News (June 1986), ACM, pp. 396--403. Published as Proc. 13th Annual International Symposium on Computer Architecture, Computer Architecture News, volume 14, number 2."},{"key":"e_1_3_2_1_12_1","volume-title":"Advanced compiler design and implementation","author":"Muchnick S. S.","year":"1997","unstructured":"Muchnick , S. S. Advanced compiler design and implementation . Morgan Kaufmann Publishers , 2929 Campus Drive, Suite 260, San Mateo, CA 94403, USA, 1997 . Muchnick, S. S. Advanced compiler design and implementation. Morgan Kaufmann Publishers, 2929 Campus Drive, Suite 260, San Mateo, CA 94403, USA, 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207116"},{"key":"e_1_3_2_1_14_1","volume-title":"Hewlett Packard Laboratories","author":"Park J. C. H.","year":"1991","unstructured":"Park , J. C. H. , and Schlansker , M. S . On predicated execution . Hewlett Packard Laboratories , 1991 . Park, J. C. H., and Schlansker, M. S. On predicated execution. Hewlett Packard Laboratories, 1991."},{"key":"e_1_3_2_1_15_1","volume-title":"Feb. 22","author":"Stallman R. M.","year":"2001","unstructured":"Stallman , R. M. Using and porting the GNU compiler collection , Feb. 22 2001 . Stallman, R. M. Using and porting the GNU compiler collection, Feb. 22 2001."}],"event":{"name":"LCTES06: Languages, Compilers, and Tools for Embedded Systems 2006","location":"Ottawa Ontario Canada","acronym":"LCTES06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2006 ACM SIGPLAN\/SIGBED conference on Language, compilers, and tool support for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134661","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1134650.1134661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:47Z","timestamp":1750263767000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134661"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,14]]},"references-count":14,"alternative-id":["10.1145\/1134650.1134661","10.1145\/1134650"],"URL":"https:\/\/doi.org\/10.1145\/1134650.1134661","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1159974.1134661","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,6,14]]},"assertion":[{"value":"2006-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}