Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Embark on a journey into the world of embedded programming. This book introduces you to the 32bit PIC and will teach you how the main functions of C programming work and can be used with a PIC micro. A one-stop reference for the would-be embedded programmer, you'll explore the electronics needed for a variety of programs as well as how to use different devices with the PIC. The book starts with downloading the environment and creating a simple project, one that uses different oscillators, Phase Lock Loop, and circuitry needed to create the different system clocks—an easy entry point to this exciting environment. You'll also review the MPLABX integrated development environment (IDE) and see how to program the 32Bit PIC, which can be adapted to different PICs. Throughout subsequent chapters, you’ll learn how to use a range of programs that use PIC modules such as the SPI, I2C, UART communication modules, the ADC module, the Capture, Compare, and Pulse Width Modulation module, and the RTCC, Real Time Clock and Calendar Module. You will: Create a project in MPLABX Configure the different clock frequencies that are used in the 32bit PIC Build a variable delay subroutine to be used in a simple traffic lights program Use the MAX 7219 driver IC to control the 8by8 matrix display Program an I2C expander module to control the display on a LCD.

Makerspaces. --- Computers. --- Maker. --- Computer Hardware. --- Embedded computer systems --- C (Computer program language) --- PIC microcontrollers. --- Programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Fundamentals of Digital Logic with VHDL Design is intended for an introductory course in digital logic design, which is a basic course in most electrical and computer engineering programs. A successful designer of digital logic circuits needs a good understanding of the classical methods of logic design and a firm grasp of the modern design approach that relies on computer-aided design (CAD) tools. The main goals of this book are to teach students the fundamental concepts of classical manual digital design and to illustrate clearly the way in which digital circuits are designed today, using CAD tools.

VHDL (Computer hardware description language) --- VHDL (langage de description de matériel informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book describes the historical development of the architectures of the first computers built by the German inventor Konrad Zuse in Berlin between 1936 and 1945. Zuse's machines are historically important because they anticipated many features of modern computers. Specifically, these include the separation of processor and memory, the ability to compute with floating-point numbers, a hardware architecture based on microprogramming of the instruction set, and a layered design with a high-level programming language on top. In fact, Zuse's early computers are closer to modern computers than the Harvard Mark I or ENIAC, two other contenders for the title of "world's first computer." The theoretical program first conceived by Zuse in 1936/37 was fulfilled with a series of machines built before and during World War II: the Z1, Z2, Z3, and Z4. Separate chapters deal with the architecture of each computer, culminating in the description of Plankalkül, the first proposal for a high-level programming language. Students of the sciences and practitioners of computer science should have no trouble following the material. The concise introductory summary sets the reader on the historical path to retrace this remarkable intellectual adventure. Raul Rojas is Professor of Mathematics and Statistics at the University of Nevada, Reno, US. He is also Professor Emeritus at Freie Universität Berlin. He has published two books on neural networks with Springer-Verlag, as well as the book “Die Rechenmaschinen von Konrad Zuse,”a volume that finds its continuation in this new book. Prof. Rojas was named Professor of the Year in Germany in 2014.

Computers --- Technology. --- History. --- Microprocessors. --- Computer architecture. --- Computers. --- History of Computing. --- History of Technology. --- Processor Architectures. --- Computer Hardware.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

Software engineering. --- Computer engineering. --- Computer networks. --- Artificial intelligence. --- Computers. --- Computer science. --- Software Engineering. --- Computer Engineering and Networks. --- Artificial Intelligence. --- Computer Hardware. --- Theory of Computation. --- Automatic theorem proving

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides an introduction to the key concepts of Fully Homomorphic Encryption (FHE)-based computing, and discusses the challenges associated with architecting FHE-based computing systems. Readers will see that due to FHE’s ability to compute on encrypted data, it is a promising solution to address privacy concerns arising from cloud-based services commonly used for a variety of applications including healthcare, financial, transportation, and weather forecasting. This book explains the fundamentals of the FHE operations and then presents an architectural analysis of the FHE-based computing. The authors also highlight challenges associated with accelerating FHE on various commodity platforms and argue that the FPGA platform provides a sweet spot in making privacy-preserving computing plausible.

Electronic circuits. --- Computers. --- Embedded computer systems. --- Cooperating objects (Computer systems). --- Electronic Circuits and Systems. --- Computer Hardware. --- Embedded Systems. --- Cyber-Physical Systems.