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 Engineering [[electronic resource] ] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by András Horváth, Katinka Wolter
| Computer Performance Engineering [[electronic resource] ] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by András Horváth, Katinka Wolter |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 271 p. 93 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-10885-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cloud Performance Modelling -- Optimal Hiring of Cloud Servers -- Performance Evaluation of NoSQL Databases -- Queueing and Fluid Models -- A Systematic Approach for Composing General Middleware Completions to Performance Models -- Vacation and Polling Models with Retrials -- Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline -- Performance of Computation and Programming Use of a Levy Distribution for Modeling Best Case Execution Time Variation -- On the Predictive Properties of Performance Models Derived through Input-Output Relationships -- Deriving Work Plans for Solving Performance and Scalability Problems -- Fitting -- Dealing with Zero Density Using Piecewise Phase-Type Approximation -- Uncertainty in On-The-Fly Epidemic Fitting -- Urban Traffic Modelling -- Performance Modeling of Intelligent Car Parking Systems -- Formal Punctuality Analysis of Frequent Bus Services Using Headway Data -- Decision Making -- Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues -- A Decision Making Model of Influencing Behavior in Information Security -- Automated Capacity Planning for PEPA Models -- Markovian Models, Above and Beyond -- Stochastic Approximation of Global Reachability Probabilities of Markov Population Models -- Explicit State Space and Markov Chain Generation Using Decision Diagrams -- Non-Markovian Modeling of a BladeCenter Chassis Midplane. |
| Record Nr. | UNISA-996202526003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin
| Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 351 p. 114 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Computer simulation Energy policy Energy and state System Performance and Evaluation Software Engineering Computer Communication Networks Computer Modelling Energy Policy, Economics and Management |
| ISBN | 3-642-40725-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Antipatterns: State-of-Art and Future Perspectives -- Online Game Performance Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure.- PMIF+: Extensions to Broaden the Scope of Supported Models.- Performance Regression Unit Testing: A Case Study.- Phase-Type Fitting Using HyperStar.- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.- Performance Enhancement by Means of Task Replication.- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.- End-to-End Performance of Multi-core Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless Networks.- Sliding Hidden Markov Model for Evaluating Discrete Data.- Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z.- Performance Evaluation for Collision Prevention Based on a Domain Specific Language.- An Approximate Mean Value Analysis Approach for System Management and Overload Control.- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.- Reduction of Subtask Dispersion in Fork-Join Systems.- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. |
| Record Nr. | UNISA-996466040003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin
| Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 351 p. 114 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Computer simulation Energy policy Energy and state System Performance and Evaluation Software Engineering Computer Communication Networks Computer Modelling Energy Policy, Economics and Management |
| ISBN | 3-642-40725-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Antipatterns: State-of-Art and Future Perspectives -- Online Game Performance Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure.- PMIF+: Extensions to Broaden the Scope of Supported Models.- Performance Regression Unit Testing: A Case Study.- Phase-Type Fitting Using HyperStar.- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.- Performance Enhancement by Means of Task Replication.- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.- End-to-End Performance of Multi-core Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless Networks.- Sliding Hidden Markov Model for Evaluating Discrete Data.- Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z.- Performance Evaluation for Collision Prevention Based on a Domain Specific Language.- An Approximate Mean Value Analysis Approach for System Management and Overload Control.- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.- Reduction of Subtask Dispersion in Fork-Join Systems.- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. |
| Record Nr. | UNINA-9910484488903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools'98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (editors)
| Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools'98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (editors) |
| Autore | Highland Harold Joseph |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XIII, 376 p. 151 illus., 11 illus. in color.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer systems - Evaluation |
| ISBN | 3-540-68061-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- A Modular and Scalable Simulation Tool for Large Wireless Networks -- Software Performance Tools -- Designing Process Replication and Threading Policies: A Quantitative Approach -- SREPT: Software Reliability Estimation and Prediction Tool -- Reusable Software Components for Performability Tools, and Their Utilization for Web-Based Configurable Tools -- Compositional Performance Modelling with the TIPPtool -- Network Performance -- QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams -- Response Times in Client-Server Systems -- A Queueing Model with Varying Service Rate for ABR -- Simulative Performance Evaluation of the Temporary Pseudonym Method for Protecting Location Information in GSM Networks -- Measurement and Modelling Tools -- A Model Driven Monitoring Approach to Support the Multi-view Performance Analysis of Parallel Responsive Applications -- Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study -- Algorithmic Techniques -- A Perturbation and Reduction Based Algorithm -- A Comparison of Numerical Splitting-based Methods for Markovian Dependability and Performability Models -- Probability, Parallelism and the State Space Exploration Problem -- An Improved Multiple Variable Inversion Algorithm for Reliability Calculation -- Case Studies -- Performance Evaluation of Web Proxy Cache Replacement Policies -- Performance Analysis of a WDM Bus Network Based on GSPN Models? -- Scheduling Write Backs for Weakly-Connected Mobile Clients -- On Choosing a Task Assignment Policy for a Distributed Server System -- Petri Net Techniques -- Structured Characterization of the Markov Chain of Phase-Type SPN -- Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool -- MVA Techniques -- A Queue-Shift Approximation Technique for Product-Form Queueing Networks -- Experiments with Improved Approximate Mean Value Analysis Algorithms -- Software Performance Evaluation Methods -- Extending SMART2 to Predict the Behaviour of PL/SQL-based Applications -- Performance Evaluation of Distributed Object Architectures -- Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE·ED -- Tool Presentations -- Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems -- Snuffle: Integrated Measurement and Analysis Tool for Internet and its Use in Wireless In-House Environment -- A Tool to Model Network Transient States with the Use of Diffusion Approximation -- HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques -- SvPablo: A Multi-language Performance Analysis System -- A Toolbox for Functional and Quantitative Analysis of DEDS -- A Reconfigurable Hardware Tool for High Speed Network Simulation -- JAGATH: A Methodology and its Application for Distributed Systems Performance Evaluation and Control -- Hierarchical Stochastic Reward Net Solver Package. |
| Record Nr. | UNISA-996466139703316 |
Highland Harold Joseph
|
||
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools'98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (editors)
| Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools'98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (editors) |
| Autore | Highland Harold Joseph |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XIII, 376 p. 151 illus., 11 illus. in color.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer systems - Evaluation |
| ISBN | 3-540-68061-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- A Modular and Scalable Simulation Tool for Large Wireless Networks -- Software Performance Tools -- Designing Process Replication and Threading Policies: A Quantitative Approach -- SREPT: Software Reliability Estimation and Prediction Tool -- Reusable Software Components for Performability Tools, and Their Utilization for Web-Based Configurable Tools -- Compositional Performance Modelling with the TIPPtool -- Network Performance -- QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams -- Response Times in Client-Server Systems -- A Queueing Model with Varying Service Rate for ABR -- Simulative Performance Evaluation of the Temporary Pseudonym Method for Protecting Location Information in GSM Networks -- Measurement and Modelling Tools -- A Model Driven Monitoring Approach to Support the Multi-view Performance Analysis of Parallel Responsive Applications -- Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study -- Algorithmic Techniques -- A Perturbation and Reduction Based Algorithm -- A Comparison of Numerical Splitting-based Methods for Markovian Dependability and Performability Models -- Probability, Parallelism and the State Space Exploration Problem -- An Improved Multiple Variable Inversion Algorithm for Reliability Calculation -- Case Studies -- Performance Evaluation of Web Proxy Cache Replacement Policies -- Performance Analysis of a WDM Bus Network Based on GSPN Models? -- Scheduling Write Backs for Weakly-Connected Mobile Clients -- On Choosing a Task Assignment Policy for a Distributed Server System -- Petri Net Techniques -- Structured Characterization of the Markov Chain of Phase-Type SPN -- Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool -- MVA Techniques -- A Queue-Shift Approximation Technique for Product-Form Queueing Networks -- Experiments with Improved Approximate Mean Value Analysis Algorithms -- Software Performance Evaluation Methods -- Extending SMART2 to Predict the Behaviour of PL/SQL-based Applications -- Performance Evaluation of Distributed Object Architectures -- Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE·ED -- Tool Presentations -- Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems -- Snuffle: Integrated Measurement and Analysis Tool for Internet and its Use in Wireless In-House Environment -- A Tool to Model Network Transient States with the Use of Diffusion Approximation -- HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques -- SvPablo: A Multi-language Performance Analysis System -- A Toolbox for Functional and Quantitative Analysis of DEDS -- A Reconfigurable Hardware Tool for High Speed Network Simulation -- JAGATH: A Methodology and its Application for Distributed Systems Performance Evaluation and Control -- Hierarchical Stochastic Reward Net Solver Package. |
| Record Nr. | UNINA-9910143496903321 |
|
Highland Harold Joseph
|
||
| Berlin, Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Performance Optimization [[electronic resource] ] : Systems - Applications - Processes / / by Wolfgang W. Osterhage
| Computer Performance Optimization [[electronic resource] ] : Systems - Applications - Processes / / by Wolfgang W. Osterhage |
| Autore | Osterhage Wolfgang W |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (169 p.) |
| Disciplina |
004
004.24 |
| Soggetto topico |
Computer software—Reusability
Performance and Reliability |
| ISBN | 3-642-29971-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Performance Theory -- Performance Measurement -- Analysis -- Optimization -- Network Performance -- Process Performance -- Best Practice Examples -- Wider Context -- Checklists -- Appendix -- References -- Index. |
| Record Nr. | UNINA-9910437603403321 |
|
Osterhage Wolfgang W
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
| Computer Safety, Reliability, and Security [[electronic resource] ] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 344 p.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Coding theory Information theory Special purpose computers Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Coding and Information Theory Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-30138-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics – Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems -- Security and Quality of Service -- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments?. |
| Record Nr. | UNINA-9910144152603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
| Computer Safety, Reliability, and Security [[electronic resource] ] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 344 p.) |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Coding theory Information theory Special purpose computers Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Coding and Information Theory Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-30138-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics – Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems -- Security and Quality of Service -- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments?. |
| Record Nr. | UNISA-996465564803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer system performance modeling in perspective [[electronic resource] ] : a tribute to the work of Professor Kenneth C. Sevcik / / editor Erol Gelenbe
| Computer system performance modeling in perspective [[electronic resource] ] : a tribute to the work of Professor Kenneth C. Sevcik / / editor Erol Gelenbe |
| Pubbl/distr/stampa | London, : Imperial College Press, c2006 |
| Descrizione fisica | 1 online resource (290 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | GelenbeE. <1945-> |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability Electronic digital computers - Evaluation |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-86743-8
9786611867430 1-86094-892-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Chapter 1 Ken Sevcik as an Advisor and Mentor ; Chapter 2 Shadow Servers and Priority Scheduling ; 1. Introduction ; 2. Single Class Models ; 3. Multi-Class Models ; 4. Importance of Priorities ; 5. The Shadow Server Approximaton ; 6. Extensions
7. Comments on Significance References ; Chapter 3 On the Chronology of Dynamic Allocation Index Policies: The Pioneering Work of K. C. Sevcik ; 1. Introduction ; 2. Sevcik's Smallest-Rank-First Index Policy ; 3. Background and Chronology ; 4. Examples ; 5. Concluding Remarks References Chapter 4 Operational Analysis ; 1. Introduction ; 2. Dead Cows ; 3. Dead Cows in Markovian Queueing Networks ; 4. The Birth of Operational Analysis ; 5. The Fundamental Assumptions of Operational Analysis ; 6. Controversy ; 7. Salute ; 8. An Historical Footnote References (Published) References (Unpublished Technical Reports) ; Appendix - Operational Analysis: A Fable ; Chapter 5 Function Approximation by Random Neural Networks with a Bounded Number of Layers ; 1. Introduction ; 2. The GNN and Its Extensions ; 2.1. The BGNN model 3. Approximation of Functions of One Variable by the GNN with a Bounded Number of Layers 3.1. Technical premises ; 3.2. BGNN approximation of continuous functions of one variable ; 3.3. CGNN approximation of continuous functions of one variable 4. Approximation of Continuous Functions of s Variables |
| Record Nr. | UNINA-9910451166703321 |
| London, : Imperial College Press, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer system performance modeling in perspective [[electronic resource] ] : a tribute to the work of Professor Kenneth C. Sevcik / / editor Erol Gelenbe
| Computer system performance modeling in perspective [[electronic resource] ] : a tribute to the work of Professor Kenneth C. Sevcik / / editor Erol Gelenbe |
| Pubbl/distr/stampa | London, : Imperial College Press, c2006 |
| Descrizione fisica | 1 online resource (290 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | GelenbeE. <1945-> |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability Electronic digital computers - Evaluation |
| ISBN |
1-281-86743-8
9786611867430 1-86094-892-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Chapter 1 Ken Sevcik as an Advisor and Mentor ; Chapter 2 Shadow Servers and Priority Scheduling ; 1. Introduction ; 2. Single Class Models ; 3. Multi-Class Models ; 4. Importance of Priorities ; 5. The Shadow Server Approximaton ; 6. Extensions
7. Comments on Significance References ; Chapter 3 On the Chronology of Dynamic Allocation Index Policies: The Pioneering Work of K. C. Sevcik ; 1. Introduction ; 2. Sevcik's Smallest-Rank-First Index Policy ; 3. Background and Chronology ; 4. Examples ; 5. Concluding Remarks References Chapter 4 Operational Analysis ; 1. Introduction ; 2. Dead Cows ; 3. Dead Cows in Markovian Queueing Networks ; 4. The Birth of Operational Analysis ; 5. The Fundamental Assumptions of Operational Analysis ; 6. Controversy ; 7. Salute ; 8. An Historical Footnote References (Published) References (Unpublished Technical Reports) ; Appendix - Operational Analysis: A Fable ; Chapter 5 Function Approximation by Random Neural Networks with a Bounded Number of Layers ; 1. Introduction ; 2. The GNN and Its Extensions ; 2.1. The BGNN model 3. Approximation of Functions of One Variable by the GNN with a Bounded Number of Layers 3.1. Technical premises ; 3.2. BGNN approximation of continuous functions of one variable ; 3.3. CGNN approximation of continuous functions of one variable 4. Approximation of Continuous Functions of s Variables |
| Record Nr. | UNINA-9910784707603321 |
| London, : Imperial College Press, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
