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.
Computer Performance Evaluation. Modelling Techniques and Tools [[electronic resource] ] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings / / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith
| Computer Performance Evaluation. Modelling Techniques and Tools [[electronic resource] ] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings / / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 390 p.) |
| Disciplina | 004.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer system failures Software engineering Computer simulation Theory of Computation System Performance and Evaluation Software Engineering Simulation and Modeling |
| ISBN | 3-540-46429-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Performance Evaluation with Heavy Tailed Distributions -- Queueing Network Models -- Layered Modeling of Hardware and Software, with Application to a LAN Extension Router -- Object Allocation for Distributed Applications with Complex Workloads -- A Set of Tools for Traffic Modeling, Analysis and Experimentation -- Queueing Analysis of Pools in Soft Real-Time Systems -- Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks -- Decomposition of General Tandem Queueing Networks with MMPP Input -- Exact and Approximate Solutions for a Class of Infinite Markovian Models -- Performance Evaluation of a Distributed Enterprise Data Mining System -- Optimisation in Mobile Networks -- Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network -- Optimal Allocation Policies for Mobile Agents -- Stochastic Petri Nets -- Iterative Analysis of Markov Regenerative Models -- Analysis and Evaluation of Non-Markovian Stochastic Petri Nets -- Petri Net Modelling and Performability Evaluation with TimeNET 3.0 -- Integrating Synchronization with Priority into a Kronecker Representation -- Simulation -- Implementation of Importance Splitting Techniques in Stochastic Petri Net Package -- FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks -- Formal Methods and Performance Evaluation -- Exploiting Modal Logic to Express Performance Measures -- Derivation of Petri Net Performance Models from UML Specifications of Communications Software -- Measurement Tools and Applications -- Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications -- Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE -- Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites -- Tool Descriptions -- FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations -- Galileo: A Tool for Dynamic Fault Tree Analysis -- Möbius: An Extensible Tool for Performance and Dependability Modeling -- MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models -- Calculation and Use of Peaking Factors for Remote Terminal Emulation -- Reliability and Performability Modeling Using SHARPE 2000 -- The Simalytic Modeling Technique: Overview for Application Performance Analysis -- SPNP: Stochastic Petri Nets. Version 6.0 -- SREPT: Software Reliability Estimation and Prediction Tool -- STEADY — A Tool for Predicting Performance of Parallel DBMSs -- The TANGRAM-II Environment -- Implementing Symbolic Models for Value Passing in TwoTowers -- Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway -- ? Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design. |
| Record Nr. | UNISA-996465610203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Evaluation. Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings / / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith
| Computer Performance Evaluation. Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings / / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 390 p.) |
| Disciplina | 004.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer system failures Software engineering Computer simulation Theory of Computation System Performance and Evaluation Software Engineering Simulation and Modeling |
| ISBN | 3-540-46429-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Performance Evaluation with Heavy Tailed Distributions -- Queueing Network Models -- Layered Modeling of Hardware and Software, with Application to a LAN Extension Router -- Object Allocation for Distributed Applications with Complex Workloads -- A Set of Tools for Traffic Modeling, Analysis and Experimentation -- Queueing Analysis of Pools in Soft Real-Time Systems -- Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks -- Decomposition of General Tandem Queueing Networks with MMPP Input -- Exact and Approximate Solutions for a Class of Infinite Markovian Models -- Performance Evaluation of a Distributed Enterprise Data Mining System -- Optimisation in Mobile Networks -- Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network -- Optimal Allocation Policies for Mobile Agents -- Stochastic Petri Nets -- Iterative Analysis of Markov Regenerative Models -- Analysis and Evaluation of Non-Markovian Stochastic Petri Nets -- Petri Net Modelling and Performability Evaluation with TimeNET 3.0 -- Integrating Synchronization with Priority into a Kronecker Representation -- Simulation -- Implementation of Importance Splitting Techniques in Stochastic Petri Net Package -- FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks -- Formal Methods and Performance Evaluation -- Exploiting Modal Logic to Express Performance Measures -- Derivation of Petri Net Performance Models from UML Specifications of Communications Software -- Measurement Tools and Applications -- Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications -- Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE -- Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites -- Tool Descriptions -- FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations -- Galileo: A Tool for Dynamic Fault Tree Analysis -- Möbius: An Extensible Tool for Performance and Dependability Modeling -- MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models -- Calculation and Use of Peaking Factors for Remote Terminal Emulation -- Reliability and Performability Modeling Using SHARPE 2000 -- The Simalytic Modeling Technique: Overview for Application Performance Analysis -- SPNP: Stochastic Petri Nets. Version 6.0 -- SREPT: Software Reliability Estimation and Prediction Tool -- STEADY — A Tool for Predicting Performance of Parallel DBMSs -- The TANGRAM-II Environment -- Implementing Symbolic Models for Value Passing in TwoTowers -- Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway -- ? Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design. |
| Record Nr. | UNINA-9910143635103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods: Applications and Technology [[electronic resource] ] : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
| Formal Methods: Applications and Technology [[electronic resource] ] : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (371 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Computer logic Programming languages (Electronic computers) Special purpose computers Theory of Computation Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems |
| ISBN |
1-280-93577-4
9786610935772 3-540-70952-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Challenges for Formal Verification in Industrial Setting -- Distributed Verification: Exploring the Power of Raw Computing Power -- FMICS -- An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment -- ”To Store or Not To Store” Reloaded: Reclaiming Memory on Demand -- Discovering Symmetries -- On Combining Partial Order Reduction with Fairness Assumptions -- Test Coverage for Loose Timing Annotations -- Model-Based Testing of a WAP Gateway: An Industrial Case-Study -- Heuristics for ioco-Based Test-Based Modelling -- Verifying VHDL Designs with Multiple Clocks in SMV -- Verified Design of an Automated Parking Garage -- Evaluating Quality of Service for Service Level Agreements -- Simulation-Based Performance Analysis of a Medical Image-Processing Architecture -- Blasting Linux Code -- A Finite State Modeling of AFDX Frame Management Using Spin -- UML 2.0 State Machines: Complete Formal Semantics Via core state machine -- Automated Incremental Synthesis of Timed Automata -- SAT-Based Verification of LTL Formulas -- jmle: A Tool for Executing JML Specifications Via Constraint Programming -- Goanna—A Static Model Checker -- PDMC -- Parallel SAT Solving in Bounded Model Checking -- Parallel Algorithms for Finding SCCs in Implicitly Given Graphs -- Can Saturation Be Parallelised? -- Distributed Colored Petri Net Model-Checking with Cyclades. |
| Record Nr. | UNISA-996466247603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
| Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (371 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Computer logic Programming languages (Electronic computers) Special purpose computers Theory of Computation Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems |
| ISBN |
1-280-93577-4
9786610935772 3-540-70952-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Challenges for Formal Verification in Industrial Setting -- Distributed Verification: Exploring the Power of Raw Computing Power -- FMICS -- An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment -- ”To Store or Not To Store” Reloaded: Reclaiming Memory on Demand -- Discovering Symmetries -- On Combining Partial Order Reduction with Fairness Assumptions -- Test Coverage for Loose Timing Annotations -- Model-Based Testing of a WAP Gateway: An Industrial Case-Study -- Heuristics for ioco-Based Test-Based Modelling -- Verifying VHDL Designs with Multiple Clocks in SMV -- Verified Design of an Automated Parking Garage -- Evaluating Quality of Service for Service Level Agreements -- Simulation-Based Performance Analysis of a Medical Image-Processing Architecture -- Blasting Linux Code -- A Finite State Modeling of AFDX Frame Management Using Spin -- UML 2.0 State Machines: Complete Formal Semantics Via core state machine -- Automated Incremental Synthesis of Timed Automata -- SAT-Based Verification of LTL Formulas -- jmle: A Tool for Executing JML Specifications Via Constraint Programming -- Goanna—A Static Model Checker -- PDMC -- Parallel SAT Solving in Bounded Model Checking -- Parallel Algorithms for Finding SCCs in Implicitly Given Graphs -- Can Saturation Be Parallelised? -- Distributed Colored Petri Net Model-Checking with Cyclades. |
| Record Nr. | UNINA-9910483608403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [[electronic resource] ] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort
| Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [[electronic resource] ] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 203 p. 75 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer communication systems Computer simulation Application software Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Computer Communication Networks Simulation and Modeling Information Systems Applications (incl. Internet) |
| ISBN | 3-319-31559-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DDoS 3.0 - How terrorists bring down the Internet -- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids -- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone -- Stochastic analysis of energy consumption in pool depletion systems -- Moving queue on a network -- A Multi-commodity Simulation Tool Based on TRIANA -- Performance and Precision of Web Caching Simulations for Zipf Request Pattern -- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems -- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Combining Mobility Models with Arrival Processes -- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams -- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use -- The Weak Convergence of TCP Bandwidth Sharing -- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems -- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres -- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation. . |
| Record Nr. | UNISA-996466006603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort
| Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 203 p. 75 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer communication systems Computer simulation Application software Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Computer Communication Networks Simulation and Modeling Information Systems Applications (incl. Internet) |
| ISBN | 3-319-31559-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DDoS 3.0 - How terrorists bring down the Internet -- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids -- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone -- Stochastic analysis of energy consumption in pool depletion systems -- Moving queue on a network -- A Multi-commodity Simulation Tool Based on TRIANA -- Performance and Precision of Web Caching Simulations for Zipf Request Pattern -- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems -- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Combining Mobility Models with Arrival Processes -- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams -- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use -- The Weak Convergence of TCP Bandwidth Sharing -- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems -- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres -- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation. . |
| Record Nr. | UNINA-9910484099203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / / edited by Javier Campos, Boudewijn R. Haverkort
| Quantitative Evaluation of Systems [[electronic resource] ] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / / edited by Javier Campos, Boudewijn R. Haverkort |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 329 p. 99 illus.) |
| Disciplina | 620.00452 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer simulation Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation Computer Modelling |
| ISBN | 3-319-22264-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996199938803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / / edited by Javier Campos, Boudewijn R. Haverkort
| Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / / edited by Javier Campos, Boudewijn R. Haverkort |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 329 p. 99 illus.) |
| Disciplina | 620.00452 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer simulation Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation Computer Modelling |
| ISBN | 3-319-22264-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483414203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
| Validation of Stochastic Systems [[electronic resource] ] : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 470 p.) |
| Disciplina | 003/.76 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Probabilities
Computers Computer logic Software engineering Operating systems (Computers) Microprocessors Probability Theory and Stochastic Processes Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Operating Systems Processor Architectures |
| ISBN |
1-280-30787-0
9786610307876 3-540-24611-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems. |
| Record Nr. | UNISA-996465723403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Validation of Stochastic Systems : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
| Validation of Stochastic Systems : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 470 p.) |
| Disciplina | 003/.76 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Probabilities
Computers Computer logic Software engineering Operating systems (Computers) Microprocessors Probability Theory and Stochastic Processes Computation by Abstract Devices Logics and Meanings of Programs Software Engineering Operating Systems Processor Architectures |
| ISBN |
1-280-30787-0
9786610307876 3-540-24611-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems. |
| Record Nr. | UNINA-9910767527203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||