{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T13:51:19Z","timestamp":1648734679695},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T00:00:00Z","timestamp":1291075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s10617-010-9065-z","type":"journal-article","created":{"date-parts":[[2010,11,29]],"date-time":"2010-11-29T17:06:01Z","timestamp":1291050361000},"page":"1-18","source":"Crossref","is-referenced-by-count":0,"title":["Combining static and dynamic array detection for binary synthesis with multiple memory ports"],"prefix":"10.1007","volume":"15","author":[{"given":"Nadav","family":"Rotem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosi Ben","family":"Asher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,30]]},"reference":[{"key":"9065_CR1","volume-title":"Logic synthesis","author":"S Devadas","year":"1994","unstructured":"Devadas S, Ghosh A, Keutzer K (1994) Logic synthesis. McGraw-Hill, New York"},{"issue":"3","key":"9065_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1255456.1255471","volume":"12","author":"G Stitt","year":"2007","unstructured":"Stitt G, Vahid F (2007) Binary synthesis. ACM Trans Des Autom Electron Syst 12(3):1\u201330","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"9065_CR3","first-page":"3","volume":"9","author":"RJ Hookway","year":"1997","unstructured":"Hookway RJ, Herdeg MA (1997) Digital fx!32: combining emulation and binary translation. Digit Tech J 9:3\u201312","journal-title":"Digit Tech J"},{"key":"9065_CR4","first-page":"256","volume-title":"IEEE PACT","author":"DL Howard","year":"1999","unstructured":"Howard DL, Lipasti MH (1999) The effect of program optimization on trace cache efficiency. In: IEEE PACT, pp 256\u2013261. [Online]. Available: citeseer.ist.psu.edu\/244939.html"},{"key":"9065_CR5","unstructured":"Muth R, Debray S, Watterson S, de Bosschere K (1998) alto: A link-time optimizer for the DEC alpha. Tech Rep TR98-14, Wednesday, 9 1998. [Online]. Available: citeseer.ist.psu.edu\/muth98alto.html"},{"key":"9065_CR6","unstructured":"Weide BW, Heym WD, Hollingsworth JE (1994) Reverse engineering of legacy code is intractable. Columbus, Ohio, Tech Rep OSU-CISRC-10\/94-TR55, Oct 1994. [Online]. Available: citeseer.ist.psu.edu\/weide94reverse.html"},{"key":"9065_CR7","unstructured":"Kruegel C, Robertson W, Valeur F, Vigna G (2004) Static disassembly of obfuscated binaries. [Online]. Available: citeseer.ist.psu.edu\/kruegel04static.html"},{"key":"9065_CR8","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/FCCM.2004.44","volume-title":"FCCM \u201904: proceedings of the 12th annual IEEE symposium on field-programmable custom computing machines","author":"D Zaretsky","year":"2004","unstructured":"Zaretsky D, Mittal G, Tang X, Banerjee P (2004) Overview of the freedom compiler for mapping dsp software to fpgas. In: FCCM \u201904: proceedings of the 12th annual IEEE symposium on field-programmable custom computing machines. IEEE Computer Society, Washington, pp 37\u201346"},{"key":"9065_CR9","doi-asserted-by":"crossref","first-page":"954","DOI":"10.1145\/996566.996819","volume-title":"DAC\u00a0\u201904: proceedings of the 41st annual design automation conference","author":"R Lysecky","year":"2004","unstructured":"Lysecky R, Vahid F, Tan SX-D (2004) Dynamic fpga routing for just-in-time fpga compilation. In: DAC\u00a0\u201904: proceedings of the 41st annual design automation conference. ACM, New York, pp 954\u2013959"},{"key":"9065_CR10","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/775832.775896","volume-title":"DAC\u00a0\u201903: proceedings of the 40th annual design automation conference","author":"G Stitt","year":"2003","unstructured":"Stitt G, Lysecky R, Vahid F (2003) Dynamic hardware\/software partitioning: a first approach. In: DAC\u00a0\u201903: proceedings of the 40th annual design automation conference. ACM, New York, pp 250\u2013255"},{"key":"9065_CR11","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/DATE.2005.38","volume-title":"DATE \u201905: proceedings of the conference on design, automation and test in Europe","author":"R Lysecky","year":"2005","unstructured":"Lysecky R, Vahid F (2005) A study of the speedups and competitiveness of fpga soft processor cores using dynamic hardware\/software partitioning. In: DATE \u201905: proceedings of the conference on design, automation and test in Europe. IEEE Computer Society, Washington, pp 18\u201323"},{"key":"9065_CR12","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1145\/1046192.1046208","volume-title":"FPGA 05: proceedings of the 2005 ACM\/SIGDA 13th international symposium on field-programmable gate arrays","author":"G Stitt","year":"2005","unstructured":"Stitt G, Guo Z, Vahid F, Najjar W (2005) Techniques for synthesizing binaries to an advanced register\/memory structure. In: FPGA 05: proceedings of the 2005 ACM\/SIGDA 13th international symposium on field-programmable gate arrays. ACM, New York, pp 118\u2013124"},{"key":"9065_CR13","first-page":"249","volume-title":"Proceedings of the ACM symposium on languages, compilers and tools for embedded systems (LCTES)","author":"Z Guo","year":"2004","unstructured":"Guo Z, Buyukkurt B, Najjar W (2004) Input data reuse in compiling window operations onto reconfigurable hardware. In: Proceedings of the ACM symposium on languages, compilers and tools for embedded systems (LCTES). ACM, New York, pp 249\u2013256"},{"issue":"1","key":"9065_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1369396.1369402","volume":"5","author":"Z Guo","year":"2008","unstructured":"Guo Z, Najjar W, Buyukkurt B (2008) Efficient hardware code generation for fpgas. ACM Trans Archit Code Optim, 5(1):1\u201326","journal-title":"ACM Trans Archit Code Optim"},{"key":"9065_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ISSOC.2008.4694874","volume-title":"International symposium on system-on-chip, SOC 2008","author":"Y Ben-Asher","year":"2008","unstructured":"Ben-Asher Y, Rotem N (2008) Synthesis for variable pipelined function units. In: International symposium on system-on-chip, SOC 2008. IEEE Computer Society, New York, pp 1\u20134"},{"key":"9065_CR16","unstructured":"C. to Verilog, http:\/\/c-to-verilog.com"},{"issue":"6","key":"9065_CR17","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/1273442.1250746","volume":"42","author":"N Nethercote","year":"2007","unstructured":"Nethercote N, Seward J (2007) Valgrind: a framework for heavyweight dynamic binary instrumentation. ACM SIGPLAN Not 42(6):89\u2013100","journal-title":"ACM SIGPLAN Not"},{"issue":"2","key":"9065_CR18","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/S1571-0661(04)81042-9","volume":"89","author":"N Nethercote","year":"2003","unstructured":"Nethercote N, Seward J (2003) Valgrind: a program supervision framework. Electron Notes Theor Comput Sci 89(2):44\u201366","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9065_CR19","doi-asserted-by":"crossref","unstructured":"Marathe J, Mueller F, Mohan T, Mckee SA, Supinski BRD, Yoo A (2007) Metric: memory tracing via dynamic binary rewriting to identify cache inefficiencies. ACM Trans Program Lang Syst 29","DOI":"10.1145\/1216374.1216380"},{"key":"9065_CR20","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1145\/1089008.1089012","volume":"2","author":"X Zhang","year":"2005","unstructured":"Zhang X, Gupta R (2005) Whole execution traces and their applications. ACM Trans Archit Code Optim 2:301\u2013334","journal-title":"ACM Trans Archit Code Optim"},{"key":"9065_CR21","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/200994.201003","volume":"17","author":"MP Gerlek","year":"1995","unstructured":"Gerlek MP, Stoltz E, Wolfe M (1995) Beyond induction variables: detecting and classifying sequences using a demand-driven ssa form. ACM Trans Program Lang Syst 17:85\u2013122","journal-title":"ACM Trans Program Lang Syst"},{"key":"9065_CR22","volume-title":"Proceedings of the international symposium on code generation and optimization (CGO\u201904)","author":"C Lattner","year":"2004","unstructured":"Lattner C, Adve V (2004) LLVM: a compilation framework for lifelong program analysis & transformation. In: Proceedings of the international symposium on code generation and optimization (CGO\u201904), Palo Alto, California, Mar 2004. [Online]. Available: citeseer.ist.psu.edu\/lattner04llvm.html"},{"key":"9065_CR23","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/800182.810410","volume-title":"ACM 74: proceedings of the 1974 annual conference","author":"BC Housel","year":"1974","unstructured":"Housel BC, Halstead MH (1974) A methodology for machine language decompilation. In: ACM 74: proceedings of the 1974 annual conference. ACM, New York, pp 254\u2013260"},{"key":"9065_CR24","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/SCAM.2005.6","volume-title":"SCAM \u201905: proceedings of the fifth IEEE international workshop on source code analysis and manipulation","author":"N Bermudo","year":"2005","unstructured":"Bermudo N, Krall A, Horspool N (2005) Control flow graph reconstruction for assembly language programs with delayed instructions. In: SCAM \u201905: proceedings of the fifth IEEE international workshop on source code analysis and manipulation. IEEE Computer Society, Washington, pp 107\u2013118"},{"key":"9065_CR25","unstructured":"Adve V, Lattner C, Brukman M, Shukla A, Gaeke B (2003) Llva: A low-level virtual instruction set architecture. [Online]. Available: citeseer.ist.psu.edu\/article\/adve03llva.html"},{"key":"9065_CR26","unstructured":"Dabah G (2005) Distorm, the disassembly library. http:\/\/ragestorm.net\/distorm\/"},{"key":"9065_CR27","unstructured":"Cifuentes C, Gough KJ (1994) Decompilation of binary programs. Tech. Rep. FIT-TR-1994-03, 19. [Online]. Available: citeseer.ist.psu.edu\/cifuentes95decompilation.html"},{"key":"9065_CR28","unstructured":"Wroblewski G (2002) General method of program code obfuscation. [Online]. Available: citeseer.ist.psu.edu\/wroblewski02general.html"},{"key":"9065_CR29","unstructured":"Kral S, Franchetti F, Lorenz J, Ueberhuber C. Simd vectorization of straight line code. [Online]. Available: citeseer.ist.psu.edu\/kral03simd.html"},{"key":"9065_CR30","unstructured":"SDK NC. http:\/\/www.nvidia.com\/object\/cuda_showcase.html"},{"key":"9065_CR31","unstructured":"Schleef D. Library for optimized inner loops. http:\/\/liboil.freedesktop.org\/wiki"},{"key":"9065_CR32","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/192724.192731","volume-title":"Proceedings of the 27th annual international symposium on microarchitecture","author":"BR Rau","year":"1994","unstructured":"Rau BR (1994) Iterative modulo scheduling: an algorithm for software pipelining loops. In: Proceedings of the 27th annual international symposium on microarchitecture, pp 63\u201374"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-010-9065-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-010-9065-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-010-9065-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,14]],"date-time":"2021-11-14T10:06:13Z","timestamp":1636884373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-010-9065-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,30]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9065"],"URL":"https:\/\/doi.org\/10.1007\/s10617-010-9065-z","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,30]]}}}