{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:47Z","timestamp":1725488567029},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421238"},{"type":"electronic","value":"9783540451365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45136-6_14","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T15:53:02Z","timestamp":1186156382000},"page":"179-190","source":"Crossref","is-referenced-by-count":2,"title":["Implementing a Flexible Scheduler in Ada"],"prefix":"10.1007","author":[{"given":"Guillem","family":"Bernat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Burns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/BF00365406","volume":"4","author":"S. Baruah","year":"1992","unstructured":"S. Baruah, G. Koren, D. Mao, B. Mishra, A. Raghunathan, L. Rosier, D. Shasha, and F. Wang. On the competitiveness of online real-time task scheduling. Real-Time Systems, 4(2):124\u2013144, 1992.","journal-title":"Real-Time Systems"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"G. Bernat and A. Burns. Combining (n m)-hard deadlines with dual priority scheduling. In Proceedings of 18th IEEE Real-Time systems symposium. San Francisco, CA, December 1997.","DOI":"10.1109\/REAL.1997.641268"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"S. Biyabani, J.A. Stankovic, and K. Ramamritham. The integration of criticalness and deadlines in scheduling real-time tasks. In Proceedings of the 9th IEEE Real-Time Systems Symposium, pages 152\u2013169, 1988.","DOI":"10.1109\/REAL.1988.51111"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"G. Buttazzo, M. Spuri, and F. Sensini. Value vs. deadline scheduling in overload conditions. In Proceedings of the IEEE Real-Time Systems Symposium, 1995.","DOI":"10.1109\/REAL.1995.495199"},{"key":"14_CR5","unstructured":"G. Buttazzo and J. Stankovic. RED: A robust earliest deadline scheduling algorithm. In Proceedings of the 3rd International Workshop on Responsive Computer Systems, Austin, 1993."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"R.I. Davis and A. J. Wellings. Dual priority scheduling. In Proceedings Real-Time Systems Symposium, pages 100\u2013109, 1995.","DOI":"10.1109\/REAL.1995.495200"},{"key":"14_CR7","unstructured":"T.L. Dean and M. Boddy. An analysis of time-dependent planning. In Proceedings of the Seventh National Conference on Artificial Intelligence, pages 49\u201354, 1988."},{"key":"14_CR8","unstructured":"E.D. Jensen, C.D. Locke, and H. Tokuda. A time driven scheduling model for real-time operating systems. In Proceedings IEEE Real-Time Sytems Symposium, pages 112\u2013122, 1985."},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0020-0190(94)90043-4","volume":"50","author":"Y.S. Kim","year":"1994","unstructured":"Y.S. Kim. An optimal scheduling algorithm for preemptive real-time tasks. Information Processing Letters, 50(1):43\u201348, 1994.","journal-title":"Information Processing Letters"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J.W.S. Liu, K.J. Lin, W.K. Shih, A.C.S. Yu, J.Y. Chung, and W. Zhao. Algorithms for scheduling imprecise computations. IEEE Computer, pages 58\u201368, 1991.","DOI":"10.1007\/978-1-4615-3956-8_8"},{"key":"14_CR11","unstructured":"C.D. Locke. Best-effort decision making for real-time scheduling. CMU-CS-86-134 (PhD Thesis), Computer Science Department, CMU, 1986."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"R. Oliveira and J. Fraga. Scheduling imprecise computation tasks with intra-task\/inter-task dependence. In Proceedings of the 21st IFAC\/IFIP Workshop on Real-Time Programming, WRTP\u201996, pages 51\u201356, 1996.","DOI":"10.1016\/S1474-6670(17)46356-7"},{"key":"14_CR13","unstructured":"S.J. Russell and S. Zilberstein. Composinng real-time systems. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pages 212\u2013217, 1991."},{"issue":"8","key":"14_CR14","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1109\/32.153383","volume":"18","author":"K. Schwan","year":"1992","unstructured":"K. Schwan and H. Zhou. Dynamic scheduling of hard real-time tasks and real-time threads. IEEE Transactions on Software Engineering, 18(8):736\u2013748, 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"W. K. Shih, J. W. S. Liu, and J. Y. Chung. Algorithms for scheduling imprecise computations with timing constraints. In Proc. IEEE Real-Time Systems Symposium, 1989.","DOI":"10.1109\/REAL.1989.63552"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"M. Silly, H. Chetto, and N. Elyounsi. An optimal algorithm for guaranteeing sporadic tasks in hard real-time systems. In Proceedings 2nd IEEE Symposium on Parallel and Distributed Systems, pages 578\u2013585, 1990.","DOI":"10.1109\/SPDP.1990.143607"},{"key":"14_CR17","unstructured":"H. Tokuda, J.W. Wendorf, and H.Y. Wang. Implementation of a time-driven scheduler for real-time operating systems. In Proceedings of IEEE Real-Time Systems Symposium, pages 271\u2013280, 1987."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"J.W. Wendorf. Implementation and evaluation of a time-driven scheduling processor. In Proceedings of IEEE Real-Time Systems Symposium, pages 172\u2013180, 1988.","DOI":"10.1109\/REAL.1988.51113"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00162466","volume":"3","author":"S. Zilberstein","year":"1996","unstructured":"S. Zilberstein. Resource-bounded sensing and planning in autonomous systems. Autonomous Robots, 3:31\u201348, 1996.","journal-title":"Autonomous Robots"},{"issue":"3","key":"14_CR20","first-page":"73","volume":"17","author":"S. Zilberstein","year":"1996","unstructured":"S. Zilberstein. Using anytime algorithms in intelligent systems. AI Magazine, 17(3):73\u201383, 1996.","journal-title":"AI Magazine"}],"container-title":["Lecture Notes in Computer Science","Reliable SoftwareTechnologies \u2014 Ada-Europe 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45136-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T14:19:00Z","timestamp":1550672340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45136-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421238","9783540451365"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45136-6_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}