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.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers / / by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
| Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers / / by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler |
| Autore | Przigoda Nils |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 255 p. 16 illus., 5 illus. in color.) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Microprocessors Electronics Microelectronics Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation |
| ISBN | 3-319-72814-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299580103321 |
Przigoda Nils
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation / / by Julia Seiter, Robert Wille, Rolf Drechsler
| Automatic Methods for the Refinement of System Models : From the Specification to the Implementation / / by Julia Seiter, Robert Wille, Rolf Drechsler |
| Autore | Seiter Julia |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VIII, 94 p. 30 illus., 5 illus. in color.) |
| Disciplina | 004.21 |
| Collana | SpringerBriefs in Electrical and Computer Engineering |
| Soggetto topico |
Electronic circuits
Microprocessors Electronics Microelectronics Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation |
| ISBN | 3-319-41480-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. |
| Record Nr. | UNINA-9910254170303321 |
|
Seiter Julia
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Compact Representations for the Design of Quantum Logic / / by Philipp Niemann, Robert Wille
| Compact Representations for the Design of Quantum Logic / / by Philipp Niemann, Robert Wille |
| Autore | Niemann Philipp |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (126 pages) |
| Disciplina | 004.1 |
| Collana | SpringerBriefs in Physics |
| Soggetto topico |
Quantum computers
Spintronics Computer science—Mathematics Quantum physics Quantum Information Technology, Spintronics Symbolic and Algebraic Manipulation Quantum Computing Quantum Physics |
| ISBN | 3-319-63724-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Introduction and Background -- 1 Introduction -- 2 Background -- Part II Representation of Quantum Functionality -- 3 Challenges and Initial Approaches -- 4 Quantum Multiple-Valued Decision Diagrams -- 5 Discussion and Outlook -- Part III Design of Quantum Logic -- 6 Challenges and Initial Approaches -- 7 Synthesis of Quantum Circuits -- 8 Correctness of Multiple-Valued Implementations -- 9 Discussion and Outlook. |
| Record Nr. | UNINA-9910739473403321 |
|
Niemann Philipp
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Designing Droplet Microfluidic Networks : A Toolbox for Designers / / by Andreas Grimmer, Robert Wille
| Designing Droplet Microfluidic Networks : A Toolbox for Designers / / by Andreas Grimmer, Robert Wille |
| Autore | Grimmer Andreas |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (145 pages) |
| Disciplina | 532.05 |
| Soggetto topico |
Electronic circuits
Biomedical engineering Electronics Microelectronics Circuits and Systems Biomedical Engineering and Bioengineering Electronics and Microelectronics, Instrumentation |
| ISBN | 3-030-20713-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Background -- Simulation of Droplet Microfluidic Networks -- Dimensioning of Droplet Microfluidic Networks -- Designing Meanders -- Passive Droplet Routing -- Designing Application-specific Architectures -- Generating Droplet Sequences -- Integrated Design Process -- Summary and Conclusion. |
| Record Nr. | UNINA-9910366592003321 |
|
Grimmer Andreas
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Exact Design of Digital Microfluidic Biochips / / by Oliver Keszocze, Robert Wille, Rolf Drechsler
| Exact Design of Digital Microfluidic Biochips / / by Oliver Keszocze, Robert Wille, Rolf Drechsler |
| Autore | Keszocze Oliver |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 134 p. 66 illus., 45 illus. in color.) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Microprocessors Electronics Microelectronics Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation |
| ISBN | 3-319-90936-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction -- Chapter 2: Background -- Chapter 3: Routing -- Chapter 4: Pin Assignment -- Chapter 5: Pin-aware Routing and Extensions -- Chapter 6: One-Pass Design -- Chapter 7: Conclusion and Future Work. |
| Record Nr. | UNINA-9910337471303321 |
|
Keszocze Oliver
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
High performance simulation for industrial paint shop applications / / Kevin Verma, Robert Wille
| High performance simulation for industrial paint shop applications / / Kevin Verma, Robert Wille |
| Autore | Verma Kevin |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (145 pages) |
| Disciplina | 620.106 |
| Soggetto topico |
Fluid mechanics - Computer simulation
Coating processes - Computer simulation High performance computing Càlcul intensiu (Informàtica) Mecànica de fluids Superfícies (Tecnologia) Simulació per ordinador |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-71625-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Part I Introduction and Background -- 1 Introduction -- -- 2 Background -- 2.1 Computational Fluid Dynamics -- 2.1.1 Fundamentals -- 2.1.2 Governing Equations -- 2.1.3 Discretization Techniques -- 2.1.3.1 Grid-Based Methods -- 2.1.3.2 Particle-Based Methods -- 2.2 High Performance Computing -- 2.2.1 Fundamentals -- 2.2.2 Shared Memory Parallelism -- 2.2.3 Distributed Memory Parallelism -- 2.2.4 General-Purpose Computing on Graphics Processing Units -- 2.3 Automotive Paint Shop -- 2.3.1 Overview -- 2.3.2 Challenges -- Part II Grid-Based Methods -- 3 Overview -- 3.1 Finite Difference Method -- 3.1.1 Formulation -- 3.1.2 Grid Discretization -- 3.2 Electrophoretic Deposition Coatings -- 4 Simulation of Electrophoretic Deposition Coatings -- 4.1 Background -- 4.1.1 State of the Art -- 4.1.2 Formulation -- 4.2 General Idea -- 4.2.1 Numerical Modeling of EPD -- 4.2.2 Grid Discretization -- 4.3 Simulation of EPD Coatings -- 4.3.1 Implementation of Numerical Model -- 4.3.2 Overset Grid Implementation -- 4.3.2.1 Grid Ω16h -- 4.3.2.2 Grid Ω8h -- 4.3.2.3 Grid Ω2h -- 4.3.2.4 Grid Ωh -- 4.3.2.5 Discussion and Resulting Overall Algorithm -- 4.4 Experimental Evaluations -- 4.4.1 Validation with Analytical Data -- 4.4.2 Validation with Industrial Data -- 4.4.3 Performance Discussion -- 4.5 Summary -- Part III Volumetric Decomposition Methods -- 5 Overview -- 5.1 Fundamentals -- 5.2 Drawback -- 6 Volumetric Decomposition on Shared Memory Architectures -- 6.1 Background -- 6.1.1 State of the Art -- 6.1.2 Basic Architecture -- 6.2 Parallel Simulation of Electrophoretic Deposition -- 6.2.1 Outer Parallel Layer -- 6.2.2 Inner Parallel Layer -- 6.2.2.1 Identifying Critical Vertices -- 6.2.2.2 Constructing the Volume Decomposition -- 6.2.2.3 Integrating Bottlenecks -- 6.3 Experimental Evaluations.
6.3.1 Speedup for the Reeb Graph Construction -- 6.3.2 Speedup for the Entire Simulation -- 6.4 Summary -- 7 Volumetric Decomposition on Distributed Memory Architectures -- 7.1 Basic Architecture -- 7.2 Implementation of the Distributed Algorithm -- 7.2.1 Workload Distribution -- 7.2.2 Memory Optimization -- 7.2.3 Load Balancing -- 7.3 Experimental Evaluations -- 7.3.1 Test Environment and Considered Data Set -- 7.3.2 Speedup in the Reeb Graph Construction -- 7.3.3 Speedup in the Entire Simulation -- 7.4 Summary -- Part IV Particle-Based Methods -- 8 Overview -- 8.1 SPH Fundamentals -- 8.1.1 Formulation -- 8.1.2 Internal Forces -- 8.1.3 External Forces -- 8.2 SPH Variants -- 8.2.1 Basic Variants -- 8.2.2 Predictive-Corrective Incompressible SPH -- 8.3 SPH and High Performance Computing -- 8.3.1 CPU Parallelization -- 8.3.2 GPU Parallelization -- 9 SPH on Multi-GPU Architectures -- 9.1 Background -- 9.1.1 Basic Architecture -- 9.1.2 Motivation -- 9.2 Advanced Load Balancing -- 9.2.1 General Idea -- 9.2.2 Using Internal Cache -- 9.2.3 Using Pointers -- 9.3 Experimental Evaluations -- 9.3.1 Experimental Setup -- 9.3.2 Dam Break Simulation -- 9.3.3 Spray Wash Simulation -- 9.4 Summary -- 10 SPH Variants on Multi-GPU Architectures -- 10.1 Background -- 10.2 Distributed Multi-GPU Architecture -- 10.3 Optimization Techniques -- 10.3.1 Load Balancing -- 10.3.2 Overlapping Memory Transfers -- 10.3.3 Optimizing Particle Data Representation -- 10.3.4 Optimizing Exchange of Halos -- 10.4 Experimental Evaluations -- 10.4.1 Experimental Setup -- 10.4.2 Dam Break Simulation -- 10.4.3 Water Splashing Simulation -- 10.5 Summary -- Part V Conclusion -- 11 Conclusion -- References -- Index. |
| Record Nr. | UNINA-9910483851303321 |
|
Verma Kevin
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introducing Design Automation for Quantum Computing / / by Alwin Zulehner, Robert Wille
| Introducing Design Automation for Quantum Computing / / by Alwin Zulehner, Robert Wille |
| Autore | Zulehner Alwin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 222 p. 65 illus., 14 illus. in color.) |
| Disciplina | 006.3843 |
| Soggetto topico |
Electronic circuits
Microprocessors Quantum computers Circuits and Systems Processor Architectures Quantum Computing |
| ISBN | 3-030-41753-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Quantum Computing -- Design Automation Methods for Conventional Systems -- Quantum-Circuit Simulation Overview -- Decision Diagram-based Simulation -- Combining Operations in DD-based Simulation -- Efficient Implementation of the Proposed DDs -- Accuracy and Compactness of the Proposed DDs -- Design of Boolean Components for Quantum Circuits -- Functional Synthesis -- One-pass Design Flow -- Mapping Quantum Circuits to NISQ Devices -- Minimal and Close-to-minimal Approaches -- Heuristic Approach -- A Dedicated Heuristic Approach for SU(4) Quantum Circuits -- Conclusion. |
| Record Nr. | UNINA-9910392741103321 |
|
Zulehner Alwin
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 / / edited by Franco Fummi, Robert Wille
| Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 / / edited by Franco Fummi, Robert Wille |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VII, 116 p. 61 illus., 48 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Electrical Engineering |
| Soggetto topico |
Electronic circuits
Microprocessors Electronics Microelectronics Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation |
| ISBN | 3-319-62920-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter1. Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation -- Chapter2. Designing Reliable Cyber-Physical Systems -- Chapter3. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study -- Chapter4. Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems -- Chapter5. Feature based State Space Coverage of Analog Circuits -- Chapter6. Error-free Near-threshold Adiabatic CMOS Logic in Presence of Process Variation. |
| Record Nr. | UNINA-9910299881003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015 / / edited by Rolf Drechsler, Robert Wille
| Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015 / / edited by Rolf Drechsler, Robert Wille |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (193 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Electrical Engineering |
| Soggetto topico |
Electronic circuits
Microprocessors Electronics Microelectronics Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation |
| ISBN | 3-319-31723-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Virtual Hardware-In-The-Loop Co-Simulation for Multi-Domain Automotive Systems via the Functional Mock-Up Interface -- Standard Compliant Co-Simulation Models for Verification of Automotive Embedded Systems -- Building a Dynamically Reconfigurable System Through a High-Level Development Flow -- A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators -- Enabler-Based Synchronizer Model for Clock Domain Crossing Static Verification -- Temporal Decoupling with Error-Bounded Predictive Quantum Control -- Conservative Behavioural Modelling in SystemC-AMS -- Modeling Power Consumption at System-Level for Design of Power Integrity-Aware AMS-Circuits. |
| Record Nr. | UNINA-9910254223803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reversible Computation [[electronic resource] ] : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers / / edited by Alexis De Vos, Robert Wille
| Reversible Computation [[electronic resource] ] : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers / / edited by Alexis De Vos, Robert Wille |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (IX, 123 p. 82 illus.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Algorithms Software engineering Programming languages (Electronic computers) Mathematical logic Computer communication systems Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-642-29517-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466270803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||