Computer Performance Engineering [[electronic resource] ] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings / / edited by Katja Gilly, Nigel Thomas |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (233 pages) |
Disciplina | 004.24 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Data protection
Computer science—Mathematics Mathematical statistics Computer networks Computers, Special purpose Computer systems Application software Data and Information Security Probability and Statistics in Computer Science Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Computer and Information Systems Applications |
ISBN | 3-031-25049-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Robustness analysis -- Applications -- Stochastic modelling -- Machine learning -- Edge-cloud computing -- Modelling paradigms and tools. |
Record Nr. | UNISA-996508670703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / / edited by Shuvendu K. Lahiri, Chao Wang |
Autore | Lahiri Shuvendu K |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) |
Disciplina |
005.1
004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Artificial intelligence Computer engineering Computer networks Computers Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Computer Hardware Computer Science |
ISBN | 3-030-53291-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. |
Record Nr. | UNINA-9910413446303321 |
Lahiri Shuvendu K | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Aided Verification [[electronic resource] ] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / / edited by Rupak Majumdar, Viktor Kunčak |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 601 p. 142 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Computers Professions Electronic digital computers—Evaluation Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling The Computing Profession System Performance and Evaluation Artificial Intelligence |
ISBN | 3-319-63387-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Data Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis. |
Record Nr. | UNISA-996466320003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / / edited by Rupak Majumdar, Viktor Kunčak |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIX, 601 p. 142 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Computers Professions Electronic digital computers—Evaluation Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling The Computing Profession System Performance and Evaluation Artificial Intelligence |
ISBN | 3-319-63387-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Data Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis. |
Record Nr. | UNINA-9910484632403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Aided Verification [[electronic resource] ] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / / edited by Thomas Ball, Robert B. Jones |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XV, 564 p.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Logic design Theory of Computation Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Logic Design |
ISBN | 3-540-37411-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Formal Specifications on Industrial-Strength Code—From Myth to Reality -- I Think I Voted: E-Voting vs. Democracy -- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs -- The Ideal of Verified Software -- Session 1. Automata -- Antichains: A New Algorithm for Checking Universality of Finite Automata -- Safraless Compositional Synthesis -- Minimizing Generalized Büchi Automata -- Session 2. Tools Papers -- Ticc: A Tool for Interface Compatibility and Composition -- FAST Extended Release -- Session 3. Arithmetic -- Don’t Care Words with an Application to the Automata-Based Approach for Real Addition -- A Fast Linear-Arithmetic Solver for DPLL(T) -- Session 4. SAT and Bounded Model Checking -- Bounded Model Checking for Weak Alternating Büchi Automata -- Deriving Small Unsatisfiable Cores with Dominators -- Session 5. Abstraction/Refinement -- Lazy Abstraction with Interpolants -- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop -- Counterexamples with Loops for Predicate Abstraction -- Session 6. Tools Papers -- cascade: C Assertion Checker and Deductive Engine -- Yasm: A Software Model-Checker for Verification and Refutation -- Session 7. Symbolic Trajectory Evaluation -- SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation -- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation -- Session 8. Property Specification and Verification -- Some Complexity Results for SystemVerilog Assertions -- Check It Out: On the Efficient Formal Verification of Live Sequence Charts -- Session 9. Time -- Symmetry Reduction for Probabilistic Model Checking -- Communicating Timed Automata: The More Synchronous, the More Difficult to Verify -- Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis -- Session 10. Tools Papers -- DiVinE – A Tool for Distributed Verification -- EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation -- Session 11. Concurrency -- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions -- Model Checking Multithreaded Programs with Asynchronous Atomic Methods -- Causal Atomicity -- Session 12. Trees, Pushdown Systems and Boolean Programs -- Languages of Nested Trees -- Improving Pushdown System Model Checking -- Repair of Boolean Programs with an Application to C -- Session 13. Termination -- Termination of Integer Linear Programs -- Automatic Termination Proofs for Programs with Shape-Shifting Heaps -- Termination Analysis with Calling Context Graphs -- Session 14. Tools Papers -- Terminator: Beyond Safety -- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools -- Session 15. Abstract Interpretation -- SMT Techniques for Fast Predicate Abstraction -- The Power of Hybrid Acceleration -- Lookahead Widening -- Session 16. Tools Papers -- The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover -- LEVER: A Tool for Learning Based Verification -- Session 17. Memory Consistency -- Formal Verification of a Lazy Concurrent List-Based Set Algorithm -- Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study -- Fast and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs with Lists Are Counter Automata -- Lazy Shape Analysis -- Abstraction for Shape Analysis with Fast and Precise Transformers. |
Record Nr. | UNISA-996465602503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / / edited by Thomas Ball, Robert B. Jones |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XV, 564 p.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Logic design Theory of Computation Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Logic Design |
ISBN | 3-540-37411-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Formal Specifications on Industrial-Strength Code—From Myth to Reality -- I Think I Voted: E-Voting vs. Democracy -- Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs -- The Ideal of Verified Software -- Session 1. Automata -- Antichains: A New Algorithm for Checking Universality of Finite Automata -- Safraless Compositional Synthesis -- Minimizing Generalized Büchi Automata -- Session 2. Tools Papers -- Ticc: A Tool for Interface Compatibility and Composition -- FAST Extended Release -- Session 3. Arithmetic -- Don’t Care Words with an Application to the Automata-Based Approach for Real Addition -- A Fast Linear-Arithmetic Solver for DPLL(T) -- Session 4. SAT and Bounded Model Checking -- Bounded Model Checking for Weak Alternating Büchi Automata -- Deriving Small Unsatisfiable Cores with Dominators -- Session 5. Abstraction/Refinement -- Lazy Abstraction with Interpolants -- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop -- Counterexamples with Loops for Predicate Abstraction -- Session 6. Tools Papers -- cascade: C Assertion Checker and Deductive Engine -- Yasm: A Software Model-Checker for Verification and Refutation -- Session 7. Symbolic Trajectory Evaluation -- SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation -- Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation -- Session 8. Property Specification and Verification -- Some Complexity Results for SystemVerilog Assertions -- Check It Out: On the Efficient Formal Verification of Live Sequence Charts -- Session 9. Time -- Symmetry Reduction for Probabilistic Model Checking -- Communicating Timed Automata: The More Synchronous, the More Difficult to Verify -- Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis -- Session 10. Tools Papers -- DiVinE – A Tool for Distributed Verification -- EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation -- Session 11. Concurrency -- Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions -- Model Checking Multithreaded Programs with Asynchronous Atomic Methods -- Causal Atomicity -- Session 12. Trees, Pushdown Systems and Boolean Programs -- Languages of Nested Trees -- Improving Pushdown System Model Checking -- Repair of Boolean Programs with an Application to C -- Session 13. Termination -- Termination of Integer Linear Programs -- Automatic Termination Proofs for Programs with Shape-Shifting Heaps -- Termination Analysis with Calling Context Graphs -- Session 14. Tools Papers -- Terminator: Beyond Safety -- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools -- Session 15. Abstract Interpretation -- SMT Techniques for Fast Predicate Abstraction -- The Power of Hybrid Acceleration -- Lookahead Widening -- Session 16. Tools Papers -- The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover -- LEVER: A Tool for Learning Based Verification -- Session 17. Memory Consistency -- Formal Verification of a Lazy Concurrent List-Based Set Algorithm -- Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study -- Fast and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs with Lists Are Counter Automata -- Lazy Shape Analysis -- Abstraction for Shape Analysis with Fast and Precise Transformers. |
Record Nr. | UNINA-9910484647403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Performance Engineering [[electronic resource] ] : 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers / / edited by Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XIII, 161 p. 164 illus., 34 illus. in color.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Computers Computer communication systems Computer science—Mathematics Artificial intelligence System Performance and Evaluation Information Systems and Communication Service Computer Communication Networks Mathematics of Computing Artificial Intelligence |
ISBN | 3-030-44411-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Hybrid Petri Nets Featuring Multiple Random Variables -- Abandonment Attack on the LEACH Protocol -- Coherent Resolutions of Nondeterminism -- Emulating Self-adaptive Stochastic Petri Nets -- Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases -- A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States -- A Network Aware Resource Discovery Service -- EthExplorer: A Tool for Forensic Analysis of the Ethereum Blockchain -- A Queueing Model that Works Only on Biggest Jobs -- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-Core Systems -- Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov~Queues. |
Record Nr. | UNISA-996418220703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Performance Engineering : 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers / / edited by Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XIII, 161 p. 164 illus., 34 illus. in color.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Computers Computer communication systems Computer science—Mathematics Artificial intelligence System Performance and Evaluation Information Systems and Communication Service Computer Communication Networks Mathematics of Computing Artificial Intelligence |
ISBN | 3-030-44411-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Hybrid Petri Nets Featuring Multiple Random Variables -- Abandonment Attack on the LEACH Protocol -- Coherent Resolutions of Nondeterminism -- Emulating Self-adaptive Stochastic Petri Nets -- Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases -- A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States -- A Network Aware Resource Discovery Service -- EthExplorer: A Tool for Forensic Analysis of the Ethereum Blockchain -- A Queueing Model that Works Only on Biggest Jobs -- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-Core Systems -- Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov~Queues. |
Record Nr. | UNINA-9910409679303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
|
Computer Performance Engineering [[electronic resource] ] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVIII, 221 p. 90 illus.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Mathematical statistics Computer logic Software engineering Computer simulation System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
ISBN | 3-319-46433-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analysis and Fitting Methods -- Computer Systems and Networking -- Modeling and Analysis of Human Behavior -- Modeling and Simulation Tools. |
Record Nr. | UNISA-996466250103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|