Choose an application

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

Microprocessors --- Microprogramming --- Microprocesseurs --- Microprogrammation --- MICROPROGRAMMING. --- DATA PROCESSING. --- Computer programming --- Minicomputers

Choose an application

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

This book is for anyone who’s looking to deploy Raspberry Pi computers in a classroom or lab situation and explains how to navigate the hardware and software choices you face. Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT administrators at schools will see how to set up the hardware and software swiftly on your own or with the help of your students. Step-by-step instructions and practical examples walk you through building your Raspberry Pi workstations and your network, managing the computers and the network, and troubleshooting any problems that arise. This book offers several points to involve your students through hands-on activities. These activities are designed to benefit your beginner and older or more able students alike. Make Deploying Raspberry Pi in the Classroom a part of you instructional library today.

Computer input-output equipment. --- Microprogramming . --- Programming languages (Electronic computers). --- Hardware and Maker. --- Control Structures and Microprogramming. --- Programming Languages, Compilers, Interpreters.

Choose an application

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

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. With this book, Chris Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++’s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc.  Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit. The most recent specification of C++11 in ISO/IEC 14882:2011 is used throughout the text. To facilitate portability, no libraries other than those specified in the language standard itself are used. Efficiency is always in focus and numerous examples are backed up with real-time performance measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond. The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.

Special purpose computers. --- Computer system failures. --- Architecture, Computer. --- Software engineering. --- Microprogramming . --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Computer System Implementation. --- Software Engineering. --- Control Structures and Microprogramming. --- C++ (Computer program language) --- Microcontrollers. --- Microprogramming.

Choose an application

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

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024. .

Computer science. --- Microprogramming. --- Computer networks. --- Computer simulation. --- Software engineering. --- Theory of Computation. --- Control Structures and Microprogramming. --- Computer Communication Networks. --- Computer Modelling. --- Software Engineering.

Choose an application

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

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024. .

Computer science. --- Microprogramming. --- Computer networks. --- Computer simulation. --- Software engineering. --- Theory of Computation. --- Control Structures and Microprogramming. --- Computer Communication Networks. --- Computer Modelling. --- Software Engineering.