{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:47Z","timestamp":1749725027073},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434191"},{"type":"electronic","value":"9783540460022"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46002-0_8","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:29:59Z","timestamp":1193552999000},"page":"98-112","source":"Crossref","is-referenced-by-count":7,"title":["An Analysis of Zero-Clairvoyant Scheduling"],"prefix":"10.1007","author":[{"given":"K.","family":"Subramani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"8_CR1","unstructured":"M. Berkelaar. Linear programming solver. Software Library for Operations Research, University of Karlsruhe, 1995."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Azer Bestavros and Victor Fay-Wolfe, editors. Real-Time Database and Information Systems, Research Advances. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4615-6069-2"},{"key":"8_CR3","unstructured":"Seonho Choi. Dynamic time-based scheduling for hard real-time systems. Journal of Real-Time Systems, 2000."},{"key":"8_CR4","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill Book Company, 6th edition, 1992."},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"SE-11","author":"B. Dasarathy","year":"1985","unstructured":"B. Dasarathy. Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them. IEEE Transactions on Software Engineering, SE-11(1):80\u201386, January 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49:61\u201395, 1991.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/71021.71029","volume":"23","author":"A. Damm","year":"1989","unstructured":"A. Damm, J. Reisinger, W. Schwabl, and H. Kopetz. The Real-Time Operating System of MARS. ACM Special Interest Group on Operating Systems, 23(3):141\u2013157, July 1989.","journal-title":"ACM Special Interest Group on Operating Systems"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"R. Gerber, W. Pugh, and M. Saksena. Parametric Dispatching of Hard Real-Time Tasks. IEEE Transactions on Computers, 1995.","DOI":"10.1109\/12.372041"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"S. Hong and R. Gerber. Compiling real-time programs into schedulable code. In Proceedings of the ACM SIGPLAN\u2019 93 Conference on Programming Language Design and Implementation. ACM Press, June 1993. SIGPLAN Notices, 28(6):166\u2013176.","DOI":"10.1145\/155090.155106"},{"key":"8_CR10","unstructured":"C. C. Han and K. J. Lin. Job scheduling with temporal distance constraints. Technical Report UIUCDCS-R-89-1560, University of Illinois at Urbana-Champaign, Department of Computer Science, 1989."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"C. C. Han and K. J. Lin. Scheduling Distance-Constrained Real-Time Tasks. In Proceedings, IEEE Real-time Systems Symposium, pages 300\u2013308, Phoenix, Arizona, December 1992.","DOI":"10.1109\/REAL.1992.242649"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0020-0190(92)90091-9","volume":"12","author":"C. C. Han","year":"1992","unstructured":"C. C. Han and K. J. Lin. Scheduling real-time computations with separation constraints. Information Processing Letters, 12:61\u201366, May 1992.","journal-title":"Information Processing Letters"},{"issue":"6","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1137\/S0097539793251876","volume":"23","author":"D. S. Hochbaum","year":"1994","unstructured":"Dorit S. Hochbaum and Joseph (Seffi) Naor. Simple and fast algorithms for linear and integer programs with two variables per inequality. SIAM Journal on Computing, 23(6):1179\u20131192, December 1994.","journal-title":"SIAM Journal on Computing"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"J. B. Hiriart-urruty and C. Lemarechal. Convex Analysis and Minimization Algorithms. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02796-7"},{"key":"8_CR15","unstructured":"Joseph Ja'Ja'. An introduction to parallel algorithms (contents). SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory), 23, 1992."},{"issue":"9","key":"8_CR16","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A.K. Mok. Safety analysis of timing properties in realtime systems. IEEE Transactions on Software Engineering, SE-12(9):890\u2013904, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/71021.71026","volume":"23","author":"S. T. Levi","year":"1989","unstructured":"S. T. Levi, S. K. Tripathi, S. D. Carson, and A. K. Agrawala. The Maruti Hard Real-Time Operating System. ACM Special Interest Group on Operating Systems, 23(3):90\u2013106, July 1989.","journal-title":"ACM Special Interest Group on Operating Systems"},{"key":"8_CR18","unstructured":"D. Mosse, Ashok K. Agrawala, and Satish K. Tripathi. Maruti a hard real-time operating system. In Second IEEE Workshop on Experimental Distributed Systems, pages 29\u201334. IEEE, 1990."},{"key":"8_CR19","unstructured":"D. Mosse, Keng-Tai Ko, Ashok K. Agrawala, and Satish K. Tripathi. Maruti: An Environment for Hard Real-Time Applications. In Ashok K. Agrawala, Karen D. Gordon, and Phillip Hwang, editors, Maruti OS, pages 75\u201385. IOS Press, 1992."},{"key":"8_CR20","volume-title":"Scheduling: theory, algorithms, and systems","author":"M. Pinedo","year":"1995","unstructured":"M. Pinedo. Scheduling: theory, algorithms, and systems. Prentice-Hall, Englewood Cliffs, 1995."},{"key":"8_CR21","volume-title":"Parametric Scheduling in Hard Real-Time Systems","author":"M. Saksena","year":"1994","unstructured":"Manas Saksena. Parametric Scheduling in Hard Real-Time Systems. PhD thesis, University of Maryland, College Park, June 1994."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"A. Stoyenko and T. P. Baker. Real-Time Schedulability Analyzable Mechanisms in Ada9X. Proceeding of the IEEE, 82(1):95\u2013106, January 1994.","DOI":"10.1109\/5.259429"},{"key":"8_CR23","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1987","unstructured":"Alexander Schrijver. Theory of Linear and Integer Programming. John Wiley and Sons, New York, 1987."},{"key":"8_CR24","unstructured":"M. Saksena, J. da Silva, and A. Agrawala. Design and Implementation of Maruti-II. In Sang Son, editor, Principles of Real-Time Systems. Prentice Hall, 1994. Also available as CS-TR-2845, University of Maryland."},{"key":"8_CR25","volume-title":"Duality in the Parametric Polytope and its Applications to a Scheduling Problem","author":"K. Subramani","year":"2000","unstructured":"K. Subramani. Duality in the Parametric Polytope and its Applications to a Scheduling Problem. PhD thesis, University of Maryland, College Park, July 2000."},{"key":"8_CR26","unstructured":"K. Subramani. Modeling clairvoyance and constraints in real-time scheduling. In Proceedings of the 6th European Conference on Planning, September 2001."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"P. M. Vaidya. An algorithm for linear programming which requires O(((m + n)n2 + (m + n)1.5n)L) arithmetic operations. In Alfred Aho, editor, Proceedings of the 19th Annual ACM Symposium on Theory of Computing, pages 29\u201338, New York City, NY, May 1987. ACM Press.","DOI":"10.1145\/28395.28399"}],"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-46002-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:29:08Z","timestamp":1556936948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46002-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434191","9783540460022"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-46002-0_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}