{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:03:52Z","timestamp":1775012632225,"version":"3.50.1"},"reference-count":19,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1134\/s036176880803002x","type":"journal-article","created":{"date-parts":[[2008,5,20]],"date-time":"2008-05-20T03:56:07Z","timestamp":1211255767000},"page":"138-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Construction of speculative optimization algorithms"],"prefix":"10.1134","volume":"34","author":[{"given":"A. A.","family":"Belevantsev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. S.","family":"Gaisaryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. P.","family":"Ivannikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2008,5,21]]},"reference":[{"key":"3002_CR1","unstructured":"Schlansker, M.S. and Rau, B.R., EPIC: An Architecture for Instruction-Level Parallel Processors, HP Laboratories Palo Alto, Tech. Report HPL-1999-111, 2000, http:\/\/www.hpl.hp.com\/techreports\/1999\/HPL-1999-111.pdf"},{"key":"3002_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T. and Larus, J.R., Branch Prediction for Free, Proc. of the SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), 1993, pp. 300\u2013313.","DOI":"10.1145\/155090.155119"},{"issue":"1","key":"3002_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/309758.309769","volume":"27","author":"D.-c. Roy","year":"1999","unstructured":"Roy, Dz-ching Ju, Jean-Franois Collard, and Karim Oukbir, Probabilistic Memory Disambiguation and its Application to Data Speculation, SIGARCH Comput. Archit. News, 1999, vol. 27, no. 1, pp. 27\u201330.","journal-title":"SIGARCH Comput. Archit. News"},{"issue":"10","key":"3002_CR4","doi-asserted-by":"publisher","first-page":"893","DOI":"10.1109\/TPDS.2004.56","volume":"15","author":"P.-S. Chen","year":"2004","unstructured":"Peng-Sheng Chen, Yuan-Shin Hwan, Roy Dz-Ching Ju, and Jenq Kuen Lee, Interprocedural Probabilistic Pointer Analysis, IEEE Trans. Parallel Distributed Systems, 2004, vol. 15, no. 10, pp. 893\u2013907.","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"issue":"4","key":"3002_CR5","doi-asserted-by":"publisher","first-page":"1319","DOI":"10.1145\/183432.183527","volume":"16","author":"T. Ball","year":"1994","unstructured":"Ball, T. and Larus, J.R., Optimally Profiling and Tracing Programs, ACM Transactions on Programming Languages and Systems, 1994, vol. 16, no. 4, pp. 1319\u20131360.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3002_CR6","unstructured":"Muchnick, S., Advanced Compiler Design and Implementation, Morgan Kaufmann, 1997, 3d edition."},{"key":"3002_CR7","volume-title":"Master\u2019s Thesis","author":"D.A. Connors","year":"1997","unstructured":"Connors, D.A., Memory Profiling for Directing Data Speculative Optimizations and Scheduling, Master\u2019s Thesis, Department of Electrical and Computer Engineering, University of Illinois, Urbana, IL, 1997."},{"issue":"6","key":"3002_CR8","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1145\/267959.269966","volume":"19","author":"S.-M. Moon","year":"1997","unstructured":"Soo-Mook Moon, and Kemal Ebcioglu, Parallelizing Nonnumerical Code with Selective Scheduling and Software Pipelining, ACM TOPLAS, 1997, vol. 19, no. 6, pp. 853\u2013898.","journal-title":"ACM TOPLAS"},{"key":"3002_CR9","volume-title":"Combinatorial Optimization: Algorithms and Complexity","author":"C. H. Papadimitriou","year":"1982","unstructured":"Papadimitriou, C. H. and Steiglitz, K., Combinatorial Optimization: Algorithms and Complexity, Englewood Cliffs: Prentice-Hall, 1982. Translated under the title Kombinatornaya optimizatsiya. Algoritmy i slozhnost\u2019, Moscow: Mir, 1985."},{"issue":"4","key":"3002_CR10","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/197405.197406","volume":"26","author":"D.F. Bacon","year":"1994","unstructured":"Bacon, D.F., Graham, S.L., and Sharp, O.J., Compiler Transformations for High-Performance Computing, ACM Comput. Surveys, 1994, vol. 26, no. 4, pp. 345\u2013420.","journal-title":"ACM Comput. Surveys"},{"key":"3002_CR11","unstructured":"Chang, P.P., Warter, N.J., Mahlke, S.A., Chen, W.Y., and Hwu, W.W., Three Superblock Scheduling Models for Superscalar and Superpipelined Processors, Report CRHC-91-25, Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, 1991."},{"issue":"4","key":"3002_CR12","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1145\/161541.159765","volume":"11","author":"S.A. Mahlke","year":"1993","unstructured":"Mahlke, S.A., Chen, W.Y., Bringmann, R.A., Hank, R.E., Hwu, W.-M., Rau B.R., and Schlansker, M.S., Sentinel Scheduling: A Model for Compilercontrolled Speculative Executions, ACM Trans. Comput. Syst., 1993, vol. 11, no. 4, pp. 276\u2013408.","journal-title":"ACM Trans. Comput. Syst."},{"key":"3002_CR13","unstructured":"Bringmann, R.A., Enhancing Instruction Level Parallelism through Compiler Controlled Optimization, M.S. Thesis, University of Illinois, 1992."},{"key":"3002_CR14","doi-asserted-by":"crossref","unstructured":"Gupta, R., Berson, D.A., and Fang, J.Z., Path Profile Guided Partial Redundancy Elimination Using Speculation, IEEE Int. Conf. Computer Languages, IEEE Society, 1998, pp. 230\u2013239.","DOI":"10.1109\/ICCL.1998.674173"},{"key":"3002_CR15","doi-asserted-by":"crossref","unstructured":"Roy Dz-ching Ju, Kevin Nomura, Uma Mahadevan, and Le-Chun Wu, A Unified Compiler Framework for Control and Data Speculation, PACT\u201900, 2000, p. 157.","DOI":"10.1109\/PACT.2000.888340"},{"issue":"1","key":"3002_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/1132462.1132466","volume":"3","author":"J. Lin","year":"2006","unstructured":"Lin, J., Hsu, W., Yew, P., Ju, R.D., and Ngai, T., Recovery Code Generation for General Speculative Optimizations, ACM Trans. Architecture Code Optimization, 2006, vol. 3, no. 1, pp. 67\u201389.","journal-title":"ACM Trans. Architecture Code Optimization"},{"key":"3002_CR17","unstructured":"Belevantsev, A., Kuvyrkov, M., Makarov, V., Melnik, D., and Zhurikhin, D., An Interblock VLIW-targeted Instruction Scheduling for GCC, Proc. of GCC Developer\u2019s Summit 2006, 2006, Ottawa, Canada."},{"key":"3002_CR18","unstructured":"Smotherman, M., IBM Stretch (7030)-Aggressive Uni-processor Parallelism. http:\/\/www.cs.clemson.edu\/mark\/stretch.html"},{"key":"3002_CR19","unstructured":"Scholz, B. and Mehofer, E., Dataflow Frequency Analysis Based on whole Program Paths, proc. of the IEEE Int. Conf. on Parallel Architectures and Compilation Tech, PACT-2002."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880803002X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S036176880803002X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880803002X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880803002X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:01:16Z","timestamp":1775008876000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S036176880803002X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,5]]}},"alternative-id":["3002"],"URL":"https:\/\/doi.org\/10.1134\/s036176880803002x","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5]]},"assertion":[{"value":"3 August 2007","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 May 2008","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}