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

Brossura

ISBN 10: 3540442529 ISBN 13: 9783540442523

Casa editrice: Springer, 2009

Riassunto

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

Su questo libro

Recensione

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."

Contenuti

G-Networks: Multiple Classes of Positive Customers, Signals, and Product Form Results.- Spectral Expansion Solutions for Markov-Modulated Queues.- M/G/1-Type Markov Processes: A Tutorial.- An Algorithmic Approach to Stochastic Bounds.- Dynamic Scheduling via Polymatroid Optimization.- Workload Modeling for Performance Evaluation.- Capacity Planning for Web Services Techniques and Methodology.- End-to-End Performance of Web Services.- Benchmarking.- Benchmarking Models and Tools for Distributed Web-Server Systems.- Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language.- Automated Performance and Dependability Evaluation Using Model Checking.- Measurement-Based Analysis of System Dependability Using Fault Injection and Field Failure Data.- Software Reliability and Rejuvenation: Modeling and Analysis.- Performance Validation of Mobile Software Architectures.- Performance Issues of Multimedia Applications.- Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples.- Optimization of Bandwidth and Energy Consumption in Wireless Local Area Networks.- Service Centric Computing - Next Generation Internet Computing.- European DataGrid Project: Experiences of Deploying a Large Scale Testbed for E-science Applications.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 3540442529
• ISBN 13: 9783540442523
• Rilegatura: Copertina flessibile
• Numero di pagine: 516
• Redattore: Calzarossa Maria Carla
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania