{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:58Z","timestamp":1725494698912},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_12","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"121-133","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Dual Interpretation of \u201cStandard Constraints\u201d in Parametric Scheduling"],"prefix":"10.1007","author":[{"given":"K.","family":"Subramani","sequence":"first","affiliation":[]},{"given":"Ashok","family":"Agrawala","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"12_CR1","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":"12_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1002\/nav.3800210112","volume":"21","author":"K. R. Baker","year":"1974","unstructured":"K. R. Baker and Z. Su. Sequencing with Due-Date and Early Start Times to Minimize Maximum Tardiness. Naval Res. Log. Quart., 21:171\u2013176, 1974.","journal-title":"Naval Res. Log. Quart."},{"key":"12_CR3","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to algorithms. MIT Press and McGraw-Hill Book Company, 6th edition, 1992."},{"key":"12_CR4","volume-title":"Computer and Job-Shop Scheduling Theory","author":"E. G. Coffman","year":"1976","unstructured":"E. G. Coffman. Computer and Job-Shop Scheduling Theory, Ed. Wiley, New York, 1976."},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1287\/opre.26.1.127","volume":"26","author":"S. K. Dhall","year":"1978","unstructured":"S. K. Dhall and C. L. Liu. On a real-time scheduling problem. Operations Research, 26(1):127\u2013140, Jan. 1978.","journal-title":"Operations Research"},{"issue":"3","key":"12_CR6","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":"12_CR7","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"},{"issue":"6","key":"12_CR8","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":"12_CR9","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":"12_CR10","volume-title":"Computer Control of Manufacturing Systems","author":"Y. Koren","year":"1983","unstructured":"Y. Koren. Computer Control of Manufacturing Systems. McGraw-Hill, New York, 1983."},{"issue":"3","key":"12_CR11","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":"12_CR12","unstructured":"D. Mosse, Ashok K. Agrawala, and Satish K. Tripathi. Maruti a hard real-time operating system. In Second IEEEWorkshop on Experimental Distributed Systems, pages 29\u201334. IEEE, 1990."},{"key":"12_CR13","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":"12_CR14","doi-asserted-by":"crossref","DOI":"10.1002\/9781118627372","volume-title":"Integer and Combinatorial Optimization","author":"G. L. Nemhauser","year":"1988","unstructured":"G. L. Nemhauser and L. A. Wolsey. Integer and Combinatorial Optimization. John Wiley&Sons, NewYork, 1988."},{"key":"12_CR15","unstructured":"C. H. Papadimitriou and K. Steiglitz. Combinatorial Optimization. Prentice Hall, 1982."},{"key":"12_CR16","series-title":"Technical Report","volume-title":"The parametric polytope and its applications to a scheduling problem","author":"K. Subramani","year":"2000","unstructured":"K. Subramani and A. K. Agrawala. The parametric polytope and its applications to a scheduling problem. Technical Report CS-TR-4116, University of Maryland, College Park, Department of Computer Science, March 2000. Submitted to the 7th International Conference on High Performance Computing ( HIPC ) 2000."},{"key":"12_CR17","unstructured":"K. Subramani and A. K. Agrawala. The static polytope and its applications to a scheduling problem. 3rd IEEE Workshop on Factory Communications, September 2000."},{"key":"12_CR18","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":"12_CR19","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, NewYork, 1987."},{"key":"12_CR20","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":"12_CR21","unstructured":"K. Shin and M. Epstein. Intertask communication in an integrated multi-robot system. IEEE Journal of Robotics and Automation, 1987."},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1115\/1.2896129","volume":"112","author":"K. Srinivasan","year":"1990","unstructured":"K. Srinivasan and P.K. Kulkarni. Cross-coupled control of biaxial feed drive mechanisms. ASME Journal of Dynamic Systems, Measurement and Control, 112:225\u2013232, 1990.","journal-title":"ASME Journal of Dynamic Systems, Measurement and Control"},{"key":"12_CR23","unstructured":"K. Subramani, Bao Trinh, and A. K. Agrawala. Implementation of static and parametric schedulers in maruti. Manuscript in Preparation, March 2000."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"M. Tayara, Nandit Soparkar, John Yook, and Dawn Tilbury. Real-time data and coordination control for reconfigurable manufacturing systems. In Azer Bestavros and Victor Fay-Wolfe, editors, Real-Time Database and Information Systems, Research Advances, pages 23\u201348. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4615-6069-2_2"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1115\/1.3149612","volume":"102","author":"Y. Koren","year":"1980","unstructured":"Y. Koren. Cross-coupled biaxial computer control for manufacturing systems. ASME Journal of Dynamic Systems, Measurement and Control, 102:265\u2013272, 1980.","journal-title":"ASME Journal of Dynamic Systems, Measurement and Control"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T00:17:03Z","timestamp":1708301823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}