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...


Embedded Systems Série de Livres électroniques

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

  • Multiprocessor Scheduling for Real-Time Systems

    par Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo ...
    Collections series Embedded Systems
    This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping ... En savoir plus

    $128.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications

    par Ashok B. Mehta ...
    Collections series Engineering (R0)
    This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model ... En savoir plus

    $179.99 CAD

  • SVA: The Power of Assertions in SystemVerilog

    par Surrendra Dudani, Eduard Cerny, John Havlicek, Dmitry Korchemny ...
    Collections series Engineering (R0)
    This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). It enables readers to minimize the cost of verification by using assertion-based techniques in simulation testing, coverage collection and formal analysis. The book provides detailed descriptions of all the language features of SVA, accompanied by step-by-step examples of ... En savoir plus

    $140.99 CAD

  • Introduction to Embedded Systems

    Using Microcontrollers and the MSP430

    par Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier ...
    Collections series Engineering (R0)
    This textbook serves as an introduction to the subject of embedded systems design, using microcontrollers as core components. It develops concepts from the ground up, covering the development of embedded systems technology, architectural and organizational aspects of controllers and systems, processor models, and peripheral devices. Since microprocessor-based embedded systems tightly blend ... En savoir plus

    $76.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

  • SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications

    par Ashok B. Mehta ...
    Collections series Engineering (R0)
    This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SystemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification using SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the source ... En savoir plus

    $179.99 CAD

  • Foundations of Hardware IP Protection

    Modifié par Lilian Bossuet, Lionel Torres ...
    Collections series Engineering (R0)
    This book provides a comprehensive and up-to-date guide to the design of security-hardened, hardware intellectual property (IP). Readers will learn how IP can be threatened, as well as protected, by using means such as hardware obfuscation/camouflaging, watermarking, fingerprinting (PUF), functional locking, remote activation, hidden transmission of data, hardware Trojan detection, protection ... En savoir plus

    $115.99 CAD

  • Embedded Software Verification and Debugging

    Modifié par Djones Lettnin, Markus Winterholer ...
    Collections series Engineering (R0)
    This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches ... 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.99 CAD

  • Emerging Memory Technologies

    Design, Architecture, and Applications

    Modifié par Yuan Xie ...
    This book explores the design implications of emerging, non-volatile memory (NVM) technologies on future computer memory hierarchy architecture designs. Since NVM technologies combine the speed of SRAM, the density of DRAM, and the non-volatility of Flash memory, they are very attractive as the basis for future universal memories. This book provides a holistic perspective on the topic, covering ... En savoir plus

    $115.99 CAD

  • Formal Specification Level

    Concepts, Methods, and Algorithms

    par Mathias Soeken, Rolf Drechsler ...
    Collections series Engineering (R0)
    This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted ... En savoir plus

    $115.99 CAD

  • Analog Integrated Circuit Design Automation

    Placement, Routing and Parasitic Extraction Techniques

    par Ricardo Martins, Nuno Lourenço, Nuno Horta ...
    Collections series Engineering (R0)
    This book introduces readers to a variety of tools for analog layout design automation. After discussing the placement and routing problem in electronic design automation (EDA), the authors overview a variety of automatic layout generation tools, as well as the most recent advances in analog layout-aware circuit sizing. The discussion includes different methods for automatic placement (a template ... En savoir plus

    $115.99 CAD