This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspec…
This unique and focused research monograph addresses the question: How can the performance of modular exponentiation, which is the crucial operation of many public-key cryptographic techniques, be improved? Cryptographic applications--such as RSA algorithms, ElGamal cryptography…
Neural networks present a fundamentally different model of computation from the conventional sequential digital model. Dedicated hardware may thus be more suitable for executing them. Given that there is no clear consensus on the model of computation in the brain, model flexibil…
Due to the productivity gain of using software in the design of embedded systems, processors are increasingly used in these systems. Embedded processors often run only one or a few applications in the life-time of the system. Therefore, they can be customized for the target appl…
Manufacturing technology has permitted an exponential growth in transistor count and density. However, making efficient use of the available transistors in the design has become exceedingly difficult. Standard design flow involves synthesis, verification, placement and routing f…
In ionospheric modeling, the differential code biases (DCBs) are a non-negligible error source, which are routinely estimated by the different analysis centers of the International GNSS Service (IGS) as a by-product of their global ionospheric analysis. These are, however, estim…
For the first time microcontrollers are powerful enough to be programmed in Python. The landscape of embedded systems development is changing, microcontrollers are becoming more powerful, and the rise of the internet of things is leading more developers to get into hardware. Thi…
Explore the capabilities of the NVIDIA Jetson Nano, an IoT device designed to perform computations like a computer desktop. This book will show you how to build your first project and optimize your devices, programs, and daily activities with the AI computation abilities of the …
Proliferation of Internet of Things (IoT) enabled rapid enhancements for the applications not only in home and environment scenarios, but also in factory automation. Now, Industrial Internet of Things (IIoT) offers all the advantages of IoT to the industrial scenarios, applicati…
A book that introduces readers to the fundamentals of hardware and software. It covers foundational aspects of computing, from binary and circuit design to the internet and modern computing, and includes a mix of exercises and hands-on activities
A book that introduces readers to the fundamentals of hardware and software. It covers foundational aspects of computing, from binary and circuit design to the internet and modern computing, and includes a mix of exercises and hands-on activities
