Computer Safety, Reliability, and Security : 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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
Edizione | [1st ed.] |
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-9910809674203321 |
London, : Imperial College Press, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer systems : performance evalutation / Domenico Ferrari |
Autore | Ferrari, Domenico |
Pubbl/distr/stampa | Englewood Cliffs : Prentice Hall, 1978 |
Descrizione fisica | XXI, 554 p. : ill. ; 24 cm |
Disciplina | 004.24 |
Soggetto non controllato | Elaboratori elettronici digitali - Calcolo |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000008730403321 |
Ferrari, Domenico | ||
Englewood Cliffs : Prentice Hall, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer systems performance evaluation and prediction / / Paul J. Fortier, Howard E. Michel |
Autore | Fortier Paul J |
Edizione | [1st edition] |
Pubbl/distr/stampa | Burlington, MA, : Digital Press, c2003 |
Descrizione fisica | 1 online resource (541 p.) |
Disciplina |
004.2/4
004.24 |
Altri autori (Persone) | MichelHoward Edgar |
Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability |
ISBN |
1-281-03946-2
9786611039462 0-08-050260-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; Computer Systems Performance Evaluation and Prediction; Copyright Page; Contents; Preface; Chapter 1. Introduction; 1.1 Evolution of computer systems architectures; 1.2 Evolution of database systems; 1.3 Evolution of operating systems; 1.4 Evolution of computer networks; 1.5 Need for performance evaluation; 1.6 Role of performance evaluation in computer engineering; 1.7 Overview of performance evaluation methods; 1.8 Performance metrics and evaluation criteria; Chapter 2. Computer Data Processing Hardware Architecture; 2.1 Introduction; 2.2 Computer hardware architecture
2.3 CPU architectures 2.4 I/O architectures; 2.5 Secondary storage and peripheral devices and architectures; 2.6 Distributed and network architectures; 2.7 Network topologies; 2.8 Computer architectures; 2.9 Computer systems support software architecture; 2.10 Components of a database system's architecture; 2.11 Summary; Chapter 3. Fundamental Concepts and Performance Measures; 3.1 Introduction; 3.2 Time; 3.3 Events; 3.4 Measurements (sampling); 3.5 Intervals; 3.6 Response; 3.7 Independence; 3.8 Randomness; 3.9 Workloads; 3.10 Problems encountered in model development and use 3.11 A case study 3.12 Summary; Chapter 4. General Measurement Principles; 4.1 Scheduling algorithms; 4.2 Workloads; 4.3 Summary; Chapter 5. Probability; 5.1 Random variables; 5.2 Jointly distributed random variables; 5.3 Probability distributions; 5.4 Densities; 5.5 Expectation; 5.6 Some example probability distributions; 5.7 Summary; Chapter 6. Stochastic Processes; 6.1 Introduction; 6.2 Basic definitions; 6.3 Poisson process; 6.4 Birth-death process; 6.5 Markov process; 6.6 Summary; Chapter 7. Queuing Theory; 7.1 Queuing systems; 7.2 Networks of queues 7.3 Estimating parameters and distributions 7.4 Computational methods for queuing network solutions; 7.5 Summary; Chapter 8. Simulation Analysis; 8.1 Simulation process; 8.2 Time control; 8.3 Systems and modeling; 8.4 Simulation languages; 8.5 Applications of simulation; 8.6 Summary; Chapter 9. Petri Nets; 9.1 Introduction; 9.2 Basic notation; 9.3 Classical Petri nets; 9.4 Timed Petri nets; 9.5 Priority-based Petri nets; 9.6 Colored Petri nets; 9.7 Generalized Petri nets; 9.8 Summary; Chapter 10. Hardware Testbeds, Instrumentation, Measurement, Data Extraction, and Analysis 10.1 Derivation of performance evaluation parameters 10.2 Network performance tests; 10.3 General methods of data extraction; 10.4 Testbed and model workloads; 10.5 Experimental design; 10.6 Data presentation; 10.7 Summary; Chapter 11. System Performance Evaluation Tool Selection and Use; 11.1 Tool selection; 11.2 Validation of results; 11.3 Conducting experiments; 11.4 Performance metrics; 11.5 Evaluation; 11.6 Summary; Chapter 12. Analysis of Computer Architectures; 12.1 Introduction; 12.2 Case I: Central server computer system; 12.3 Case II: Multiple server computer system 12.4 Case III: Petri net example |
Record Nr. | UNINA-9910828544703321 |
Fortier Paul J
![]() |
||
Burlington, MA, : Digital Press, c2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
DSA 2018 : 2018 5th International Conference on Dependable Systems and Their Applications : proceedings : 22-23 September 2018, Dalian, China / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (150 pages) |
Disciplina | 004.24 |
Soggetto topico |
Computer systems - Reliability
Fault-tolerant computing |
ISBN | 1-5386-9266-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996280540503316 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
DSA 2018 : 2018 5th International Conference on Dependable Systems and Their Applications : proceedings : 22-23 September 2018, Dalian, China / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (150 pages) |
Disciplina | 004.24 |
Soggetto topico |
Computer systems - Reliability
Fault-tolerant computing |
ISBN | 1-5386-9266-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910295818003321 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Electronic digital computers / C. V. L. Smith |
Autore | Smith, Charles V.l. |
Pubbl/distr/stampa | New York [etc.] : McGraw-Hill Book Company, 1959 |
Descrizione fisica | 443 p. : ill. ; 24 cm |
Disciplina | 004.24 |
Soggetto non controllato | Architetture degli elaboratori digitali |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001304770403321 |
Smith, Charles V.l.
![]() |
||
New York [etc.] : McGraw-Hill Book Company, 1959 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering in Dependability of Computer Systems and Networks : Proceedings of the Fourteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 1–5, 2019, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (569 pages) |
Disciplina |
004.24
005 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
ISBN | 3-030-19501-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483802903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|