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.
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance [[electronic resource] ] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings / / edited by Kai Fischbach, Udo R. Krieger
| Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance [[electronic resource] ] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings / / edited by Kai Fischbach, Udo R. Krieger |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 265 p. 124 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer communication systems Application software Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Computer Communication Networks Information Systems Applications (incl. Internet) Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-319-05359-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance and dependability evaluation of systems including networks -- Computer architectures -- Distributed systems -- Workflow systems -- Software, fault-tolerant and secure systems. |
| Record Nr. | UNISA-996205175803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings / / edited by Kai Fischbach, Udo R. Krieger
| Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings / / edited by Kai Fischbach, Udo R. Krieger |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 265 p. 124 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer networks Application software Computer logic Computer programming Software Engineering Programming Languages, Compilers, Interpreters Computer Communication Networks Information Systems Applications (incl. Internet) Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-319-05359-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance and dependability evaluation of systems including networks -- Computer architectures -- Distributed systems -- Workflow systems -- Software, fault-tolerant and secure systems. |
| Record Nr. | UNINA-9910485044603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Measurement, Modelling and Evaluation of Computing Systems [[electronic resource] ] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
| Measurement, Modelling and Evaluation of Computing Systems [[electronic resource] ] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 344 p. 112 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization E-commerce Computers Artificial intelligence Computer science—Mathematics Software Engineering Computer Systems Organization and Communication Networks e-Commerce/e-business Information Systems and Communication Service Artificial Intelligence Mathematics of Computing |
| ISBN | 3-319-74947-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Time-Based Maintenance Models under Uncertainty -- Markov Automata on Discount -- Markov Analysis for Optimum Caching as an Alternative to Belady's Algorithm -- Intrusion Detection for Sequence-based Attacks with Reduced Traffic Models -- Hidden Storage in Data Centers: Gaining Flexibility Through Cooling Systems -- Performance Benchmarking of Network Function Chain Placement Algorithms -- Towards Optimal Placement of Monitoring Units in Time-varying Networks under Centralized Control -- Estimating the Flow Rule Installation Time of SDN Switches when Facing Control Plane Delay -- Dynamic Control of Running Servers -- On the Value of Service Demand Estimation for Auto-Scaling -- Evaluating a Single-Server Queue with Asynchronous Speed Scaling -- Active Queue Management Based on Congestion Policing (CP-AQM) -- Deficit Round Robin with Limited Deficit Savings (DRR-LDS) for Fairness among TCP Users -- Modeling the Performance of ARQ Error Control in an LTE Transmission System -- Catching Corner Cases in Network Calculus { Flow Segregation Can Improve Accuracy -- QoE Analysis of the Setup of Different Internet Services for FIFO Server Systems -- Industrial, Practical Experience and PhD Track Papers -- VirtuWind - An SDN- and NFV-based Architecture for Softwarized Industrial Networks -- A Modular Environment to Test SCADA Solutions for Wind Parks -- Evaluation of Single-Hop Beaconing with Congestion Control in IEEE WAVE and ETSI ITS-G5 -- Practical QoE Evaluation of Adaptive Video Streaming -- Tool Papers -- A Domain-Specific Language and Toolchain for Performance Evaluation based on Measurements -- SLA Tool -- A Tool for Generating Automata of IEC60870-5-104 Implementations -- A Software Tool for the Compact Solution of the Chemical Master Equation -- Logical PetriNet - A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits -- ClassCast: A Tool for Class-Based Forecasting -- Collider - Parallel Experiments in Silico -- FunSpec4DTMC { A Tool for Modelling Discrete-Time Markov Chains Using Functional Specifications -- Model-based System Design and Evaluation of Image Processing Architectures with SimTAny Framework. |
| Record Nr. | UNISA-996465768703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Measurement, Modelling and Evaluation of Computing Systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
| Measurement, Modelling and Evaluation of Computing Systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 344 p. 112 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Electronic commerce Artificial intelligence Computer science—Mathematics Software Engineering Computer Engineering and Networks e-Commerce and e-Business Computer Communication Networks Artificial Intelligence Mathematics of Computing |
| ISBN |
9783319749471
3319749471 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Time-Based Maintenance Models under Uncertainty -- Markov Automata on Discount -- Markov Analysis for Optimum Caching as an Alternative to Belady's Algorithm -- Intrusion Detection for Sequence-based Attacks with Reduced Traffic Models -- Hidden Storage in Data Centers: Gaining Flexibility Through Cooling Systems -- Performance Benchmarking of Network Function Chain Placement Algorithms -- Towards Optimal Placement of Monitoring Units in Time-varying Networks under Centralized Control -- Estimating the Flow Rule Installation Time of SDN Switches when Facing Control Plane Delay -- Dynamic Control of Running Servers -- On the Value of Service Demand Estimation for Auto-Scaling -- Evaluating a Single-Server Queue with Asynchronous Speed Scaling -- Active Queue Management Based on Congestion Policing (CP-AQM) -- Deficit Round Robin with Limited Deficit Savings (DRR-LDS) for Fairness among TCP Users -- Modeling the Performance of ARQ Error Control in an LTE Transmission System -- Catching Corner Cases in Network Calculus { Flow Segregation Can Improve Accuracy -- QoE Analysis of the Setup of Different Internet Services for FIFO Server Systems -- Industrial, Practical Experience and PhD Track Papers -- VirtuWind - An SDN- and NFV-based Architecture for Softwarized Industrial Networks -- A Modular Environment to Test SCADA Solutions for Wind Parks -- Evaluation of Single-Hop Beaconing with Congestion Control in IEEE WAVE and ETSI ITS-G5 -- Practical QoE Evaluation of Adaptive Video Streaming -- Tool Papers -- A Domain-Specific Language and Toolchain for Performance Evaluation based on Measurements -- SLA Tool -- A Tool for Generating Automata of IEC60870-5-104 Implementations -- A Software Tool for the Compact Solution of the Chemical Master Equation -- Logical PetriNet - A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits -- ClassCast: A Tool for Class-Based Forecasting -- Collider - Parallel Experiments in Silico -- FunSpec4DTMC { A Tool for Modelling Discrete-Time Markov Chains Using Functional Specifications -- Model-based System Design and Evaluation of Image Processing Architectures with SimTAny Framework. |
| Record Nr. | UNINA-9910349260903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2011 International Workshop on Modeling, Analysis, and Control of Complex Networks : Cnet 2011 : San Francisco, CA, USA, 9 September 2011
| Proceedings of the 2011 International Workshop on Modeling, Analysis, and Control of Complex Networks : Cnet 2011 : San Francisco, CA, USA, 9 September 2011 |
| Autore | Van Mieghem Piet |
| Pubbl/distr/stampa | [Place of publication not identified], : ITC Press, 2011 |
| Descrizione fisica | 1 online resource (57 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Electrical & Computer Engineering
Engineering & Applied Sciences Telecommunications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2011 International Workshop on Modeling, Analysis, and Control of Complex Networks : Cnet 2011 : San Francisco, California, United States of America, 9 September 2011
Proceedings of the 2011 International Workshop on Modeling, Analysis, and Control of Complex Networks |
| Record Nr. | UNINA-9910376198603321 |
Van Mieghem Piet
|
||
| [Place of publication not identified], : ITC Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||