performance evaluation complex systems (4 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Modelingandveri cationformalisms,solutionmethods, workloadcharacterization,andbenchmarkingareaddressedfromameth o- 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:FromanAlgebraicFormalismtoSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thefastevolutionandtheincreasedpervasivenessofcomputersandcom- nicationnetworkshaveledtothedevelopmentofalargevarietyofcomplex applicationsandserviceswhichhavebecomeanintegralpartofourdai lylives. Modernsocietywidelyreliesoninformationtechnologies. Hence,theQuality ofService,thatis,thee ciency,availability,reliability,andsecurityofthese technologies,isanessentialrequirementfortheproperfunctioningofmodern society. Inthisscenario,performanceevaluationplaysacentralrole. Performance evaluationhastoassessandpredicttheperformanceofhardwareandsoftwa re systems,andtoidentifyandpreventtheircurrentandfutureperformancebo- lenecks. Inthepastthirtyyears,manyperformanceevaluationtechniquesandtools havebeendevelopedandsuccessfullyappliedinstudiesdealingwiththec- gurationandcapacityplanningofexistingsystemsandwiththedesignand developmentofnewsystems. Recently,performanceevaluationtechniqueshave evolvedtocopewiththeincreasedcomplexityofthecurrentsystemsandtheir workloads. Manyoftheclassicaltechniqueshavebeenrevisitedinlightofthe recenttechnologicaladvances,andnoveltechniques,methods,andtoo lshave beendeveloped. Thisbookisorganizedaroundasetofsurveypaperswhichprovideac- prehensiveoverviewofthetheories,techniques,andtoolsforperformanceand reliabilityevaluationofcurrentandnewemergingtechnologies. Thepapers,by leadinginternationalexpertsinthe eldofperformanceevaluation,arebasedon thetutorialspresentedattheIFIPWG7. 3InternationalSymposiumonCom- terModeling,Measurement,andEvaluation(Performance2002)heldinRom e onSeptember23 27,2002. Thepapersaddressthestateoftheartofthetheoreticalandmethodological advancesintheareaofperformanceandreliabilityevaluationaswellasnew perspectivesinthemajorapplicationdomains. Abroadspectrumoftopicsis coveredinthisbook. Modelingandveri cationformalisms,solutionmethods, workloadcharacterization,andbenchmarkingareaddressedfromametho- logicalpointofview. Applicationsofperformanceandreliabilitytechniquesto variousdomains,suchas,hardwareandsoftwarearchitectures,wiredand- relessnetworks,Gridenvironments,Webservices,real timevoiceandvideo applications,arealsoexamined. Thisbookisintendedtoserveasareferenceforstudents,scientists,and- gineersworkingintheareasofperformanceandreliabilityevaluation,ha rdware 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 . . . . . . . . . . . . . . .

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: New. unique visibilityfast-track conference proceedingsstate-of-the-art researchunique visibilityfast-track conference proceedingsstate-of-the-art researchThis book constitutes the proceedings of the Second Technology Conference on P.