Listing 1 - 10 of 71 | << page >> |
Sort by
|
Choose an application
Choose an application
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
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.
Computer architecture. Operating systems --- Computer. Automation --- computers --- hardware --- Makerspaces. --- Computers. --- Maker. --- Computer Hardware.
Choose an application
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.
Choose an application
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.
Choose an application
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
Dieses Sachbuch ist eine leicht verständliche Einführung in die grundsätzliche Arbeitsweise von modernen Computern und Computernetzen, das keine Vorkenntnisse voraussetzt. Es richtet sich an neugierige, technisch interessierte Computer-Laien, aber auch an Schüler vor ihrer Berufswahl und Personen, die sich für eine berufliche Laufbahn im IT-Bereich interessieren. Der in 16 übersichtlichen Kapiteln gestaltete Streifzug durch das Innenleben der modernen Computerwelt beginnt bei der Hardware-Architektur eines Computers und führt über Betriebssysteme und Computernetzwerke mit Schwerpunkt Internet bis hin zu Internetanwendungen und den zugrunde liegenden Softwaretechnologien. Eine Besonderheit des Sachbuches ist dessen Fokussierung auf grundlegende Konzepte aus der Computerwelt. Fachtermini werden sparsam benutzt, dann aber auch erklärt. Auf produkt- und herstellerspezifische Details wird nur eingegangen, wenn sie sich als Quasi-Standards in heutigen Computersystemen durchgesetzt haben. Notwendige mathematische Betrachtungen zur Zahlendarstellung in Computern übersteigen nicht das Niveau elementarer Schulmathematik. Der Autor Professor Dr. rer. nat. Jürgen Nehmer ist emeritierter Professor für Informatik. Für seine Verdienste um die Entwicklung der TU Kaiserslautern wurde er mit der Ehrenmedaille der Hochschule und dem Landesverdienstorden von Rheinland-Pfalz ausgezeichnet. Im Jahr 2008 wurde er zum Fellow der Gesellschaft für Informatik (GI) ernannt.
Computer science. --- Computer engineering. --- Computer networks. --- Computers. --- Operating systems (Computers). --- Computer Science. --- Computer Engineering and Networks. --- Computer Hardware. --- Operating Systems.
Choose an application
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
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.
Automatic theorem proving --- Software engineering. --- Artificial intelligence. --- Computer science. --- Computers. --- Computer engineering. --- Computer networks. --- Software Engineering. --- Artificial Intelligence. --- Theory of Computation. --- Computer Hardware. --- Computer Engineering and Networks.
Choose an application
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.
Listing 1 - 10 of 71 | << page >> |
Sort by
|