메뉴 건너뛰기




Volumn , Issue , 2005, Pages 202-209

QoS-UniFrame: A petri net-based modeling approach to assure QoS requirements of distributed real-time and embedded systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; EMBEDDED SYSTEMS; EVOLUTIONARY ALGORITHMS; PETRI NETS; PROBABILITY; QUALITY OF SERVICE; REAL TIME SYSTEMS;

EID: 28344446327     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (12)

References (17)
  • 2
    • 0026913667 scopus 로고
    • Symbolic manipulation with ordered binary-decision diagrams
    • R. E. Bryant, Symbolic manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
    • (1992) ACM Computing Surveys , vol.24 , Issue.3 , pp. 293-318
    • Bryant, R.E.1
  • 14
    • 0017538857 scopus 로고
    • Petri nets
    • September
    • J. L. Peterson. Petri nets. ACM Computing Surveys, 9(3):223-252, September 1977.
    • (1977) ACM Computing Surveys , vol.9 , Issue.3 , pp. 223-252
    • Peterson, J.L.1
  • 15
    • 28344457100 scopus 로고    scopus 로고
    • QoS-UniFrame. http://www.cis.uab.edu/liush/QosUniFrame.htm.
  • 17
    • 0042417065 scopus 로고    scopus 로고
    • R&D advances in middleware for distributed real-time and embedded systems
    • D. C. Schmidt. R&D advances in middleware for distributed real-time and embedded systems. Communications of the ACM, 45(12):43-48, 2002.
    • (2002) Communications of the ACM , vol.45 , Issue.12 , pp. 43-48
    • Schmidt, D.C.1


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