{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:19Z","timestamp":1725574579139},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223771"},{"type":"electronic","value":"9783540277767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27776-7_48","type":"book-chapter","created":{"date-parts":[[2011,1,10]],"date-time":"2011-01-10T17:33:28Z","timestamp":1294680808000},"page":"463-473","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting"],"prefix":"10.1007","author":[{"given":"Jianjiang","family":"Ceng","sequence":"first","affiliation":[]},{"given":"Weihua","family":"Sheng","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hohenauer","sequence":"additional","affiliation":[]},{"given":"Rainer","family":"Leupers","sequence":"additional","affiliation":[]},{"given":"Gerd","family":"Ascheid","sequence":"additional","affiliation":[]},{"given":"Heinrich","family":"Meyr","sequence":"additional","affiliation":[]},{"given":"Gunnar","family":"Braun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"EXPRESSION User Manual (version 1.0), http:\/\/www.ics.uci.edu\/~express\/documentation.htm"},{"key":"48_CR2","unstructured":"ACE \u2013 Associated Computer Experts bv. The COSY Compiler Development System, http:\/\/www.ace.nl"},{"issue":"4","key":"48_CR3","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/69558.75700","volume":"11","author":"A. Aho","year":"1989","unstructured":"Aho, A., Ganapathi, M., Tjiang, S.: Code generation using tree matching and dynamic programming. IEEE Transactions on Programming Languages and Systems\u00a011(4), 491\u2013516 (1989)","journal-title":"IEEE Transactions on Programming Languages and Systems"},{"key":"48_CR4","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers, Principles, Techniques and Tools. Addison-Wesley, Reading (January 1986) ISBN 0-2011-0088-6"},{"key":"48_CR5","unstructured":"Bashford, S., Bieker, U., Harking, B., Leupers, R., Marwedel, P., Neumann, A., Voggenauer, D.: The MIMOLA Language, Version 4.1. Reference Manual, Department of Computer Science 12, Embedded System Design and Didactics of Computer Science (1994)"},{"key":"48_CR6","doi-asserted-by":"crossref","unstructured":"Braun, G., Leupers, R., Asheid, G., Meyr, H.: A Novel Approach for Flexible and Consistent ADL-driven ASIP Design. In:Proc. of the Design Automation Conference (DAC) (March 2004)","DOI":"10.1145\/996566.996763"},{"key":"48_CR7","unstructured":"CoWare Inc. LISATek product family, http:\/\/www.coware.com"},{"key":"48_CR8","unstructured":"Fauth, J.: Van Praet, and M. Freericks. Describing Instruction Set Processors Using nML. In: Proc. of the European Design and Test Conference (ED & TC) (March 1995)"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"Hadjiyiannis, G., Hanono, S., Devadas, S.: ISDL: An Instruction Set Description Language for Retargetability. In: Proc. of the Design Automation Conference (DAC) (June 1997)","DOI":"10.1109\/DAC.1997.597161"},{"key":"48_CR10","doi-asserted-by":"crossref","unstructured":"Halambi, P., Grun, V., Ganesh, A., Khare, N.: Dutt, and A. Nicolau. EXPRESSION: A Language for Architecture Exploration through Compiler\/Simulator Retargetability. In: Proc. of the Conference on Design, Automation & Test in Europe (DATE) (March 1999)","DOI":"10.1145\/307418.307549"},{"key":"48_CR11","doi-asserted-by":"crossref","unstructured":"Hanono, S., Devadas, S.: Instruction selection, resource allocation, and scheduling in the AVIV retargetable code generator. In: Design Automation Conference, pp. 510\u2013515 (1998)","DOI":"10.1145\/277044.277184"},{"issue":"11","key":"48_CR12","doi-asserted-by":"publisher","first-page":"1338","DOI":"10.1109\/43.959863","volume":"20","author":"A. Hoffmann","year":"2001","unstructured":"Hoffmann, A., Kogel, T., Nohl, A., Braun, G., Schliebusch, O., Wahlen, O., Wieferink, A., Meyr, H.: A Novel Methodology for the Design of Application Specific Instruction Set Processors (ASIP) Using a Machine Description Language. IEEE Transactions on Computer-Aided Design\u00a020(11), 1338\u20131354 (2001)","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Hoffmann, A., Leupers, R., Meyr, H.: Architecture Exploration for Embedded Processors with LISA. Kluwer Academic Publishers, Boston (January 2003) ISBN 1- 4020-7338-0","DOI":"10.1007\/978-1-4757-4538-2_1"},{"key":"48_CR14","doi-asserted-by":"crossref","unstructured":"Hohenauer, M., Scharwaechter, H., Karuri, K., Wahlen, O., Kogel, T., Leupers, R., Ascheid, G., Meyr, H.: A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models.In: Proc. of the Conference on Design, Automation & Test in Europe (DATE) (March 2004)","DOI":"10.1109\/DATE.2004.1269071"},{"key":"48_CR15","unstructured":"Homewood, F., Faraboschi, P.: ST200: A VLIWArchitecture for Media-Oriented Applications. Microprocessor Forum (October 2000)"},{"key":"48_CR16","doi-asserted-by":"crossref","unstructured":"Leupers, R., Marwedel, P.: A BDD-based frontend for retargetable compilers. In: Proc. of the European Design and Test Conference (ED & TC), pp. 239\u2013243 (1995)","DOI":"10.1109\/EDTC.1995.470389"},{"key":"48_CR17","unstructured":"Nie, X., Gazsi, L., Engel, F., Fettweis, G.: A new network processor architecture for high-speed communications. In: Proc. of the IEEE Workshop on Signal Processing Systems (SIPS), pp. 548\u2013557 (October 1999)"}],"container-title":["Lecture Notes in Computer Science","Computer Systems: Architectures, Modeling, and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27776-7_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:20:12Z","timestamp":1605759612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27776-7_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223771","9783540277767"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27776-7_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}