{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:52:13Z","timestamp":1761936733820,"version":"build-2065373602"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf01088803","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T13:15:08Z","timestamp":1107522908000},"page":"159-182","source":"Crossref","is-referenced-by-count":23,"title":["A retargetable technique for predicting execution time of code segments"],"prefix":"10.1007","volume":"7","author":[{"given":"Marion G.","family":"Harmon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. P.","family":"Baker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David B.","family":"Whalley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","series-title":"Technical Report","doi-asserted-by":"crossref","DOI":"10.21236\/ADA185697","volume-title":"Timing variation in dual loop benchmarks","author":"N. Altman","year":"1987","unstructured":"N. Altman and N. Weiderman. Timing variation in dual loop benchmarks. Technical Report CMU\/SEI-87-TR-22, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1987."},{"issue":"1","key":"CR2","first-page":"9","volume":"4","author":"C. N. Arnold","year":"1987","unstructured":"C. N. Arnold. Using the ETA system multiprocessing simulator to prepare for the ETA10.I\/O, 4(1):9?12, 1987.","journal-title":"I\/O"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"T. B. Baker. A single-pass syntax-directed front end for Ada. InProceeding of the SIGPLAN'82 Symposium on Compiler Construction, pp. 318?326, Boston, MA, 1982.","DOI":"10.1145\/800230.807006"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"M. E. Benitez and J. W. Davidson. A portable global optimizer and linker. InProceedings of the SIGPLAN Notices '88 Symposium on Programming Language Design and Implementation, pp. 329?338, Atlanta, GA, 1988.","DOI":"10.1145\/53990.54023"},{"issue":"8","key":"CR5","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1145\/6424.6428","volume":"29","author":"R. M. Clapp","year":"1986","unstructured":"R. M. Clapp, L. Duchesneau, R. A. Volz, T. N. Mudge, and T. Schultze. Toward real-time performance benchmarks for Ada.Communications of the ACM, 29(8):760?778, 1986.","journal-title":"Communications of the ACM"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"J. W. Davidson and C. W. Fraser. Automatic generation of peephole optimization. InProceedings of the SIGPLAN'84 Symposium on Compiler Construction, pp. 111?116, Montreal, Canada, 1984a.","DOI":"10.1145\/502874.502885"},{"issue":"4","key":"CR7","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/1780.1783","volume":"6","author":"J. W. Davidson","year":"1984","unstructured":"J. W. Davidson and C. W. Fraser. Code selection through object code optimization.Transactions on Programming Languages and Systems, 6(4):7?32, 1984b.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"J. W. Davidson. A retargetable instruction reorganizer. InProceedings of the SIGPLAN NOTICES '86 Symposium on Compiler Construction, pp. 234?251, Palo Alto, CA, 1986.","DOI":"10.1145\/12276.13334"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"J. W. Davidson and D. B. Whalley. A design environment for addressing architecture and compiler interactions.Microprocessors and Microsystems, 15(9):459?472, 1991.","DOI":"10.1016\/0141-9331(91)90002-W"},{"key":"CR10","unstructured":"A. Hook, G. A. Riccardi, and M. Vilot. Ada compiler performance benchmark. InAda: Managing the Transition, Proceedings of the Ada-Europe International Conference, pp. 33?42, Edingurgh, Scotland, 1986."},{"key":"CR11","unstructured":"Intel Corporation.80386 Programmer's Reference Manual. Intel Corporation, 1988."},{"issue":"1","key":"CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment.Journal of the Association for Computing Machinery, 20(1):46?61, 1973.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"CR13","unstructured":"P. McKerrow.Performance Measurement of Computer Systems. Addison-Wesley, 1988."},{"key":"CR14","unstructured":"A. K. Mok. SARTOR?A design environment for real-time systems. InProceeding of the 9th IEEE COMPSAC, pp. 174?181, 1985."},{"key":"CR15","unstructured":"A. K. Mok. The design of real-time programming systems based on process models. InProceedings of the 1984 IEEE Real-Time Systems Symposium, pp. 5?17, Austin, TX, 1984."},{"key":"CR16","unstructured":"A. K. Mok. Evaluating tight execution time bounds of programs by annotations. InSixth IEEE Workshop on Real-Time Operating Systems and Software, pp. 74?80, Pittsburgh, PA, 1989."},{"key":"CR17","unstructured":"Motorola.MC68020 32-Bit Microprocessor User's Manual second edition. Prentice-Hall, 1985."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"D. Niehaus. Program representation and translation for predictable real-time systems. InProceedings of the IEEE Real-Time Systems Symposium, pp. 53?63, San Antonio, TX, 1991.","DOI":"10.1109\/REAL.1991.160358"},{"key":"CR19","volume-title":"A table driven retargetable disassembler generator","author":"D. I. Oh","year":"1989","unstructured":"D. I. Oh. A table driven retargetable disassembler generator. Master's Project, Department of Computer Science, Florida State University, Tallahassee, FL, 1989."},{"issue":"1","key":"CR20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"C. Y. Park","year":"1993","unstructured":"C. Y. Park. Predicting program execution times by analyzing static and dynamic program paths.Real-Time Systems, 5(1):31?61, 1993.","journal-title":"Real-Time Systems"},{"key":"CR21","series-title":"Technical Report","volume-title":"A source-level tool for predicting deterministic execution times of programs","author":"C. Y. Park","year":"1989","unstructured":"C. Y. Park and A. C. Shaw. A source-level tool for predicting deterministic execution times of programs. Technical Report 89-09-12, Department of Computer Science and Engineering, University of Washington, Seattle, WA, 1989."},{"issue":"5","key":"CR22","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"C. Y. Park","year":"1991","unstructured":"C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on source-level timing schema.Computer, 24(5):48?57, 1991.","journal-title":"Computer"},{"issue":"2","key":"CR23","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"P. Puschner and C. H. Koza. Calculating the maximum execution time of real-time programs.Real-Time Systems, 1(2):159?176, 1989.","journal-title":"Real-Time Systems"},{"issue":"3","key":"CR24","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/322837.322847","volume":"10","author":"D. Roy","year":"1990","unstructured":"D. Roy. PIWG measurement methodology.ACM Ada Letters Special Edition, 10(3):72?90, Winter 1990.","journal-title":"ACM Ada Letters Special Edition"},{"key":"CR25","unstructured":"A. C. Shaw. Reasoning about time in high-level language software. Research Report, Laboratoire MASI, University of Paris 6, 1987."},{"key":"CR26","volume-title":"A real-time language with a schedulability analyzer","author":"A. D. Stoyenko","year":"1987","unstructured":"A. D. Stoyenko. A real-time language with a schedulability analyzer. Ph.D. Thesis, Department of Computer Science, University of Toronto, Toronto, Canada, 1987."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088803.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088803\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:56:08Z","timestamp":1556589368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF01088803"],"URL":"https:\/\/doi.org\/10.1007\/bf01088803","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}