Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. Microprogramming
https://canv.ai/
The picture is generated by canv.ai

We are excited to announce that Canv.ai now features a built-in translator, allowing you to communicate in your native language. You can write prompts in your language, and they will be automatically translated into English, facilitating communication and the exchange of ideas!

We value freedom of speech and guarantee the absence of censorship on Canv.ai. At the same time, we hope and believe in the high moral standards of our users, which will help maintain a respectful and constructive atmosphere.

👉 Check for yourself!

Active Object Languages: Current Research Trends

Posted By: AvaxGenius
Date: 29 Jan 2024 05:01:23
Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
English | PDF EPUB (True) | 2024 | 382 Pages | ISBN : 3031510593 | 66.4 MB

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.
Details

A Combined Data and Power Management Infrastructure: For Small Satellites

Posted By: AvaxGenius
Date: 15 Oct 2023 14:54:28
A Combined Data and Power Management Infrastructure: For Small Satellites

A Combined Data and Power Management Infrastructure: For Small Satellites by Jens Eickhoff
English | PDF (True) | 2013 | 268 Pages | ISBN : 3662512467 | 12.3 MB

This book describes the development and design of a unique combined data and power management infrastructure The use in small satellites gives some particular requirements to the systems like potential hardware failure robustness and handling of different types of external analog and digital interfaces. These requirements lead to a functional merge between On Board Computer and the satellite's Power Control and Distribution Unit, which results in a very innovative design and even a patent affiliation. This book provides system engineers and university students with the technical knowledge as mix between technical brochure and a user guide.
Details

Machine Learning Control – Taming Nonlinear Dynamics and Turbulence

Posted By: AvaxGenius
Date: 28 Feb 2023 10:39:58
Machine Learning Control – Taming Nonlinear Dynamics and Turbulence

Machine Learning Control – Taming Nonlinear Dynamics and Turbulence by Thomas Duriez , Steven L. Brunton , Bernd R. Noack
English | EPUB | 2017 | 229 Pages | ISBN : 331940623X | 4.4 MB

This is the first textbook on a generally applicable control strategy for turbulence and other complex nonlinear systems. The approach of the book employs powerful methods of machine learning for optimal nonlinear control laws. This machine learning control (MLC) is motivated and detailed in Chapters 1 and 2. In Chapter 3, methods of linear control theory are reviewed. In Chapter 4, MLC is shown to reproduce known optimal control laws for linear dynamics (LQR, LQG). In Chapter 5, MLC detects and exploits a strongly nonlinear actuation mechanism of a low-dimensional dynamical system when linear control methods are shown to fail. Experimental control demonstrations from a laminar shear-layer to turbulent boundary-layers are reviewed in Chapter 6, followed by general good practices for experiments in Chapter 7.
Details

Software Defined Chips: Volume I

Posted By: AvaxGenius
Date: 23 Oct 2022 04:25:44
Software Defined Chips: Volume I

Software Defined Chips: Volume I by Shaojun Wei, Leibo Liu, Jianfeng Zhu, Chenchen Deng
English | PDF,EPUB | 2022 | 316 Pages | ISBN : 9811969930 | 52.6 MB

This is the first book of a two-volume book set which introduces software defined chips. In this book, it introduces the conceptual evolution of software defined chips from the development of integrated circuits and computing architectures. Technical principles, characteristics and key issues of software defined chips are systematically analyzed. The hardware architecture design methods are described involving architecture design primitives, hardware design spaces and agile design methods. From the perspective of the compilation system, the complete process from high-level language to configuration contexts is introduced in detail.
Details

Digital Design from the VLSI Perspective: Concepts for VLSI Beginners

Posted By: AvaxGenius
Date: 7 Oct 2022 02:35:02
Digital Design from the VLSI Perspective: Concepts for VLSI Beginners

Digital Design from the VLSI Perspective: Concepts for VLSI Beginners by Vaibbhav Taraate
English | True EPUB | 2022 (2023 Edition) | 309 Pages | ISBN : 9811946515 | 31.4 MB

This volume covers digital design techniques, exercises and applications. The book discusses digital design and implementation in the context of VLSI and embedded system design. It covers basic digital design techniques to high speed design techniques. The contents also cover performance improvement, optimization concepts and design case studies. It includes pedagogical features such as design examples and illustrations. This book will be a useful guide for hardware engineers, logic design engineers, professionals and hobbyists looking to learn and use the digital design to develop VLSI based algorithms, architectures and products.
Details

Transactions on Petri Nets and Other Models of Concurrency XVI

Posted By: AvaxGenius
Date: 7 Sep 2022 13:41:14
Transactions on Petri Nets and Other Models of Concurrency XVI

Transactions on Petri Nets and Other Models of Concurrency XVI by Maciej Koutny, Fabrice Kordon, Daniel Moldt
English | EPUB | 2022 | 154 Pages | ISBN : 3662653028 | 16.1 MB

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.
ToPNoC contains:
Details

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks

Posted By: AvaxGenius
Date: 23 Jun 2022 15:34:03
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks: 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14–16, 2021, Revised Selected Papers by Stephen Poole
English | EPUB | 2022 | 205 Pages | ISBN : 3031048873 | 22.7 MB

This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021.
The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The papers are organized in the following topical sections: Applications and Implementations, Tools and Benchmarks, and Applications and Implementations. on the real-time analysis of the complete query history and a fine-grained filtering of event data. The applicability of these innovative data protection mechanisms is underlined by their exemplary integration in the FOSSTRAK architecture.
Details

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks

Posted By: AvaxGenius
Date: 27 May 2022 17:58:09
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks: 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14–16, 2021, Revised Selected Papers by Stephen Poole
English | PDF | 2022 | 205 Pages | ISBN : 3031048873 | 13.8 MB

This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021.
The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The papers are organized in the following topical sections: Applications and Implementations, Tools and Benchmarks, and Applications and Implementations.
Details

Design of Embedded Control Systems

Posted By: AvaxGenius
Date: 7 Apr 2022 07:58:02
Design of Embedded Control Systems

Design of Embedded Control Systems by Marian Andrzej
English | PDF | 2005 | 267 Pages | ISBN : 0387236309 | 4 MB

A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective
Details

Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming

Posted By: AvaxGenius
Date: 20 Mar 2022 16:49:47
Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming

Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming by Christopher Kormanyos
English | PDF | 2013 | 364 Pages | ISBN : 3642346871 | 3.2 MB

The C++ language has powerful object-oriented and template features that can improve software design and portability while simultaneously reducing code complexity and the risk of error. Furthermore, C++ compiles highly efficient native code. This unique and effective combination makes C++ well-suited for programming microcontroller systems that require compact size, high performance and safety-critical reliability.
Details
UPWARDS