{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:29:30Z","timestamp":1737437370017,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540754534"},{"type":"electronic","value":"9783540754541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75454-1_9","type":"book-chapter","created":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T01:47:54Z","timestamp":1190080074000},"page":"98-113","source":"Crossref","is-referenced-by-count":6,"title":["Towards Budgeting in Real-Time Calculus: Deferrable Servers"],"prefix":"10.1007","author":[{"given":"Pieter J. L.","family":"Cuijpers","sequence":"first","affiliation":[]},{"given":"Reinder J.","family":"Bril","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Springer Science+Business Media, Inc. (2005)","DOI":"10.1007\/0-387-27578-9"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Burns, A.: Hierarchical fixed priority pre-emptive scheduling. In: Proc. 26 th IEEE Real-Time Systems Symposium (RTSS), pp. 389\u2013398 (December 2005)","DOI":"10.1109\/RTSS.2005.25"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Deng, Z., Liu, J.W.-S.: Scheduling real-time applications in open environment. In: Proc. 18 th IEEE Real-Time Systems Symposium (RTSS), pp. 308\u2013319 (December 1997)","DOI":"10.1109\/REAL.1997.641292"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Network Calculus: A Theory of Deterministic Queuing Systems for the Internet","year":"2001","unstructured":"Thiran, P., Le Boudec, J.-Y. (eds.): Network Calculus. LNCS, vol.\u00a02050. Springer, Berlin (2001)"},{"volume-title":"Real-Time Systems: Specification, Verification and Analysis","year":"1996","key":"9_CR5","unstructured":"Joseph, M. (ed.): Real-Time Systems: Specification, Verification and Analysis. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"9_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2796-1","volume-title":"A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems","author":"M.H. Klein","year":"1993","unstructured":"Klein, M.H., Ralya, T., Pollak, B., Obenza, R., Gonz\u00e1lez-Harbour, M.: A Practitioner\u2019s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"9_CR7","unstructured":"Kuo, T.-W., Li, C.-H.: A fixed-priority-driven open environment for real-time applications. In: Proc. 20 th IEEE Real-Time Systems Symposium (RTSS), pp. 256\u2013267 (December 1999)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Juvva, K., Molano, A., Oikawa, S.: Resource kernels: A resource-centric approach to real-time and multimedia systems. In: Proc. SPIE, Conference on Multimedia Computing and Networking (CMCN), vol.\u00a03310, pp. 150\u2013164 (January 1998)","DOI":"10.1117\/12.298417"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Saewong, S., Rajkumar, R., Lehocky, J.P., Klein, M.H.: Analysis of hierarchical fixed-priority scheduling. In: Proc. 14 th Euromicro Conference on Real-Time Systems (ECRTS), pp. 152\u2013160 (2002)","DOI":"10.1109\/EMRTS.2002.1019197"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/12.368008","volume":"44","author":"J.K. Strosnider","year":"1995","unstructured":"Strosnider, J.K., Lehoczky, J.P., Sha, L.: The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Transactions on Computers\u00a044(1), 73\u201391 (1995)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proc. IEEE International Symposium on Circuits and Systems (ISCAS), vol.\u00a04, pp. 101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75454-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T01:16:47Z","timestamp":1737422207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75454-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540754534","9783540754541"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75454-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}