top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster
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
Opac: Controlla la disponibilità qui
Applied Parallel and Scientific Computing [[electronic resource] ] : 11th International Conference, PARA 2012, Helsinki, Finland / / edited by Pekka Manninen, Per Öster
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui