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


1 - 12 de 12 resultados para “marko bertogna”
Skip side bar filters

  • Multiprocessor Scheduling for Real-Time Systems

    de Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo ...
    Series 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 ... Leer más

    $107.99 USD

  • Reliable Software Technologies – Ada-Europe 2016

    21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

    Edición de Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and ... Leer más

    $49.99 USD

  • High Performance Embedded Computing

    Edición de Luis Miguel Pinho, Eduardo Quinones, Marko Bertogna ...
    Nowadays, the prevalence of computing systems in our lives is so ubiquitous that we live in a cyber-physical world dominated by computer systems, from pacemakers to cars and airplanes. These systems demand for more computational performance to process large amounts of data from multiple data sources with guaranteed processing times. Actuating outside of the required timing bounds may cause the ... Leer más

    Gratis

La gente que leyó estos también disfrutó

  • SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications

    de Ashok B. Mehta ...
    Series 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 ... Leer más

    $143.99 USD

  • Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

    Edición de Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. ... Leer más

    $49.99 USD

  • SVA: The Power of Assertions in SystemVerilog

    de Surrendra Dudani, Eduard Cerny, John Havlicek, Dmitry Korchemny ...
    Series 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 ... Leer más

    $107.99 USD

  • PRIMA 2017: Principles and Practice of Multi-Agent Systems

    20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

    Edición de Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Leer más

    $49.99 USD

  • Introduction to Embedded Systems

    Using Microcontrollers and the MSP430

    de Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier ...
    Series 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 ... Leer más

    $58.99 USD

  • Critical Systems: Formal Methods and Automated Verification

    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

    Edición de Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from ... Leer más

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

  • Beginning Julia Programming

    For Engineers and Scientists

    de Sandeep Nagar ...
    Series series Professional and Applied Computing (R0)
    Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... Leer más

    $71.99 USD

  • SystemVerilog Assertions and Functional Coverage

    Guide to Language, Methodology and Applications

    de Ashok B. Mehta ...
    Series 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 ... Leer más

    $143.99 USD