{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:12Z","timestamp":1725551952792},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311393"},{"type":"electronic","value":"9783540316220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11609773_26","type":"book-chapter","created":{"date-parts":[[2005,12,12]],"date-time":"2005-12-12T07:28:57Z","timestamp":1134372537000},"page":"398-411","source":"Crossref","is-referenced-by-count":2,"title":["Totally Clairvoyant Scheduling with Relative Timing Constraints"],"prefix":"10.1007","author":[{"given":"K.","family":"Subramani","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Atlas, A., Bestavros, A.: Design and implementation of statistical rate monotonic scheduling in kurt linux. In: Proceedings IEEE Real-Time Systems Symposium (December 1998)"},{"issue":"1","key":"26_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008133505376","volume":"19","author":"S. Choi","year":"2000","unstructured":"Choi, S., Agrawala, A.K.: Dynamic dispatching of cyclic real-time tasks with relative timing constraints. Real-Time Systems\u00a019(1), 5\u201340 (2000)","journal-title":"Real-Time Systems"},{"key":"26_CR3","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1992","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms, 2nd edn. MIT Press and McGraw-Hill Book Company, Boston (1992)","edition":"2"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0029561","volume-title":"Online Algorithms","author":"A. Fiat","year":"1998","unstructured":"Fiat, A., Woeginger, G.: Online algorithms: the state of the art. In: Fiat, A. (ed.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01442. Springer, Heidelberg (1998)"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0167-5060(08)70356-X","volume":"5","author":"R.L. Graham","year":"1979","unstructured":"Graham, R.L., Lawler, E.L., Lenstra, J.K., Rinnooy Kan, A.H.G.: Optimization and approximation in deterministic sequencing and scheduling: A survey. Ann. Discrete Mathematics\u00a05, 287\u2013326 (1979)","journal-title":"Ann. Discrete Mathematics"},{"issue":"3","key":"26_CR6","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/12.372041","volume":"44","author":"R. Gerber","year":"1995","unstructured":"Gerber, R., Pugh, W., Saksena, M.: Parametric dispatching of hard real-time tasks. IEEE Trans. Computers\u00a044(3), 471\u2013479 (1995)","journal-title":"IEEE Trans. Computers"},{"volume-title":"Approximation Algorithms for NP-Hard Problems","year":"1996","key":"26_CR7","unstructured":"Hochbaum, D. (ed.): Approximation Algorithms for NP-Hard Problems. PWS Publishing Company, Boston (1996)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Kalyanasundaram, Pruhs: Fault-tolerant real-time scheduling. ALGRTHMICA: Algorithmica\u00a028 (2000)","DOI":"10.1007\/s004530010034"},{"issue":"3","key":"26_CR9","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/71021.71026","volume":"23","author":"S.T. Levi","year":"1989","unstructured":"Levi, S.T., Tripathi, S.K., Carson, S.D., Agrawala, A.K.: The Maruti Hard Real-Time Operating System. ACM Special Interest Group on Operating Systems\u00a023(3), 90\u2013106 (1989)","journal-title":"ACM Special Interest Group on Operating Systems"},{"key":"26_CR10","volume-title":"Scheduling: theory, algorithms, and systems","author":"M. Pinedo","year":"1995","unstructured":"Pinedo, M.: Scheduling: theory, algorithms, and systems. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"26_CR11","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1987","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley and Sons, Chichester (1987)"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/3-540-44679-6_61","volume-title":"Computing and Combinatorics","author":"K. Subramani","year":"2001","unstructured":"Subramani, K.: Parametric scheduling for network constraints. In: Wang, J. (ed.) COCOON 2001. LNCS, vol.\u00a02108, pp. 550\u2013560. Springer, Heidelberg (2001)"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-46002-0_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Subramani","year":"2002","unstructured":"Subramani, K.: An analysis of zero-clairvoyant scheduling. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 98\u2013112. Springer, Heidelberg (2002)"},{"issue":"3","key":"26_CR14","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/comjnl\/bxh082","volume":"48","author":"K. Subramani","year":"2005","unstructured":"Subramani, K.: A comprehensive framework for specifying clairvoyance, constraints and periodicty in real-time scheduling. The Computer Journal\u00a048(3), 259\u2013272 (2005)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11609773_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:07:04Z","timestamp":1619507224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11609773_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540311393","9783540316220"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11609773_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}