{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:44Z","timestamp":1749725024898},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001454"},{"type":"electronic","value":"9783540361374"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36137-5_14","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:39:54Z","timestamp":1180665594000},"page":"195-207","source":"Crossref","is-referenced-by-count":12,"title":["A Specification Framework for Real-Time Scheduling"],"prefix":"10.1007","author":[{"given":"K.","family":"Subramani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,27]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0024-3795(80)90162-7","volume":"34","author":"B. Aspvall","year":"1980","unstructured":"Bengt Aspvall and Yossi Shiloach. A fast algorithm for solving systems of linear equations with two variables per equation. Linear Algebra and its Applications, 34:117\u2013124, 1980. 200","journal-title":"Linear Algebra and its Applications"},{"key":"14_CR2","unstructured":"M. Berkelaar. Linear programming solver. Software Library for Operations Research, University of Karlsruhe, 1995. 203, 204"},{"key":"14_CR3","unstructured":"P. Brucker. Scheduling. Akademische Verlagsgesellschaft, Wiesbaden, 1981. 195, 197, 205"},{"key":"14_CR4","volume-title":"Nonlinear Programming: Theory and Algorithms","author":"M. S. Bazaraa","year":"1993","unstructured":"M. S. Bazaraa, H. D. Sherali, and C. M. Shetty. Nonlinear Programming: Theory and Algorithms. John Wiley, New York, second edition, 1993. 199","edition":"second edition"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/32.585499","volume":"23","author":"W. Feng chun","year":"1997","unstructured":"Wu chun Feng and Jane W.-S. Liu. Algorithms for scheduling real-time tasks with input error and end-to-end deadlines. IEEE Transactions on Software Engineering, 23(2):93\u2013105, February 1997. 197","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR6","unstructured":"Seonho Choi. Dynamic time-based scheduling for hard real-time systems. Journal of Real-Time Systems, 2000. 201, 203"},{"key":"14_CR7","unstructured":"T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill Book Company, 6th edition, 1992. 199"},{"key":"14_CR8","volume-title":"Linear Programming and Extensions","author":"G. B. Dantzig","year":"1963","unstructured":"G. B. Dantzig. Linear Programming and Extensions. Princeton University Press, Princeton, NJ, 1963. 199"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"R. Gerber, W. Pugh, and M. Saksena. Parametric Dispatching of Hard Real-Time Tasks. IEEE Transactions on Computers, 1995. 201, 203","DOI":"10.1109\/12.372041"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00365440","volume":"1","author":"K. S. Hong","year":"1989","unstructured":"K. S. Hong and J. Y-T. Leung. Preemptive Scheduling with Release Times and Deadlines. Journal of Real-Time Systems, 1:265\u2013281, 1989. 197","journal-title":"Journal of Real-Time Systems"},{"issue":"6","key":"14_CR11","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. 199, 200","journal-title":"SIAM Journal on Computing"},{"key":"14_CR12","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. 199"},{"key":"14_CR13","unstructured":"C. M. Krishna and K. G. Shin. Real-Time Systems. McGraw Hill, 1997. 196"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and James W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46\u201361, January 1973. 197","journal-title":"Journal of the ACM"},{"issue":"3","key":"14_CR15","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. 198","journal-title":"ACM Special Interest Group on Operating Systems"},{"key":"14_CR16","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. 198"},{"key":"14_CR17","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. 196, 198"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Nicola Muscettola, Paul Morris, Barney Pell, and Ben Smith. Issues in temporal reasoning for autonomous control systems. In The Second International Conference on Autonomous Agents, Minneapolis, MI, 1998. 199","DOI":"10.1145\/280765.280862"},{"key":"14_CR19","volume-title":"Integer and Combinatorial Optimization","author":"G. L. Nemhauser","year":"1999","unstructured":"G. L. Nemhauser and L. A. Wolsey. Integer and Combinatorial Optimization. John Wiley&Sons, New York, 1999. 199"},{"key":"14_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. 195, 196, 205"},{"issue":"6","key":"14_CR21","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1109\/32.601081","volume":"23","author":"I. Ripoll","year":"1997","unstructured":"Ismael Ripoll, Alfons Crespo, and Ana Garcia-Fornes. An optimal algorithm for scheduling soft aperiodic tasks in dynamic-priority preemptive systems. IEEE Transactions on Software Engineering, 23(6):388\u2013399, June 1997. 197","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR22","series-title":"Lect Notes Comput Sci","volume-title":"A dual interpretation of \u201cstandard constraints\u201d in parametric scheduling","author":"K. Subramani","year":"2000","unstructured":"K. Subramani and A. Agrawala. A dual interpretation of \u201cstandard constraints\u201d in parametric scheduling. In Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science. Springer-Verlag, September 2000. 199"},{"key":"14_CR23","unstructured":"Manas Saksena. Parametric Scheduling in Hard Real-Time Systems. PhD thesis, University of Maryland, College Park, June 1994. 199"},{"key":"14_CR24","unstructured":"K. Subramani and A. Schulz. Totally clairvoyant scheduling with relative timing constraints. In preparation. 202"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"John A. Stankovic, Marco Spuri, Krithi Ramamritham, and Giorgio C. Buttazzo, editors. Deadline Scheduling for Real-Time Systems. Kluwer Academic Publishers, 1998. 197","DOI":"10.1007\/978-1-4615-5535-3_9"},{"key":"14_CR26","series-title":"Lect Notes Comput Sci","volume-title":"Parametric scheduling-algorithms & complexity","author":"K. Subramani","year":"2001","unstructured":"K. Subramani. Parametric scheduling-algorithms & complexity. In Proceedings of the 8th International Conference on High-Performance Computing, Lecture Notes in Computer Science. Springer-Verlag, December 2001. 201, 203"},{"key":"14_CR27","series-title":"Lect Notes Comput Sci","volume-title":"Parametric scheduling for network constraints","author":"K. Subramani","year":"2001","unstructured":"K. Subramani. Parametric scheduling for network constraints. In Proceedings of the 8 th Annual International Computing and Combinatorics Conference, Lecture Notes in Computer Science. Springer-Verlag, August 2001. 200"},{"key":"14_CR28","series-title":"Lect Notes Comput Sci","volume-title":"An analysis of zero-clairvoyant scheduling","author":"K. Subramani","year":"2002","unstructured":"K. Subramani. An analysis of zero-clairvoyant scheduling. In Proceedings of the 8 th International Conference on Tools and Algorithms for the construction of Systems, Lecture Notes in Computer Science. Springer-Verlag, April 2002. 201"},{"key":"14_CR29","unstructured":"I. Tsamardinos, N. Muscettola, and P. Morris. Fast transformation of temporal plans for efficient execution. In The Fifteenth National Conference on Artificial Intelligence (AAAI-98). 201"},{"key":"14_CR30","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. 199, 200","journal-title":"ASME Journal of Dynamic Systems, Measurement and Control"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2002: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36137-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:17:32Z","timestamp":1556464652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36137-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001454","9783540361374"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-36137-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}