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 : Selected Papers from the 15th International Workshop on Boolean Problems / / edited by Rolf Drechsler, Sebastian Huhn
| Advanced Boolean Techniques : 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 |
| 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 | ||
| ||
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms / / by Mohammad Reza Heidari Iman
| Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms / / by Mohammad Reza Heidari Iman |
| Autore | Heidari Iman Mohammad Reza |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (142 pages) |
| Disciplina | 006.22 |
| Soggetto topico |
Embedded computer systems
Electronic circuit design Electronics Embedded Systems Electronics Design and Verification Electronics and Microelectronics, Instrumentation |
| ISBN |
9783031904103
9783031904097 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Background -- State-of-the-art -- Automatic Generation of Assertions for Functional Verification -- Automatic Evaluation and Minimization of Assertions -- Automatic Generation of Assertions for Security Verification -- Conclusion and Future Directions. |
| Record Nr. | UNINA-9911015869503321 |
|
Heidari Iman Mohammad Reza
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Microelectronics, Embedded Systems and IoT : Proceedings of 8th International Conference on Microelectronics, Electromagnetics and Telecommunications (ICMEET 2023) / / edited by V. V. S. S. S Chakravarthy, Vikrant Bhateja, Jaume Anguera, Shabana Urooj, Anumoy Ghosh
| Advances in Microelectronics, Embedded Systems and IoT : Proceedings of 8th International Conference on Microelectronics, Electromagnetics and Telecommunications (ICMEET 2023) / / edited by V. V. S. S. S Chakravarthy, Vikrant Bhateja, Jaume Anguera, Shabana Urooj, Anumoy Ghosh |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (0 pages) |
| Disciplina | 537 |
| 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 |
| ISBN | 981-9707-67-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Committee -- Preface -- Contents -- Editors and Contributors -- Hardware Security for IC Piracy: Logic Locking Past, Present and Opportunity -- 1 Introduction -- 2 Background -- 2.1 Basics of Logic Locking -- 3 Logic Locking: Defence Techniques -- 3.1 Primitive Logic Locking -- 3.2 Cyclic-Based-Logic Locking -- 3.3 Scan Chain Logic Locking/Blocking -- 3.4 Finite State Machine-Based Logic Locking -- 4 Logic Locking: Attacks -- 4.1 Algorithmic Attacks -- 4.2 Approximate Attacks -- 4.3 Structural Attacks -- 5 Research Opportunities in Logic Locking -- 6 Conclusion -- References -- Design and Analysis of 2.4 to 3.5 GHz Low-Noise Amplifier for Sub-6 Cellular LTE/5G NR Application Using CMOS 110 nm SOI Process Technology -- 1 Introduction -- 2 Selection of Process Technology (CMOS SOI) -- 3 Topology Selection for Proposed LNA -- 4 Transistor Size Selection for Proposed LNA Design -- 5 Impedance Matching for Proposed LNA Design -- 6 Circuit Design of proposed LNA Design -- 7 Performance of Designed LNA Abbreviations and Acronyms -- 7.1 S Parameter -- 7.2 Noise Figure -- 7.3 Stability -- 7.4 Linearity -- 8 Comparison of Proposed LNA Design -- 9 Conclusion -- References -- Out-of-Order Execution of Instructions for In-Order Five-Stage RISC-V Processor -- 1 Introduction -- 2 System Design -- 3 Results -- 4 Conclusion -- References -- Load Balancing by Efficient Resource Allocation for Edge Devices -- 1 Introduction -- 2 Proposed Method -- 2.1 The First Stage Is to Build the Simulator that Mainly Contains 3 Physical Entities -- 2.2 Finding the Most Appropriate Load Balancing Algorithm and Adding It to the Simulator -- 3 Evaluating the Performance of the Simulator -- 4 Conclusion -- References -- Analysis of Clock Gating Techniques for Low Power -- 1 Introduction -- 2 Power Analysis of Existing Clock Gating Techniques -- 2.1 AND-Based Clock Gating.
2.2 Flip-Flop-Based Clock Gating -- 2.3 Latch-Based Clock Gating (LBCG) -- 2.4 Data-Driven-Based Clock Gating -- 2.5 Autogated-Based Clock Gating (ABCG) -- 3 Experimental Results -- 4 Conclusion -- References -- Design and Development of Physiological Parameter Monitoring System Using Wearable Sensors -- 1 Introduction -- 1.1 Background Study -- 2 Research Methods -- 2.1 Material and Study -- 2.2 Block Diagram -- 2.3 Flowchart -- 2.4 Circuit Diagram -- 3 Testing -- 3.1 Data Retrieval -- 4 Conclusion -- References -- Energy-Efficient Enhancement of the AES Module in Randshift Method Through S-Box with Registers -- 1 Introduction -- 2 Literature Survey -- 3 Methodology -- 3.1 Existing AES in Randshift -- 3.2 Proposed Methodology -- 4 Simulation Results -- 5 Conclusion and Future Scope -- References -- Numerical Exploration of Supercontinuum Generation in Zinc-Germanium Diphosphide-Based Photonic Crystal Fiber -- 1 Introduction -- 2 Proposed Design of PCF -- 3 Linear and Nonlinear Parameters -- 4 Optical Properties of the Fiber -- 5 Numerical Simulation Outcomes for SCG -- 6 Conclusion and Future Scope -- References -- Adaptive Learning-Based IoT Security Framework Using Recurrent Neural Networks -- 1 Introduction -- 1.1 Background and Motivation -- 2 Literature Review -- 3 Methodology -- 3.1 Overview of the Proposed Adaptive Learning-Based IoT Security Framework -- 3.2 Sensor Parameters for IoT Security Analysis -- 3.3 Data Collection and Preprocessing for RNN Training -- 3.4 Model Evaluation and Validation Techniques -- 4 Implementation -- 4.1 Selection of IoT Devices and Network Setup -- 4.2 Integration of the RNN Model into the IoT Security Framework -- 5 Results and Analysis -- 5.1 Performance Evaluation Metrics -- 5.2 Comparison of the Proposed Framework with Traditional Methods -- 6 Conclusion -- References. Design of Radial Basis Function with PI-Based Supervisory Neural Controller for Liquid Level System -- 1 Introduction -- 2 RBF-PI-Based Supervisory Controller -- 3 Discrete-Time PI Controller with Anti-windup (AW) Strategy -- 4 Experimental Results -- 5 Conclusion -- References -- A Novel Approach for the Design of a Raspberry Pi-Based Smart Drainage Monitoring System -- 1 Introduction -- 2 Methodologies and Hardware Tools Used -- 2.1 SMTP Protocol -- 2.2 Hardware Tools -- 3 Proposed System Design -- 3.1 Working Methodology of the Proposed System -- 4 Programming Methodology -- 5 Results and Observation -- 6 Conclusion and Future Work -- References -- Design of an IoT-Based System for Prefailure Deformation Monitoring of Riverbank Landslides in Mekong Delta -- 1 Introduction -- 2 System Design -- 2.1 Structure of the Sensor Nodes -- 2.2 Cloud Server -- 3 Experimental Results -- 4 Conclusions -- References -- Software-Defined Storage Performance Testing Using Mininet -- 1 Introduction -- 2 Related Work -- 3 Emulation Scenario -- 4 Emulation Setting -- 4.1 Emulation Environment Specifications -- 5 Emulation Results -- 6 Conclusion and Future Scope -- 6.1 Conclusion -- 6.2 Future Scope -- References -- High Gain Voltage Lift-Based Interleaved Cascaded Boost DC-DC Converter -- 1 Introduction -- 2 Circuit Analysis of the Proposed Converter -- 3 Operating Principle of Proposed Converter -- 4 Proposed Converter Steady-State Analysis -- 4.1 Voltage Gain (G) -- 4.2 Ratings of Diodes -- 4.3 Ratings of the Switches -- 5 Simulated Results Discussion -- 6 Conclusion -- References -- Modelling and Simulation of DC-DC Converters for PEM Fuel Cell Electric Vehicles -- 1 Introduction -- 2 Modelling of Fuel Cell -- 3 Modelling of DC-DC Converters -- 3.1 Interleaved Boost Converter (IBC) -- 3.2 Self-lift SEPIC Converter -- 4 Inverter, Motor and Motor Control Design. 4.1 Modelling of Inverter -- 4.2 BLDC Motor and Control -- 5 Simulation Results -- 6 Conclusion -- References -- Feasibility Assessment of All-in-One Portable Measurement Device for Home-Based Remote Vital Sign Monitoring -- 1 Introduction -- 2 Material and Method -- 2.1 PVS Primary Care Cloud Platform -- 2.2 Part 1 PVS Calibration -- 2.3 Part 2 Mild Symptom Patient Self-assessment -- 3 Results and Discussion -- 3.1 Part 1 PVS Calibration -- 3.2 Part 2 Mild Symptom Patient Self-assessment -- 3.3 Discussion -- 4 Conclusion -- References -- Enhanced Efficiency of Perovskite Solar Cells with Reduced Graphene Oxide as an HTL: A Simulation Analysis Using SCAPS-1D -- 1 Introduction -- 2 Modelling of Perovskite Solar Cell -- 3 Simulation of the Device -- 4 Results and Discussion -- 4.1 Effect of Perovskite Layer Thickness -- 4.2 Effect of Perovskite Layer Doping -- 4.3 Effect of TCO Layer Thickness -- 4.4 Effect of Reduced Graphene Oxide (rGO) Doping -- 5 Conclusion -- References -- Design and Analysis of 10-nm FD-SOI FinFET by Dual-Dielectric Spacers for High-Speed Switching -- 1 Introduction -- 2 Structure and Simulation Framework of the Device -- 2.1 Single Dielectric Spacers and Simulation Results -- 2.2 Dual-k Spacers with Device Structure and Simulation Results -- 2.3 Doping Concentration -- 3 Simulation Results of Single- and Dual-Dielectric Spacer Devices -- 4 Conclusion -- References -- Study of Effect of Nd Substitution on Dielectric and Electrical Properties of Bismuth Iron Titanate -- 1 Introduction -- 2 Experimental Procedure -- 3 Analysis of Experimental Results -- 3.1 XRD and Morphological Analysis -- 3.2 Dielectric Analysis -- 3.3 Impedance Analysis -- 3.4 AC Conductivity -- 4 Conclusion -- References -- Initiation, Innovation, Implementation and Integration of CBDC in Digital Virtual Payment Systems -- 1 Introduction. 2 Background Information -- 2.1 Blockchain -- 2.2 Different Forms of Digital Currency -- 2.3 Difference Between Regular Online Payments and CBDC -- 3 Proposed 4i Stage Model of CBDC -- 3.1 Initiation of CBDC -- 3.2 Innovations of CBDC -- 3.3 Implementation of CBDC -- 4 Integration of CBDC -- 5 Conclusion -- References -- Software Development Effort Estimation Using UML Activity Models with Regression Analysis -- 1 Introduction -- 2 Relevant Work -- 3 Proposed Approach -- 3.1 Dataset -- 3.2 Regression Models -- 3.3 Performance Metrics -- 4 Environment Setup -- 5 Results Analysis -- 6 Conclusion -- References -- An IoT-Based Intelligent Smart Parking System with Effective Communication System -- 1 Introduction -- 2 Literature Review -- 3 Methodology -- 3.1 Design Methodologies -- 3.2 Connections -- 3.3 System Architecture Diagram -- 3.4 Hardware Requirements -- 3.5 Software Requirements -- 4 Results and Findings -- 4.1 Stepwise Description of Implementation -- 4.2 Results -- 4.3 Observations from the Work -- 5 Conclusion and Future Scope -- 5.1 Conclusion -- 5.2 Future Study -- References -- Smart Pregnancy Watch with Location-Based Emergency Messaging, a Comprehensive Solution for Maternal Health Care -- 1 About Smart Band -- 2 Survey for Pregnancy in Women -- 3 Problems Identified -- 3.1 Discussion About the Problem -- 3.2 Emergency Message Sending -- 3.3 Location Tracking -- 3.4 Baby Safety -- 4 Hardware Components -- 5 Design and Implementation -- 6 Results and Discussion -- 7 Conclusion -- References -- ANN Enabled Obstacle Avoiding Automated Car -- 1 Introduction -- 2 Scope -- 3 Overview -- 4 Related Work -- 5 Existing System -- 6 Proposed System -- 7 Problem Statement -- 8 Methodology -- 8.1 Circuit Diagram -- 8.2 Algorithm -- 8.3 Data Flow Diagram -- 8.4 Pseudo-code -- 9 Overview of Technology -- 9.1 Arduino UNO -- 9.2 Ultrasonic Sensor. 9.3 TT Gear Set and Wheels. |
| Record Nr. | UNINA-9910861097303321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Signal Processing, Embedded Systems and IoT : 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 : 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 |
| 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 | ||
| ||
AI on the Edge with Security : Foundations and Practices / / by Naresh Kumar Sehgal, Manoj Saxena, Dhaval N. Shah
| AI on the Edge with Security : Foundations and Practices / / by Naresh Kumar Sehgal, Manoj Saxena, Dhaval N. Shah |
| Autore | Sehgal Naresh Kumar |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (285 pages) |
| Disciplina | 006.22 |
| Altri autori (Persone) |
SaxenaManoj
ShahDhaval N |
| Soggetto topico |
Embedded computer systems
Cooperating objects (Computer systems) Internet of things Embedded Systems Cyber-Physical Systems Internet of Things |
| ISBN |
9783031782725
9783031782718 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I. Foundations -- Chapter 1. Edge Computing with AI: Introduction -- Chapter 2. Foundations of Computing at the Edge of Networks -- Chapter 3. Foundations of the Internet of Things (IoT) -- Chapter 4. Foundations of Artificial Intelligence -- Chapter 5. Foundations of Information Security -- Chapter 6. Edge Artificial Intelligence -- Part II. Practices -- Chapter 7. Security and Performance at the Edge -- Chapter 8. Intelligent Edge Computing: Design Use Cases -- Chapter 9. Role of Regulatory -- Chapter 10. Future of Edge AI. |
| Record Nr. | UNINA-9910983393203321 |
|
Sehgal Naresh Kumar
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analog Microelectronics / / by Mattia Borgarino
| Analog Microelectronics / / by Mattia Borgarino |
| Autore | Borgarino Mattia |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (979 pages) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuit design
Embedded computer systems Electronics Electronics Design and Verification Embedded Systems Electronics and Microelectronics, Instrumentation |
| ISBN | 3-031-94286-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | History of Electronics -- Transistors and Amplifiers -- Fundamental Patterns -- Exercises on basic patterns -- Frequency Response -- Feedback -- Feedback and Stability -- Examples of Feedback Amplifiers. |
| Record Nr. | UNINA-9911020421703321 |
|
Borgarino Mattia
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| 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 | ||
| ||
Application and Theory of Petri Nets and Concurrency : 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 : 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
511.35 |
| 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 Xarxes de Petri Programació multitasca (Informàtica) |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031336201
3031336208 |
| 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 | ||
| ||
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 | ||
| ||
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 Reliability Fault Injection Fault Tolerance Heterogeneous computing Self-adaptation Worst Case Execution Time |
| ISBN |
9781523130542
1523130547 9783800749584 3800749580 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910873828503321 |
| Berlin, : VDE Verlag, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||