Computer Performance Engineering [[electronic resource] ] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
| Computer Performance Engineering [[electronic resource] ] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 265 p. 92 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Artificial intelligence Algorithms Software engineering Computer security System Performance and Evaluation Artificial Intelligence Algorithm Analysis and Problem Complexity Software Engineering Systems and Data Security |
| ISBN | 3-030-02227-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. . |
| Record Nr. | UNISA-996466426903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
| Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 265 p. 92 illus.) |
| Disciplina |
004
004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers - Evaluation
Artificial intelligence Algorithms Software engineering Data protection System Performance and Evaluation Artificial Intelligence Software Engineering Data and Information Security |
| ISBN |
9783030022273
3030022277 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. . |
| Record Nr. | UNINA-9910349399003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||