{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T05:36:05Z","timestamp":1734672965072,"version":"3.32.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf00365521","type":"journal-article","created":{"date-parts":[[2004,11,11]],"date-time":"2004-11-11T17:53:58Z","timestamp":1100195638000},"page":"71-102","source":"Crossref","is-referenced-by-count":8,"title":["A compact task graph representation for real-time scheduling"],"prefix":"10.1007","volume":"11","author":[{"given":"Rajiv","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Madalene","family":"Spezialetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Audsley, N.C., R.I. Davis, and A. Burns, ?Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems,? Proc. IEEE Real-Time Systems Symposium, 1994, pp. 12?21.","DOI":"10.1109\/REAL.1994.342734"},{"issue":"3","key":"CR2","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/78969.78963","volume":"12","author":"M. Burke","year":"1990","unstructured":"BurkeM., ?An Interval-based Approach to Exhaustive and Incremental and Interprocedural Data-flow Analysis,? ACM Transactions on Programming Languages and Systems, 1990, 12(3):341?395.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR3","unstructured":"Cheng, S., J.A. Stankovic, and K. Ramamritham, ?Dynamic Scheduling of Groups of Tasks with Precedence Constraints in Distributed Hard Real-Time Systems,? Proc 7th IEEE Real-Time Systems Symposium, December, 1986, pp. 166?174."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Gerber, R. and S. Hong, ?Semantics-Based Compiler Transformations for Enhanced Schedulability,? Proc. 14th IEEE Real-Time Systems Symposium, December, 1991, pp. 232?242.","DOI":"10.1109\/REAL.1993.393495"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Gopinath, P., T. Bihari, and R. Gupta, ?Compiler Techniques for Generating Predictable Object-Oriented Real-Time Software,? IEEE Software, September, 1992, pp. 45?50.","DOI":"10.1109\/52.156896"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Gopinath, P. and R. Gupta, ?Applying Compiler Techniques to Scheduling in Real Time Systems,? Proc. 11th IEEE Real-Time Systems Symposium, December, 1990, Orlando, pp. 247?256.","DOI":"10.1109\/REAL.1990.128755"},{"key":"CR7","unstructured":"Gudmundsson, \u00d3., D. Moss\u00e9, K-T. Ko, A.K. Agrawala, and S.K. Tripathi, ?MARUTI: A Platform for Hard Real-Time Application,? Mission Critical Operating Systems, IOS Press, 1991."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Gupta, R. and P. Gopinath, ?Correlation Analysis Techniques for Refining Execution Time Estimates of Real-Time Applications,? Proc. 11th IEEE Workshop Real-Time Operating Systems and Software, May, 1994, Seattle, pp. 54?58.","DOI":"10.1109\/RTOSS.1994.292561"},{"key":"CR9","volume-title":"Technical Report TR-95-31","author":"R. Gupta","year":"May 1995","unstructured":"GuptaR. and D.Mosse, ?Real-Time Scheduling using Compact Task Graphs,? Technical Report TR-95-31, University of Pittsburgh, Pittsburgh, PA, May 1995."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Haban, D. and K.G. Shin, ?Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times,? Proc. 10th IEEE Real-Time Systems Symposium, 1989, pp. 172?183.","DOI":"10.1109\/REAL.1989.63568"},{"key":"CR11","unstructured":"Haban, D. and K.G. Shin, ?Monitoring Distributed Real-Time Systems and its Application,? Proc. 6th IEEE Workshop on Real-Time Operating Systems and Software, 1989."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0020-0190(92)90091-9","volume":"42","author":"C.C. Han","year":"1992","unstructured":"HanC.C. and K.J.Lin, ?Scheduling Real-Time Computations with Separation Constraints,? Information Processing Letters, May, 1992, 42:61?66.","journal-title":"Information Processing Letters"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Harmon, M., T. Baker, and D. Whalley, ?A Retargetable Technique for Predicting Execution Time,? Proc. 13th IEEE Real-Time Systems Symposium, 1992, pp. 68?77.","DOI":"10.1109\/REAL.1992.242675"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Hong, S. and R. Greber, ?Compiling Real-Time Programs into Schedulable Code,? Proc. ACM SIGPLAN Conference on Programming Languages Design and Implementation, 1993, pp. 166?176.","DOI":"10.1145\/155090.155106"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Kenny, K.B. and K-J. Lin, ?Building Flexible Real-Time Systems using the Flex Language,? IEEE Computer, May, 1991, pp. 70?78.","DOI":"10.1109\/2.76288"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Kirk, D.B. and J.K. Strosnider, ?SMART (Strategic Memory Allocation for Real-Time) Cache Design Using MIPS R3000,? Proc. 11th IEEE Real-Time Systems Symposium, December, 1990, Orlando, pp. 322?330.","DOI":"10.1109\/REAL.1990.128764"},{"key":"CR17","unstructured":"Lee, I. and V. Gehlot, ?Language Constructs for Real-Time Programming,? Proc. 6th IEEE Real-Time Systems Symposium, 1985, pp. 57?66."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Lim, S.S., Y.H. Bae, G.T. Jang, B.-D. Rhee, S.L. Min, C.Y. Park, H. Shin, K. Park, and C.S. Kim, ?An Accurate Worst case Timing Analysis for RISC Processors,? Proc. IEEE Real-Time Systems Symposium, 1994, pp. 97?108.","DOI":"10.1109\/REAL.1994.342726"},{"key":"CR19","unstructured":"Lin, K.J., S. Natarajan, and J.W.S. Liu, ?Imprecise Results: Utilizing Partial Computations in Real-Time Systems,? Proc. 8th IEEE Real-Time Systems Symposium, 1987, pp. 210?217."},{"key":"CR20","unstructured":"Lin, K.J. and S. Natarajan, ?Expressing and Maintaining Timing Constraints in FLEX,? Proc. 9th IEEE Real-Time Systems Symposium, December, 1988, pp. 96?105."},{"issue":"1","key":"CR21","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C.L. Liu","year":"1973","unstructured":"LiuC.L. and J.Layland, ?Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment,? Journal of the ACM, 1973, 20(1):46?61.","journal-title":"Journal of the ACM"},{"key":"CR22","unstructured":"Mok, A. et al, ?Evaluating Tight Execution Time Bounds of Programs by Annotations?, Proc. 6th IEEE Workshop on Real-Time Operating Systems and Software, May, 1989, pp. 74?80."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Neihaus, D., ?Program Representation and Translation for Predictable Real-Time Systems,? Proc. 12th IEEE Real-Time Systems Symposium, December, 1991, pp. 53?63.","DOI":"10.1109\/REAL.1991.160358"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Nirkhe, V. and W. Pugh, ?Partial Evaluation of High-Level Imperative Programming Languages with Applications in Hard Real-Time Systems,? Proc. 19th ACM Sigplan-Sigact Symposium on Principles of Programming Languages, 1992, pp. 269?280.","DOI":"10.1145\/143165.143223"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Nirkhe, V., S. Tripathi, and A. Agrawala, ?Language Support for the Maruti Real-Time System,? Proc. 11th IEEE Real-Time Systems Symposium, December, 1990, pp. 257?266.","DOI":"10.1109\/REAL.1990.128756"},{"issue":"7","key":"CR26","doi-asserted-by":"crossref","first-page":"762","DOI":"10.1109\/71.238299","volume":"4","author":"D.M. Ogle","year":"1993","unstructured":"OgleD.M., K.Schwan, and R.Snodgrass, ?Application Dependent Dynamic Monitoring of Distributed and Parallel Systems,? IEEE Transactions on Parallel and Distributed Systems, July, 1993, 4(7):762?778.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Park, C. and A. Shaw, ?Experiments with a Program Timing Tool Based on Source-Level Timing Schema,? Proc. 11th IEEE Real-Time Systems Symposium, 1990, pp. 72?81.","DOI":"10.1109\/REAL.1990.128731"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Pospischil, G., P. Puschner, A. Vrchoticky, and R. Zainlinger, ?Developing Real-Time Tasks with Predictable Timing,? IEEE Software, September, 1992, pp. 35?44.","DOI":"10.1109\/52.156895"},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Ramamritham, K., ?Allocation and Scheduling of Complex Periodic tasks,? Proc. 10th International Conference on Distributed Computing Systems, 1990, pp. 108?115.","DOI":"10.1109\/ICDCS.1990.89256"},{"issue":"7","key":"CR30","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A.C. Shaw","year":"1989","unstructured":"ShawA.C., ?Reasoning about Time in Higher Level Language Software,? IEEE Transactions on Software Engineering, July, 1989, 15(7):875?889.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR31","unstructured":"Spezialetti, M. and R. Gupta, ?Timed Perturbation Analysis: An Approach for Non-Intrusive Monitoring of Real Time Computations,? Proc. ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, June, 1994, Orlando."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"Spezialetti, M. and R. Gupta, ?Perturbation Analysis: A Static Analysis Approach for the Non-Intrusive Monitoring of Parallel Programs,? International Conference on Parallel Processing, August, 1994.","DOI":"10.1109\/ICPP.1994.162"},{"key":"CR33","unstructured":"Stoyenko, A.D., ?A Real-Time Language With A Schedulability Analyzer,? Ph.D. Thesis, University of Toronto, August, 1987."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BF00355297","volume":"4","author":"A.D. Stoyenko","year":"1992","unstructured":"StoyenkoA.D. and T.Marlowe, ?Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention,? Journal of Real-Time Systems, 1992, 4:307?329.","journal-title":"Journal of Real-Time Systems"},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Tokuda, H., M. Kotera, and C.W. Mercer, ?A Real-Time Monitor for a Distributed Real-Time Operating System,? ACM Workshop on Parallel and Distributed Debugging, May, 1988, pp. 68?77.","DOI":"10.1145\/68210.69222"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Tsai, J.J.P. K-Y. Fang, and H-Y. Chen. ?A Noninvasive Architecture to Monitor Real-Time Distributed Systems,? IEEE Computer, March, 1990, pp. 11?23.","DOI":"10.1109\/2.50269"},{"issue":"3","key":"CR37","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/32.48943","volume":"16","author":"J. Xu","year":"1990","unstructured":"XuJ. and D.L.Parnas, ?Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations,? IEEE Transactions on Software Engineering, March, 1990, 16(3):360?369.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365521.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00365521\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00365521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T23:12:06Z","timestamp":1734649926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00365521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF00365521"],"URL":"https:\/\/doi.org\/10.1007\/bf00365521","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}