Software Fault Detection and Correction: Modeling and Applications [[electronic resource] /] / by Rui Peng, Yan-Fu Li, Yu Liu |
Autore | Peng Rui |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 108 p. 30 illus., 12 illus. in color.) |
Disciplina | 005.1 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Software engineering
Computer software—Reusability Quality control Reliability Industrial safety Mathematical models Software Engineering Performance and Reliability Quality Control, Reliability, Safety and Risk Mathematical Modeling and Industrial Mathematics |
ISBN | 981-13-1162-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Classification of Models -- Chapter 3. TEF Dependent Software FDP and FCP Models -- Chapter 4. Software Reliability Models Considering Fault Dependency -- Chapter 5. General Order Statistics-Based Model -- Chapter 6. Reliability of Multi-release Open-Source Software -- Chapter 7. FDP and FCP with Four Types of Faults. . |
Record Nr. | UNINA-9910299290503321 |
Peng Rui
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software for Exascale Computing - SPPEXA 2013-2015 [[electronic resource] /] / edited by Hans-Joachim Bungartz, Philipp Neumann, Wolfgang E. Nagel |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (X, 565 p. 198 illus., 171 illus. in color.) |
Disciplina | 004.11 |
Collana | Lecture Notes in Computational Science and Engineering |
Soggetto topico |
Computer simulation
Computer software—Reusability Computer mathematics Input-output equipment (Computers) Applied mathematics Engineering mathematics Physics Simulation and Modeling Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation |
ISBN | 3-319-40528-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910254083603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software for Exascale Computing - SPPEXA 2016-2019 [[electronic resource] /] / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel |
Autore | Bungartz Hans-Joachim |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XII, 620 p. 256 illus., 231 illus. in color.) |
Disciplina | 003.3 |
Collana | Lecture Notes in Computational Science and Engineering |
Soggetto topico |
Computer simulation
Computer software—Reusability Computer mathematics Input-output equipment (Computers) Applied mathematics Engineering mathematics Physics Simulation and Modeling Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation |
Soggetto non controllato |
Simulation and Modeling
Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation Computer Science Computer Hardware Mathematical and Computational Engineering Applications Theoretical, Mathematical and Computational Physics open access computational algorithms and numerical methods data management and exploration high-performance computing simulation software and applications system software and software tools Computer modelling & simulation Systems analysis & design Maintenance & repairs Maths for scientists Computer networking & communications Distributed databases Maths for engineers Mathematical physics |
ISBN | 3-030-47956-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. ExaDG: High-Order Discontinuous Galerkin for the Exa-Scale. MYX-MUST Correctness Checking for YML and XMP Programs -- ExtraPeak: Automatic Performance Modeling of HPC Applications with Multiple Model Parameters. |
Record Nr. | UNINA-9910416122403321 |
Bungartz Hans-Joachim
![]() |
||
Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software for Exascale Computing - SPPEXA 2016-2019 [[electronic resource] /] / edited by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel |
Autore | Bungartz Hans-Joachim |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (XII, 620 p. 256 illus., 231 illus. in color.) |
Disciplina | 003.3 |
Collana | Lecture Notes in Computational Science and Engineering |
Soggetto topico |
Computer simulation
Computer software—Reusability Computer mathematics Input-output equipment (Computers) Applied mathematics Engineering mathematics Physics Simulation and Modeling Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation |
Soggetto non controllato |
Simulation and Modeling
Performance and Reliability Computational Science and Engineering Input/Output and Data Communications Mathematical and Computational Engineering Numerical and Computational Physics, Simulation Computer Science Computer Hardware Mathematical and Computational Engineering Applications Theoretical, Mathematical and Computational Physics open access computational algorithms and numerical methods data management and exploration high-performance computing simulation software and applications system software and software tools Computer modelling & simulation Systems analysis & design Maintenance & repairs Maths for scientists Computer networking & communications Distributed databases Maths for engineers Mathematical physics |
ISBN | 3-030-47956-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | EXA-DUNE: Flexible PDE Solvers, Numerical Methods, and Applications -- Smart-DASH: Smart Data Structures and Algorithms with Support for Hierarchical Locality -- Terra-Neo: Integrated Co-Design of an Exascale Earth Mantle Modeling Framework -- EXASTEEL-2: Dual Phase Steels - from Micro to Macro Properties -- GROMEX: Unified Long-range Electrostatics and Dynamic Protonation for Realistic Biomolecular Simulations on the Exascale -- ExaStencils: Advanced Stencil-Code Engineering -- ExaFSA: Exascale Simulation of Fluid-Structure-Acoustics Interactions -- EXAHD: An Exa-Scalable Two-Level Sparse Grid Approach for Higher-Dimensional Problems in Plasma Physics and Beyond -- EXAMAG: Exascale Simulations of the Magnetic Universe -- FFMK: A Fast and Fault Tolerant Microkernel-based System for Exascale Computing -- ESSEX-II: Equipping Sparse Solvers for Exascale -- EXASOLVERS: Extreme Scale Solvers for Coupled Problems -- ADA-FS: Advanced Data Placement via Ad-hoc File Systems at Extreme Scales -- AIMES: Advanced Computation and I/O Methods for Earth-System Simulations. ExaDG: High-Order Discontinuous Galerkin for the Exa-Scale. MYX-MUST Correctness Checking for YML and XMP Programs -- ExtraPeak: Automatic Performance Modeling of HPC Applications with Multiple Model Parameters. |
Record Nr. | UNISA-996418265803316 |
Bungartz Hans-Joachim
![]() |
||
Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Student Supercomputer Challenge Guide [[electronic resource] ] : From Supercomputing Competition to the Next HPC Generation / / by ASC Community |
Autore | ASC Community |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXV, 230 p. 107 illus., 85 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Computers
Education—Data processing Computer organization Computer mathematics Computer software—Reusability The Computing Profession Computers and Education Computer Systems Organization and Communication Networks Computational Science and Engineering Performance and Reliability |
ISBN | 981-10-3731-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Study -- Chapter 1 Development and Applications of Supercomputing -- Chapter 2 Construction and Power Management of Supercomputing System -- Chapter 3 Network Communication in Supercomputing System -- Chapter 4 Building the Environment for HPC Applications -- Chapter 5 Supercomputer System Performance Evaluation Methods -- Part II Competition -- Chapter 6 Introduction to International Student Supercomputing Competitions -- Chapter 7 History and Prospects of ASC Student Supercomputer Challenge -- Chapter 8 Rules of ASC Student Supercomputer Challenge -- Part III Advances -- Chapter 9 The Competition Proposal -- Chapter 10 Design and Construction of the Clusters for the Competition -- Chapter 11 Optimization for the High Performance LINPACK Benchmark -- Chapter 12 Optimization for the Molecular Dynamics Software GROMACS -- Chapter 13 Optimizations for Ocean Model LICOM -- Chapter 14 Optimization for Three-dimensional Elastic Wave Modeling Software 3D_EW. |
Record Nr. | UNINA-9910299297703321 |
ASC Community
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Sustained simulation performance 2016 [[electronic resource] ] : proceedings of the joint workshop on sustained simulation performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / / edited by Michael M. Resch, Wolfgang Bez, Erich Focht, Nisarg Patel, Hiroaki Kobayashi |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (VIII, 193 p. 85 illus., 75 illus. in color.) |
Disciplina | 004 |
Soggetto topico |
Computer mathematics
Computer simulation Computer engineering Applied mathematics Engineering mathematics Computer software—Reusability Computational Science and Engineering Simulation and Modeling Computer Engineering Mathematical and Computational Engineering Performance and Reliability |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part 1: Exploitation of Existing HPC Systems: Potentiality, Performance and Productivity -- Chapter 1. Parallel Algorithms: Theory, Practice and Education -- Chapter 2. High Performance Computing and High Performance Data Analytics – What is the missing link? -- Chapter 3. A Use Case of a Code Transformation Rule Generator for Data Layout Optimization -- Chapter 4. APES on SX-ACE -- Chapter 5. Dealing with non-linear terms in a modal High-Order Discontinuous Galerkin Method. |
Record Nr. | UNINA-9910155301203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
System Dependability Evaluation Including S-dependency and Uncertainty [[electronic resource] ] : Model-Driven Dependability Analyses / / by Hans-Dieter Kochs |
Autore | Kochs Hans-Dieter |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXXII, 374 p. 145 illus., 75 illus. in color.) |
Disciplina | 620 |
Soggetto topico |
Computational complexity
Electronic circuits Quality control Reliability Industrial safety Probabilities Computer software—Reusability Complexity Circuits and Systems Quality Control, Reliability, Safety and Risk Probability Theory and Stochastic Processes Performance and Reliability |
ISBN | 3-319-64991-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910299893403321 |
Kochs Hans-Dieter
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
System Performance and Management Analytics [[electronic resource] /] / edited by P. K. Kapur, Yury Klochkov, Ajit Kumar Verma, Gurinder Singh |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 418 p. 114 illus., 74 illus. in color.) |
Disciplina | 658.4038 |
Collana | Asset Analytics, Performance and Safety Management |
Soggetto topico |
Big data
Production management Quality control Reliability Industrial safety Industrial management—Environmental aspects Computer software—Reusability Computer system failures Big Data/Analytics Operations Management Quality Control, Reliability, Safety and Risk Sustainability Management Performance and Reliability System Performance and Evaluation |
ISBN | 981-10-7323-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Use of Bayesian Networks for System Reliability Assessment -- An Improved Method of Predicting Code Merge Conflicts and Selecting Optimal Code Branching Strategy in an Enterprise -- Reliability Improvement of Distribution System by Optimal Sitting and Sizing of Disperse Generation -- Testing The Effects of Agile and Flexible Supply Chain on the Firm Performance through Sem -- Analysis and Countermeasures for Security and Privacy Issues in Cloud Computing -- An Efficient Approach for Web Usage Mining Using Ann Technique -- Natural Language Processing Approach to Identify Analogous Data in Offline Data Repository -- Multirelease -- Barriers to Agile Adoption: A Developer Perspective -- Comparative Analysis between Manual and Automated Testing using Topsis Method -- Analysis of Requirement Prioritization based Regression Testing -- Formulation of Error Generation Based Srgm under the Infuence of Irregular Fluctuations -- Decision Aspect Prioritisation Technique for Incremental Software -- Change Point based Reliability Growth Model for Multi-Release Open Source Software Systems -- Improvisation of Reusability Oriented Software Testing -- Water Treatment System Performance Evaluation Under Maintenance Policies -- Prediction of El Nino Year and Performance Analysis on the Calculated Correlation Coefficients -- Transforming Service Organizations at Uae: Impact of Operations Management on Operational Performance -- Performance of Static Spatial Topologies in Fine-Grained Qea on P-Peaks Problem Instances -- Android Malware Detection using Code Graphs -- Security in Zigbee using Stegnography for Iot Communications -- Six Sigma Application in the Production of Drugs -- Developing Plans for Qfd-Based Quality Enhancement -- An Efficient Approach for Web Usage Mining Using Ann Technique -- Modified Counting Sort -- Performance of Static Spatial Topologies in Fine-Grained Qea on P-Peaks Problem Instances -- Analysis of Existing Clustering Algorithms for Wireless Sensor Networks -- Hybrid Nature Inspired Algorithms: Methodologies, Architecture and Reviews -- Analysis of Requirement Prioritization Based Regression Testing -- Investigation of Service Quality Operation Linkage in Automobile Industry of India after Sales Market -- Improvisation of Reusability Oriented Software Testing -- Processing Mining for Maintenance Decision Support -- Software Release Time Problem - Revisited -- Multi Generation Adoption with Change Point: Technology Diffusion Modelling -- Diffusion Modelling Framework for Adoption of Competitive Brands. |
Record Nr. | UNINA-9910337795603321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ternary Networks [[electronic resource] ] : Reliability and Monte Carlo / / by Ilya Gertsbakh, Yoseph Shpungin, Radislav Vaisman |
Autore | Gertsbakh Ilya |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (73 p.) |
Disciplina | 621.3015135 |
Collana | SpringerBriefs in Electrical and Computer Engineering |
Soggetto topico |
Electrical engineering
Computer software—Reusability Computer organization Quality control Reliability Industrial safety Communications Engineering, Networks Performance and Reliability Computer Systems Organization and Communication Networks Quality Control, Reliability, Safety and Risk |
ISBN | 3-319-06440-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The principal Model ternary spectrum -- Importance spectrum -- Example of Network: weak and strong connectivity -- Components ranking by their importance; example.-Extension of basic model to many-state system -- Example of Network flow network -- Network with unreliable ternary nodes -- Evolution method: extension to ternary system -- Series and parallel connection of ternary networks -- Large Networks with colored nodes; supply networks -- Network interaction: binary networks -- Network interaction: ternary networks. |
Record Nr. | UNINA-9910299468703321 |
Gertsbakh Ilya
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Test Generation of Crosstalk Delay Faults in VLSI Circuits [[electronic resource] /] / by S. Jayanthy, M.C. Bhuvaneswari |
Autore | Jayanthy S |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (161 pages) |
Disciplina | 621.3950287 |
Soggetto topico |
Electronic circuits
Microprogramming Computer software—Reusability Logic design Circuits and Systems Control Structures and Microprogramming Performance and Reliability Logic Design |
ISBN | 981-13-2493-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Background and Review of Crosstalk Delay Fault Models and the Crosstalk Effects -- Chapter 2. Review of Test Generation Techniques for Crosstalk Delay Faults -- Chapter 3. An Automatic Test Pattern Generation Method for Crosstalk Delay Faults Using Modified PODEM and FAN Algorithm -- Chapter 4. An Automatic Test Pattern Generation Method for Crosstalk Delay Faults using Single-Objective Genetic Algorithm -- Chapter 5. An Automatic Test Pattern Generation Method for Crosstalk Delay Faults Using Single-Objective Particle Swarm Optimization -- Chapter 6. Simulation of Asynchronous Sequential Circuits using Fuzzy Delay Model -- Chapter 7. Simulation Based Test Generation for Crosstalk Delay Faults in Asynchronous Sequential Circuits. |
Record Nr. | UNINA-9910350312403321 |
Jayanthy S
![]() |
||
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|