Skip to main content
Elsevier
View Cart

Morgan Kaufmann

    • Handbook of Truly Concurrent Process Algebra

      • 1st Edition
      • December 1, 2023
      • Yong Wang
      • English
      • Paperback
        9 7 8 0 4 4 3 2 1 5 1 5 5
      • eBook
        9 7 8 0 4 4 3 2 1 5 1 6 2
      Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors – A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns. The author demonstrates actor models which are captured using the following characteristics: Concurrency, Asynchrony, Uniqueness, Concentration, Communication Dependency, Abstraction, and Persistence. Every pattern is detailed according to a regular format to be understood and utilized easily, which includes introduction to a pattern and its verifications.Patter... of the vertical domains are also provided, including the domains of networked objects and resource management. To help readers develop and implement the software patterns scientifically, the pattern languages are also presented.

    • Embedded Systems

      • 2nd Edition
      • October 28, 2023
      • Jason D. Bakos
      • English
      • Paperback
        9 7 8 0 1 2 8 2 2 5 7 5 2
      • eBook
        9 7 8 0 3 2 3 9 0 3 0 2 8
      Embedded Systems: ARM Programming and Optimization, Second Edition combines an exploration of the ARM architecture with an examination of the facilities offered by the Linux operating system to explain how various features of program design can influence processor performance. The book demonstrates methods by which a programmer can optimize program code in a way that does not impact its behavior but instead improves its performance. Several applications, including image transformations, fractal generation, image convolution, computer vision tasks, and now machine learning are used to describe and demonstrate these methods. From this, the reader will gain insight into computer architecture and application design, as well as practical knowledge in embedded software design for modern embedded systems. The second edition has been expanded to include more topics of interest to upper level undergraduate courses in embedded systems.

    • Embedded System Design

      • 1st Edition
      • September 14, 2023
      • Lawrence J. Henschen + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 3 1 8 4 7 0 3
      • eBook
        9 7 8 0 4 4 3 1 8 4 7 1 0
      Embedded Systems Design: Methodologies and Issues presents methodologies for designing these systems and discusses major issues, both present and future, that designers must consider in bringing products with embedded processing to market. The book starts from the first step after product proposal (behavioral modeling) and goes through the steps for modeling internal operations. Specific areas of focus include methods for designing safe, reliable, and robust embedded systems. Sections cover selection of processors and related hardware as well as issues involved in designing related software. Finally, the book present issues that will occur in systems designed for the Internet of Things. This book is for junior/senior/MS students in computer science, computer engineering, and electrical engineering who intend to take jobs in industry designing and implementing embedded systems and Internet of Things applications.

    • Formal Verification

      • 2nd Edition
      • May 26, 2023
      • Erik Seligman + 2 more
      • English
      • Paperback
        9 7 8 0 3 2 3 9 5 6 1 2 3
      • eBook
        9 7 8 0 3 2 3 9 5 6 1 3 0
      Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.

    • Machine Learning

      • 2nd Edition
      • March 1, 2023
      • Marco Gori + 2 more
      • English
      • Paperback
        9 7 8 0 3 2 3 8 9 8 5 9 1
      • eBook
        9 7 8 0 3 2 3 9 8 4 6 9 0
      Machine Learning: A Constraint-Based Approach, Second Edition provides readers with a refreshing look at the basic models and algorithms of machine learning, with an emphasis on current topics of interest that include neural networks and kernel machines. The book presents the information in a truly unified manner that is based on the notion of learning from environmental constraints. It draws a path towards deep integration with machine learning that relies on the idea of adopting multivalued logic formalisms, such as in fuzzy systems. Special attention is given to deep learning, which nicely fits the constrained-based approach followed in this book.The book presents a simpler unified notion of regularization, which is strictly connected with the parsimony principle, including many solved exercises that are classified according to the Donald Knuth ranking of difficulty, which essentially consists of a mix of warm-up exercises that lead to deeper research problems. A software simulator is also included.

    • Network Algorithmics

      • 2nd Edition
      • November 11, 2022
      • George Varghese + 1 more
      • English
      • Paperback
        9 7 8 0 1 2 8 0 9 9 2 7 8
      • eBook
        9 7 8 0 1 2 8 0 9 9 8 6 5
      Network Algorithmics: An Interdisciplinary Approach to Designing Fast Networked Devices, Second Edition takes an interdisciplinary approach to applying principles for efficient implementation of network devices, offering solutions to the problem of network implementation bottlenecks. In designing a network device, there are dozens of decisions that affect the speed with which it will perform – sometimes for better, but sometimes for worse. The book provides a complete and coherent methodology for maximizing speed while meeting network design goals. The book is uniquely focused on the seamless integration of data structures, algorithms, operating systems and hardware/software co-designs for high-performance routers/switches and network end systems. Thoroughly updated based on courses taught by the authors over the past decade, the book lays out the bottlenecks most often encountered at four disparate levels of implementation: protocol, OS, hardware and architecture. It then develops fifteen principles key to breaking these bottlenecks, systematically applying them to bottlenecks found in end-nodes, interconnect devices and specialty functions located along the network. Later sections discuss the inherent challenges of modern cloud computing and data center networking.

    • AI Computing Systems

      • 1st Edition
      • October 12, 2022
      • Yunji Chen + 5 more
      • English
      • Paperback
        9 7 8 0 3 2 3 9 5 3 9 9 3
      • eBook
        9 7 8 0 3 2 3 9 5 3 9 8 6
      AI Computing Systems: An Application Driven Perspective adopts the principle of "application-driven, full-stack penetration" and uses the specific intelligent application of "image style migration" to provide students with a sound starting place to learn. This approach enables readers to obtain a full view of the AI computing system. A complete intelligent computing system involves many aspects such as processing chip, system structure, programming environment, software, etc., making it a difficult topic to master in a short time.

    • Engineering a Compiler

      • 3rd Edition
      • August 20, 2022
      • Keith D. Cooper + 1 more
      • English
      • Paperback
        9 7 8 0 1 2 8 1 5 4 1 2 0
      • eBook
        9 7 8 0 1 2 8 1 8 9 2 6 9
      *Textbook and Academic Authors Association (TAA) Textbook Excellence Award Winner, 2024*Engineering a Compiler, Third Edition covers the latest developments in compiler technology, with new chapters focusing on semantic elaboration (the problems that arise in generating code from the ad-hoc syntax-directed translation schemes in a generated parser), on runtime support for naming and addressability, and on code shape for expressions, assignments and control-structures. Leading educators and researchers, Keith Cooper and Linda Torczon, have revised this popular text with a fresh approach to learning important techniques for constructing a modern compiler, combining basic principles with pragmatic insights from their own experience building state-of-the-art compilers.

    • Data Mining

      • 4th Edition
      • July 2, 2022
      • Jiawei Han + 2 more
      • English
      • Paperback
        9 7 8 0 1 2 8 1 1 7 6 0 6
      • eBook
        9 7 8 0 1 2 8 1 1 7 6 1 3
      Data Mining: Concepts and Techniques, Fourth Edition introduces concepts, principles, and methods for mining patterns, knowledge, and models from various kinds of data for diverse applications. Specifically, it delves into the processes for uncovering patterns and knowledge from massive collections of data, known as knowledge discovery from data, or KDD. It focuses on the feasibility, usefulness, effectiveness, and scalability of data mining techniques for large data sets. After an introduction to the concept of data mining, the authors explain the methods for preprocessing, characterizing, and warehousing data. They then partition the data mining methods into several major tasks, introducing concepts and methods for mining frequent patterns, associations, and correlations for large data sets; data classificcation and model construction; cluster analysis; and outlier detection. Concepts and methods for deep learning are systematically introduced as one chapter. Finally, the book covers the trends, applications, and research frontiers in data mining.

    • Computers as Components

      • 5th Edition
      • June 9, 2022
      • Marilyn Wolf
      • English
      • Paperback
        9 7 8 0 3 2 3 8 5 1 2 8 2
      • eBook
        9 7 8 0 3 2 3 8 5 1 2 9 9
      Computers as Components: Principles of Embedded Computing System Design, Fifth Edition continues to focus on foundational content in embedded systems technology and design while updating material throughout the book and introducing new content on machine learning and Internet-of-Things (IoT) systems.

Browse by Publisher

Academic Press

Butterworth-Heinemann

Chandos

Elsevier

Newnes

Syngress