Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS
| 2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2013 |
| Disciplina | 004.029 |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability Engineering & Applied Sciences Computer Science |
| ISBN |
1-4673-5779-0
1-4673-5778-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279953803316 |
| [Place of publication not identified], : IEEE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS
| 2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2013 |
| Disciplina | 004.029 |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability Engineering & Applied Sciences Computer Science |
| ISBN |
9781467357791
1467357790 9781467357784 1467357782 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910133729003321 |
| [Place of publication not identified], : IEEE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings / / edited by Nigel Thomas
| Computer Performance Engineering [[electronic resource] ] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings / / edited by Nigel Thomas |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 341 p. 115 illus.) |
| Disciplina | 004.029 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer logic Data mining Computer programming Application software Software Engineering Computer Communication Networks Logics and Meanings of Programs Data Mining and Knowledge Discovery Programming Techniques Information Systems Applications (incl. Internet) |
| ISBN | 3-642-24749-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465939103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / / edited by Jeremy T. Bradley
| Computer Performance Engineering [[electronic resource] ] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / / edited by Jeremy T. Bradley |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 221 p.) |
| Disciplina | 004.029 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Computers Computer engineering Software engineering Computer programming System Performance and Evaluation Theory of Computation Computer Engineering Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques |
| Soggetto genere / forma |
Kongress.
London (2009) |
| ISBN | 3-642-02924-8 |
| Classificazione |
DAT 280f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tagged Generalized Stochastic Petri Nets -- Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation -- Performance of Auctions and Sealed Bids -- Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions -- Mean Value Analysis for a Class of PEPA Models -- Automatic Generation of Performance Analysis Results: Requirements and Demonstration -- Analytical Model of Traffic Compression in the UMTS Network -- From DFTs to PEPA: A Model-to-Model Transformation -- Passage-End Analysis -- Stochastic Monotonicity in Queueing Networks -- Fast Generation of Scale Free Networks with Directed Arcs -- A More Realistic Peer-to-Peer Grid Market Model -- Migrating Auctioneers on Internet Auctions for Improved Utility and Performance -- Analytical Model of the Soft Handoff Mechanism in the UMTS Network -- Analytical Model of TCP NewReno through a CTMC -- Packet Loss Analysis of Load-Balancing Switch with ON/OFF Input Processes -- Approximate Analysis of a Round Robin Scheduling Scheme for Network Coding -- Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. |
| Record Nr. | UNISA-996465623103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / / edited by Jeremy T. Bradley
| Computer Performance Engineering : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / / edited by Jeremy T. Bradley |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 221 p.) |
| Disciplina | 004.029 |
| Altri autori (Persone) | BradleyJ. T (Jeremy T.) |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers - Evaluation
Computer science Computer engineering Computer networks Software engineering Computer programming System Performance and Evaluation Theory of Computation Computer Engineering and Networks Software Engineering Programming Techniques |
| ISBN | 3-642-02924-8 |
| Classificazione |
DAT 280f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tagged Generalized Stochastic Petri Nets -- Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation -- Performance of Auctions and Sealed Bids -- Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions -- Mean Value Analysis for a Class of PEPA Models -- Automatic Generation of Performance Analysis Results: Requirements and Demonstration -- Analytical Model of Traffic Compression in the UMTS Network -- From DFTs to PEPA: A Model-to-Model Transformation -- Passage-End Analysis -- Stochastic Monotonicity in Queueing Networks -- Fast Generation of Scale Free Networks with Directed Arcs -- A More Realistic Peer-to-Peer Grid Market Model -- Migrating Auctioneers on Internet Auctions for Improved Utility and Performance -- Analytical Model of the Soft Handoff Mechanism in the UMTS Network -- Analytical Model of TCP NewReno through a CTMC -- Packet Loss Analysis of Load-Balancing Switch with ON/OFF Input Processes -- Approximate Analysis of a Round Robin Scheduling Scheme for Network Coding -- Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents. |
| Record Nr. | UNINA-9910484919303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative assessments of distributed systems : methodologies and techniques / / edited by Dario Bruneo and Salvatore Distefano ; cover design by Russell Richardson
| Quantitative assessments of distributed systems : methodologies and techniques / / edited by Dario Bruneo and Salvatore Distefano ; cover design by Russell Richardson |
| Pubbl/distr/stampa | Salem, Massachusetts ; ; Hoboken, New Jersey : , : Scrivener Publishing : , : Wiley, , 2015 |
| Descrizione fisica | 1 online resource (398 p.) |
| Disciplina | 004.029 |
| Collana | Performability Engineering Series |
| Soggetto topico |
Computer systems - Evaluation - Mathematics
System analysis - Mathematics Electronic data processing - Distributed processing - Mathematical models Quantitative research |
| ISBN |
1-119-13113-8
1-119-13115-4 1-119-13114-6 |
| Classificazione | TEC008000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright Page; Contents; Preface; PART I VERIFICATION; 1 Modeling and Verification of Distributed Systems Using Markov Decision Processes; 1.1 Introduction; 1.2 Markov Decision Processes; 1.3 Markov Decision Well-Formed Net formalism; 1.4 Case study: Peer-to-Peer Botnets; 1.5 Conclusion; Appendices: Well-formed Net Formalism; A.0.1 Syntax of Basic Predicates; A.0.2 Markings and Enabling; References; 2 Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial; 2.1 Introduction; 2.2 StoKlaim: Stochastic Klaim; 2.2.1 Klaim in a Nutshell; 2.2.2 Syntactic Categories
2.2.3 StoKlaim Syntax2.2.4 StoKlaim at Work; 2.3 StoKlaim Operational Semantics; 2.3.1 Rate Transition Systems; 2.3.2 StoKlaim: RTS-based Semantics; 2.4 MoSL: Mobile Stochastic Logic; 2.5 jSAM: Java Stochastic Model-Checker; 2.6 Leader Election in StoKlaim; 2.6.1 As far as it can; 2.6.2 Asynchronous Leader Election; 2.7 Concluding Remarks; References; 3 Stochastic Path Properties of Distributed Systems: the CSLTA Approach; 3.1 Introduction; 3.2 The Reference Formalisms for System Definition; 3.3 The Formalism for Path Property Definition: CSLTA; 3.4 CSLTA at work: a Fault-Tolerant Node 3.5 Literature Comparison3.6 Summary and Final Remarks; References; PART II EVALUATION; 4 Failure Propagation in Load-Sharing Complex Systems; 4.1 Introduction; 4.2 Building Blocks; 4.2.1 Coarse-grained Modeling; 4.2.2 Abstract Mechanisms Impacting the Failure Occurrence; 4.2.3 Parametric Distributions Revisited; 4.2.4 Exponential Distribution; 4.2.5 Weibull Distribution; 4.2.6 Lognormal Distribution; 4.2.7 Other Distributions; 4.3 Sand Box for Distributed Failures; 4.3.1 Failure Modes; 4.3.2 LOS and Stress Rupture; 4.4 Summary; References 5 Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions5.1 Introduction; 5.2 Phase Type and Matrix Exponential Distributions; 5.3 Bernstein Polynomials and Expolynomials; 5.4 Application of BEs to Distribution Fitting; 5.5 Application of BEs to Transient Probabilities; 5.6 Conclusions; References; 6 Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus; 6.1 Introduction; 6.2 Basic Network Calculus Modeling: Per-fl ow Scheduling; 6.2.1 Service Curve; 6.2.2 Arrival Curve; 6.2.3 Delay and Backlog Bounds; 6.2.4 Numerical Examples 6.3 Advanced Network Calculus Modeling: Aggregate Multiplexing6.3.1 Aggregate-multiplexing Schemes; 6.4 Tandem Systems Traversed by Several Flows; 6.4.1 Model; 6.4.2 Loss of the Tightness; 6.4.3 Separated-flow Analysis; 6.5 Mathematical Programming Approach; 6.5.1 Blind Multiplexing; 6.5.2 FIFO Multiplexing; 6.6 Related Work; 6.7 Numerical Results; 6.8 Conclusions; References; 7 Cloud Evaluation: Benchmarking and Monitoring; 7.1 Introduction; 7.2 Benchmarking; 7.2.1 Benchamrking State of Art; 7.2.2 Benchmarking Big Data Services; 7.3 Benchmarking with mOSAIC; 7.4 Monitoring 7.4.1 Monitoring Problem Scenarios |
| Record Nr. | UNINA-9910131281903321 |
| Salem, Massachusetts ; ; Hoboken, New Jersey : , : Scrivener Publishing : , : Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative assessments of distributed systems : methodologies and techniques / / edited by Dario Bruneo and Salvatore Distefano ; cover design by Russell Richardson
| Quantitative assessments of distributed systems : methodologies and techniques / / edited by Dario Bruneo and Salvatore Distefano ; cover design by Russell Richardson |
| Pubbl/distr/stampa | Salem, Massachusetts ; ; Hoboken, New Jersey : , : Scrivener Publishing : , : Wiley, , 2015 |
| Descrizione fisica | 1 online resource (398 p.) |
| Disciplina | 004.029 |
| Collana | Performability Engineering Series |
| Soggetto topico |
Computer systems - Evaluation - Mathematics
System analysis - Mathematics Electronic data processing - Distributed processing - Mathematical models Quantitative research |
| ISBN |
1-119-13113-8
1-119-13115-4 1-119-13114-6 |
| Classificazione | TEC008000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright Page; Contents; Preface; PART I VERIFICATION; 1 Modeling and Verification of Distributed Systems Using Markov Decision Processes; 1.1 Introduction; 1.2 Markov Decision Processes; 1.3 Markov Decision Well-Formed Net formalism; 1.4 Case study: Peer-to-Peer Botnets; 1.5 Conclusion; Appendices: Well-formed Net Formalism; A.0.1 Syntax of Basic Predicates; A.0.2 Markings and Enabling; References; 2 Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial; 2.1 Introduction; 2.2 StoKlaim: Stochastic Klaim; 2.2.1 Klaim in a Nutshell; 2.2.2 Syntactic Categories
2.2.3 StoKlaim Syntax2.2.4 StoKlaim at Work; 2.3 StoKlaim Operational Semantics; 2.3.1 Rate Transition Systems; 2.3.2 StoKlaim: RTS-based Semantics; 2.4 MoSL: Mobile Stochastic Logic; 2.5 jSAM: Java Stochastic Model-Checker; 2.6 Leader Election in StoKlaim; 2.6.1 As far as it can; 2.6.2 Asynchronous Leader Election; 2.7 Concluding Remarks; References; 3 Stochastic Path Properties of Distributed Systems: the CSLTA Approach; 3.1 Introduction; 3.2 The Reference Formalisms for System Definition; 3.3 The Formalism for Path Property Definition: CSLTA; 3.4 CSLTA at work: a Fault-Tolerant Node 3.5 Literature Comparison3.6 Summary and Final Remarks; References; PART II EVALUATION; 4 Failure Propagation in Load-Sharing Complex Systems; 4.1 Introduction; 4.2 Building Blocks; 4.2.1 Coarse-grained Modeling; 4.2.2 Abstract Mechanisms Impacting the Failure Occurrence; 4.2.3 Parametric Distributions Revisited; 4.2.4 Exponential Distribution; 4.2.5 Weibull Distribution; 4.2.6 Lognormal Distribution; 4.2.7 Other Distributions; 4.3 Sand Box for Distributed Failures; 4.3.1 Failure Modes; 4.3.2 LOS and Stress Rupture; 4.4 Summary; References 5 Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions5.1 Introduction; 5.2 Phase Type and Matrix Exponential Distributions; 5.3 Bernstein Polynomials and Expolynomials; 5.4 Application of BEs to Distribution Fitting; 5.5 Application of BEs to Transient Probabilities; 5.6 Conclusions; References; 6 Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus; 6.1 Introduction; 6.2 Basic Network Calculus Modeling: Per-fl ow Scheduling; 6.2.1 Service Curve; 6.2.2 Arrival Curve; 6.2.3 Delay and Backlog Bounds; 6.2.4 Numerical Examples 6.3 Advanced Network Calculus Modeling: Aggregate Multiplexing6.3.1 Aggregate-multiplexing Schemes; 6.4 Tandem Systems Traversed by Several Flows; 6.4.1 Model; 6.4.2 Loss of the Tightness; 6.4.3 Separated-flow Analysis; 6.5 Mathematical Programming Approach; 6.5.1 Blind Multiplexing; 6.5.2 FIFO Multiplexing; 6.6 Related Work; 6.7 Numerical Results; 6.8 Conclusions; References; 7 Cloud Evaluation: Benchmarking and Monitoring; 7.1 Introduction; 7.2 Benchmarking; 7.2.1 Benchamrking State of Art; 7.2.2 Benchmarking Big Data Services; 7.3 Benchmarking with mOSAIC; 7.4 Monitoring 7.4.1 Monitoring Problem Scenarios |
| Record Nr. | UNINA-9910809546503321 |
| Salem, Massachusetts ; ; Hoboken, New Jersey : , : Scrivener Publishing : , : Wiley, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||