{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:02:57Z","timestamp":1761976977607,"version":"build-2065373602"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,10,22]],"date-time":"2013-10-22T00:00:00Z","timestamp":1382400000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10766-013-0277-2","type":"journal-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T06:38:07Z","timestamp":1382337487000},"page":"86-129","source":"Crossref","is-referenced-by-count":2,"title":["Evaluation of Speculation in Out-of-Order Execution of Synchronous Dataflow Networks"],"prefix":"10.1007","volume":"43","author":[{"given":"Daniel","family":"Baudisch","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,10,22]]},"reference":[{"volume-title":"Software Synthesis from Dataflow Graphs","year":"1996","key":"277_CR1","unstructured":"Allen, J. (ed.): Software Synthesis from Dataflow Graphs. Kluwer, Dordrecht (1996)"},{"issue":"3","key":"277_CR2","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1109\/12.48862","volume":"39","author":"Arvind","year":"1990","unstructured":"Arvind, Nikhil, R.: Executing a program on the MIT tagged-token dataflow architecture. IEEE Trans. Comput. (T-C) 39(3), 300\u2013318 (1990)","journal-title":"IEEE Trans. Comput. (T-C)"},{"key":"277_CR3","doi-asserted-by":"crossref","unstructured":"Balakrishnan, S., Sohi, G.: Program demultiplexing: Data-flow based speculative parallelization of methods in sequential programs. In: International Symposium on Computer Architecture (ISCA), pp. 302\u2013313. IEEE Computer Society, Boston, Massachusetts, USA (2006)","DOI":"10.1109\/ISCA.2006.31"},{"key":"277_CR4","unstructured":"Baudisch, D., Brandt, J., Schneider, K.: Dependency-driven distribution of synchronous programs. In: Hinchey, M., Kleinjohann, B., Kleinjohann, L., Lindsay, P., Rammig, F., Wolf, M. (eds.) Distributed and Parallel Embedded Systems (DIPES), pp. 169\u2013180. International Federation for Information Processing (IFIP), Brisbane, Queensland, Australia (2010)"},{"key":"277_CR5","first-page":"354","volume-title":"Parallel and Distributed Computing, Applications and Technologies (PDCAT)","author":"D Baudisch","year":"2011","unstructured":"Baudisch, D., Brandt, J., Schneider, K.: Translating synchronous systems to data-flow process networks. In: Yeo, S.S., Vaidya, B., Papadopoulos, G. (eds.) Parallel and Distributed Computing, Applications and Technologies (PDCAT), pp. 354\u2013361. IEEE Computer Society, Gwangju, Korea (2011)"},{"key":"277_CR6","first-page":"168","volume-title":"International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (ICSAMOS)","author":"D Baudisch","year":"2012","unstructured":"Baudisch, D., Brandt, J., Schneider, K.: Out-of-order execution of synchronous data-flow networks. In: McAllister, J., Bhattacharyya, S. (eds.) International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (ICSAMOS), pp. 168\u2013175. IEEE Computer Society, Samos, Greece (2012)"},{"issue":"5","key":"277_CR7","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/1556444.1556449","volume":"36","author":"S Bhattacharyya","year":"2009","unstructured":"Bhattacharyya, S., Brebner, G., Janneck, J., Eker, J., von Platen, C., Mattavelli, M., Raulet, M.: OpenDF-a dataflow toolset for reconfigurable hardware and multicore systems. ACM SIGARCH Comput. Archit. News 36(5), 29\u201335 (2009)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"issue":"3","key":"277_CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01608539","volume":"6","author":"S Bhattacharyya","year":"1992","unstructured":"Bhattacharyya, S., Lee, E.: Scheduling synchronous dataflow graphs for efficient looping. J. VLSI Sig. Process. 6(3), 271\u2013288 (1992)","journal-title":"J. VLSI Sig. Process."},{"issue":"3","key":"277_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF01383830","volume":"5","author":"S Bhattacharyya","year":"1994","unstructured":"Bhattacharyya, S., Lee, E.: Looped schedules for dataflow descriptions of multirate signal processing algorithms. Formal Methods Syst. Des. 5(3), 183\u2013205 (1994)","journal-title":"Formal Methods Syst. Des."},{"key":"277_CR10","doi-asserted-by":"crossref","unstructured":"B\u00f6hm, A., Oldehoeft, R., Cann, D., Feo, J.: SISAL 2.0 Reference Manual. Technical Report CS-91-118, Computer Science Department of Colorado State University (1991)","DOI":"10.2172\/5688849"},{"issue":"2","key":"277_CR11","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G Bilsen","year":"1996","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cyclo-static dataflow. IEEE Trans. Sig. Process. 44(2), 397\u2013408 (1996)","journal-title":"IEEE Trans. Sig. Process."},{"key":"277_CR12","doi-asserted-by":"crossref","unstructured":"Bonfietti, A., Benini, L., Lombardi, M., Milano, M.: An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms. Design, Automation and Test in Europe (DATE), pp. 897\u2013902. EDA Consortium, Dresden, Germany (2010)","DOI":"10.1109\/DATE.2010.5456924"},{"key":"277_CR13","unstructured":"Buck, J., Lee, E.: The token flow model. In: Bic, L., Gao, G., Gaudiot, J.L. (eds.) Advanced Topics in Dataflow Computing and Multithreading, pp. 267\u2013290. IEEE Computer Society, Hamilton Island, Queensland, Australia (1995)"},{"key":"277_CR14","doi-asserted-by":"crossref","unstructured":"Cintra, M., Mart\u00ednez, J., Torrellas, J.: Architectural support for scalable speculative parallelization in shared-memory multiprocessors. International Symposium on Computer Architecture (ISCA), pp. 13\u201324. ACM, Vancouver, British Columbia, Canada (2000)","DOI":"10.1145\/342001.363382"},{"issue":"8","key":"277_CR15","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1109\/TPDS.2007.1081","volume":"18","author":"C Colohan","year":"2007","unstructured":"Colohan, C., Ailamaki, A., Steffan, J., Mowry, T.: CMP support for large and dependent speculative threads. IEEE Trans. Parallel Distrib. Syst. 18(8), 1041\u20131054 (2007)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"277_CR16","first-page":"910","volume-title":"Architecture and implementation of a VLIW supercomputer. Supercomputing","author":"R Colwell","year":"1990","unstructured":"Colwell, R., Hall, W., Joshi, C., Papworth, D., Rodman, P., Tomes, J.: Architecture and implementation of a VLIW supercomputer. Supercomputing, pp. 910\u2013919. IEEE Computer Society, New York, NY, USA (1990)"},{"issue":"11","key":"277_CR17","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MC.1980.1653418","volume":"13","author":"J Dennis","year":"1980","unstructured":"Dennis, J.: Data flow supercomputers. IEEE. Comput. 13(11), 48\u201356 (1980)","journal-title":"IEEE. Comput."},{"key":"277_CR18","doi-asserted-by":"crossref","unstructured":"Dennis, J., Misunas, D.: A preliminary architecture for a basic data-flow processor. 25 Years of the International Symposia on Computer Architecture (ISCA), pp. 125\u2013131. ACM, Barcelona, Spain (1998)","DOI":"10.1145\/285930.286058"},{"key":"277_CR19","unstructured":"Dennis, J., Misunas, D., Thiagarajan, P.: Data-flow computer architecture. Technical Report CSG-MEMO 104, MIT Lab for Computer Science, Cambridge, Massachusetts, USA (1974)"},{"key":"277_CR20","unstructured":"Engels, M., Bilsen, G., Lauwereins, R., Peperstraete, J.: Cyclo-static dataflow: Model and implementation. In: Asilomar Conference on Signals, Systems and Computers (ACSSC). IEEE Computer Society, Pacific Grove, California, USA (1994)"},{"key":"277_CR21","volume-title":"Embedded Computing: A VLIW Approach to Architecture. Compilers and Tools","author":"J Fisher","year":"2005","unstructured":"Fisher, J., Faraboschi, P., Young, C.: Embedded Computing: A VLIW Approach to Architecture. Compilers and Tools. Morgan Kaufmann, San Francisco (2005)"},{"key":"277_CR22","doi-asserted-by":"crossref","unstructured":"Gao, G., Govindarajan, R., Panangaden, P.: Well-behaved programs for DSP computation. International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp. 561\u2013564. IEEE Computer Society, San Francisco, California, USA (1992)","DOI":"10.1109\/ICASSP.1992.226558"},{"key":"277_CR23","doi-asserted-by":"crossref","unstructured":"Genin, D., De Moortel, J., Desmet, D., van de Velde, E.: System design, optimization, and intelligent code generation for standard digital signal processors. International Symposium on Circuits and Systems (ISCAS), pp. 565\u2013569. IEEE Computer Society, Portland, Oregon, USA (1989)","DOI":"10.1109\/ISCAS.1989.100415"},{"key":"277_CR24","first-page":"58","volume-title":"Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"L Hammond","year":"1998","unstructured":"Hammond, L., Willey, M., Olukotun, K.: Data speculation support for a chip multiprocessor. In: Bhandarkar, D., Agarwal, A. (eds.) Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 58\u201369. ACM, San Jose, CA, USA (1998)"},{"key":"277_CR25","doi-asserted-by":"crossref","unstructured":"Janneck, J., Miller, I., Parlour, D., Roquier, G., Wipliez, M., Raulet, M.: Synthesizing hardware from dataflow programs: An MPEG-4 simple profile decoder case study. Signal Processing Systems (SiPS), pp. 287\u2013292. IEEE Computer Society, Washington, District of Columbia, USA (2008)","DOI":"10.1109\/SIPS.2008.4671777"},{"key":"277_CR26","first-page":"59","volume-title":"Programming Language Design and Implementation (PLDI)","author":"T Johnson","year":"2004","unstructured":"Johnson, T., Eigenmann, R., Vijaykumar, T.: Min cut program decomposition for thread level speculation. In: Chambers, C. (ed.) Programming Language Design and Implementation (PLDI), pp. 59\u201370. ACM, Washington, DC, USA (2004)"},{"issue":"1","key":"277_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1013208.1013209","volume":"36","author":"W Johnston","year":"2004","unstructured":"Johnston, W., Hanna, J., Millar, R.: Advances in dataflow programming languages. ACM Comput. Surv. (CSUR) 36(1), 1\u201334 (2004)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"277_CR28","first-page":"471","volume-title":"Information Processing","author":"G Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, J. (ed.) Information Processing, pp. 471\u2013475. North-Holland, Stockholm, Sweden (1974)"},{"issue":"9","key":"277_CR29","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1109\/71.954629","volume":"12","author":"I Kazi","year":"2001","unstructured":"Kazi, I., Lilja, D.: Coarse-grained thread pipelining\u2014a speculative parallel execution model for shared-memory multiprocessors. IEEE Trans. Parallel Distrib. Syst 12(9), 952\u2013966 (2001)","journal-title":"IEEE Trans. Parallel Distrib. Syst"},{"key":"277_CR30","unstructured":"Le Mentec, F., Gautier, T., Danjean, V.: The X-Kaapi\u2019s application programming interface. part I: Data flow programming. Technical Report RT-0418, Institut National de Recherche en Informatique et en Automatique (INRIA) (2011)"},{"issue":"8","key":"277_CR31","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/2.303620","volume":"27","author":"B Lee","year":"1994","unstructured":"Lee, B., Hurson, A.: Dataflow architectures and multithreading. IEEE. Comput. 27(8), 27\u201339 (1994)","journal-title":"IEEE. Comput."},{"key":"277_CR32","doi-asserted-by":"crossref","unstructured":"Lee, E.: Consistency in dataflow graphs. IEEE Trans. Parallel Distrib. Syst. 2(2) (1991)","DOI":"10.1109\/71.89067"},{"issue":"5","key":"277_CR33","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E Lee","year":"2006","unstructured":"Lee, E.: The problem with threads. IEEE. Comput. 39(5), 33\u201342 (2006)","journal-title":"IEEE. Comput."},{"issue":"5","key":"277_CR34","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"E Lee","year":"2009","unstructured":"Lee, E.: Computing needs time. Commun. ACM (CACM) 52(5), 70\u201379 (2009)","journal-title":"Commun. ACM (CACM)"},{"key":"277_CR35","doi-asserted-by":"crossref","unstructured":"Lee, E., Ha, S.: Scheduling strategies for multiprocessor real-time DSP. In: Global Telecommunications Conference (GLOBECOM), pp. 1279\u20131283. IEEE Computer Society (1989)","DOI":"10.1109\/GLOCOM.1989.64160"},{"issue":"1","key":"277_CR36","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"E Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comput. 36(1), 24\u201335 (1987)","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"277_CR37","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"issue":"5","key":"277_CR38","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1109\/5.381846","volume":"83","author":"E Lee","year":"1995","unstructured":"Lee, E., Parks, T.: Dataflow process networks. Proc. IEEE 83(5), 773\u2013801 (1995)","journal-title":"Proc. IEEE"},{"issue":"7","key":"277_CR39","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/2.68","volume":"21","author":"D Lilja","year":"1988","unstructured":"Lilja, D.: Reducing the branch penalty in pipelined processors. IEEE Comput. 21(7), 47\u201355 (1988)","journal-title":"IEEE Comput."},{"key":"277_CR40","doi-asserted-by":"crossref","unstructured":"Lipasti, M., Shen, J.: Exceeding the dataflow limit via value prediction. Microarchitecture (MICRO), pp. 226\u2013237. IEEE Computer Society, Paris, France (1996)","DOI":"10.1109\/MICRO.1996.566464"},{"key":"277_CR41","first-page":"474","volume-title":"International Symposium on Computer Architecture (ISCA)","author":"C Madriles","year":"2009","unstructured":"Madriles, C., L\u00f3pez, P., Codina, J., Gibert, E., Latorre, F., Mart\u00ednez, A., Mart\u00ednez, R., Gonz\u00e1lez, A.: Boosting single-thread performance in multi-core systems through fine-grain multi-threading. In: Keckler, S., Barroso, L. (eds.) International Symposium on Computer Architecture (ISCA), pp. 474\u2013483. ACM, Austin, TX, USA (2009)"},{"key":"277_CR42","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1007\/BFb0100636","volume-title":"International Conference on High-Performance Computing and Networking (HPCN), LNCS","author":"P Marcuello","year":"1999","unstructured":"Marcuello, P., Gonz\u00e1lez, A.: Exploiting speculative thread-level parallelism on a SMT processor. In: Sloot, P., Bubak, M., Hoekstra, A., Hertzberger, B. (eds.) International Conference on High-Performance Computing and Networking (HPCN), LNCS, vol. 1593, pp. 754\u2013763. Springer, Amsterdam, The Netherlands (1999)"},{"issue":"2","key":"277_CR43","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/TC.2004.1261823","volume":"53","author":"P Marcuello","year":"2004","unstructured":"Marcuello, P., Gonz\u00e1lez, A., Tubella, J.: Thread partitioning and value prediction for exploiting speculative thread-level parallelism. IEEE Trans. Comput. 53(2), 114\u2013125 (2004)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"277_CR44","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/357153.357157","volume":"4","author":"J McGraw","year":"1982","unstructured":"McGraw, J.: The VAL language: description and analysis. ACM Trans. Program. Lang. Syst. 4(1), 44\u201382 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"277_CR45","unstructured":"McKenney, P.: Memory barriers: A hardware view for software hackers. http:\/\/www.rdrop.com\/users\/paulmck (2010)"},{"key":"277_CR46","doi-asserted-by":"crossref","unstructured":"Moshovos, A., Breach, S., Vijaykumar, T., Sohi, G.: Dynamic speculation and synchronization of data dependences. In: International Symposium on Computer Architecture (ISCA), pp. 181\u2013193 (1997)","DOI":"10.1145\/384286.264189"},{"issue":"1","key":"277_CR47","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1008633809454","volume":"11","author":"P Murthy","year":"1997","unstructured":"Murthy, P., Bhattacharyya, S., Lee, E.: Joint minimization of code and data for synchronous dataflow programs. Formal Methods Syst. Des. 11(1), 41\u201370 (1997)","journal-title":"Formal Methods Syst. Des."},{"key":"277_CR48","unstructured":"Nikhil, R.: Dataflow Programming Languages. Technical Report CSG-MEMO 333, Computer Science and Artificial Intelligence Laboratory, Cambridge, Massachusetts, USA (1991)"},{"key":"277_CR49","doi-asserted-by":"crossref","unstructured":"Pajuelo, A., Gonz\u00e1lez, A., Valero, M.: Speculative execution for hiding memory latency. In: MEmory Performance: DEaling with Applications, Systems and Architecture (MEDEA), pp. 49\u201356. ACM, Antibes Juan-les-Pins, France (2004)","DOI":"10.1145\/1101868.1101877"},{"key":"277_CR50","unstructured":"Parks, T.: Bounded Scheduling of Process Networks. Ph.D. Thesis, Princeton University (1995)"},{"key":"277_CR51","doi-asserted-by":"crossref","unstructured":"Powell, D., Lee, E., Newmann, W.: Direct synthesis of optimized DSP assembly from signal flow diagrams. In: International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp. 553\u2013556. IEEE Computer Society, San Francisco, California, USA (1992)","DOI":"10.1109\/ICASSP.1992.226560"},{"key":"277_CR52","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, J., Badia, R., Labarta, J.: A dependency-aware task-based programming environment for multi-core architectures. In: International Conference on Cluster Computing (CLUSTER), pp. 142\u2013151. IEEE Computer Society, Tsukuba, Japan (2008)","DOI":"10.1109\/CLUSTR.2008.4663765"},{"issue":"1","key":"277_CR53","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/356683.356687","volume":"9","author":"C Ramamoorthy","year":"1977","unstructured":"Ramamoorthy, C., Li, H.: Pipeline architecture. ACM Comput. Surv. 9(1), 61\u2013102 (1977)","journal-title":"ACM Comput. Surv."},{"key":"277_CR54","doi-asserted-by":"crossref","unstructured":"Renau, J., Strauss, K., Ceze, L., Liu, W., Sarangi, S., Tuck, J., Torrellas, J.: Thread-level speculation on a CMP can be energy efficient. International Conference on Supercomputing (ICS), pp. 219\u2013228. ACM, Cambridge, Massachusetts, USA (2005)","DOI":"10.1145\/1088149.1088178"},{"key":"277_CR55","unstructured":"Richardson, S.: Caching function results: Faster arithmetic by avoiding unnecessary computation. Technical Report SMLI TR-92-1, Sun Microsystems Inc., Mountain View, CA, USA (1992)"},{"key":"277_CR56","doi-asserted-by":"crossref","unstructured":"Roquier, G., Lucarz, C., Mattavelli, M., Wipliez, M., Raulet, M., Janneck, J., Miller, I., Parlour, D.: An integrated environment for HW\/SW co-design based on a CAL specification and HW\/SW code generators. In: International Symposium on Circuits and Systems (ISCAS), pp. 799\u2013799. IEEE Computer Society, Taipei, Taiwan (2009)","DOI":"10.1109\/ISCAS.2009.5117876"},{"issue":"2","key":"277_CR57","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/TC.1977.5009292","volume":"26","author":"J Rumbaugh","year":"1977","unstructured":"Rumbaugh, J.: A data flow multiprocessor. IEEE Trans. Comput. 26(2), 138\u2013146 (1977)","journal-title":"IEEE Trans. Comput."},{"key":"277_CR58","unstructured":"Schneider, K.: The synchronous programming language Quartz. Internal Report 375, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany (2009)"},{"issue":"5","key":"277_CR59","doi-asserted-by":"crossref","first-page":"800","DOI":"10.1145\/1017460.1017464","volume":"51","author":"R Steinke","year":"2004","unstructured":"Steinke, R., Nutt, G.: A unified theory of shared memory consistency. J. ACM 51(5), 800\u2013849 (2004)","journal-title":"J. ACM"},{"key":"277_CR60","doi-asserted-by":"crossref","unstructured":"Stulova, A., Leupers, R., Ascheid, G.: Throughput driven transformations of synchronous data flows for mapping to heterogeneous MPSoCs. In: McAllister, J., Bhattacharyya, S. (eds.) International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (ICSAMOS), pp. 144\u2013151. IEEE Computer Society, Samos, Greece (2012)","DOI":"10.1109\/SAMOS.2012.6404168"},{"key":"277_CR61","doi-asserted-by":"crossref","unstructured":"Tejedor, E., Farreras, M., Grove, D., Almasi, G., Labarta, J.: ClusterSs: a task-based programming model for clusters. In: High Performance Distributed Computing (HPDC), pp. 267\u2013268. ACM, San Jose, CA, USA (2011)","DOI":"10.1145\/1996130.1996168"},{"issue":"1","key":"277_CR62","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1147\/rd.111.0025","volume":"11","author":"R Tomasulo","year":"1967","unstructured":"Tomasulo, R.: An efficient algorithm for exploiting multiple arithmetic units. IBM J. Res. Dev. 11(1), 25\u201333 (1967)","journal-title":"IBM J. Res. Dev."},{"key":"277_CR63","doi-asserted-by":"crossref","unstructured":"Vachharajani, N., Rangan, R., Raman, E., Bridges, M., Ottoni, G., August, D.: Speculative decoupled software pipelining. Parallel Architectures and Compilation Techniques (PACT), pp. 49\u201359. IEEE Computer Society, Brasov, Romania (2007)","DOI":"10.1109\/PACT.2007.4336199"},{"key":"277_CR64","doi-asserted-by":"crossref","unstructured":"Zilles, C., Sohi, G.: Master\/slave speculative parallelization. Microarchitecture (MICRO), pp. 85\u201396. IEEE Computer Society, Istanbul, Turkey (2002)","DOI":"10.1109\/MICRO.2002.1176241"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0277-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-013-0277-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-013-0277-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:43:11Z","timestamp":1746034991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-013-0277-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,22]]},"references-count":64,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["277"],"URL":"https:\/\/doi.org\/10.1007\/s10766-013-0277-2","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2013,10,22]]}}}