{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:45Z","timestamp":1725512025876},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/mascot.2003.1240661","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"219-224","source":"Crossref","is-referenced-by-count":8,"title":["An open tool to compute stochastic bounds on steady-state distributions and rewards"],"prefix":"10.1109","author":[{"given":"J.-M.","family":"Fourneau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Le Coz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Pekergin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Quessette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796528"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(90)90007-F"},{"key":"ref12","article-title":"An efficient kronecker representation for pepa models","author":"hillston","year":"2001","journal-title":"Aachen Germany"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1212","DOI":"10.1109\/INFCOM.1999.751678","article-title":"Stochastic delay bounds on fair queueing algorithms","author":"pekergin","year":"1999","journal-title":"Proceedings of INFOCOM'99"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/317795.317819"},{"article-title":"Introduction to the Numerical Solution of Markov Chains","year":"1994","author":"stewart","key":"ref15"},{"article-title":"Comparison Methods for Queues and Other Stochastic Models","year":"1983","author":"stoyan","key":"ref16"},{"key":"ref4","article-title":"A new proof of st-Comparison for polynomials of a stochastic matrix","author":"boujdaine","year":"0","journal-title":"Submitted 2003"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1017\/S0269964802164023","article-title":"Closed form stochastic bounds on the stationary distribution of markov chains","author":"benmammoun","year":"2002","journal-title":"Probability in the Engineering and Informational Sciences"},{"key":"ref6","first-page":"228","article-title":"Stochastic comparison, reorderings, and nearly completely decomposable markov chains","author":"dayar","year":"1999","journal-title":"Proceedings of the International Conference on the Numerical Solution of Markov Chains (NSMC'99)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1051\/ro:2003015"},{"key":"ref8","article-title":"Algorithms for an irreducible and lumpable strong stochastic bound","author":"fourneau","year":"2003","journal-title":"Numerical Solution of Markov Chains"},{"key":"ref7","article-title":"Superposed generalized stochastic petri nets: definition and efficient solution","author":"donatelli","year":"1994","journal-title":"Proc Int Conf Application and Theory of Petri Nets"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.2002.1167098"},{"key":"ref1","article-title":"An algorithm to bound functionals of markov chains with large state space","author":"abu-amsha","year":"1998","journal-title":"4th INFORMS Conference on Telecommunications"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-45798-4_4","article-title":"An algorithmic approach to stochastic bounds","author":"fourneau","year":"2002","journal-title":"LNCS 2459 Performance evaluation of complex systems Techniques and Tools"}],"event":{"name":"11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS","acronym":"MASCOT-03","location":"Orlando, FL, USA"},"container-title":["11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8783\/27814\/01240661.pdf?arnumber=1240661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T10:14:26Z","timestamp":1585822466000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1240661\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/mascot.2003.1240661","relation":{},"subject":[]}}