메뉴 건너뛰기




Volumn 15, Issue , 2010, Pages 44-53

Realism in statistical analysis of worst case execution times

Author keywords

Extreme value statistics; Gumbel distribution; WCET

Indexed keywords

DISTRIBUTED DATA; EXTREME VALUE STATISTICS; EXTREME VALUE THEORY; GUMBEL DISTRIBUTION; WCET; WORST-CASE EXECUTION TIME;

EID: 84880096299     PISSN: 21906807     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/OASIcs.WCET.2010.44     Document Type: Conference Paper
Times cited : (25)

References (14)
  • 2
    • 0036994494 scopus 로고    scopus 로고
    • WCET analysis of probabilistic hard real-time systems
    • RTSS 2002. 23rd IEEE
    • G. Bernat, A. Colin, and S. Petters. WCET analysis of probabilistic hard real-time systems. In Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE, pages 279-288, 2002.
    • (2002) Real-Time Systems Symposium, 2002 , pp. 279-288
    • Bernat, G.1    Colin, A.2    Petters, S.3
  • 4
    • 0027306938 scopus 로고
    • The infeasibility of quantifying the reliability of life-critical real-time software
    • R. W. Butler and G. B. Finelli. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Trans. Softw. Eng., 19(1): 3-12, 1993.
    • (1993) IEEE Trans. Softw. Eng. , vol.19 , Issue.1 , pp. 3-12
    • Butler, R.W.1    Finelli, G.B.2
  • 10
    • 85045014889 scopus 로고
    • The strategy of model building in population biology
    • R. Levins. The strategy of model building in population biology. American Scientist, 54(4): 421-431, 1966.
    • (1966) American Scientist , vol.54 , Issue.4 , pp. 421-431
    • Levins, R.1
  • 11
    • 24644512496 scopus 로고    scopus 로고
    • Fully automatic, parametric worst-case execution time analysis
    • J. Gustafsson, editor Department of Computer Science and Engineering, Mälardalen University
    • B. Lisper. Fully automatic, parametric worst-case execution time analysis. In J. Gustafsson, editor, WCET, volume MDH-MRTC-116/2003-1-SE, pages 99-102. Department of Computer Science and Engineering, Mälardalen University, 2003.
    • (2003) WCET, Volume MDH-MRTC-116/2003-1-SE , pp. 99-102
    • Lisper, B.1
  • 12
    • 33847224124 scopus 로고    scopus 로고
    • The strategy of "the strategy of model building in population biology,"
    • Nov
    • J. Odenbaugh. The strategy of "the strategy of model building in population biology". Biology and Philosophy, 5: 607-621, Nov 2006.
    • (2006) Biology and Philosophy , vol.5 , pp. 607-621
    • Odenbaugh, J.1


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