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.
Advanced Boolean Techniques [[electronic resource] ] : Selected Papers from the 15th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Sebastian Huhn
| Advanced Boolean Techniques [[electronic resource] ] : Selected Papers from the 15th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Sebastian Huhn |
| Autore | Drechsler Rolf |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (174 pages) |
| Disciplina | 621.3815 |
| Altri autori (Persone) | HuhnSebastian |
| Soggetto topico |
Electronic circuits
Computer science - Mathematics Embedded computer systems Electronic circuit design Electronic Circuits and Systems Mathematical Applications in Computer Science Embedded Systems Electronics Design and Verification |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-28916-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3. External Don’t Cares in Logic Synthesis -- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra -- Chapter 5. Towards System-level Assertions for Heterogeneous Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms -- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security -- Chapter 8. Two-operands modular multiplication to small bit-ranges -- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs -- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE -- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs. |
| Record Nr. | UNINA-9910728387303321 |
Drechsler Rolf
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Signal Processing, Embedded Systems and IoT [[electronic resource] ] : Proceedings of Seventh ICMEET- 2022 / / edited by V.V.S.S.S. Chakravarthy, Vikrant Bhateja, Wendy Flores Fuentes, Jaume Anguera, K. Padma Vasavi
| Advances in Signal Processing, Embedded Systems and IoT [[electronic resource] ] : Proceedings of Seventh ICMEET- 2022 / / edited by V.V.S.S.S. Chakravarthy, Vikrant Bhateja, Wendy Flores Fuentes, Jaume Anguera, K. Padma Vasavi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (692 pages) |
| Disciplina | 621.382 |
| Collana | Lecture Notes in Electrical Engineering |
| Soggetto topico |
Electronic circuits
Electronics Embedded computer systems Internet of things Electronic Circuits and Systems Electronics and Microelectronics, Instrumentation Embedded Systems Internet of Things |
| Soggetto non controllato |
Engineering
Technology & Engineering |
| ISBN | 981-19-8865-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interference and Cancellation Issues for an Indoor VLC Network -- FPGA-Based 128-Bit RISC Processor Using Pipelining -- Analysis and Implementation of a Multi-path and Metal-Stacked 8-Shaped Inductor -- Improved Conversion Gain with High SFDR and Highly Linear RF Mixer Using Inductive Gate Biasing Technique for Low Power WAS and Radio LAN Applications. |
| Record Nr. | UNINA-9910726272503321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (470 pages) |
| Disciplina | 410.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Embedded computer systems
Computer science—Mathematics Computer networks Software engineering Embedded Systems Mathematics of Computing Computer Communication Networks Software Engineering |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-33620-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction -- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems -- Process Mining -- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets -- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming -- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking -- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies -- Semantics -- Taking Complete Finite Prefixes To High Level, Symbolically -- Interval Traces with Mutex Relation -- A Myhill-Nerode Theorem for Higher-Dimensional Automata -- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems -- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and New Features -- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets -- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets -- On the Reversibility of Circular Conservative Petri Nets -- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets -- Timed Models -- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets -- Model Transformation -- Transforming Dynamic Condition Response Graphs to safe Petri Nets -- Enriching Heraklit Modules by Agent Interaction Diagrams. |
| Record Nr. | UNINA-9910728401303321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (470 pages) |
| Disciplina | 410.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Embedded computer systems
Computer science—Mathematics Computer networks Software engineering Embedded Systems Mathematics of Computing Computer Communication Networks Software Engineering |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-33620-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction -- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems -- Process Mining -- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets -- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming -- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking -- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies -- Semantics -- Taking Complete Finite Prefixes To High Level, Symbolically -- Interval Traces with Mutex Relation -- A Myhill-Nerode Theorem for Higher-Dimensional Automata -- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems -- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and New Features -- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets -- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets -- On the Reversibility of Circular Conservative Petri Nets -- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets -- Timed Models -- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets -- Model Transformation -- Transforming Dynamic Condition Response Graphs to safe Petri Nets -- Enriching Heraklit Modules by Agent Interaction Diagrams. |
| Record Nr. | UNISA-996534464403316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ARCS 2019 : 32nd GI/ITG International Conference on Architecture of Computing Systems May 20 – 21, 2019, Technical University of Denmark, Copenhagen, Denmark Workshop Proceedings
| ARCS 2019 : 32nd GI/ITG International Conference on Architecture of Computing Systems May 20 – 21, 2019, Technical University of Denmark, Copenhagen, Denmark Workshop Proceedings |
| Edizione | [Neuerscheinung] |
| Pubbl/distr/stampa | Berlin, : VDE Verlag, 2019 |
| Descrizione fisica | Online-Ressource (166 S.) |
| Soggetto topico |
Security
Embedded Systems Organic Computing Computer Architecture Dependability Fault Injection Fault Tolerance Heterogeneous Computing Self-adaptation Worst Case Execution Time |
| ISBN |
1-5231-3054-7
3-8007-4958-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996575404603316 |
| Berlin, : VDE Verlag, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence and Sustainable Computing [[electronic resource] ] : Proceedings of ICSISCET 2022 / / edited by Manjaree Pandit, M. K. Gaur, Sandeep Kumar
| Artificial Intelligence and Sustainable Computing [[electronic resource] ] : Proceedings of ICSISCET 2022 / / edited by Manjaree Pandit, M. K. Gaur, Sandeep Kumar |
| Autore | Pandit Manjaree |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (737 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
GaurM. K
KumarSandeep |
| Collana | Algorithms for Intelligent Systems |
| Soggetto topico |
Computational intelligence
Embedded computer systems Internet of things Machine learning Computational Intelligence Embedded Systems Internet of Things Machine Learning |
| ISBN | 981-9914-31-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Features Extraction and Analysis of Electro-Myogram Signals using Time, Frequency, and Wavelet Transform Methods -- Lycopersicon Crop Leaf Disease Identification using Deep Learning -- Performance Analysis of Satellite Image Classification Using Deep Learning Neural Network -- Text Visualization of Entire Corpus through Single document Input Tools. |
| Record Nr. | UNINA-9910746996503321 |
|
Pandit Manjaree
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automotive Security Analyzer for Exploitability Risks [[electronic resource] ] : An Automated and Attack Graph-Based Evaluation of On-Board Networks / / by Martin Salfer
| Automotive Security Analyzer for Exploitability Risks [[electronic resource] ] : An Automated and Attack Graph-Based Evaluation of On-Board Networks / / by Martin Salfer |
| Autore | Salfer Martin |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2024 |
| Descrizione fisica | 1 online resource (260 pages) |
| Disciplina | 006.22 |
| Soggetto topico |
Embedded computer systems
Automotive engineering Embedded Systems Automotive Engineering |
| ISBN | 3-658-43506-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Basics and Related Work -- Models -- Single-Path Attack Graph Algorithm -- Multi-Path Attack Graph Algorithm -- Conclusion -- References. |
| Record Nr. | UNINA-9910845080603321 |
|
Salfer Martin
|
||
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deep Reinforcement Learning Processor Design for Mobile Applications [[electronic resource] /] / by Juhyoung Lee, Hoi-Jun Yoo
| Deep Reinforcement Learning Processor Design for Mobile Applications [[electronic resource] /] / by Juhyoung Lee, Hoi-Jun Yoo |
| Autore | Lee Juhyoung |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (105 pages) |
| Disciplina | 621.38456 |
| Altri autori (Persone) | YooHoi-Jun |
| Soggetto topico |
Electronic circuits
Embedded computer systems Microprocessors Computer architecture Electronic Circuits and Systems Embedded Systems Processor Architectures |
| ISBN | 3-031-36793-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Background of Deep Reinforcement Learning -- Group-Sparse Training Algorithm for Accelerating Deep Reinforcement Learning -- An Energy-Efficient Deep Reinforcement Learning Processor Design -- Low-power Autonomous Adaptation System with Deep Reinforcement Learning -- Low-power Autonomous Adaptation System with Deep Reinforcement Learning -- Exponent-Computing-in-Memory for DNN Training Processor with Energy-Efficient Heterogeneous Floating-point Computing Architecture. |
| Record Nr. | UNINA-9910739463803321 |
|
Lee Juhyoung
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design Automation and Applications for Emerging Reconfigurable Nanotechnologies [[electronic resource] /] / by Shubham Rai, Akash Kumar
| Design Automation and Applications for Emerging Reconfigurable Nanotechnologies [[electronic resource] /] / by Shubham Rai, Akash Kumar |
| Autore | Rai Shubham |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (230 pages) |
| Disciplina | 006.3 |
| Soggetto topico |
Electronic circuits
Embedded computer systems Microprocessors Computer architecture Electronic Circuits and Systems Embedded Systems Processor Architectures |
| ISBN | 3-031-37924-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Preliminaries -- Chapter 3. Exploring Circuit Design Topologies for RFETs -- Chapter 4. Standard Cells and Technology Mapping -- Chapter 5. Logic Synthesis with XOR-Majority Graphs -- Chapter 6. Physical synthesis flow and liberty generation -- Chapter 7. Polymporphic Primitives for Hardware Security -- Chapter 8. Conclusion. |
| Record Nr. | UNINA-9910760262603321 |
|
Rai Shubham
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Efficient Execution of Irregular Dataflow Graphs [[electronic resource] ] : Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra / / by Nimish Shah, Wannes Meert, Marian Verhelst
| Efficient Execution of Irregular Dataflow Graphs [[electronic resource] ] : Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra / / by Nimish Shah, Wannes Meert, Marian Verhelst |
| Autore | Shah Nimish |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XXI, 143 p. 1 illus.) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Embedded computer systems Machine learning Electronic Circuits and Systems Embedded Systems Machine Learning |
| ISBN | 3-031-33136-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Irregular workloads at risk of losing the hardware lottery -- Chapter 2. Suitable data representation: A study of fixed point, floating point,and positTM formats for probabilistic AI -- Chapter 3. GraphOpt: constrained-optimization-based parallelization of irregular workloads for multicore processors -- Chapter 4. DAG Processing Unit version 1 (DPU): Efficient execution of irregular workloads on a multicore processor -- Chapter 5. DAG Processing Unit version 2 (DPU-v2): Efficient execution of irregular workloads on a spatial datapath -- Chapter 6. Conclusions and future work. |
| Record Nr. | UNINA-9910734868403321 |
|
Shah Nimish
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
