{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:17Z","timestamp":1725642017407},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642255748"},{"type":"electronic","value":"9783642255755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25575-5_3","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T01:05:26Z","timestamp":1323651926000},"page":"24-37","source":"Crossref","is-referenced-by-count":6,"title":["Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives"],"prefix":"10.1007","author":[{"given":"Giuliano","family":"Casale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gribaudo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Serazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. Journal of the ACM\u00a022(2), 248\u2013260 (1975)","journal-title":"Journal of the ACM"},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1287\/ijoc.12.3.203.12634","volume":"12","author":"P. Buchholz","year":"2000","unstructured":"Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of memory-efficient kronecker operations with applications to the solution of markov models. INFORMS Journal on Computing\u00a012(3), 203\u2013222 (2000)","journal-title":"INFORMS Journal on Computing"},{"issue":"9","key":"3_CR3","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/362342.362345","volume":"16","author":"J.P. Buzen","year":"1973","unstructured":"Buzen, J.P.: Computational algorithms for closed queueing networks with exponential servers. Comm. of the ACM\u00a016(9), 527\u2013531 (1973)","journal-title":"Comm. of the ACM"},{"key":"3_CR4","unstructured":"Carlson, G.: A user\u2019s view of hardware performance monitors. In: Proc. IFIP Congress, vol.\u00a071, pp. 128\u2013132. North-Holland (1971)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Casale, G., Muntz, R.R., Serazzi, G.: Tools for computer performance modeling and reliability analysis. ACM Performance Evaluation Review\u00a036(4) (2009)","DOI":"10.1145\/1530873.1530875"},{"issue":"11","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Transactions on Computers"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Chung, M.-Y., Ciardo, G., Donatelli, S., He, N., Plateau, B., Stewart, W., Sulaiman, E., Yu, J.: A comparison of structural formalisms for modeling large markov models. In: Proc. of IPDPS, vol.\u00a011, p. 196 (2004)","DOI":"10.1109\/IPDPS.2004.1303217"},{"key":"3_CR8","unstructured":"Buzen, J.P., et al.: Best\/1 - design of a tool for computer system capacity planning. In: Proc. of the 1978 National Computer Conf., pp. 447\u2013455. AFIPS Press (1978)"},{"key":"3_CR9","unstructured":"Ferrari, D., Serazzi, G., Zeigner, A.: Measurement and Tuning of Computer Systems. Prentice-Hall (1983)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1287\/mnsc.20.3.363","volume":"20","author":"G.S. Fishman","year":"1973","unstructured":"Fishman, G.S.: Statistical analysis for queueing simulations. Management Science\u00a020(3), 363\u2013369 (1973)","journal-title":"Management Science"},{"key":"3_CR11","unstructured":"Gribaudo, M.: Fspnedit: a fluid stochastic petri net modeling and analysis tool. In: Proc. of Tools of Aachen 2001, pp. 24\u201328 (2001)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Performance Evaluation: Origins and Directions","year":"2000","unstructured":"Reiser, M., Haring, G., Lindemann, C. (eds.): Dagstuhl Seminar 1997. LNCS, vol.\u00a01769. Springer, Heidelberg (2000)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/358598.358630","volume":"24","author":"P. Heidelberger","year":"1981","unstructured":"Heidelberger, P., Welch, P.D.: A spectral method for confidence interval generation and run length control in simulations. Comm. of the ACM\u00a024(4), 233\u2013245 (1981)","journal-title":"Comm. of the ACM"},{"issue":"2","key":"3_CR14","first-page":"26","volume":"13","author":"D.J. Herman","year":"1967","unstructured":"Herman, D.J.: Scert: a computer evaluation tool. Datamation\u00a013(2), 26\u201328 (1967)","journal-title":"Datamation"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Herman, D.J., Ihrer, F.: The use of a computer to evaluate computers. In: Proc. Conf. 1964 SJCC, Washington DC, pp. 383\u2013395. Spartan Books (1964)","DOI":"10.1145\/1464122.1464161"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of pepa models. In: QEST 2005, pp. 33\u201342, 19\u201322 (2005)","DOI":"10.1109\/QEST.2005.12"},{"key":"3_CR17","unstructured":"IBM. General purpose systems simulator iii user\u2019s manual. Technical Report Form H20-0163, IBM (1965)"},{"key":"3_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, 2nd edn. Springer, Heidelberg (1997)","edition":"2"},{"key":"3_CR19","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"D. Kartson","year":"1994","unstructured":"Kartson, D., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Inc., New York (1994)"},{"key":"3_CR20","volume-title":"Queueing Systems, Theory","author":"L. Kleinrock","year":"1976","unstructured":"Kleinrock, L.: Queueing Systems, Theory, vol.\u00a01. John Wiley & Sons, New York (1976)"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0166-5316(89)90005-9","volume":"10","author":"S.S. Lavenberg","year":"1989","unstructured":"Lavenberg, S.S.: A perspective on queueing models of computer performance. Performance Evaluation\u00a010(1), 53\u201376 (1989)","journal-title":"Performance Evaluation"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1853919.1853926","volume-title":"MetriSec 2010: Proceedings of the 6th International Workshop on Security Measurements and Metrics","author":"E. LeMay","year":"2010","unstructured":"LeMay, E., Unkenholz, W., Parks, D., Muehrcke, C., Keefe, K., Sanders, W.H.: Adversary-driven state-based system security evaluation. In: MetriSec 2010: Proceedings of the 6th International Workshop on Security Measurements and Metrics, pp. 1\u20139. ACM, New York (2010)"},{"key":"3_CR23","unstructured":"Markowitz, H.M., Hausner, B., Karr, H.W.: Simscript: a simulation programming language. Prentice Hall (1963)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Martens, A., Koziolek, H., Becker, S., Reussner, R.: Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. In: WOSP\/SIPEW, pp. 105\u2013116 (2010)","DOI":"10.1145\/1712605.1712624"},{"issue":"7","key":"3_CR25","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1016\/j.ress.2007.03.013","volume":"93","author":"S. Montani","year":"2008","unstructured":"Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D.: Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic bayesian networks. Reliability Engineering and System Safety\u00a093(7), 922\u2013932 (2008); Bayesian Networks in Dependability","journal-title":"Reliability Engineering and System Safety"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Nielsen, N.R.: Computer simulation of computer system performance. In: Proc. of ACM National Meeting, pp. 581\u2013590 (1967)","DOI":"10.1145\/800196.806027"},{"issue":"2","key":"3_CR27","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/78919.78921","volume":"22","author":"K. Pawlikowski","year":"1990","unstructured":"Pawlikowski, K.: Steady-sate simulation of queueing processes: A survey of problems and solutions. ACM Computing Surveys\u00a022(2), 123\u2013168 (1990)","journal-title":"ACM Computing Surveys"},{"key":"3_CR28","first-page":"259","volume-title":"Computer Networking and Perf. Eval.","author":"D. Potier","year":"1986","unstructured":"Potier, D., Veran, M.: The markovian solver of QNAP2 and examples. In: Hasegawa, T., et al. (eds.) Computer Networking and Perf. Eval., pp. 259\u2013279. North-Holland, Amsterdam (1986)"},{"key":"3_CR29","unstructured":"Sauer, C.H., Chandy, K.M.: Computer Systems Performance Modeling. Prentice-Hall (1981)"},{"key":"3_CR30","unstructured":"Sauer, C.H., McNair, E.A., Kurose, J.F.: The research queueing (RESQ) package, version 2: Introduction and examples. Technical Report IBM rep. no. RA 138, IBM (1982)"},{"key":"3_CR31","unstructured":"Saure, D., Glynn, P., Zeevi, A.: A linear programming algorithm for computing the stationary distribution of semi-martingale reflecting brownian motion (under submission)"},{"key":"3_CR32","unstructured":"Schwetman, H.: CSIM Reference Manual (1988)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Smith, C., Llado, C.: Performance model interchange format (pmif 2.0): Xml definition and implementation. In: Proc. of QUEST 2004. IEEE Press (2004)","DOI":"10.1109\/QEST.2004.1348017"},{"issue":"7","key":"3_CR34","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1016\/j.peva.2010.01.006","volume":"67","author":"C. Smith","year":"2010","unstructured":"Smith, C., Llad\u00f3, C., Puigjaner, R.: Performance model interchange format (pmif 2): A comprehensive approach to queueing network model interoperability. Perform. Eval.\u00a067(7), 548\u2013568 (2010)","journal-title":"Perform. Eval."},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-68061-6_26","volume-title":"Computer Performance Evaluation","author":"C.U. Smith","year":"1998","unstructured":"Smith, C.U., Williams, L.G.: Performance Engineering Evaluation of CORBA-Based Distributed Systems with SPE\u2219ED. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol.\u00a01469, pp. 321\u2013335. Springer, Heidelberg (1998)"},{"key":"3_CR36","unstructured":"Smith, C., Williams, L.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley (2001)"},{"key":"3_CR37","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"3_CR38","first-page":"263","volume-title":"SIGMETRICS 1995\/PERFORMANCE 1995","author":"K.S. Trivedi","year":"1995","unstructured":"Trivedi, K.S., Bobbio, A., Ciardo, G., German, R., Puliafito, A., Telek, M.: Non-markovian petri nets. In: SIGMETRICS 1995\/PERFORMANCE 1995, pp. 263\u2013264. ACM, New York (1995)"}],"container-title":["Lecture Notes in Computer Science","Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25575-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:26:13Z","timestamp":1606188373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25575-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642255748","9783642255755"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25575-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}