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.
Formal Methods and Stochastic Models for Performance Evaluation [[electronic resource] ] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / / edited by András Horváth, Miklós Telek
| Formal Methods and Stochastic Models for Performance Evaluation [[electronic resource] ] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / / edited by András Horváth, Miklós Telek |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 239 p.) |
| Disciplina | 004.2/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Computer system failures Computer communication systems Computer logic Theory of Computation Software Engineering System Performance and Evaluation Computer Communication Networks Logics and Meanings of Programs |
| ISBN | 3-540-35365-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Process Algebra -- A Precedence PEPA Model for Performance and Reliability Analysis -- A Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance Specification with Stochastic Probes -- Embedding Real Time in Stochastic Process Algebras -- Workloads and Benchmarks -- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results -- Working Set Characterization of Applications with an Efficient LRU Algorithm -- Theory of Stochastic Processes -- Model Checking for a Class of Performance Properties of Fluid Stochastic Models -- Explicit Inverse Characterizations of Acyclic MAPs of Second Order -- Implementation Relations for Stochastic Finite State Machines -- On the Convergence Rate of Quasi Lumpable Markov Chains -- Formal Dependability and Performance Evaluation -- Applying the UML Class Diagram in the Performance Analysis -- Dependability Evaluation of Web Service-Based Processes -- Queues, Theory and Practice -- Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic -- Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering -- The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System -- Experimental Analysis of the Correlation of HTTP GET Invocations. |
| Record Nr. | UNISA-996465735303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to Queueing Systems with Telecommunication Applications / / by László Lakatos, László Szeidl, Miklós Telek
| Introduction to Queueing Systems with Telecommunication Applications / / by László Lakatos, László Szeidl, Miklós Telek |
| Autore | Lakatos László |
| Edizione | [2nd ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVII, 559 p. 96 illus., 4 illus. in color.) |
| Disciplina |
519.24
519.82 |
| Soggetto topico |
Probabilities
Operations research Management science Computer system failures Electrical engineering Probability Theory and Stochastic Processes Operations Research, Management Science System Performance and Evaluation Communications Engineering, Networks |
| ISBN |
9783030151423
3030151425 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction to probability theory -- Introduction to stochastic processes -- Markov chains -- Renewal and regenerative processes -- Markov chains with special structures -- Introduction to queueing systems -- Markovian queueing systems -- Non-Markovian queueing systems -- Queueing systems with structured Markov chains -- Queueing networks -- Applied queueing systems -- Functions and transforms -- Index. |
| Record Nr. | UNINA-9910338253103321 |
Lakatos László
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Phase Type Distributions, Volume 2 : Theory and Application
| Phase Type Distributions, Volume 2 : Theory and Application |
| Autore | Horváth András |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Newark : , : John Wiley & Sons, Incorporated, , 2022 |
| Descrizione fisica | 1 online resource (280 pages) |
| Altri autori (Persone) | TelekMiklós |
| Soggetto topico |
Stochastic processes
Mathematical models |
| ISBN |
9781119419808
1119419808 9781394329908 1394329903 9781394329892 139432989X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover -- TTitle Page -- Copyright Page -- Contents -- Introduction -- Chapter 1. Mathematical Background -- 1.1. Basic properties of random variables -- 1.2. Moments of random variables and related quantities -- 1.3. Laplace transformation -- 1.4. z transform -- 1.5. Matrix functions of quadratic matrices -- 1.6. Matrix inverse -- 1.7. Eigenvalues and the characteristic polynomial -- 1.8. Spectral decomposition -- 1.9. Ordinary differential equation of vector functions -- 1.10. Exponential distribution -- 1.11. Erlang distribution -- 1.12. Discrete time Markov chain -- 1.13. Continuous time Markov chain -- 1.14. Kronecker algebra -- Chapter 2. Continuous Phase Type Distributions -- 2.1. Definition and basic properties -- 2.2. Stochastic meaning of (-A)-1 -- 2.3. Rational Laplace transform -- 2.4. Decomposition of matrix exponential functions -- 2.5. Similarity transformation -- 2.5.1. Similarity transformation with identical sizes -- 2.5.2. Similarity transformation with different sizes -- 2.5.3. Full rank representation -- 2.6. Closure properties |
| Record Nr. | UNINA-9911019637103321 |
|
Horváth András
|
||
| Newark : , : John Wiley & Sons, Incorporated, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||