salvatore tucci (10 risultati)

Paperback. Condizione: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.

Condizione: new.

Condizione: New. In.

Condizione: buono. Architettura Fine arts Architecture Procedimenti e Strumentazioni tecniche 4 Progetto/tecnologia/ambiente in 8° grande, bross. edit. ill. - prima edizione - numerose illustrazioni a colori nel testo OTTIME CONDIZIONI.

Taschenbuch. Condizione: 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. Condizione: 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 . . . . . . . . . . . . . . .

Condizione: buono. Architettura Fine arts Architecture Progetto/Tecnologia/Ambiente Il Convegno Internazionale «Efficienza Ecologica ed Energetica in Architettura» si è tenuto presso la Casa dell'Architettura di Roma, ex Acquario Romano, Piazza Manfredo Fanti, 47 Roma il 14 e 15 maggio 2007 - in 8° grande, bross. edit. ill. con bandelle, segno di piega al dorso - prima edizione - Abstract in italiano e inglese - riccamente illustrato a colori nel testo BUONE CONDIZIONI.

Soft cover. Condizione: Very Good. Condizione sovraccoperta: Very Good. 1st Edition. 4° - 253pp - Color Plates and Color & B/w reproductions. AFRICA Stories of Italian travelers - Foreword by Leopold Senghor. First edition, text in Italian language. Original bnoards and dust-jacket. In Very good condition.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thefastevolutionandtheincreasedpervasivenessofcomputersandcom- nicationnetworkshaveledtothedevelopmentofalargevarietyofcomplex applicationsandserviceswhichhavebecomeanintegralpartofourdailylives. Modernsocietywidelyreliesoninformationtechnologies. Hence,theQuality ofService,thatis,thee ciency,availability,reliability,andsecurityofthese technologies,isanessentialrequirementfortheproperfunctioningofmodern society. Inthisscenario,performanceevaluationplaysacentralrole. Performance evaluationhastoassessandpredicttheperformanceofhardwareandsoftware systems,andtoidentifyandpreventtheircurrentandfutureperformancebo- lenecks. Inthepastthirtyyears,manyperformanceevaluationtechniquesandtools havebeendevelopedandsuccessfullyappliedinstudiesdealingwiththec- gurationandcapacityplanningofexistingsystemsandwiththedesignand developmentofnewsystems. Recently,performanceevaluationtechniqueshave evolvedtocopewiththeincreasedcomplexityofthecurrentsystemsand their workloads. Manyoftheclassicaltechniqueshavebeenrevisitedinlightofthe recenttechnologicaladvances,andnoveltechniques,methods,andtoolshave beendeveloped. Thisbookisorganizedaroundasetofsurveypaperswhichprovideac- prehensiveoverviewofthetheories,techniques,andtoolsforperformanceand reliabilityevaluationofcurrentandnewemergingtechnologies. Thepapers,by leadinginternationalexpertsinthe eldofperformanceevaluation,arebasedon thetutorialspresentedattheIFIPWG7. 3InternationalSymposiumonCom- terModeling,Measurement,andEvaluation(Performance2002)heldinRome 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,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 . . . . . . . . . . . . . . . 508 pp. Englisch.

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 vi.