메뉴 건너뛰기




Volumn 45, Issue 2-3, 2001, Pages 125-146

Performance validation tools for software/hardware systems

Author keywords

Automated model building; Layered queueing models; Performance validation; Software performance engineering; Stochastic process algebras

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; MATHEMATICAL MODELS; QUEUEING THEORY; RANDOM PROCESSES;

EID: 0035400363     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(01)00032-3     Document Type: Article
Times cited : (10)

References (50)
  • 5
    • 0018503689 scopus 로고
    • A queuing network analysis of computer communication networks with window flow control
    • (1979) IEEE Trans. Commun. , vol.27 , pp. 1201-1209
    • Reiser, M.1
  • 11
    • 85018852415 scopus 로고    scopus 로고
  • 12
    • 85018843536 scopus 로고    scopus 로고
  • 18
    • 0029716721 scopus 로고    scopus 로고
    • Applying performance engineering to a distributed application monitoring system
    • A. Schill, C. Mittasch, O. Spaniol, C. Popien (Eds.), Chapman & Hall, New York
    • (1996) Distributed Platforms , pp. 258-271
    • Friedrich, R.1    Rolia, J.2
  • 31
    • 0004844148 scopus 로고
    • TIPP - Einführung in die leistungsbewertung von verteilten systemen mit hilfe von prozessalgebren
    • Verteilte Systeme, Grundlagen und Zukünftige Entwicklungen aus der Sicht des SFB 182, BI-Wissenschaftsverlag
    • (1993)
    • Götz, N.1    Herzog, U.2    Rettelbach, M.3
  • 38
    • 0000035464 scopus 로고
    • A simple time scale decomposition technique for stochastic process algebras
    • S. Gilmore, J. Hillston (Eds.), Proceedings of the Third Workshop on Process Algebras and Performance Modeling (special issue), Oxford University Press, Oxford
    • (1995) Comput. J. , vol.38 , pp. 7
    • Hillston, J.1    Mertsiotakis, V.2
  • 42
    • 0004843920 scopus 로고    scopus 로고
    • Neue ansätze zur planung von klinikkommunikationssystemen mittels stochastischer leistungsmodellierung
    • R. Muche, G. Büchele, D. Harder, W. Gaus (Eds.), 42. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie (GMDS), MMV Medien & Medizin Verlag, Ulm, September
    • (1997) , pp. 188-192
    • Siegle, M.1    Wentz, B.2    Klingler, A.3    Simon, M.4
  • 43
    • 4243703509 scopus 로고    scopus 로고
    • Analyse des Erlanger klinikkommunikationssystems mit hilfe von leistungsmessungen
    • E. Greiser, M. Wischnewsky (Eds.), 43. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Episemiologie (GMDS), MMV Medien & Medizin Verlag, Bremen, September, CD-ROM
    • (1998) , pp. C24
    • Siegle, M.1    Kraska, D.2    Simon, M.3    Wentz, B.4
  • 46
    • 84947903650 scopus 로고    scopus 로고
    • OPEN/CAESAR: An open software architecture for verification, simulation and testing
    • B. Steffen (Ed.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin
    • (1998) Lecture Notes in Computer Science , vol.1384 , pp. 68-84
    • Garavel, H.1


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