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.
International Symposium on Electronic System Design : proceedings
| International Symposium on Electronic System Design : proceedings |
| Pubbl/distr/stampa | Piscataway, NJ : , : IEEE Computer Society, Conference Publishing Services (CPS) |
| Disciplina | 004.25 |
| Soggetto topico | Electronic systems - Design |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. |
| ISSN | 2473-9413 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
ISED
Proceedings of the International Symposium on Electronic System Design Electronic System Design (ISED) ... International Symposium on |
| Record Nr. | UNINA-9910626117503321 |
| Piscataway, NJ : , : IEEE Computer Society, Conference Publishing Services (CPS) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
International Symposium on Electronic System Design : proceedings
| International Symposium on Electronic System Design : proceedings |
| Pubbl/distr/stampa | Piscataway, NJ : , : IEEE Computer Society, Conference Publishing Services (CPS) |
| Disciplina | 004.25 |
| Soggetto topico | Electronic systems - Design |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. |
| ISSN | 2473-9413 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
ISED
Proceedings of the International Symposium on Electronic System Design Electronic System Design (ISED) ... International Symposium on |
| Record Nr. | UNISA-996581538303316 |
| Piscataway, NJ : , : IEEE Computer Society, Conference Publishing Services (CPS) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / / edited by Nils Jansen, Mirco Tribastone
| Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / / edited by Nils Jansen, Mirco Tribastone |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (377 pages) |
| Disciplina |
004.0151
004.25 |
| Altri autori (Persone) | TribastoneMirco |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer science - Mathematics Computer engineering Computer networks Software engineering Artificial intelligence Theory of Computation Mathematics of Computing Computer Engineering and Networks Software Engineering Artificial Intelligence |
| ISBN | 3-031-43835-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Agent Verification and Control with Probabilistic Model Checking -- Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics -- Jajapy: a learning library for stochastic models -- Introducing Asynchronicity to Probabilistic Hyperproperties -- A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems -- An MM Algorithm to Estimate Parameters in Continuous-time Markov Chains -- STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker -- Skipping and Fetching: Insights on Non-Convectional Product-Form Solutions -- On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy -- Data-driven Inference of Chemical Reaction Networks via Graph-based Variational Autoencoders -- Modeling uncertain biomass composition in genome-scale metabolic models with Flexible Nets -- On the Trade-off Between Efficiency and Precision of Neural Abstraction -- Equilibrium Analysis of Markov Regenerative Processes -- Max-entropy sampling for deterministic timed automata under linear duration constraints -- Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows -- Matching Distributions under Structural Constraints -- Comparing Two Approaches to Include Stochasticity in Hybrid Automata -- Analysis of an epoch commit protocol for distributed processing systems -- Causal Reversibility Implies Time Reversibility -- Deductive Controller Synthesis for Probabilistic Hyperproperties -- Model Abstraction and Conditional Sampling with Score-Based Diffusion Model -- Probabilistic Counterexample Guidance for Safer Reinforcement Learning -- Symbolic Semantics for Probabilistic Programs -- Verification of Quantum Systems using Barrier Certificates. |
| Record Nr. | UNINA-9910746086903321 |
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf
| Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / / edited by David Parker, Verena Wolf |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 361 p. 595 illus., 55 illus. in color.) |
| Disciplina |
004.24
004.25 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer science—Mathematics Mathematical statistics Machine theory Algorithms Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-030-30281-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic Verification -- Learning and Verification -- Hybrid Systems -- Security -- Probabilistic Modelling and Abstraction -- Applications and Tools. |
| Record Nr. | UNINA-9910349299203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / / edited by Gethin Norman, William Sanders
| Quantitative Evaluation of Systems [[electronic resource] ] : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / / edited by Gethin Norman, William Sanders |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 422 p. 111 illus.) |
| Disciplina | 004.25 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation |
| ISBN | 3-319-10696-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Presentations -- Quantitative Evaluation of Service Dependability in Shared Execution Environments -- Multi-agent Networked Systems with Adversarial Elements -- Kronecker and Product Form Methods -- A Structured Solution Approach for Markov Regenerative Processes -- Low-Rank Tensor Methods for Communicating Markov Processes -- Hybrid Systems -- A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems -- Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads -- Finite Abstractions of Stochastic Max-Plus-Linear Systems -- Mean Field/Population Analysis -- Mean Field for Performance Models with Generally-Distributed Timed Transitions -- Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models -- On Performance of Gossip Communication in a Crowd-Sensing Scenario -- Models and Tools -- Probabilistic Model Checking of DTMC Models of User Activity Patterns -- Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks -- A New Great SPN GUI for GSPN Editing and CSLTA Model Checking -- The Octave Queueing -- Package -- Simulation -- A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs -- Modelling Replication in No SQL Datastores -- Queueing, Debugging and Tools -- On Queues with General Service Demands and Constant Service Capacity -- Simulation Debugging and Visualization in the Mobius Modeling Framework -- Scalar: A Distributed Scalability Analysis Framework -- Non-intrusive Scalable Memory Access Tracer -- Process Algebra and Equivalences -- Probabilistic Programming Process Algebra -- PALOMA: A Process Algebra for Located Markovian Agents -- On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems -- Automata and Markov Process Theory -- Continuity Properties of Distances for Markov Processes -- Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata -- Decidable Problems for Unary PFAs -- Applications, Theory and Tools -- A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids -- Compositionality Results for Quantitative Information Flow -- CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems -- Probabilistic Model Checking -- Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains -- Accelerating Parametric Probabilistic Verification. |
| Record Nr. | UNISA-996202530103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / / edited by Gethin Norman, William Sanders
| Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / / edited by Gethin Norman, William Sanders |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 422 p. 111 illus.) |
| Disciplina | 004.25 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation |
| ISBN | 3-319-10696-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Presentations -- Quantitative Evaluation of Service Dependability in Shared Execution Environments -- Multi-agent Networked Systems with Adversarial Elements -- Kronecker and Product Form Methods -- A Structured Solution Approach for Markov Regenerative Processes -- Low-Rank Tensor Methods for Communicating Markov Processes -- Hybrid Systems -- A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems -- Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads -- Finite Abstractions of Stochastic Max-Plus-Linear Systems -- Mean Field/Population Analysis -- Mean Field for Performance Models with Generally-Distributed Timed Transitions -- Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models -- On Performance of Gossip Communication in a Crowd-Sensing Scenario -- Models and Tools -- Probabilistic Model Checking of DTMC Models of User Activity Patterns -- Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks -- A New Great SPN GUI for GSPN Editing and CSLTA Model Checking -- The Octave Queueing -- Package -- Simulation -- A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs -- Modelling Replication in No SQL Datastores -- Queueing, Debugging and Tools -- On Queues with General Service Demands and Constant Service Capacity -- Simulation Debugging and Visualization in the Mobius Modeling Framework -- Scalar: A Distributed Scalability Analysis Framework -- Non-intrusive Scalable Memory Access Tracer -- Process Algebra and Equivalences -- Probabilistic Programming Process Algebra -- PALOMA: A Process Algebra for Located Markovian Agents -- On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems -- Automata and Markov Process Theory -- Continuity Properties of Distances for Markov Processes -- Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata -- Decidable Problems for Unary PFAs -- Applications, Theory and Tools -- A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids -- Compositionality Results for Quantitative Information Flow -- CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems -- Probabilistic Model Checking -- Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains -- Accelerating Parametric Probabilistic Verification. |
| Record Nr. | UNINA-9910484106003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||