Choose an application

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

Computer architecture. --- Architecture, Computer

Choose an application

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

A no-nonsense, practical guide to current and future processor and computer architectures, enabling you to design computer systems and develop better software applications across a variety of domains Key Features Understand digital circuitry with the help of transistors, logic gates, and sequential logic Examine the architecture and instruction sets of x86, x64, ARM, and RISC-V processors Explore the architecture of modern devices such as the iPhone X and high-performance gaming PCs Book Description Are you a software developer, systems designer, or computer architecture student looking for a methodical introduction to digital device architectures but overwhelmed by their complexity? This book will help you to learn how modern computer systems work, from the lowest level of transistor switching to the macro view of collaborating multiprocessor servers. You'll gain unique insights into the internal behavior of processors that execute the code developed in high-level languages and enable you to design more efficient and scalable software systems. The book will teach you the fundamentals of computer systems including transistors, logic gates, sequential logic, and instruction operations. You will learn details of modern processor architectures and instruction sets including x86, x64, ARM, and RISC-V. You will see how to implement a RISC-V processor in a low-cost FPGA board and how to write a quantum computing program and run it on an actual quantum computer. By the end of this book, you will have a thorough understanding of modern processor and computer architectures and the future directions these architectures are likely to take. What you will learn Get to grips with transistor technology and digital circuit principles Discover the functional elements of computer processors Understand pipelining and superscalar execution Work with floating-point data formats Understand the purpose and operation of the supervisor mode Implement a complete RISC-V processor in a low-cost FPGA Explore the techniques used in virtual machine implementation Write a quantum computing program and run it on a quantum computer Who this book is for This book is for software developers, computer engineering students, system designers, reverse engineers, and anyone looking to understand the architecture and design principles underlying modern computer systems from tiny embedded devices to warehouse-size cloud server farms. A general understanding of computer processors is helpful but not required." -- Publisher's description.

Computer architecture.

Choose an application

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

Today’s programmers don’t develop software systems from scratch. Instead, they spend their time fixing, extending, modifying, and enhancing existing software. Legacy systems often turn into an unwieldy mess that becomes increasingly difficult to modify, and with architecture that continually accumulates technical debt. Carola Lilienthal has analyzed more than 300 software systems written in Java, C#, C++, PHP, ABAP, and TypeScript and, together with her teams, has successfully refactored them. This book condenses her experience with monolithic systems, architectural and design patterns, layered architectures, domain-driven design, and microservices. With more than 200 color images from real-world systems, good and sub-optimal sample solutions are presented in a comprehensible and thorough way, while recommendations and suggestions based on practical projects allow the reader to directly apply the author’s knowledge to their daily work.

Software architecture.

Choose an application

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

Der Mensch lebt in Räumen ? von den Höhlen der Steinzeit über gebaute Architekturen bis hin zu digitalen Welten der Gegenwart. Räume sind Ausdruck sozialen und kulturellen Wandels. Hierbei entstehen Zustände eines Dazwischen-Seins. Wie und wo manifestieren sich diese im architektonischen Raum? Wie gehen Menschen mit den Zwischenräumen um, in denen sie sich befinden? 0Thematisiert werden u.a. Strategien nigerianischer Migrantinnen auf dem Weg nach Europa, Raumstrukturen in englischen Pfarrkirchen im 15. und 16. Jahrhundert und das Suburbane in Werken Camille Pissarros.0Aus dem Inhalt:0- Nigerianische Migrantinnen auf dem Weg nach Europa; 0- Der Hafen als Topos in der gemalten Kunsttheorie des 17. Jahrhunderts in den Niederlanden; 0- Otto Dix? politische Landschaftsgemälde 1933 bis 1945; 0- Steinerne Landschaften in der Cassone- und Spallieramalerei des Florentiner Quattrocento; 0- Digitales Spielen als Bildoperation im Zwischenraum; 0- Raumstrukturen in Pfarrkirchen des südöstlichen England im 15. und 16. Jahrhundert; 0- Die Deutungsoffenheit religiöser Repräsentationsräume; 0- Impressionen des Suburbanen bei Camille Pissarro; 0- Stadtquartiere im Umbruch am Beispiel des Berliner Bezirks Marzahn-Hellersdorf; 0- Urban Hacking: Die Konfliktmetaphorik eines virtuell-realen Zwischenraums.

Space (Architecture)

Choose an application

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

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machine-checked formal proofs are now reaching an unprecedented scale, comparable to large software projects, which leads to new challenges in proof development and maintenance. Despite its increasing importance, the field of proof engineering is seldom considered in its own right; related theories, techniques, and tools span many fields and venues. QED at Large covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. It emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments. This monograph is intended for use by researchers and students who are new to the field. It provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.

Software architecture.