{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T14:44:04Z","timestamp":1761921844986,"version":"build-2065373602"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"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":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1023\/a:1008965304567","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:46:35Z","timestamp":1040561195000},"page":"215-242","source":"Crossref","is-referenced-by-count":13,"title":["Synthesis of Hard Real-Time Application Specific Systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Chunho","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"Potkonjak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"239762_CR1","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF01257086","volume":"20","author":"J. A. Bannister","year":"1983","unstructured":"J. A. Bannister and K. S. Trivedi. Task allocation in fault-tolerant distributed systems. Acta Informatica 20(3): 261-281, 1983.","journal-title":"Acta Informatica"},{"key":"239762_CR2","unstructured":"E. Barros, W. Rosenstiel, and X. Xiong. A method for partitioning UNITY language in hardware and software. In Proceedings of Euro-DAC '94, pp. 220-225, IEEE Computer Society Press, 1994."},{"key":"239762_CR3","doi-asserted-by":"crossref","unstructured":"J. Borel. Technologies for multimedia systems on a chip. In 1997 IEEE International Solid-State Circuits Conference, pp. 18-21, 1997.","DOI":"10.1109\/ISSCC.1997.585247"},{"key":"239762_CR4","doi-asserted-by":"crossref","unstructured":"R. W. Brodersen. The network computer and its future. In 1997 IEEE International Solid-State Circuits Conference, pp. 32-36, 1997.","DOI":"10.1109\/ISSCC.1997.585250"},{"key":"239762_CR5","doi-asserted-by":"crossref","unstructured":"A. P. Chandrakasan et al. Hyper-LP: A design system for power minimization using architectural transformations. In Proceedings of ICCAD '92, pp. 300-303, Intl. Conf. Computer-Aided Design, Santa Clara, CA, November 1992.","DOI":"10.1109\/ICCAD.1992.279357"},{"issue":"2","key":"239762_CR6","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/92.502199","volume":"4","author":"S. Chaudhuri","year":"1996","unstructured":"S. Chaudhuri and R. A. Walker. Computing lower bounds on functional units before scheduling. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4(2): 273-279, June 1996.","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"239762_CR7","unstructured":"R. F. Cmelik and D. Keppel. Shade: A fast instruction-set simulator for execution profiling. Technical Report SMLI93-12, UWCSE 93-06-06, Computer Science and Engineering, University of Washington, 1993."},{"key":"239762_CR8","series-title":"Technical Report CSG Memo","volume-title":"Adding fast interrupts to superscalar processors","author":"H. S. Dana","year":"1994","unstructured":"H. S. Dana. Adding fast interrupts to superscalar processors. Technical Report CSG Memo 366, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA, December 1994."},{"issue":"3","key":"239762_CR9","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1145\/3828.3830","volume":"32","author":"R. Dechter","year":"1985","unstructured":"R. Dechter and J. Pearl. Generalized best-first strategies and the optimality of A*. Journal of the ACM 32(3): 505-536, 1985.","journal-title":"Journal of the ACM"},{"key":"239762_CR10","unstructured":"ETSI. European digital cellular telecommunications system (phase 1): Work programme reference: Gsm 06.10, 1992."},{"key":"239762_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3636-9","volume-title":"High-level Synthesis: Introduction to Chip and System Design","author":"D. D. Gajski","year":"1992","unstructured":"D. D. Gajski et al. High-level Synthesis: Introduction to Chip and System Design. Kluwer Academic, Boston, 1992."},{"issue":"1","key":"239762_CR12","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/92.486082","volume":"4","author":"D. D. Gajski","year":"1996","unstructured":"D. D. Gajski, S. Narayan, L. Ramachandran, F. Vahid, et al. System design methodologies: Aiming at the 100 h design cycle. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4(1): 70-82, March 1996.","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"239762_CR13","doi-asserted-by":"crossref","unstructured":"D. D. Gajski, F. Vahid, and S. Narayan. A system-design methodology: Executable specification refinement. In Proceedings of Euro-DAC '94, pp. 458-463, IEEE Computer Society Press, 1994.","DOI":"10.1109\/EDTC.1994.326836"},{"key":"239762_CR14","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New York, NY, 1979."},{"key":"239762_CR15","unstructured":"L. Guerra. Personal communication, June 1997."},{"key":"239762_CR16","unstructured":"L. Guerra, M. Potkonjak, and J. Rabaey. High-level synthesis for reconfigurable datapath structures. In Proceedings of ICCAD '93, Intl. Conf. Computer-Aided Design, Santa Clara, CA, 1993."},{"issue":"3","key":"239762_CR17","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/54.232470","volume":"10","author":"R. K. Gupta","year":"1993","unstructured":"R. K. Gupta and G. De Micheli. Hardware-software cosynthesis for digital systems. IEEE Design & Test of Computers 10(3): 29-41, 1993.","journal-title":"IEEE Design & Test of Computers"},{"issue":"4","key":"239762_CR18","doi-asserted-by":"crossref","first-page":"991","DOI":"10.1109\/30.555803","volume":"42","author":"C-H. Huang","year":"1996","unstructured":"C-H. Huang, J-Y. Yen, and M. Ouhyoung. The design of a low cost motion chair for video games and mpeg video playback. IEEE Transactions on Consumer Electronics 42(4): 991-997, 1996.","journal-title":"IEEE Transactions on Consumer Electronics"},{"key":"239762_CR19","volume-title":"Real-Time Extensions to POSIX","author":"IEEE.","year":"1991","unstructured":"IEEE. Real-Time Extensions to POSIX. IEEE, New York, NY, 1991."},{"key":"239762_CR20","volume-title":"Futurebus+ Recommended Practice","author":"IEEE.","year":"1993","unstructured":"IEEE. Futurebus+ Recommended Practice. IEEE, New York, NY, 1993."},{"key":"239762_CR21","doi-asserted-by":"crossref","unstructured":"T. B. Ismail, K. O'Brien, and A. Jerraya. Interactive system-level partitioning with PARTIF. In Proceedings, Euro-DAC '94, pp. 464-468, 1994.","DOI":"10.1109\/EDTC.1994.326835"},{"key":"239762_CR22","doi-asserted-by":"crossref","unstructured":"R. Karri and A. Orailoglu. Transformation-based high-level synthesis of fault-tolerant ASICS. In Proc. 29th ACM\/IEEE Design Automation Conference, pp. 662-665, 1992.","DOI":"10.1109\/DAC.1992.227803"},{"key":"239762_CR23","doi-asserted-by":"crossref","unstructured":"E. L. Lawler. Optimal sequencing of a single machine subject to precedence constraints. Management Science 19, 1973.","DOI":"10.1287\/mnsc.19.5.544"},{"key":"239762_CR24","unstructured":"J. P. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithms\u2014exact characterization and average case behavior. In IEEE Real-Time System Symp., pp. 181-191, 1986."},{"issue":"1","key":"239762_CR25","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and J.W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of ACM 20(1): 46-61, 1973.","journal-title":"Journal of ACM"},{"key":"239762_CR26","doi-asserted-by":"crossref","unstructured":"J. Liu, M. Lajolo, and A. Sangiovanni-Vincentelli. Software timing analysis using HW\/SW cosimulation and instruction set simulator. In Proceedings of the Sixth International Workshop on Hardware\/Software Codesign (CODES\/CASHE '98), pp. 65-69, 1998.","DOI":"10.1145\/278241.278299"},{"issue":"2","key":"239762_CR27","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/5.52214","volume":"78","author":"M. C. McFarland","year":"1990","unstructured":"M. C. McFarland, A. C. Parker, and R. Camposano. The high-level synthesis of digital systems. Proceedings of the IEEE 78(2): 301-317, 1990.","journal-title":"Proceedings of the IEEE"},{"key":"239762_CR28","series-title":"Technical Report","volume-title":"Guaranteed performance of multimedia traffic over the token ring","author":"R. Nagarajan","year":"1992","unstructured":"R. Nagarajan and C. Vogt. Guaranteed performance of multimedia traffic over the token ring. Technical Report 439210, IBM-ENC, Heidelberg, Germany, 1992."},{"key":"239762_CR29","doi-asserted-by":"crossref","unstructured":"V. Nirkhe and W. Pugh. Partial evaluation of high-level imperative programming languages, with applications in hard real-time systems. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 269-280, 1992.","DOI":"10.1145\/143165.143223"},{"key":"239762_CR30","volume-title":"Computer Architecture: A Quantitative Approach","author":"D. A. Patterson","year":"1990","unstructured":"D. A. Patterson and J. L. Hennessy. Computer Architecture: A Quantitative Approach. Morgan Kaufmann Publishers, San Mateo, CA, 1990."},{"issue":"6","key":"239762_CR31","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/43.31522","volume":"8","author":"P. G. Paulin","year":"1989","unstructured":"P. G. Paulin and J. P. Knight. Force-directed scheduling for the behavioral synthesis of ASICS. IEEE Transactions on CAD 8(6): 661-679, June 1989.","journal-title":"IEEE Transactions on CAD"},{"key":"239762_CR32","doi-asserted-by":"crossref","unstructured":"M. Potkonjak and J. Rabaey. Maximally fast and arbitrarily fast implementation of linear computations. In Proc. ICCAD '92, pp. 304-308, IEEE Intl. Conf. Computer-Aided Design, Santa Clara, CA, 1992.","DOI":"10.1109\/ICCAD.1992.279356"},{"issue":"3","key":"239762_CR33","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1109\/43.265670","volume":"13","author":"M. Potkonjak","year":"1994","unstructured":"M. Potkonjak and J. Rabaey. Optimizing resource utilization using transformations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13(3): 277-292, March 1994.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"239762_CR34","doi-asserted-by":"crossref","unstructured":"M. Potkonjak and W. H. Wolf. Cost optimization in ASIC implementation of periodic hard real-time systems using behavioral synthesis techniques. In ICCAD95, pp. 446-451, International Conference on Computer-Aided Design, 1995.","DOI":"10.1109\/ICCAD.1995.480154"},{"issue":"2","key":"239762_CR35","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF02109379","volume":"8","author":"S. Prakash","year":"1994","unstructured":"S. Prakash and A. C. Parker. Synthesis of application-specific multiprocessor systems including memory components. Journal of VLSI Signal Processing 8(2): 97-116, October 1994.","journal-title":"Journal of VLSI Signal Processing"},{"issue":"6","key":"239762_CR36","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1109\/43.285240","volume":"13","author":"J. M. Rabaey","year":"1994","unstructured":"J. M. Rabaey and M. Potkonjak. Estimating implementation bounds for real time DSP application specific circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13(6): 669-683, June 1994.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"1","key":"239762_CR37","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/5.259426","volume":"82","author":"K. Ramamritham","year":"1994","unstructured":"K. Ramamritham and J. A. Stankovic. Scheduling algorithms and operating system support for real-time systems. Proc. of the IEEE 82(1): 55-67, January 1994.","journal-title":"Proc. of the IEEE"},{"key":"239762_CR38","unstructured":"R. S. Ratner, E. B. Shapiro, H. M. Zeidler, S. E. Wahlstrom, C. B. Clark, and J. Goldberg. Design of a fault tolerant airborne digital computer. In Computational Requirements and Technology, volume 2. SRI Final Report, NASA Contract NASI-10920, 1973."},{"issue":"2","key":"239762_CR39","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/92.285747","volume":"2","author":"M. Rim","year":"1994","unstructured":"M. Rim, A. Mujumdar, R. Jain, and R. de Leone. Optimal and heuristic algorithms for solving the binding problem. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2(2): 211-225, June 1994.","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"239762_CR40","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russel","year":"1995","unstructured":"S. Russel and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, NJ, 1995."},{"key":"239762_CR41","doi-asserted-by":"crossref","unstructured":"B. Schneier. Lecture notes in computer science 809: Fast software encryption. In R. Anderson, editor, CAMBRIDGE SECURITY WORKSHOP, Springer-Verlag, 1994, pp. 191-204.","DOI":"10.1007\/3-540-58108-1_24"},{"issue":"4","key":"239762_CR42","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/167954.166257","volume":"23","author":"D. B. Schwartz","year":"1993","unstructured":"D. B. Schwartz. ATM scheduling with queuing delay predictions. Computer Communication Review 23(4): 205-211, October 1993.","journal-title":"Computer Communication Review"},{"issue":"4","key":"239762_CR43","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.55469","volume":"23","author":"L. Sha","year":"1990","unstructured":"L. Sha and J. B. Goodenough. Real-time scheduling theory and Ada. IEEE Computer 23(4): 53-62, April 1990.","journal-title":"IEEE Computer"},{"key":"239762_CR44","doi-asserted-by":"crossref","unstructured":"L. Sha, R. Rajkumar, and J. Lehoczky. Real-time scheduling support in Futurebus+. In IEEE 11th Real-Time Systems Symposium, pp. 331-340, 1990.","DOI":"10.1109\/REAL.1990.128765"},{"issue":"1","key":"239762_CR45","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/5.259427","volume":"82","author":"L. Sha","year":"1994","unstructured":"L. Sha, R. Rajkumar, and S. S. Sathaye. Generalized rate-monotonic scheduling theory: A framework for developing real-time systems. Proc. of the IEEE 82(1): 68-82, January 1994.","journal-title":"Proc. of the IEEE"},{"issue":"10","key":"239762_CR46","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1109\/PROC.1981.12167","volume":"69","author":"J. Soukup","year":"1981","unstructured":"J. Soukup. Circuits layout. Proc. of the IEEE 69(10): 1281-1304, October 1981.","journal-title":"Proc. of the IEEE"},{"issue":"6","key":"239762_CR47","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/2.386982","volume":"28","author":"J. A. Stankovic","year":"1995","unstructured":"J. A. Stankovic, M. Spuri, M. Di Natale, and G. C. Buttazzo. Implications of classical scheduling results for real-time systems. IEEE Computer 28(6): 16-25, June 1995.","journal-title":"IEEE Computer"},{"issue":"1","key":"239762_CR48","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/93.368605","volume":"2","author":"R. Steinmetz","year":"1995","unstructured":"R. Steinmetz. Analyzing the multimedia operating systems. IEEE Multimedia 2(1): 68-84, 1995.","journal-title":"IEEE Multimedia"},{"key":"239762_CR49","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3968-1","volume-title":"A Survey of High-level Synthesis Systems","author":"R. A. Walker","year":"1991","unstructured":"R. A. Walker and R. Camposano. A Survey of High-level Synthesis Systems. Kluwer Academic, Norwell, MA, 1991."},{"issue":"7","key":"239762_CR50","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/5.293155","volume":"82","author":"W. H. Wolf","year":"1994","unstructured":"W. H. Wolf. Hardware-software co-design of embedded systems. Proc. of the IEEE 82(7): 967-989, 1994.","journal-title":"Proc. of the IEEE"},{"key":"239762_CR51","doi-asserted-by":"crossref","unstructured":"H. Yasuda. Multimedia impact on devices in the 21st century. In 1997 IEEE International Solid-State Circuits Conference, pp. 28-31, 1997.","DOI":"10.1109\/ISSCC.1997.585249"},{"key":"239762_CR52","unstructured":"T.-Y. Yen and W. H. Wolf. Communication synthesis for distributed embedded systems. In ICCAD95, pp. 288-294, International Conference on Computer-Aided Design, 1995."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008965304567.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008965304567\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008965304567.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:09:01Z","timestamp":1752458941000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008965304567"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["239762"],"URL":"https:\/\/doi.org\/10.1023\/a:1008965304567","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}