{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T15:22:05Z","timestamp":1767972125190,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540657033","type":"print"},{"value":"9783540490593","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_4","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:56:57Z","timestamp":1194973017000},"page":"44-58","source":"Crossref","is-referenced-by-count":21,"title":["Analyzing Stochastic Fixed-Priority Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Mark K.","family":"Gardner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane W. S.","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"4_CR1","unstructured":"A. K. Atlas and A. Bestavros. Statistical rate monotonic scheduling. Technical Report BUCS-TR-98-010, Boston University, 1998."},{"key":"4_CR2","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT Press, 1990."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"J. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proceedings of the 11th Real-Time System Symposium, December 1990.","DOI":"10.1109\/REAL.1990.128748"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"J. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings of the 10th Real-Time System Symposium, pages 166\u2013171, December 1989.","DOI":"10.1109\/REAL.1989.63567"},{"issue":"1","key":"4_CR5","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 the Association for Computing Machinery, 20(1):46\u201361, January 1973.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1142\/S0218194096000089","volume":"6","author":"J. W. S. Liu","year":"1996","unstructured":"J. W. S. Liu, C. L. Liu, Z. Deng, T. S. Tia, J. Sun, M. Storch, D. Hull, J. L. Redondo, R. Bettati, and A. Silberman. PERTS: A prototyping environment for real-time systems. International Journal of Software Engineering and Knowledge Engineering, 6(2):161\u2013177, 1996.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"J. W. S. Liu, J. L. Redondo, Z. Deng, T. S. Tia, R. Bettati, A. Silberman, M. Storch, R. Ha, and W. K. Shih. PERTS: A prototyping environment for real-time systems. In Proceedings of the 14th IEEE Real-Time Systems Symposium, pages 184\u2013188, Raleigh-Durham, North Carolina, December 1993.","DOI":"10.1109\/REAL.1993.393502"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"H. J. Nussbaumer. Fast Fourier Transform and Convolution Algorithms. Springer-Verlag, second edition, 1982.","DOI":"10.1007\/978-3-642-81897-4"},{"key":"4_CR9","unstructured":"W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C. Cambridge University Press, second edition, 1992."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"T.-S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.-C. Wu, and J. W.-S. Liu. Probabilistic performance guarantee for real-time tasks with varying computation times. In Proceedings of the Real-Time Technology and Applications Symposium, pages 164\u2013173, Chicago, Illinois, May 1995. IEEE.","DOI":"10.1109\/RTTAS.1995.516213"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T02:23:43Z","timestamp":1551061423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}