Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Top Series in United States

Showing 1 - 12 of 12 results for “shuling wang”
Skip side bar filters

  • Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach

    by 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 ... Read more

    $107.09 USD

People who read this also enjoyed

  • Embedded System Design

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

    by 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 ... Read more

    $58.49 USD

  • FPGAs and Parallel Architectures for Aerospace Applications

    Soft Errors and Fault-Tolerant Design

    Edited by 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 ... Read more

    $89.09 USD

  • Internet of Things

    Building Blocks and Business Models

    by 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 ... Read more

    $53.99 USD

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

    Advances in Analog Circuit Design 2017

    Edited by 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 ... Read more

    $152.09 USD

  • Embedded Systems Development

    From Functional Models to Implementations

    Edited by 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 ... Read more

    $89.09 USD

  • Dependable Multicore Architectures at Nanoscale

    Edited by 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 ... Read more

    $89.09 USD

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

    by 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 ... Read more

    $89.09 USD

  • The Dark Side of Silicon

    Energy Efficient Computing in the Dark Silicon Era

    Edited by 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 ... Read more

    $89.09 USD

  • Fundamentals of Computer Architecture and Design

    by 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 ... Read more

    $80.09 USD

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

    by 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 ... Read more

    $98.09 USD

  • Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

    by 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. ... Read more

    $89.09 USD