Performance Evaluation of Complex Systems : Techniques and Tools : Performance 2002 Tutorial Lectures

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:FromanAlgebraicFormalismtoan ArchitecturalDescriptionLanguage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236 MarcoBernardo,LorenzoDonatiello,PaoloCiancarini AutomatedPerformanceandDependabilityEvaluationUsingModel Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261 ChristelBaier,BoudewijnHaverkort,HolgerHermanns, Joost-PieterKatoen Measurement-BasedAnalysisofSystemDependabilityUsingFault InjectionandFieldFailureData . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290 RavishankarK. Iyer,ZbigniewKalbarczyk VIII TableofContents SoftwareReliabilityandRejuvenation:ModelingandAnalysis. . . . . . . . . . . 318 KishorS. Trivedi,KalyanaramanVaidyanathan PerformanceValidationofMobileSoftwareArchitectures . . . . . . . . . . . . . . . 346 VincenzoGrassi,VittorioCortellessa,Ra?aelaMirandola PerformanceIssuesofMultimediaApplications . . . . . . . . . . . . . . . . . . . . . . . . 374 EdmundodeSouzaeSilva,RosaM. M. Le˜ao,BerthierRibeiro-Neto, S´ergioCampos MarkovianModelingofRealDataTra?c:HeuristicPhaseTypeand MAPFittingofHeavyTailedandFractalLikeSamples. . . . . . . . . . . . . . . . . 405 Andr´asHorv´ath,Mikl´osTelek OptimizationofBandwidthandEnergyConsumptioninWireless LocalAreaNetworks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 435 MarcoConti,EnricoGregori ServiceCentricComputing–NextGenerationInternetComputing. . . . . . . 463 JerryRolia,RichFriedrich,ChandrakantPatel EuropeanDataGridProject:ExperiencesofDeployingaLargeScale TestbedforE-scienceApplications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 480 FabrizioGagliardi,BobJones,MarioReale,StephenBurke AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501 G-Networks: Multiple Classes of Positive Customers, Signals, and Product Form Results Erol Gelenbe SchoolofElectricalEngineeringandComputerScienc

Praise for Harald Pasch and Wolfgang Schrepp's, MALDI-TOF Mass Spectrometry of Synthetic Polymers.

JACS Book Reviews

"This book is well written and provides comprehensive information toward practical and established MALDITOF MS of synthetic polymer. Other newly developed areas, such as the analysis of nanoparticles, are only mentioned in passing, however. Nonetheless, the book is recommended reading for practitioners in this field."