Performance Evaluation of Complex Systems: Techniques and Tools

Bücher

Angebote / Angebote:

Modelingandveri?cationformalisms, solutionmethods, workloadcharacterization, andbenchmarkingareaddressedfromametho- logicalpointofview. Applicationsofperformanceandreliabilitytechniquesto variousdomains, suchas, hardwareandsoftwarearchitectures, wiredand- relessnetworks, Gridenvironments, Webservices, real-timevoiceandvideo applications, arealsoexamined. Thisbookisintendedtoserveasareferenceforstudents, scientists, and- gineersworkingintheareasofperformanceandreliabilityevaluation, hardware andsoftwaredesign, andcapacityplanning. VI Preface Finally, aseditorsofthebook, wewouldliketothankallauthorsfortheir valuablecontributionsandtheire?ortandcooperationinthepreparationof theirmanuscripts. July2002 MariaCarlaCalzarossa SalvatoreTucci TableofContents G-Networks:MultipleClassesofPositiveCustomers, Signals, and ProductFormResults . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 ErolGelenbe SpectralExpansionSolutionsforMarkov-ModulatedQueues . . . . . . . . . . . . 17 IsiMitrani M/G/1-TypeMarkovProcesses:ATutorial . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 AlmaRiska, EvgeniaSmirni AnAlgorithmicApproachtoStochasticBounds . . . . . . . . . . . . . . . . . . . . . . . 64 J. M. Fourneau, N. Pekergin DynamicSchedulingviaPolymatroidOptimization. . . . . . . . . . . . . . . . . . . . . 89 DavidD. Yao WorkloadModelingforPerformanceEvaluation. . . . . . . . . . . . . . . . . . . . . . . . 114 DrorG. Feitelson CapacityPlanningforWebServices(TechniquesandMethodology) . . . . . . 142 VirgilioA. F. Almeida End-to-EndPerformanceofWebServices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 PaoloCremonesi, GiuseppeSerazzi Benchmarking. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179 ReinholdWeicker BenchmarkingModelsandToolsforDistributedWeb-ServerSystems. . . . . 208 MauroAndreolini, ValeriaCardellini, MicheleColajanni StochasticProcessAlgebra:FromanAlgebraicFormalismto