Analytical and Stochastic Modeling Techniques and Applications [[electronic resource] ] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / / edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 409 p. 132 illus.) |
Disciplina | 004.6015118 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer networks Electronic digital computers—Evaluation Application software Computer science—Mathematics Mathematical statistics Algorithms Software Engineering Computer Communication Networks System Performance and Evaluation Computer and Information Systems Applications Probability and Statistics in Computer Science |
ISBN |
1-280-38710-6
9786613565020 3-642-13568-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Queueing Theory I -- A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process -- Queueing System MAP/PH/N with Propagated Failures -- Analysis of a Discrete-Time Queueing System with an NT-Policy -- Packet Loss Minimization in Load-Balancing Switch -- Queueing Theory II -- The Preemptive Repeat Hybrid Server Interruption Model -- Networks of Symmetric Multi-class Queues with Signals Changing Classes -- Product-Form Solutions for Models with Joint-State Dependent Transition Rates -- The qnetworks Toolbox: A Software Package for Queueing Networks Analysis -- Specification Languages and Tools -- Rewriting Logic Based Performance Estimation of Embedded Systems -- A Formal Language toward the Unification of Model Checking and Performance Evaluation -- Security Evaluation of Layered Intrusion Tolerant Systems -- Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning -- Telecommunication Systems I -- Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems -- Stochastic Comparisons for Performability of Telecommunication Systems -- Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System -- Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes -- Telecommmunication Systems II -- A Formal Approach to Investigate the Performance of Modern E-commerce Services -- Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption -- Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic -- Estimation -- Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes -- Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm -- Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions -- Prediction -- Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment -- Prediction-Based Dynamic Target Interception Using Discrete Markov Chains -- Neural Networks as Surrogate Models for Measurements in Optimization Algorithms -- Stochastic Modelling -- Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras -- Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity -- Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows. |
Record Nr. | UNISA-996465660803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analytical and Stochastic Modeling Techniques and Applications [[electronic resource] ] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / / edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 409 p. 132 illus.) |
Disciplina | 004.6015118 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer networks Electronic digital computers—Evaluation Application software Computer science—Mathematics Mathematical statistics Algorithms Software Engineering Computer Communication Networks System Performance and Evaluation Computer and Information Systems Applications Probability and Statistics in Computer Science |
ISBN |
1-280-38710-6
9786613565020 3-642-13568-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Queueing Theory I -- A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process -- Queueing System MAP/PH/N with Propagated Failures -- Analysis of a Discrete-Time Queueing System with an NT-Policy -- Packet Loss Minimization in Load-Balancing Switch -- Queueing Theory II -- The Preemptive Repeat Hybrid Server Interruption Model -- Networks of Symmetric Multi-class Queues with Signals Changing Classes -- Product-Form Solutions for Models with Joint-State Dependent Transition Rates -- The qnetworks Toolbox: A Software Package for Queueing Networks Analysis -- Specification Languages and Tools -- Rewriting Logic Based Performance Estimation of Embedded Systems -- A Formal Language toward the Unification of Model Checking and Performance Evaluation -- Security Evaluation of Layered Intrusion Tolerant Systems -- Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning -- Telecommunication Systems I -- Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems -- Stochastic Comparisons for Performability of Telecommunication Systems -- Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System -- Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes -- Telecommmunication Systems II -- A Formal Approach to Investigate the Performance of Modern E-commerce Services -- Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption -- Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic -- Estimation -- Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes -- Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm -- Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions -- Prediction -- Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment -- Prediction-Based Dynamic Target Interception Using Discrete Markov Chains -- Neural Networks as Surrogate Models for Measurements in Optimization Algorithms -- Stochastic Modelling -- Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras -- Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity -- Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows. |
Record Nr. | UNINA-9910483142203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 568 p. 186 illus.) |
Disciplina | 004.6/185 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Numerical analysis
Algorithms Microprocessors Computer architecture Electronic digital computers—Evaluation Computer science—Mathematics Numerical Analysis Processor Architectures System Performance and Evaluation Mathematical Applications in Computer Science |
ISBN | 3-642-36803-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software for Exascale Computing -- PRACE DECI (Distributed European Computing Initiative) Minisymposium -- Parallel Electronic Structure Calculations Using Multiple Graphics Processing Units -- An Environment for Service Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class Stellar Astrophysics Code -- Steering and In-situ Visualization for Simulation of Seismic Wave Propagation on Graphics Cards -- PCJ - New Approach for Parallel Computations in Java -- Parallel Numerical Simulation of Seismic Waves Propagation with Intel Math Kernel Library -- Blocked Schur Algorithms for Computing the Matrix Square Root -- Distributed Evolutionary Computing System Based on Web Browsers with JavaScript -- Parallel Implementation of the Sherman-Morrison Matrix Inverse Algorithm -- Parallel Interval Newton Method on CUDA -- Heterogeneous Multi-agent Evolutionary System for Solving Parametric Interval Linear Systems -- Interval Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem with Heat Sources -- Interval Arithmetic and Automatic Differentiation on GPU Using Open CL -- Tuning the Interval Algorithm for Seeking Pareto Sets of Multi-criteria Problems -- A Central-Backward Difference Interval Method for Solving the Wave Equation -- Using State-of-the-Art Sparse Matrix Optimizations for Accelerating the Performance of Multiphysics Simulations -- Schedule Optimisation for Interactive Parallel Structure Simulations -- Computational Chemistry Studies of LIGNOLs -- A Lightweight Task Graph Scheduler for Distributed High-Performance Scientific Computing. |
Record Nr. | UNISA-996465675203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 568 p. 186 illus.) |
Disciplina | 004.6/185 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Numerical analysis
Algorithms Microprocessors Computer architecture Electronic digital computers—Evaluation Computer science—Mathematics Numerical Analysis Processor Architectures System Performance and Evaluation Mathematical Applications in Computer Science |
ISBN | 3-642-36803-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software for Exascale Computing -- PRACE DECI (Distributed European Computing Initiative) Minisymposium -- Parallel Electronic Structure Calculations Using Multiple Graphics Processing Units -- An Environment for Service Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class Stellar Astrophysics Code -- Steering and In-situ Visualization for Simulation of Seismic Wave Propagation on Graphics Cards -- PCJ - New Approach for Parallel Computations in Java -- Parallel Numerical Simulation of Seismic Waves Propagation with Intel Math Kernel Library -- Blocked Schur Algorithms for Computing the Matrix Square Root -- Distributed Evolutionary Computing System Based on Web Browsers with JavaScript -- Parallel Implementation of the Sherman-Morrison Matrix Inverse Algorithm -- Parallel Interval Newton Method on CUDA -- Heterogeneous Multi-agent Evolutionary System for Solving Parametric Interval Linear Systems -- Interval Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem with Heat Sources -- Interval Arithmetic and Automatic Differentiation on GPU Using Open CL -- Tuning the Interval Algorithm for Seeking Pareto Sets of Multi-criteria Problems -- A Central-Backward Difference Interval Method for Solving the Wave Equation -- Using State-of-the-Art Sparse Matrix Optimizations for Accelerating the Performance of Multiphysics Simulations -- Schedule Optimisation for Interactive Parallel Structure Simulations -- Computational Chemistry Studies of LIGNOLs -- A Lightweight Task Graph Scheduler for Distributed High-Performance Scientific Computing. |
Record Nr. | UNINA-9910484377703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Artificial Intelligence Applications and Innovations [[electronic resource] ] : AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings / / edited by John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis, Elias Pimenidis |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIII, 244 p. 91 illus., 56 illus. in color.) |
Disciplina | 006.3 |
Collana | IFIP Advances in Information and Communication Technology |
Soggetto topico |
Artificial intelligence
Computer networks Electronic digital computers—Evaluation Application software Operating systems (Computers) Artificial Intelligence Computer Communication Networks System Performance and Evaluation Computer and Information Systems Applications Operating Systems |
ISBN | 3-030-19909-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910337841303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXXI, 837 p. 347 illus., 290 illus. in color.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Software engineering Application software Logic design Electronic digital computers—Evaluation Computer vision Computer Communication Networks Software Engineering Computer and Information Systems Applications Logic Design System Performance and Evaluation Computer Vision |
ISBN | 3-030-24305-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465611703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXX, 786 p. 372 illus., 212 illus. in color.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Software engineering Application software Logic design Electronic digital computers—Evaluation Computer vision Computer Communication Networks Software Engineering Computer and Information Systems Applications Logic Design System Performance and Evaluation Computer Vision |
ISBN | 3-030-24296-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465620903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXX, 728 p. 359 illus., 240 illus. in color.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Software engineering Application software Logic design Electronic digital computers—Evaluation Computer vision Computer Communication Networks Software Engineering Computer and Information Systems Applications Logic Design System Performance and Evaluation Computer Vision |
ISBN | 3-030-24302-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465612103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXX, 845 p. 409 illus., 295 illus. in color.) |
Disciplina | 004.015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Software engineering Application software Logic design Electronic digital computers—Evaluation Computer vision Computer Communication Networks Software Engineering Computer and Information Systems Applications Logic Design System Performance and Evaluation Computer Vision |
ISBN | 3-030-24289-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465622903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Science and Its Applications – ICCSA 2019 [[electronic resource] ] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V / / edited by Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXX, 733 p. 343 illus., 226 illus. in color.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Software engineering Application software Logic design Electronic digital computers—Evaluation Computer vision Computer Communication Networks Software Engineering Computer and Information Systems Applications Logic Design System Performance and Evaluation Computer Vision |
ISBN | 3-030-24308-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465611203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|