{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:24:42Z","timestamp":1725575082958},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540200543"},{"type":"electronic","value":"9783540394259"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39425-9_17","type":"book-chapter","created":{"date-parts":[[2011,1,15]],"date-time":"2011-01-15T15:06:54Z","timestamp":1295104014000},"page":"147-151","source":"Crossref","is-referenced-by-count":1,"title":["Predicate Analysis Based on Path Information"],"prefix":"10.1007","author":[{"given":"Li","family":"Shen","sequence":"first","affiliation":[]},{"given":"Zhiying","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jianzhuang","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Kathail, U., Schlansker, M., Rau, B.: HPL PlayDoh Architecture Specification: Version 1.0. Hewlett-Packard Laboratories Technical Report, HPL-93-80 (February 1993)"},{"key":"17_CR2","unstructured":"Allen, J.R., Kennedy, K., Portfield, C., et al.: Conversion of Control Dependence to Data Dependence. In: Conf. Record of the 10th ACM Symp. on Principles of Programming Languages, January, 1983, pp. 177\u2013189 (1983)"},{"key":"17_CR3","unstructured":"Mahlke, S.A., Lin, D.C., Chen, W.Y., et al.: Effective compiler support for predicated execution using the hyperblock. In: Proc. of the 25th Int\u2019l Symp. on Microarchitecture, December, 1992, pp. 45\u201354 (1992)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Tyson, G.S.: The effects of predicated execution on branch prediction. In: Proc. of the 27th Int\u2019l Symp. on Microarchitecture, November 30\u2013December 2, pp. 196\u2013206 (1994)","DOI":"10.1145\/192724.192753"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Mahlke, S.A., Hank, R.E., Bringman, R.A., et al.: Characterizing the impact of predicated execution on branch prediction. In: Proc. of the 27th Int\u2019l Symp. on Microarchitecture, November 30\u2013December 2, pp. 217\u2013227 (1994)","DOI":"10.1145\/192724.192755"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Eichenberger, A.E., Davidson, E.S.: Register Allocation for Predicated Code. In: Proc. of the 28th of Int\u2019l Symp. on Microarchitecture (November 1995)","DOI":"10.1109\/MICRO.1995.476825"},{"key":"17_CR7","unstructured":"Johnson, R., Schlansker, M.: Analysis Techniques for Predicated Code. In: Proc. of the 29th Int\u2019l Symp. on Microarchtecture (December 1996)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Sias, J.W., Hsu, W.W., August, D.I.: Accurate and Efficient Predicate Analysis with Binary Decision Diagrams. In: Proc. of the 33rd of Int\u2019l Symp. on Microarchitecture, December 2000, pp. 112\u2013123 (2000)","DOI":"10.1145\/360128.360141"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39425-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T17:45:07Z","timestamp":1592243107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39425-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200543","9783540394259"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39425-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}