{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:36:35Z","timestamp":1694630195835},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2007,4,15]],"date-time":"2007-04-15T00:00:00Z","timestamp":1176595200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,4,15]],"date-time":"2007-04-15T00:00:00Z","timestamp":1176595200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1007\/s11241-006-9011-0","type":"journal-article","created":{"date-parts":[[2007,4,18]],"date-time":"2007-04-18T14:54:03Z","timestamp":1176908043000},"page":"23-46","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On scheduling garbage collector in dynamic real-time systems with statistical timing assurances"],"prefix":"10.1007","volume":"36","author":[{"given":"Hyeonjoong","family":"Cho","sequence":"first","affiliation":[]},{"given":"Chewoo","family":"Na","sequence":"additional","affiliation":[]},{"given":"Binoy","family":"Ravindran","sequence":"additional","affiliation":[]},{"given":"E. Douglas","family":"Jensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,4,15]]},"reference":[{"key":"9011_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/53990.53992","volume-title":"PLDI \u201988: proceedings of the ACM SIGPLAN 1988 conference on programming language design and implementation","author":"AW Appel","year":"1988","unstructured":"Appel AW, Ellis JR, Li K (1988) Real-time concurrent collection on stock multiprocessors. In: PLDI \u201988: proceedings of the ACM SIGPLAN 1988 conference on programming language design and implementation. ACM, New York, pp\u00a011\u201320"},{"key":"9011_CR2","doi-asserted-by":"crossref","unstructured":"Aydin H, Melhem R, Mosse D, Mejia-Alvarez P (2001) Dynamic and aggressive scheduling techniques for power-aware real-time systems. In: IEEE RTSS, December 2001, pp\u00a095\u2013105","DOI":"10.1109\/REAL.2001.990600"},{"key":"9011_CR3","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/604131.604155","volume-title":"POPL \u201903: proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages","author":"DF Bacon","year":"2003","unstructured":"Bacon DF, Cheng P, Rajan VT (2003) A real-time garbage collector with low overhead and consistent utilization. In: POPL \u201903: proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages. ACM, New York, pp 285\u2013298"},{"issue":"3","key":"9011_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/130854.130862","volume":"27","author":"HG Baker","year":"1992","unstructured":"Baker HG (1992) The treadmill: real-time garbage collection without motion sickness. SIGPLAN Not 27(3):66\u201370","journal-title":"SIGPLAN Not"},{"key":"9011_CR5","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/800055.802042","volume-title":"LFP \u201984: proceedings of the 1984 ACM symposium on LISP and functional programming","author":"RA Brooks","year":"1984","unstructured":"Brooks RA (1984) Trading data space for reduced time and code space in real-time garbage collection on stock hardware. In: LFP \u201984: proceedings of the 1984 ACM symposium on LISP and functional programming. ACM, New York, pp 256\u2013262"},{"key":"9011_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/378795.378823","volume-title":"PLDI \u201901: proceedings of the ACM SIGPLAN 2001 conference on programming language design and implementation","author":"P Cheng","year":"2001","unstructured":"Cheng P, Blelloch GE (2001) A parallel, real-time garbage collector. In: PLDI \u201901: proceedings of the ACM SIGPLAN 2001 conference on programming language design and implementation. ACM, New York, pp 125\u2013136"},{"key":"9011_CR7","unstructured":"Clark RK (1990) Scheduling dependent real-time activities. PhD thesis, Carnegie Mellon University"},{"key":"9011_CR8","doi-asserted-by":"crossref","unstructured":"Clark RK, Jensen ED, et\u00a0al. (1999) An adaptive, distributed airborne tracking system. In: IEEE WPDRTS, April 1999","DOI":"10.1007\/BFb0097917"},{"key":"9011_CR9","doi-asserted-by":"crossref","unstructured":"Clark RK, Jensen ED, Rouquette NF (2004) Software organization to facilitate dynamic processor scheduling. In: IEEE WPDRTS, April 2004","DOI":"10.1109\/IPDPS.2004.1303083"},{"key":"9011_CR10","doi-asserted-by":"crossref","unstructured":"Detlefs D (2004) A hard look at hard real-time garbage collection. In: IEEE international symposium on object-oriented real-time distributed computing, May 2004, pp\u00a023\u201332","DOI":"10.1109\/ISORC.2004.1300325"},{"key":"9011_CR11","unstructured":"Feizabadi S, Back G (2005) Java garbage collection scheduling in utility accrual scheduling environments. In: Workshop on Java technologies for real-time and embedded systems, October 2005"},{"issue":"11","key":"9011_CR12","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1145\/363269.363280","volume":"12","author":"RR Fenichel","year":"1969","unstructured":"Fenichel RR, Yochelson JC (1969) A lisp garbage-collector for virtual-memory computer systems. Commun ACM 12(11):611\u2013612","journal-title":"Commun ACM"},{"key":"9011_CR13","unstructured":"Henriksson R (1998) Scheduling garbage collection in embedded systems. PhD thesis, Lund Institute of Technology"},{"issue":"4","key":"9011_CR14","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/359460.359470","volume":"21","author":"J Henry","year":"1978","unstructured":"Henry J, Baker G (1978) List processing in real time on a serial computer. Commun ACM 21(4):280\u2013294","journal-title":"Commun ACM"},{"key":"9011_CR15","unstructured":"Hermant J-F, Lann GL (1998) A\u00a0protocol and correctness proofs for real-time high-performance broadcast networks. In: IEEE ICDCS, pp\u00a0360\u2013369"},{"key":"9011_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1002\/nav.3800210113","volume":"21","author":"W Horn","year":"1974","unstructured":"Horn W (1974) Some simple scheduling algorithms. Nav Res Logist Q 21:177\u2013185","journal-title":"Nav Res Logist Q"},{"key":"9011_CR17","unstructured":"Jensen ED, Locke CD, Tokuda H (1985) A\u00a0time-driven scheduling model for real-time systems. In: IEEE RTSS, December 1985, pp\u00a0112\u2013122"},{"key":"9011_CR18","unstructured":"Johnstone MS (1997) Non-compacting memory allocation and real-time garbage collection. PhD thesis, University of Texas at Austin (supervisor Paul R. Wilson)"},{"issue":"7","key":"9011_CR19","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/315253.314444","volume":"34","author":"T Kim","year":"1999","unstructured":"Kim T, Chang N, Kim N, Shin H (1999) Scheduling garbage collector for embedded real-time systems. SIGPLAN Not 34(7):55\u201364","journal-title":"SIGPLAN Not"},{"issue":"9","key":"9011_CR20","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1109\/TC.2004.61","volume":"53","author":"P Li","year":"2004","unstructured":"Li P, Ravindran B (2004) Fast, best effort real-time scheduling algorithms. IEEE Trans Comput 53(9):1159\u20131175","journal-title":"IEEE Trans Comput"},{"issue":"9","key":"9011_CR21","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1109\/TSE.2004.45","volume":"30","author":"P Li","year":"2004","unstructured":"Li P, Ravindran B, et al. (2004) A\u00a0formally verified application-level framework for real-time scheduling on posix real-time operating systems. IEEE Trans Softw Eng 30(9):613\u2013629","journal-title":"IEEE Trans Softw Eng"},{"key":"9011_CR22","unstructured":"Locke CD (1986) Best-effort decision making for real-time scheduling. PhD thesis, Carnegie Mellon University"},{"key":"9011_CR23","unstructured":"Maynard DP, Shipman SE, et\u00a0al. (1988) An example real-time command, control, and battle management application for alpha. Technical report, CMU CS Dept. Archons Project TR 88121"},{"key":"9011_CR24","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/155090.155111","volume-title":"PLDI \u201993: proceedings of the ACM SIGPLAN 1993 conference on programming language design and implementation","author":"S Nettles","year":"1993","unstructured":"Nettles S, O\u2019Toole J (1993) Real-time replication garbage collection. In: PLDI \u201993: proceedings of the ACM SIGPLAN 1993 conference on programming language design and implementation. ACM, New York, pp 217\u2013226"},{"key":"9011_CR25","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-18317-5_8","volume-title":"Proceedings of the conference on functional programming languages and computer architecture","author":"SC North","year":"1987","unstructured":"North SC, Reppy JH (1987) Concurrent garbage collection on stock hardware. In: Proceedings of the conference on functional programming languages and computer architecture. London, UK, 1987. Springer, Berlin, pp 113\u2013133"},{"key":"9011_CR26","volume-title":"Mechanisms for reliable distributed real-time operating systems\u2014the alpha kernel","author":"JD Northcutt","year":"1987","unstructured":"Northcutt JD (1987) Mechanisms for reliable distributed real-time operating systems\u2014the alpha kernel. Academic, New York"},{"key":"9011_CR27","doi-asserted-by":"crossref","unstructured":"Ravindran B, Jensen ED, Li P (2005) On recent advances in time\/utility function real-time scheduling and resource management. In: IEEE ISORC, May 2005, pp\u00a055\u201360","DOI":"10.1109\/ISORC.2005.39"},{"key":"9011_CR28","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/780732.780745","volume-title":"LCTES \u201903: proceedings of the 2003 ACM SIGPLAN conference on language, compiler, and tool for embedded systems","author":"SG Robertz","year":"2003","unstructured":"Robertz SG, Henriksson R (2003) Time-triggered garbage collection: robust and adaptive real-time gc scheduling for embedded systems. In: LCTES \u201903: proceedings of the 2003 ACM SIGPLAN conference on language, compiler, and tool for embedded systems. ACM, New York, pp 93\u2013102"},{"key":"9011_CR29","unstructured":"Sha L, Rajkumar R, Lehoczky JP (1994) Generalized rate-monotonic scheduling theory. Proc IEEE 82(1)"},{"issue":"3","key":"9011_CR30","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0164-1212(90)90084-Y","volume":"11","author":"T Yuasa","year":"1990","unstructured":"Yuasa T (1990) Real-time garbage collection on general-purpose machines. J\u00a0Syst Softw 11(3):181\u2013198","journal-title":"J\u00a0Syst Softw"},{"key":"9011_CR31","doi-asserted-by":"crossref","unstructured":"Zhang X, Wang Z, et\u00a0al. (1997) System support for automated profiling and optimization. In: ACM SOSP, October 1997, pp\u00a015\u201326","DOI":"10.1145\/269005.266640"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-9011-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11241-006-9011-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-9011-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-9011-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T08:14:49Z","timestamp":1652861689000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11241-006-9011-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4,15]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["9011"],"URL":"https:\/\/doi.org\/10.1007\/s11241-006-9011-0","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4,15]]},"assertion":[{"value":"22 September 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 December 2006","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 April 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}