LEADER 04871nam 22006612 450 001 9910465041203321 005 20151019153022.0 010 $a1-107-23684-3 010 $a1-107-25475-2 010 $a1-139-61641-2 010 $a1-139-62571-3 010 $a1-139-61269-7 010 $a1-139-22642-8 035 $a(CKB)3460000000129185 035 $a(EBL)1099911 035 $a(OCoLC)828302647 035 $a(SSID)ssj0000821329 035 $a(PQKBManifestationID)11444804 035 $a(PQKBTitleCode)TC0000821329 035 $a(PQKBWorkID)10870655 035 $a(PQKB)11637685 035 $a(UkCbUP)CR9781139226424 035 $a(MiAaPQ)EBC1099911 035 $a(Au-PeEL)EBL1099911 035 $a(CaPaEBR)ebr10659343 035 $a(EXLCZ)993460000000129185 100 $a20120104d2013|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPerformance modeling and design of computer systems $equeueing theory in action /$fMor Harchol-Balter, Carnegie Mellon University, Pennsylvania$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2013. 215 $a1 online resource (xxiii, 548 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a1-107-02750-0 311 $a1-139-61083-X 320 $aIncludes bibliographical references and index. 327 $aMachine generated contents note: Part I. Introduction to Queueing: 1. Motivating examples; 2. Queueing theory terminology; Part II. Necessary Probability Background: 3. Probability review; 4. Generating random variables; 5. Sample paths, convergence, and averages; Part III. The Predictive Power of Simple Operational Laws: 'What If' Questions and Answers; 6. Operational laws; 7. Modification analysis; Part IV. From Markov Chains to Simple Queues: 8. Discrete-time Markov Chains; 9. Ergodicity theory; 10. Real-world examples: Google, Aloha; 11. Generating functions for Markov Chains; 12. Exponential distributions and Poisson Process; 13. Transition to continuous-time Markov Chains; 14. M/M/1 and PASTA; Part V. Server Farms and Networks: Multi-server, Multi-queue Systems: 15. Server farms: M/M/k and M/M/k/k; 16. Capacity provisioning for server farms; 17. Time-reversibility and Burke's Theorem; 18. Jackson network of queues; 19. Classed network of queues; 20. Closed networks of queues; Part VI. Real-World Workloads: High-Variability and Heavy Tails: 21. Tales of tails: real-world workloads; 22. Phase-type workloads and matrix-analytic; 23. Networks of time-sharing (PS) servers; 24. M/G/I queue and inspection paradox; 25. Task assignment for server farms; 26. Transform analysis; 27. M/G/I transform analysis; 28. Power optimization application; Part VII. Smart Scheduling: 29. Performance metrics; 30. Non-preemptive, non-size-based policies; 31. Preemptive, non-size-based policies; 32. Non-preemptive, size-based policies; 33. Preemptive, size-based policies; 34. Scheduling: SRPT and fairness. 330 $aTackling the questions that systems designers care about, this book brings queueing theory decisively back to computer science. The book is written with computer scientists and engineers in mind and is full of examples from computer systems, as well as manufacturing and operations research. Fun and readable, the book is highly approachable, even for undergraduates, while still being thoroughly rigorous and also covering a much wider span of topics than many queueing books. Readers benefit from a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises - all while acquiring the skills needed to model, analyze and design large-scale systems with good performance and low cost. The exercises are an important feature, teaching research-level counterintuitive lessons in the design of computer systems. The goal is to train readers not only to customize existing analyses but also to invent their own. 517 3 $aPerformance modeling & design of computer systems 606 $aTransaction systems (Computer systems)$xMathematical models 606 $aComputer systems$xDesign and construction$xMathematics 606 $aQueuing theory 606 $aQueuing networks (Data transmission) 615 0$aTransaction systems (Computer systems)$xMathematical models. 615 0$aComputer systems$xDesign and construction$xMathematics. 615 0$aQueuing theory. 615 0$aQueuing networks (Data transmission) 676 $a519.8/2 700 $aHarchol-Balter$b Mor$f1966-$0925107 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910465041203321 996 $aPerformance modeling and design of computer systems$92453545 997 $aUNINA LEADER 01370nam 2200301 n 450 001 996396526203316 005 20221102114333.0 035 $a(CKB)4330000000334810 035 $a(EEBO)2240896654 035 $a(UnM)9958554000971 035 $a(EXLCZ)994330000000334810 100 $a19980205d1692 uy 101 0 $aeng 135 $aurbn||||a|bb| 200 02$aA true list of the French fleet for the year 1692$b[electronic resource] $eCommanded by the Count de Tourville, consisting of two squadrons, the blue and the white, with the number of men and guns. From the copy printed at Paris, by the French King's order. Licensed and entered according to order 210 $a[London $cPrinted for Richard Baldwin, near the Oxford-Arms-Inn, Warwick-Lane$d1692] 215 $a1 sheet ([1] p.) 300 $aFilmed copy at UMI Tracts Supplement reel C15 title page damaged excising imprint; also has docket title in mss. following. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 607 $aFrance$xHistory, Naval$y17th century$vSources$vEarly works to 1800 607 $aFrance$xHistory$yLouis XIV, 1643-1715$vEarly works to 1800 801 0$bCu-RivES 801 1$bCu-RivES 906 $aBOOK 912 $a996396526203316 996 $aA true list of the French fleet for the year 1692$92414078 997 $aUNISA LEADER 01595nam a22002891i 4500 001 991002895709707536 005 20040417090754.0 008 040624m19631964xxu|||||||||||||||||mul 035 $ab12994273-39ule_inst 035 $aARCHE-095195$9ExL 040 $aDip.to Beni Culturali$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 041 0 $aenglat 082 04$a937.08 100 0 $aAmmianus Marcellinus$0256090 245 10$aAmmianus Marcellinus :$bin three volumes /$cwith an english translation by John C. Rolfe 260 $aCambridge :$bHarvard University press ;$aLondon :$bW. Heinemann,$c1963-1964 300 $a3 v. ;$c17 cm 440 4$aThe Loeb classical library 700 1 $aRolfe, John Carew 907 $a.b12994273$b02-04-14$c12-07-04 912 $a991002895709707536 945 $aLE001 LAT A1 I$g1$i2001000077793$lle001$nV. 1. - C. 1. - PATRIMONIO DELLA BIBL. INTERFACOLTA. IN CONSULTAZIONE PRESSO LA BIBL. DEL DIP. DI BENI CULTURALI$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13601131$z12-07-04 945 $aLE001 LAT A1 II$g1$i2001000077809$lle001$nV. 2. - C. 1. - PATRIMONIO DELLA BIBL. INTERFACOLTA. IN CONSULTAZIONE PRESSO LA BIBL. DEL DIP. DI BENI CULTURALI$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13601143$z12-07-04 945 $aLE001 LAT A1 III$g1$i2001000077823$lle001$nV. 3. - C. 1. - PATRIMONIO DELLA BIBL. INTERFACOLTA. IN CONSULTAZIONE PRESSO LA BIBL. DEL DIP. DI BENI CULTURALI$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13601155$z12-07-04 996 $aAmmianus Marcellinus$9283471 997 $aUNISALENTO 998 $ale001$b12-07-04$cm$da $e-$fmul$gxxu$h0$i3