Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide
Kobo Rakuten
Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Engineering (R0) Série de Livres électroniques

1-12 sur 12 résultats
Skip side bar filters

  • Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach

    par Naijun Zhan, Shuling Wang, Hengjun Zhao ...
    Collections 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 ... En savoir plus

    $140.89 CAD

Les lecteurs de ce roman ont aussi aimé

  • Embedded System Design

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

    par Peter Marwedel ...
    Collections 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 ... En savoir plus

    $72.99 CAD

  • FPGAs and Parallel Architectures for Aerospace Applications

    Soft Errors and Fault-Tolerant Design

    Modifié par Fernanda Kastensmidt, Paolo Rech ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • Internet of Things

    Building Blocks and Business Models

    par Fatima Hussain ...
    Collections 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 ... En savoir plus

    $70.49 CAD

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

    Advances in Analog Circuit Design 2017

    Modifié par Pieter Harpe, Kofi A. A. Makinwa, Andrea Baschirotto ...
    Collections 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 ... En savoir plus

    $192.19 CAD

  • Embedded Systems Development

    From Functional Models to Implementations

    Modifié par Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • Dependable Multicore Architectures at Nanoscale

    Modifié par Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli ...
    Collections 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 ... En savoir plus

    $115.29 CAD

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

    par Martin Daněk, Leoš Kafka, Lukáš Kohout, Jaroslav Sýkora, Roman Bartosiński ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • The Dark Side of Silicon

    Energy Efficient Computing in the Dark Silicon Era

    Modifié par Amir M. Rahmani, Pasi Liljeberg, Ahmed Hemani, Axel Jantsch, Hannu Tenhunen ...
    Collections 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 ... En savoir plus

    $115.29 CAD

  • Fundamentals of Computer Architecture and Design

    par Ahmet Bindal ...
    Collections 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 ... En savoir plus

    $106.29 CAD

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

    par Sung Kyu Lim ...
    Collections 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 ... En savoir plus

    $128.09 CAD

  • Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

    par Orlando Moreira, Henk Corporaal ...
    Collections 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. ... En savoir plus

    $115.29 CAD