{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:39:09Z","timestamp":1752550749652,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:29:29Z","timestamp":1330298969000},"page":"624-643","source":"Crossref","is-referenced-by-count":7,"title":["A normal form reduction strategy for hardware\/software partitioning"],"prefix":"10.1007","author":[{"given":"Leila","family":"Silva","sequence":"first","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]},{"given":"Edna","family":"Barros","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"A. Balsoni, W. Fornaccari, D. Sciuto. Partitioning and Exploration Strategies in the TOSCA Co-Design Flow. In Proceedings of Fourth International Workshop on Hardware\/Software Codesign, (1996) 62\u201369, IEEE Press.","DOI":"10.1109\/HCS.1996.492227"},{"key":"33_CR2","unstructured":"E. Barros. Hardware\/Software Partitioning using UNITY. PhD thesis, Universit\u00e4t T\u00fcbingen, 1993."},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"E. Barros and A. Sampaio. Towards Probably Correct Hardware\/Software Partitioning Using Occam. In Proceedings of the Third International Workshop on Hardware\/Software Codesign Codes\/CASHE94, (1994) 210\u2013217, IEEE Press.","DOI":"10.1109\/HSC.1994.336704"},{"key":"33_CR4","unstructured":"E. N. S. Barros, M. E. de Lima and A. Sampaio. From Hardware\/Software Partitioning to Layout Synthesis: A Transformational Approach. In Proceedings of VIII Brazilian Symposium on Integrated Circuits, Gramado-RS, (1994) 89\u2013100."},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"C.Carreras, J.C.L\u00f3pez, M.L.L\u00f3pez, C.Delgado-Kloos, N.Martin\u00e9z, L.S\u00e1nchez. A Co-Design Methodology Based on Formal Specification and High-level Estimation. In Proceedings of Fourth International Workshop on HW\/SW Codesign, (1996) 28\u201335, IEEE Press.","DOI":"10.1109\/HCS.1996.492223"},{"key":"33_CR6","unstructured":"T. Cheung, G. Hellestrand and P. Kanthamanon. A Multi-level Transformation Approach to HW\/SW Co-Design: A Case Study. In Proceedings of Fourth International Workshop on HW\/SW Codesign, (1996) 10\u201317, IEEE Press."},{"key":"33_CR7","unstructured":"R. Ernst and J. Henkel. Hardware-Software Codesign of Embedded Controllers Based on Hardware Extraction. In Handouts of the International Workshop on Hardware-Software Co-Design, October 1992."},{"key":"33_CR8","unstructured":"J. Goguen et al. Introducing OBJ. Technical report, SRI-CSL-92-03, SRI International, 1993."},{"key":"33_CR9","unstructured":"M. Goldsmith. The oxford occam transformation system. Technical report, Oxford University Computing Laboratory, January 1988."},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"R. Gupta and G. De Micheli. System-level Synthesis Using Re-programmable Components. In Proceedings of EDAC, (1992) 2\u20137, IEEE Press.","DOI":"10.1109\/EDAC.1992.205881"},{"key":"33_CR11","first-page":"69","volume":"02","author":"C. A. R. Hoare","year":"1994","unstructured":"C. A. R. Hoare and I. Page. Hardware and Software: The Closing Gap. In Transputer Communications, 02, (1994) 69\u201390.","journal-title":"Transputer Communications"},{"key":"33_CR12","unstructured":"T. B. Ismail, K. O'Brien and A. Jerraya. Interactive System Level Partitioning with PARTIF. In Proceedings of the European Conference on Design Automation, February 1994, IEEE Press."},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Jifeng He, I. Page, and J. Bowen. A Provable Hardware Implementation of occam. In Correct Hardware Design and Verification Methods (Advanced Research Working Conference, CHARME' 93), Lecture Notes in Computer Science, Springer Verlag, 683, (1993) 214\u2013225.","DOI":"10.1007\/BFb0021726"},{"key":"33_CR14","unstructured":"P. V. Knudsen and J. Madsen. PACE: A Dynamic Progrmming Algorithm for Hardware\/Software Partitioning. In Proceedings of Fourth International Workshop on HW\/SW Codesign, (1996) 85\u201392."},{"key":"33_CR15","unstructured":"L. Paulson. ML for the working programmer. Cambridge University Press, 1991."},{"key":"33_CR16","unstructured":"D. Pountain and D. May. A Tutorial Introduction to OCCAM Programming. Inmos BSP Professional Books, (1987)."},{"key":"33_CR17","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"A. Roscoe","year":"1988","unstructured":"A. Roscoe and C. A. R. Hoare. The laws of occarn programming. In Theoretical Computer Science, 60, (1988) 177\u2013229.","journal-title":"In Theoretical Computer Science"},{"key":"33_CR18","doi-asserted-by":"crossref","unstructured":"A. Sampaio. An Algebraic Approach to Compiler Design. Volume 4 of Algebraic Methodology and Software Technology (AMAST) Series in Computing, World Scientific, 1997.","DOI":"10.1142\/2870"},{"key":"33_CR19","unstructured":"L. Silva, A. Sampaio and E. Barros. A Normal Form Approach to Hardware\/Software Partitioning Using Occam. Technical Report, RT-DI\/UFPE 001\/97, Federal University of Pernambuco, Recife, Brazil."},{"key":"33_CR20","unstructured":"F. Vahid, J. Gong and D. D. Gajski. A Binary-constraint Search Algorithm for Minimizing Hardware During Hardware\/Software Partitioning. In Proceedings of European Design Automation Conference, (1994) 214\u2013219."}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:44:12Z","timestamp":1742600652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}