LIBROS DEL AUTOR: robert wille

15 resultados para LIBROS DEL AUTOR: robert wille

robert wille Eliminar filtro Quitar filtros
  • Design Automation for Field-coupled Nanotechnologies
    Frank Sill Torres / Marcel Walter / Robert Wille
    This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel...
    Disponible

    136,00 €

  • High Performance Simulation for Industrial Paint Shop Applications
    Kevin Verma / Robert Wille
    This book describes the current state of the art for simulating paint shop applications, their advantages and limitations, as well as corresponding high-performance computing (HPC) methods utilized in this domain. The authors provide a comprehensive introduction to fluid simulations, corresponding optimization methods from the HPC domain, as well as industrial paint shop applic...
    Disponible

    68,18 €

  • Design Automation for Field-coupled Nanotechnologies
    Frank Sill Torres / Marcel Walter / Robert Wille
    This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel...
    Disponible

    48,21 €

  • Design Automation for Field-coupled Nanotechnologies
    Frank Sill Torres / Marcel Walter / Robert Wille
    This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain correct systems from given function specifications. To this end, a holistic design flow is described, which covers exact and scalable placement & routing, one-pass logic synthesis, novel...
    Disponible

    134,65 €

  • High Performance Simulation for Industrial Paint Shop Applications
    Kevin Verma / Robert Wille
    This book describes the current state of the art for simulating paint shop applications, their advantages and limitations, as well as corresponding high-performance computing (HPC) methods utilized in this domain. The authors provide a comprehensive introduction to fluid simulations, corresponding optimization methods from the HPC domain, as well as industrial paint shop applic...
    Disponible

    66,83 €

  • Introducing Design Automation for Quantum Computing
    Alwin Zulehner / Robert Wille
    This book offers readers an easy introduction into quantum computing as well as into the design for corresponding devices. The authors cover several design tasks which are important for quantum computing and introduce corresponding solutions. A special feature of the book is that those tasks and solutions are explicitly discussed from a design automation perspective, i.e., util...
    Disponible

    99,18 €

  • Designing Droplet Microfluidic Networks
    Andreas Grimmer / Robert Wille
    This book describes automatic methods for the design of droplet microfluidic networks. The authors discuss simulation and design methods which support the design process of droplet microfluidics in general, as well as design methods for a dedicated droplet routing mechanism, namely passive droplet routing. The methods discussed allow for simulating a microfluidic design on a hi...
    Disponible

    135,81 €

  • Introducing Design Automation for Quantum Computing
    Alwin Zulehner / Robert Wille
    ...
    Disponible

    134,72 €

  • Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
    Judith Przigoda / Nils Przigoda / Robert Wille
    This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a b...
    Disponible

    209,97 €

  • Exact Design of Digital Microfluidic Biochips
    Oliver Keszocze / Robert Wille / Rolf Drechsler
    This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these  steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems.  In addition to the exact methods...
    Disponible

    135,78 €

  • Exact Design of Digital Microfluidic Biochips
    Oliver Keszocze / Robert Wille / Rolf Drechsler
    This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these  steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems.  In addition to the exact methods...
    Disponible

    134,43 €

  • Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
    Judith Przigoda / Nils Przigoda / Robert Wille
    This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a b...
    Disponible

    208,61 €

  • Compact Representations for the Design of Quantum Logic
    Philipp Niemann / Robert Wille
    This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs - a means of compactly and efficiently representing and manipulating quantum logic. For futu...
    Disponible

    68,12 €

  • Automatic Methods for the Refinement of System Models
    Julia Seiter / Robert Wille / Rolf Drechsler
    This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two 'directions' for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which consi...
    Disponible

    68,02 €

  • Towards a Design Flow for Reversible Logic
    Robert Wille / Rolf Drechsler
    The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic p- vides an alternative that may overcome many of these p...
    Disponible

    133,00 €