{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:04:10Z","timestamp":1784675050366,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540213772","type":"print"},{"value":"9783540247562","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24756-2_20","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:18:31Z","timestamp":1280276311000},"page":"363-381","source":"Crossref","is-referenced-by-count":5,"title":["An Optimal Approach to Hardware\/Software Partitioning for Synchronous Model"],"prefix":"10.1007","author":[{"given":"Pu","family":"Geguang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dang","family":"Van Hung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"He","family":"Jifeng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"J. Aalbersberg","year":"1988","unstructured":"Aalbersberg, J., Rozenberg, G.: Theory of Traces. Theoretical Computer Science\u00a060, 1\u201382 (1988)","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, S., Gupta, R.: Dataflow-Assisted Behavioral Partitioning for Embedded Systems. In: Proc. Design Automation Conf. ACM, N.Y., pp. 709\u2013712 (1997)","DOI":"10.1145\/266021.266347"},{"key":"20_CR3","unstructured":"Barros, E., Rosenstiel, W., Xiong, X.: A Method for Partitioning UNITY Language in Hardware and Software. In: Proc. EURODAC, pp. 220\u2013225 (September 1994)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45319-9_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Behrmann","year":"2001","unstructured":"Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J.: Efficient Guiding Towards Cost-Optimality in Uppaal. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 174\u2013188. Springer, Heidelberg (2001)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-45351-2_15","volume-title":"Hybrid Systems: Computation and Control","author":"G. Behrmann","year":"2001","unstructured":"Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J., Vaandrager, F.: Minimum-Cost Reachability for Priced Timed Automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 147\u2013161. Springer, Heidelberg (2001)"},{"issue":"1","key":"20_CR6","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":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A modelchecking tool for real-time systems. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 546\u2013550. Springer, Heidelberg (1998)"},{"key":"20_CR8","unstructured":"Van Hung, D.: Real-time Systems Development with Duration Calculus: an Overview. Technical Report 255, UNU\/IIST, P.O. Box 3058, Macau (June 2002)"},{"key":"20_CR9","volume-title":"Book of Traces","year":"1995","unstructured":"Diekert, V., Rozenberg, G. (eds.): Book of Traces. World Scientific, Singapore (1995)"},{"key":"20_CR10","first-page":"183","volume":"125","author":"R. Dill","year":"1994","unstructured":"Dill, R., Dill, D.L.: A Theory for Timed Automata. Theoretical Computer Science\u00a0125, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D. Dill","year":"1990","unstructured":"Dill, D.: Timing Assumptions and Verification of Finite-State Concurrent Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"key":"20_CR12","unstructured":"Fehnker, A.: Bounding and heuristics in forward reachability algorithms. Technical Report CSI-R0002, Computing Science Institute Nijmegen (2000)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: A Model Checker for Hybird Systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 460\u2013463. Springer, Heidelberg (1997)"},{"key":"20_CR14","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prenticel Hall, Englewood Cliffs (1998)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Hune, T., Larsen, K.G., Pttersson, P.: Guided Synthesis of Control Programs Using UPPAAL. In: Proc. of Workshop on verification and Control of Hybrid Systems III, vol.\u00a022, pp. E15\u2013E22 (2000)","DOI":"10.7146\/brics.v7i37.20203"},{"key":"20_CR16","unstructured":"INMOS Ltd. The Occam 2 Programming Manual. Prentice-Hall, Englewood Cliffs (1988)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Iyoda, J., Sampaio, A., Silva, L.: ParTS: A Partitioning Transformation System. In: World Congress on Formal Methods 1999 (WCFM 1999), pp. 1400\u20131419 (1999)","DOI":"10.1007\/3-540-48118-4_24"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","volume-title":"Fundamentals of Computation Theory","author":"K.G. Larsen","year":"1995","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Model-Checking for Real-Time Systems. In: Reichel, H. (ed.) FCT 1995. LNCS, vol.\u00a0965, pp. 62\u201388. Springer, Heidelberg (1995)"},{"key":"20_CR19","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, 134\u2013152 (1997)","journal-title":"Int. Journal of Software Tools for Technology Transfer"},{"issue":"2","key":"20_CR20","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1008832202436","volume":"2","author":"R. Nieman","year":"1997","unstructured":"Nieman, R., Marwedel, P.: An Algorithm for Hardware\/Software Partitioning Using Mixed Integer Linear Programming. Design Automation for Embedded Systems, special Issue: Partitioning Methods for Embedded Systems\u00a02(2), 165\u2013193 (1997)","journal-title":"Design Automation for Embedded Systems, special Issue : Partitioning Methods for Embedded Systems"},{"key":"20_CR21","unstructured":"Peng, Z., Kuchcinski, K.: An Algorithm for Partitioning of Application Specific System. In: IEEE\/ACM Proc. of The European Conference on Design Automation (EuroDAC), pp. 316\u2013321 (1993)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Geguang, P., Yi, W., Van Hung, D., Jifeng, H.: An Optimal Approach to Hardware\/software Partitioning for Synchronous Model. Technical Report 286, UNU\/IIST, P.O. Box 3058, Macau (September 2003)","DOI":"10.1007\/978-3-540-24756-2_20"},{"key":"20_CR23","unstructured":"Shengchao, Q., Jifeng, H.: An Algebraic Approach to Hardware\/software Partitioning. In: Proc. of the 7th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2000), pp. 273\u2013276 (2000)"},{"key":"20_CR24","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)"},{"key":"20_CR25","volume-title":"Hardware\/Software Co-Design: Principles and Practice","year":"1997","unstructured":"Staunstrup, J., Wolf, W. (eds.): Hardware\/Software Co-Design: Principles and Practice. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/3-540-60294-1_116","volume-title":"Field-Programmable Logic and Applications","author":"M. Weinhardt","year":"1995","unstructured":"Weinhardt, M.: Ingeger Programming for Partitioning in Software Oriented Codesign. In: Moore, W., Luk, W. (eds.) FPL 1995. LNCS, vol.\u00a0975, pp. 227\u2013234. Springer, Heidelberg (1995)"},{"issue":"7","key":"20_CR27","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1109\/5.293155","volume":"82","author":"W. Wolf","year":"1994","unstructured":"Wolf, W.: Hardware-Software Co-Design of Embedded System. Proc. of the IEEE\u00a082(7), 967\u2013989 (1994)","journal-title":"Proc. of the IEEE"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24756-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T20:09:34Z","timestamp":1635797374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24756-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213772","9783540247562"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24756-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}