{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:24:57Z","timestamp":1755221097213,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1023\/a:1008184206285","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:17:47Z","timestamp":1040545067000},"page":"41-60","source":"Crossref","is-referenced-by-count":1,"title":["A Codesign Approach to Real-time High Precision Control"],"prefix":"10.1007","volume":"19","author":[{"given":"Y. C.","family":"HO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. F.","family":"Man","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. S.","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kwong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Actel Corporation. 1994. Actel FPGA Data Book and Design Guide.","key":"261945_CR1"},{"unstructured":"Barros, E., and Rosenstiel, W. 1992. A method for hardware\/software partitioning. Proc. Compeuri, IEEE CS Press.","key":"261945_CR2"},{"issue":"2","key":"261945_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","volume":"12","author":"G. Booch","year":"1986","unstructured":"Booch, G. 1986. Object-oriented development. IEEE Trans. Software Engineering, 12(2): 211\u2013221.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"5","key":"261945_CR4","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/54.60603","volume":"7","author":"R. Camposano","year":"1990","unstructured":"Camposano, R. 1990. From behavior to structure: High-level synthesis. IEEE Design & Test of Computers, 7(5): 8\u201319.","journal-title":"IEEE Design & Test of Computers"},{"issue":"1","key":"261945_CR5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1147\/sj.331.0131","volume":"33","author":"N. P. Capper","year":"1994","unstructured":"Capper, N. P., Colgate, R. J., Hunter, J. C., and James, M. Fm. 1994. The impact of object-oriented technology on software quality: Three case histories. IBM Systems Journal, 33(1): 131\u2013157.","journal-title":"IBM Systems Journal"},{"issue":"4","key":"261945_CR6","first-page":"16","volume":"10","author":"R. Ernst","year":"1993","unstructured":"Ernst, R., Henkel, J., and Benner, T. 1993. Hardware-software cosynthesis for micro-controllers. IEEE Design & Test of Computers, 10(4): 16\u201328.","journal-title":"IEEE Design & Test of Computers"},{"issue":"1","key":"261945_CR7","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.248880","volume":"27","author":"R. K. Gupta","year":"1994","unstructured":"Gupta, R. K., Coelho, C., and De Micheli, G. 1994. Program implementation schemes for hardware-software systems. IEEE Computer, 27(1): 48\u201356.","journal-title":"IEEE Computer"},{"issue":"1","key":"261945_CR8","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1109\/TSE.1986.6312926","volume":"12","author":"I. Hayes","year":"1986","unstructured":"Hayes, I. 1986. Specification directed module testing. IEEE Trans. Software Engineering, 12(1): 124\u2013133.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"3","key":"261945_CR9","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/54.232469","volume":"10","author":"A. Kalavade","year":"1993","unstructured":"Kalavade, A., and Lee, E. A. 1993. A hardware-software codesign methodology for DSP applications. IEEE Design & Test of Computers, 10(3): 16\u201328.","journal-title":"IEEE Design & Test of Computers"},{"issue":"12","key":"261945_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.247650","volume":"26","author":"S. Kumar","year":"1993","unstructured":"Kumar, S., Aylor, J. H., Johnson, B. W., and Wulf, Wm. A. 1993. A framework for hardware\/software codesign. IEEE Computer, 26(12): 39\u201345.","journal-title":"IEEE Computer"},{"issue":"4","key":"261945_CR11","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. Liskov","year":"1974","unstructured":"Liskov, B., and Zilles, S. 1974. Programming with abstract data types. ACM Sigplan Notice, 9(4): 50\u201359.","journal-title":"ACM Sigplan Notice"},{"issue":"1","key":"261945_CR12","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MS.1987.229789","volume":"4","author":"R. Prieto-Diaz","year":"1987","unstructured":"Prieto-Diaz, R., and Freeman, P. 1987. Classify software reusability. IEEE Software, 4(1): 6\u201316.","journal-title":"IEEE Software"},{"issue":"1","key":"261945_CR13","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/5.259423","volume":"82","author":"K. G. Shin","year":"1994","unstructured":"Shin, K. G., and Ramanathan, P. 1994. Real-time computing: A new discipline of computer science and engineering. Proceedings of the IEEE, 82(1): 6\u201324.","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"261945_CR14","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/54.232468","volume":"10","author":"D. E. Thomas","year":"1993","unstructured":"Thomas, D. E., Adams, J. K., and Schmit, H. 1993. A model and methodology for hardware-software codesign. IEEE Design & Test of Computers, 10(3): 6\u201315.","journal-title":"IEEE Design & Test of Computers"},{"key":"261945_CR15","volume-title":"Softer-Qualit\u00e4tssicherung in der Praxis","author":"E. Wallm\u00fcller","year":"1990","unstructured":"Wallm\u00fcller, E. 1990. Softer-Qualit\u00e4tssicherung in der Praxis. M\u00fcnchen: Hanser."},{"issue":"1","key":"261945_CR16","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/2.248879","volume":"27","author":"N. S. Woo","year":"1994","unstructured":"Woo, N. S., Dunlop, A. E., and Wolf, W. 1994. Codesign from cospecification. IEEE Computer, 27(1): 42\u201347.","journal-title":"IEEE Computer"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008184206285.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008184206285\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008184206285.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:34:50Z","timestamp":1754638490000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008184206285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["261945"],"URL":"https:\/\/doi.org\/10.1023\/a:1008184206285","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}