{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T04:10:01Z","timestamp":1752379801963,"version":"3.41.2"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2002,4]]},"DOI":"10.1023\/a:1015131814255","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T17:32:56Z","timestamp":1041096776000},"page":"75-115","source":"Crossref","is-referenced-by-count":3,"title":["TimeC: A Time Constraint Language for ILP Processor Compilation"],"prefix":"10.1007","volume":"7","author":[{"given":"Allen","family":"Leung","sequence":"first","affiliation":[]},{"given":"Krishna V.","family":"Palem","sequence":"additional","affiliation":[]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"399077_CR1","unstructured":"Aiken, A., & Nicolau, A. (1987). Loop quantization; an analysis and algorithm. Technical Report 87-821, Cornell University."},{"key":"399077_CR2","doi-asserted-by":"crossref","unstructured":"Allen, J. R., Kennedy, K., Porterfield, C., & Warren, J. (1983). Conversion of contgrol dependence to data dependence. In Proceedings of the 10th ACM Symposium on Principles of Programming Languages, pages 177\u2013189.","DOI":"10.1145\/567067.567085"},{"key":"399077_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., & Dill, D. (1994). A theory of timed automata. Theoretical Computer Science, 126: 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"399077_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., & Henzinger, T. A. (1989). A really temporal logic. In Proceedings of the 30th IEEE Symposium Found. of Comp. Sci., pages 164\u2013169.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"399077_CR5","doi-asserted-by":"crossref","unstructured":"Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness. In Proceedings of the 5th IEEE Symposium Logic in Comp. Sci., pages 390\u2013401.","DOI":"10.1109\/LICS.1990.113764"},{"key":"399077_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R., & Henzinger, T. (1992). Logics and models of real time: A survey. In de Bakker, J. W., Huizing, C., de Roever, W. P., & Rozenberg, G., eds., Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice,\u201d Vol. 600 of Lect. Notes in Comp. Sci., pages 74\u2013106. Springer-Verlag.","DOI":"10.1007\/BFb0031988"},{"key":"399077_CR7","doi-asserted-by":"crossref","unstructured":"Bernstein, A., & Harter, P. K. (1981). Proving real time properties of programs with temporal logic. In Proceedings of the Eighth Symposium on Operating Systems Principles, pages 1\u201311. ACM.","DOI":"10.1145\/800216.806585"},{"key":"399077_CR8","doi-asserted-by":"crossref","unstructured":"Bernstein, D., & Rodeh, M. (1991). Global instruction scheduling for superscalar machines. In Proceedings of SIGPLAN'91 Conference on Programming Language Design and Implementation.","DOI":"10.1145\/113445.113466"},{"issue":"7","key":"399077_CR9","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1109\/TC.1981.1675827","volume":"C-30","author":"J. Fisher","year":"1981","unstructured":"Fisher, J. (1981). Trace scheduling: A general technique for global microcode compaction. IEEE Transactions on Computers, C-30(7): 478\u2013490.","journal-title":"IEEE Transactions on Computers"},{"key":"399077_CR10","unstructured":"Fisher, J. (1991). Global code generation for instruction-level parallelism: Trace scheduling-2. Technical report, HP Labs."},{"key":"399077_CR11","doi-asserted-by":"crossref","unstructured":"Harel, E., Lichtenstein, O., & Pnueli, A. (1990). Explicit clock temporal logic. In Proceedings of the 5th IEEE Symposium Logic in Comp. Sci., pages 402\u2013413.","DOI":"10.1109\/LICS.1990.113765"},{"key":"399077_CR12","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communication of the ACM, 12: 576\u2013580.","journal-title":"Communication of the ACM"},{"key":"399077_CR13","doi-asserted-by":"crossref","unstructured":"Hong, S., & Gerber, R. (1995). Compiling real-time programs with timing constraint refinement and structural code motion. IEEE Transactions on Software Engineering, 21.","DOI":"10.1109\/32.387469"},{"key":"399077_CR14","unstructured":"Intel and Hewlett Packard Corporations. (1997). Press releases on Intel's IA-64. http:\/\/www.intel.com\/pressroom\/kits\/events\/mpf1097.htm."},{"issue":"9","key":"399077_CR15","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahnaian","year":"1986","unstructured":"Jahnaian, F., & Mok, A. K. (1986). Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE-12(9): 890\u2013904.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"399077_CR16","doi-asserted-by":"crossref","unstructured":"Jahnaian, F., & Mok, A. K. (1987). A graph-theoretic approach for timing analysis and its implementation. IEEE Transactions on Computers, C36(8).","DOI":"10.1109\/TC.1987.5009519"},{"key":"399077_CR17","unstructured":"Kernigan, B. W., & Richie, D. M. (1988). The C Programming Language. Prentice Hall, 2nd ed."},{"issue":"4","key":"399077_CR18","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R. (1990). Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4): 255\u2013299.","journal-title":"Real-Time Systems"},{"key":"399077_CR19","doi-asserted-by":"crossref","unstructured":"Koymans, R., & de Roever, W.-P. (1985). Examples of a real-time temporal logic specifications. In Denvir, B. D., Harwood, W. T., Jackson, M. I., & Wray, M. J., eds., The Analysis of Concurrent Systems, Vol. 207 of Lect. Notes in Comp. Sci., pages 231\u2013252. Springer-Verlag.","DOI":"10.1007\/3-540-16047-7_50"},{"key":"399077_CR20","doi-asserted-by":"crossref","unstructured":"Koymans, R., Vytopyl, J., & de Roever, W.-P. (1983). Real-time programming and asynchronous message passing. In Proceedings of the Second ACM Symposium Princ. of Dist. Comp., pages 187\u2013197.","DOI":"10.1145\/800221.806721"},{"key":"399077_CR21","doi-asserted-by":"crossref","unstructured":"Lam, M. (1988). Software pipelining: An effective scheduling technique for vliw machines. Proceedings SIGPLAN'88 Symposium on Programming Language Design and Implementation, pages 318\u2013328.","DOI":"10.1145\/53990.54022"},{"key":"399077_CR22","doi-asserted-by":"crossref","unstructured":"Leung, A., Palem, K., & Pnueli, A. (1998). A fast algorithm for scheduling time-constrained instructions on processor with ILP. In The International Conference on Parallel Architectures and Compilation Techniques (PACT\u2019 98).","DOI":"10.1109\/PACT.1998.727188"},{"key":"399077_CR23","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Manna, Z., & Pnueli, A. (1981). Verification of concurrent programs: The temporal framework. In Boyer, R. S. & Moore, J. S., eds., The Correctness Problem in Computer Science, pages 215\u2013273. Academic Press, London."},{"key":"399077_CR24","unstructured":"Nachiappan, N. (1995). Personal communications and memorandum of support."},{"key":"399077_CR25","volume-title":"Temporal Logic of Real-Time Systems","author":"J. S. Ostroff","year":"1990","unstructured":"Ostroff, J. S. (1990). Temporal Logic of Real-Time Systems. Advanced Software Development Series. Research Studies Press, John Wiley & Sons, Taunton, England."},{"key":"399077_CR26","volume-title":"Code Optimization in Modern Compilers","author":"K. Palem","year":"1995","unstructured":"Palem, K., & Sarkar, V. (1995). Code Optimization in Modern Compilers. Western Institute of Computer Science, Stanford University, CA."},{"key":"399077_CR27","doi-asserted-by":"crossref","unstructured":"Rau, B. (1994). Iterative modulo scheduling: An algorithm for software pipelining loops. In Proceedings of the 27th Annual Symposium on Microarchitecture, December.","DOI":"10.1145\/192724.192731"},{"key":"399077_CR28","unstructured":"Sethi, R., Aho, A., & Ullman, J. (1984). Compiler Construction. Addison-Wessley."},{"issue":"7","key":"399077_CR29","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A. Shaw","year":"1989","unstructured":"Shaw, A. (1989). Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering, 15(7): 875\u2013889.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"399077_CR30","doi-asserted-by":"crossref","unstructured":"Stoyenko, A. D., Marlowe, T. J., & Laplante, P. A. (1996). A description language for engineering of complex real-time systems. Technical Report cis9522, New Jersey Institute of Technology.","DOI":"10.1007\/BF00337681"},{"key":"399077_CR31","unstructured":"Stoyenko, A. D., Marlowe, T. J., & Younis, M. F. (1996). A language for complex real-time systems. Technical Report cis9521, New Jersey Institute of Technology."},{"key":"399077_CR32","unstructured":"Stroustrup, B. (1990). The C++ Programming Language. Addison-Wesley, 2nd ed."},{"key":"399077_CR33","doi-asserted-by":"crossref","unstructured":"Water, N., Mahlke, S., Hwu, W. M., & Rau, B. (1993). Reverse If-conversion. In ACM SIGPLAN PLDI, pages 290\u2013299.","DOI":"10.1145\/155090.155118"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015131814255.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015131814255\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015131814255.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,13]],"date-time":"2025-07-13T03:48:37Z","timestamp":1752378517000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015131814255"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,4]]}},"alternative-id":["399077"],"URL":"https:\/\/doi.org\/10.1023\/a:1015131814255","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"type":"print","value":"1383-7133"},{"type":"electronic","value":"1572-9354"}],"subject":[],"published":{"date-parts":[[2002,4]]}}}