메뉴 건너뛰기




Volumn 5, Issue 1, 1993, Pages 31-62

Predicting program execution times by analyzing static and dynamic program paths

Author keywords

[No Author keywords available]

Indexed keywords

HIGH LEVEL LANGUAGES;

EID: 0027556297     PISSN: 09226443     EISSN: 15731383     Source Type: Journal    
DOI: 10.1007/BF01088696     Document Type: Article
Times cited : (148)

References (25)
  • 11
    • 84934465778 scopus 로고    scopus 로고
    • Lin, K., Kenny, K., Natarajan, S., and Liu, J. 1990. FLEX: A language for real-time systems programming. Foundations of Real-Time Computing: Formal Specifications and Methods. (ed. A. Tilborg and G. Koob), Kluwer Academic Publishers. pp. 251–290.
  • 13
    • 84934465774 scopus 로고    scopus 로고
    • Mok, A., Amerasinghe, P., Chen, M., and Tantisirivat, K. 1989. Evaluating tight execution time bounds of programs by annotations. Proceedings of 6th IEEE Workshop on Real-Time Operating Systems and Software. pp. 74–80.
  • 14
    • 84934465775 scopus 로고    scopus 로고
    • Niehaus, M. 1991. Program representation and translation for predictable real-time systems. Proceedings on 12th IEEE Real-Time Systems Symposium, pp. 43–52.
  • 15
    • 84934465779 scopus 로고    scopus 로고
    • Nirkhe, V. and Pugh, W. 1991. A partial evaluator for the Maruti hard real-time system. Proceedings on 12th IEEE Real-Time Systems Symposium, pp. 64–73.
  • 17
    • 84934465793 scopus 로고    scopus 로고
    • Park, C. and Shaw, A. 1990. Experiments with a program timing tool based on source-level timing schema. Proceedings on 11th IEEE Real-Time Systems Symposium. pp. 72–81. (A revised version is also in IEEE Computer, 24:48–57.)
  • 18
    • 84934465795 scopus 로고    scopus 로고
    • Park, C. 1992. Predicting deterministic execution times of real-time programs. Ph.D. Thesis, University of Washington, Department of Computer Science.
  • 21
    • 84934465787 scopus 로고    scopus 로고
    • Shaw, A. 1991. Deterministic timing schema for parallel programs. Proceedings of 5th International Parallel Processing Symposium. pp. 56–63.
  • 23
    • 0027063973 scopus 로고
    • Polynomial-time transformation and schedulability analysis of parallel real-time programs with restricted resource contention
    • (1992) Real-Time Systems , vol.4 , pp. 307-330
    • Stoyenko, A.1    Marlowe, T.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.