{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T20:07:47Z","timestamp":1760645267774},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540465355"},{"type":"electronic","value":"9783540465362"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11892960_56","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T13:29:42Z","timestamp":1160400582000},"page":"459-466","source":"Crossref","is-referenced-by-count":5,"title":["A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata"],"prefix":"10.1007","author":[{"given":"Geguang","family":"Pu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhang","family":"Chong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Jifeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","doi-asserted-by":"crossref","unstructured":"Banerjee, S., Dutt, N.D.: Efficient search space exploration for HW-SW partitioning. In: CODES+ISSS 2004, pp. 122\u2013127 (2004)","DOI":"10.1145\/1016720.1016752"},{"issue":"1","key":"56_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1023\/A:1011184310224","volume":"19","author":"J. Bowen","year":"2001","unstructured":"Bowen, J., Jifeng, H.: An approach to the specification and verification of a hardware compilation scheme. Journal of Supercomputing\u00a019(1), 23\u201329 (2001)","journal-title":"Journal of Supercomputing"},{"key":"56_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"125","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory for Timed Automata. Theoretical Computer Science\u00a0125, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"56_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF01096763","volume":"6","author":"T. Feo","year":"1995","unstructured":"Feo, T., Resende, M.: Greedy randomized adaptive search procedures. Journal of Global Optimization\u00a06, 109\u2013133 (1995)","journal-title":"Journal of Global Optimization"},{"key":"56_CR5","first-page":"621","volume":"3","author":"F. Glover","year":"1998","unstructured":"Glover, F., Laguna, M.: Tabu Search. Handbook of Combinatorial Optimization\u00a03, 621\u2013757 (1998)","journal-title":"Handbook of Combinatorial Optimization"},{"key":"56_CR6","unstructured":"Handle-C Language Overview. Celoxica Limited (2002)"},{"issue":"1-2","key":"56_CR7","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Int. Journal of Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"Int. Journal of Software Tools for Technology Transfer"},{"key":"56_CR8","doi-asserted-by":"publisher","first-page":"1097","DOI":"10.1016\/S0305-0548(97)00031-2","volume":"24","author":"N. Mladenovic","year":"1997","unstructured":"Mladenovic, N., Hansen, P.: Variable neighborhood search. Computers Oper. Res.\u00a024, 1097\u20131100 (1997)","journal-title":"Computers Oper. Res."},{"key":"56_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-540-24756-2_20","volume-title":"Integrated Formal Methods","author":"G. Pu","year":"2004","unstructured":"Pu, G., Van Hung, D., He, J., Yi, W.: An optimal approach to hardware\/software partitioning for synchronous model. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 363\u2013381. Springer, Heidelberg (2004)"},{"key":"56_CR10","unstructured":"Pu, G., Xiangpeng, Z., Shuling, W., Zongyan, Q., He, J., Yi, W.: An approach to hardware\/software partitioning for multiple hardware devices model. In: IEEE SEFM 2004, pp. 376\u2013385 (2004)"},{"key":"56_CR11","unstructured":"Quan, G., Hu, X., Greenwood, G.W.: Preference-driven hierarchical hardware\/software partitioning. In: Internatitional conference on Computer Design (IEEE), pp. 652\u2013657 (1999)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11892960_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:33:00Z","timestamp":1619494380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11892960_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540465355","9783540465362"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11892960_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}