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 | ||
Materiale a stampa | ||
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 |
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 |
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. | UNINA-9910349399003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|