Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “hengjun zhao”
Skip side bar filters

  • Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach

    de Naijun Zhan, Shuling Wang, Hengjun Zhao ...
    Series series Engineering (R0)
    This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal ... Leer más

    $107.99 USD

La gente que leyó esto también disfrutó

  • Embedded System Design

    Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

    de Peter Marwedel ...
    Series series Engineering (R0)
    A unique feature of this textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such ... Leer más

    $58.99 USD

  • FPGAs and Parallel Architectures for Aerospace Applications

    Soft Errors and Fault-Tolerant Design

    Edición de Fernanda Kastensmidt, Paolo Rech ...
    Series series Engineering (R0)
    This book introduces the concepts of soft errors in FPGAs, as well as the motivation for using commercial, off-the-shelf (COTS) FPGAs in mission-critical and remote applications, such as aerospace. The authors describe the effects of radiation in FPGAs, present a large set of soft-error mitigation techniques that can be applied in these circuits, as well as methods for qualifying these circuits ... Leer más

    $89.99 USD

  • Internet of Things

    Building Blocks and Business Models

    de Fatima Hussain ...
    Series series Engineering (R0)
    This book describes the building blocks and introductory business models for Internet of Things (IoT). The author provide an overview of the entire IoT architecture and constituent layers, followed by detail description of each block . Various inter-connecting technologies and sensors are discussed in context of IoT networks. In addition to this, concepts of Big Data and Fog Computing are ... Leer más

    $53.99 USD

  • Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design

    Advances in Analog Circuit Design 2017

    Edición de Pieter Harpe, Kofi A. A. Makinwa, Andrea Baschirotto ...
    Series series Engineering (R0)
    This book is based on the 18 tutorials presented during the 26th workshop on Advances in Analog Circuit Design. Expert designers present readers with information about a variety of topics at the frontier of analog circuit design, with specific contributions focusing on hybrid ADCs, smart sensors for the IoT, sub-1V and advanced-node analog circuit design. This book serves as a valuable reference ... Leer más

    $152.99 USD

  • Embedded Systems Development

    From Functional Models to Implementations

    Edición de Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel ...
    Series series Engineering (R0)
    This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from ... Leer más

    $89.09 USD

  • Dependable Multicore Architectures at Nanoscale

    Edición de Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli ...
    Series series Engineering (R0)
    This book provides comprehensive coverage of the dependability challenges in today's advanced computing systems. It is an in-depth discussion of all the technological and design-level techniques that may be used to overcome these issues and analyzes various dependability-assessment methods. The impact of individual application scenarios on the definition of challenges and solutions is considered ... Leer más

    $89.99 USD

  • UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

    de Martin Daněk, Leoš Kafka, Lukáš Kohout, Jaroslav Sýkora, Roman Bartosiński ...
    Series series Engineering (R0)
    This book describes a specification, microarchitecture, VHDL implementation and evaluation of a SPARC v8 CPU with fine-grain multi-threading, called micro-threading. The CPU, named UTLEON3, is an alternative platform for exploring CPU multi-threading that is compatible with the industry-standard GRLIB package. The processor microarchitecture was designed to map in an efficient way the data-flow ... Leer más

    $89.99 USD

  • The Dark Side of Silicon

    Energy Efficient Computing in the Dark Silicon Era

    Edición de Amir M. Rahmani, Pasi Liljeberg, Ahmed Hemani, Axel Jantsch, Hannu Tenhunen ...
    Series series Engineering (R0)
    This book presents the state-of-the art of one of the main concerns with microprocessors today, a phenomenon known as "dark silicon". Readers will learn how power constraints (both leakage and dynamic power) limit the extent to which large portions of a chip can be powered up at a given time, i.e. how much actual performance and functionality the microprocessor can provide. The authors describe ... Leer más

    $89.99 USD

  • Fundamentals of Computer Architecture and Design

    de Ahmet Bindal ...
    Series series Engineering (R0)
    This textbook provides semester-length coverage of computer architecture and design, providing a strong foundation for students to understand modern computer system architecture and to apply these insights and principles to future computer designs.It is based on the author’s decades of industrial experience with computer architecture and design, as well as with teaching students focused on ... Leer más

    $80.99 USD

  • Design for High Performance, Low Power, and Reliable 3D Integrated Circuits

    de Sung Kyu Lim ...
    Series series Engineering (R0)
    This book provides readers with a variety of algorithms and software tools, dedicated to the physical design of through-silicon-via (TSV) based, three-dimensional integrated circuits. It describes numerous “manufacturing-ready” GDSII-level layouts of TSV-based 3D ICs developed with the tools covered in the book. This book will also feature sign-off level analysis of timing, power, signal integrity ... Leer más

    $98.09 USD

  • Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

    de Orlando Moreira, Henk Corporaal ...
    Series series Engineering (R0)
    This book provides a comprehensive overview of the state-of-the-art, data flow-based techniques for the analysis, modeling and mapping technologies of concurrent applications on multi-processors. The authors present a flow for designing embedded hard/firm real-time multiprocessor streaming applications, based on data flow formalisms, with a particular focus on wireless modem applications. ... Leer más

    $89.99 USD