Info
Accelerator Programming Using Directives [[electronic resource] ] : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra
| Accelerator Programming Using Directives [[electronic resource] ] : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / / edited by Sandra Wienke, Sridutt Bhalachandra |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (170 pages) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer organization Microprogramming Input-output equipment (Computers) Logic design Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Control Structures and Microprogramming Input/Output and Data Communications Logic Design |
| ISBN | 3-030-49943-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996418304403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Accelerator Programming Using Directives [[electronic resource] ] : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke
| Accelerator Programming Using Directives [[electronic resource] ] : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / / edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 137 p. 61 illus., 43 illus. in color.) |
| Disciplina | 001.642 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Logic design Input-output equipment (Computers) Microprogramming Computer organization Programming Languages, Compilers, Interpreters Logic Design Input/Output and Data Communications Control Structures and Microprogramming Computer Systems Organization and Communication Networks |
| ISBN | 3-030-12274-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466464703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Complexity of Simple Computer Architectures [[electronic resource] /] / edited by Silvia M. Müller, Wolfgang J. Paul
| The Complexity of Simple Computer Architectures [[electronic resource] /] / edited by Silvia M. Müller, Wolfgang J. Paul |
| Autore | Müller Silvia M |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XII, 273 p.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Microprogramming
Microprocessors Computer system failures Arithmetic and logic units, Computer Electronics Microelectronics Logic design Control Structures and Microprogramming Processor Architectures System Performance and Evaluation Arithmetic and Logic Structures Electronics and Microelectronics, Instrumentation Logic Design |
| ISBN | 3-540-47774-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The formal architecture model -- Functional modules -- Hardwired control -- Design of a minimal CPU -- Design of the DLX machine -- Trade-off analyses -- Interrupt -- Microprogrammed control -- Further applications of the architecture model. |
| Record Nr. | UNISA-996466040903316 |
Müller Silvia M
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Evaluation and Benchmarking [[electronic resource] ] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / / edited by David Kaeli
| Computer Performance Evaluation and Benchmarking [[electronic resource] ] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / / edited by David Kaeli |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 145 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Application software Computer system failures Microprocessors Microprogramming Logic design Theory of Computation Computer Applications System Performance and Evaluation Processor Architectures Control Structures and Microprogramming Logic Design |
| ISBN | 3-540-93799-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Benchmark Suites -- SPECrate2006: Alternatives Considered, Lessons Learned -- SPECjvm2008 Performance Characterization -- CPU Benchmarking -- Performance Characterization of Itanium® 2-Based Montecito Processor -- A Tale of Two Processors: Revisiting the RISC-CISC Debate -- Investigating Cache Parameters of x86 Family Processors -- Power/Thermal Benchmarking -- The Next Frontier for Power/Performance Benchmarking: Energy Efficiency of Storage Subsystems -- Thermal Design Space Exploration of 3D Die Stacked Multi-core Processors Using Geospatial-Based Predictive Models -- Modeling and Sampling Techniques -- Generation, Validation and Analysis of SPEC CPU2006 Simulation Points Based on Branch, Memory and TLB Characteristics -- A Note on the Effects of Service Time Distribution in the M/G/1 Queue. |
| Record Nr. | UNISA-996465717103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira
| Computer Safety, Reliability, and Security [[electronic resource] ] : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / / edited by António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXIII, 450 p. 251 illus., 78 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Microprogramming Data encryption (Computer science) Computer security Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Control Structures and Microprogramming Cryptology Systems and Data Security |
| ISBN | 3-030-54549-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. |
| Record Nr. | UNISA-996418299503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
| Computer Safety, Reliability, and Security [[electronic resource] ] : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 316 p. 320 illus., 92 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Optical data processing Microprogramming Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Image Processing and Computer Vision Control Structures and Microprogramming |
| ISBN | 3-030-26601-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil’s in the detail: Through-life safety and security co-assurance using SSAF. |
| Record Nr. | UNISA-996466439903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
| Computer Safety, Reliability, and Security [[electronic resource] ] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXI, 312 p. 92 illus.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Special purpose computers Computer communication systems Software engineering Computer security Microprogramming Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Communication Networks Software Engineering Systems and Data Security Control Structures and Microprogramming |
| ISBN | 3-319-99130-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk. |
| Record Nr. | UNISA-996466360103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Security [[electronic resource] ] : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers / / edited by Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis
| Computer Security [[electronic resource] ] : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers / / edited by Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 281 p. 76 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Data encryption (Computer science) Software engineering Computer organization Computers and civilization Microprogramming Systems and Data Security Cryptology Software Engineering Computer Systems Organization and Communication Networks Computers and Society Control Structures and Microprogramming |
| ISBN | 3-319-72817-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Protecting Industrial Control and Cyber-Physical Systems -- Threats, Vulnerabilities and Risks -- Cyber Attacks in Industrial Control and Cyber-Physical Systems -- Detecting Attacks in Industrial Control and Cyber-Physical Systems -- Security and Privacy Requirements Assurance and Evaluation -- Security Requirements Elicitation and Modelling. |
| Record Nr. | UNISA-996465495703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Constructive Side-Channel Analysis and Secure Design [[electronic resource] ] : 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings / / edited by Ilia Polian, Marc Stöttinger
| Constructive Side-Channel Analysis and Secure Design [[electronic resource] ] : 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings / / edited by Ilia Polian, Marc Stöttinger |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 303 p. 230 illus., 64 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Computer organization Microprogramming Coding theory Information theory Operating systems (Computers) Systems and Data Security Computer Systems Organization and Communication Networks Control Structures and Microprogramming Coding and Information Theory Operating Systems |
| ISBN | 3-030-16350-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Side-Channel Attacks -- Fault-Injection Attacks -- White-Box Attacks -- Side-Channel Analysis Methodologies -- Security Aspects of Post-Quantum Schemes -- Countermeasures Against Implementation Attacks. |
| Record Nr. | UNISA-996466445603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Constructive Side-Channel Analysis and Secure Design [[electronic resource] ] : 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings / / edited by Junfeng Fan, Benedikt Gierlichs
| Constructive Side-Channel Analysis and Secure Design [[electronic resource] ] : 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings / / edited by Junfeng Fan, Benedikt Gierlichs |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 263 p. 79 illus.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Data encryption (Computer science) Architecture, Computer Special purpose computers Microprogramming Coding theory Information theory Systems and Data Security Cryptology Computer System Implementation Special Purpose and Application-Based Systems Control Structures and Microprogramming Coding and Information Theory |
| ISBN | 3-319-89641-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Countermeasures against side-channel attacks -- Tools for side-channel analysis -- Fault attacks and hardware trojans -- Side-channel analysis attacks. |
| Record Nr. | UNISA-996465588903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
