Buch, Englisch, Band 2459, 499 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1580 g
Performance 2002. Tutorial Lectures
Buch, Englisch, Band 2459, 499 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1580 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-44252-3
Verlag: Springer Berlin Heidelberg
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 SchoolofElectricalEngineeringandComputerScience UniversityofCentralFlorida Orlando,FL32816 erol@cs. ucf. edu Abstract. ThepurposeofthistutorialpresentationistointroduceG- Networks,orGelenbeNetworks,whichareproductformqueueingn- works which include normal or positive customers, as well as negative customers which destroy other customers, and triggers which displace othercustomersfromonequeuetoanother. Wederivethebalanceeq- tionsforthesemodelsinthecontextofmultiplecustomerclasses,show the product form results, and exhibit the tra?c equations which – in thiscase,contrarytoBCMPandJacksonnetworks-arenon-linear. This leadstointerestingissuesofexistenceanduniquenessofthesteady-state solution. GelenbeNetworkcanbeusedtomodellargescalecomputers- temsandnetworksinwhichsignalingfunctionsrepresentedbynegative customersandtriggersareusedtoachieve?owandcongestioncontrol. 1 Introduction In this survey and tutorial, we discuss a class of queueing networks, originally inspired by our work on neural networks, in which customers are either “signals” or positive customers.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
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.
