{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T03:40:20Z","timestamp":1737171620996,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417811"},{"type":"electronic","value":"9783540452454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45245-1_7","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:06:02Z","timestamp":1183399562000},"page":"96-113","source":"Crossref","is-referenced-by-count":0,"title":["A Stochastic Framework for Co-synthesis of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"S.","family":"Chakraverty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. P.","family":"Ravikumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,20]]},"reference":[{"key":"7_CR1","unstructured":"J.K. Antonio and Y.A. Li. Estimating the execution time distribution for a task graph in a heterogeneous computing system. In Proceedings of Heterogeneous Computing Workshop, pages 172\u2013184, April 1997."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"K.R. Baker, A.H.G.R. Kan, E.L. Lawler and J.K. Lenstra. Preemptive scheduling of a single machine to minimize maximum cost subject to release dates. Operations Research, pages 381\u2013386, Mar\u2013Apr 1983.","DOI":"10.1287\/opre.31.2.381"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/54.245964","volume":"10","author":"T. Benner","year":"1993","unstructured":"T. Benner, R. Ernst and J. Henkel. Hardware-software cosynthesis for microcontrollers. IEEE Design and Test of Computers, 10(4):64\u201375, Dec. 1993.","journal-title":"IEEE Design and Test of Computers"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"B.P. Dave and N.K. Jha. Cohra:hardware software co-synthesis of hierarchical distributed embedded system architectures. IEEE Transactions on Computers, pages 347\u2013354, Oct. 1997.","DOI":"10.1109\/ICVD.1998.646631"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/12.762534","volume":"48","author":"B.P. Dave","year":"1999","unstructured":"B.P. Dave and N.K. Jha. Cofta:hardware software co-synthesis of heterogeneous distributed embedded systems for low overhead fault tolerance. IEEE Transactions on Computers, 48(4):417\u2013441, April 1999.","journal-title":"IEEE Transactions on Computers"},{"key":"7_CR6","unstructured":"C. Derman, L.J. Glesser and I. Olkin. Probability Models and Applications. Macmillan, 1994."},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1049\/ip-cdt:19951607","volume":"142","author":"A.K. Gupta","year":"1995","unstructured":"A.K. Gupta and C.P. Ravikumar. Genetic algorithm for mapping tasks onto reconfigurable parallel processors. IEE proceedings of Computer Digital Technology, 142:81\u201386, March 1995.","journal-title":"IEE proceedings of Computer Digital Technology"},{"issue":"12","key":"7_CR8","doi-asserted-by":"publisher","first-page":"1338","DOI":"10.1109\/12.641934","volume":"46","author":"C.J. Hou","year":"1997","unstructured":"C.J. Hou and K.G. Shin. Allocation of periodic task modules with precedence and deadline constraints in distributed real time systems. IEEE transactions on computers, 46(12):1338\u20131355, December 1997.","journal-title":"IEEE transactions on computers"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/54.232469","volume":"10","author":"A. Kalavade","year":"1993","unstructured":"A. Kalavade and E.A. Lee. A hardware-software codesign methodology for dsp applications. IEEE Design and Test of Coputers, 10(3):16\u201328, Sept. 1993.","journal-title":"IEEE Design and Test of Coputers"},{"key":"7_CR10","volume-title":"Communication Nets: Stochastic Message Flow and Delay","author":"L. Kleinrock","year":"1964","unstructured":"L. Kleinrock. Communication Nets: Stochastic Message Flow and Delay. McGrawHill, NY, 1964."},{"key":"7_CR11","unstructured":"C.M. Krishan and K.G. Shin. Real-Time Systems. McGraw-Hill, 1997."},{"key":"7_CR12","volume-title":"Synthesis of fault tolerant heterogeneous multiprocessor systems","author":"V. Nag","year":"1997","unstructured":"V. Nag. Synthesis of fault tolerant heterogeneous multiprocessor systems. Master\u2019s thesis, Dept. of Electrical Engineering,Indian Institute of Technology, New Delhi, April 1997."},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/0743-7315(92)90017-H","volume":"16","author":"A. Parker","year":"1992","unstructured":"A. Parker and S. Prakash. Sos:synthesis of application specific heterogeneous multiprocessor systems. Journal of Parallel and Distributed Comput., 16:338\u2013351, Dec 1992.","journal-title":"Journal of Parallel and Distributed Comput."},{"key":"7_CR14","unstructured":"H.J. Siegel and M. Tan. A stochastic model of a dedicated heterogeneous computing system for establishing a greedy approach to developing data relocation heuristics. In Proceedings of Heterogeneous Computing Workshop, pages 122\u2013133, April 1997."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45245-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T03:01:17Z","timestamp":1737169277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45245-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417811","9783540452454"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45245-1_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}