Computer architecture and logic design Books
Springer International Publishing AG Guide to Computer Processor Architecture: A
Book SynopsisThis unique, accessible textbook presents a succession of implementations of the open-source RISC-V processor. Implementations are offered in increasing difficulty (non-pipelined, pipelined, deeply pipelined, multi-threaded, multicore).Each implementation is shown as a High-Level Synthesis (HLS) code in C++. This facilitates synthesis and testing on an FPGA-based development board (Such a board can be freely obtained from the Xilinx University Program targeting university professors).The book can be useful for several reasons. First, it is a novel way to introduce computer architecture: The codes given can serve as labs for a processor architecture course. Second, the book content is based on the RISC-V Instruction Set Architecture, which is an open-source machine language promising to become the main machine language to be taught, replacing DLX and MIPS. Third, all the designs are implemented through the HLS tool, which is able to translate a C program into an intellectual property (IP). Lastly, HLS will become the new standard for IP implementations, replacing Verilog/VHDL; already there are job positions tied to HLS, with the argument of rapid IP development.Hence, in addition to offering undergraduates a firm introduction, the textbook/guide can also serve engineers willing to implement processors on FPGA, as well as researchers willing to develop RISC-V based hardware simulators.Bernard Goossens is Professor in the Faculty of Sciences at the Université de Perpignan, France. He is author of the French-language book from Springer, Architecture et microarchitecture des processeurs, 2002.Table of ContentsPart I. Single core processors.- 1. Getting Ready.- 2. Building a RISC-V Processor.- 3. Building a Pipelined RISC-V Processor.- 4. Building a RISC-V Processor with a Multi-cycle Pipeline.- 5. Building a RISC-V Processor with a Multiple Hart Pipeline.- Part II. Multiple core processors.- 6. Connecting IPs.- 7. A Multi-core RISC-V Processor.- 8. A Multi-core RISC-V Processor with Multi-hart Cores.
£42.80
Springer International Publishing AG Completion Detection in Asynchronous Circuits:
Book SynopsisThis book is intended for designers with experience in traditional (clocked) circuit design, seeking information about asynchronous circuit design, in order to determine if it would be advantageous to adopt asynchronous methodologies in their next design project. The author introduces a generic approach for implementing a deterministic completion detection scheme for asynchronous bundled data circuits that incorporates a data-dependent computational process, taking advantage of the average-case delay. The author validates the architecture using a barrel shifter, as shifting is the basic operation required by all the processors. The generic architecture proposed in this book for a deterministic completion detection scheme for bundled data circuits will facilitate researchers in considering the asynchronous design style for developing digital circuits.Table of Contents1) Introduction to asynchronous circuit design2) "Preliminary considerations for asynchronous circuit design"3) "Completion detection schemes for asynchronous design style"4) Case Studies: Barrel shifter and binary adders5) "Generic Architecture of deterministic completion detection scheme"6) "Architecture optimization using deterministic completion detection"7) Simulations
£66.49
Springer International Publishing AG Fundamentals of Modern Electric Circuit Analysis
Book SynopsisThis textbook explains the fundamentals of electric circuits and uses the transfer function as a tool to analyze circuits, systems, and filters. The author avoids the Fourier transform, since this topic is often not taught in circuits courses. General transfer functions for low pass, high pass, band pass and band reject filters are demonstrated, with first order and higher order filters explained in plain language. The author’s presentation is designed to be accessible to a broad audience, with the concepts of circuit analysis explained in basic language, reinforced by numerous, solved examples. Table of ContentsChapter 1. Introduction to Electric Circuits.- Chapter 2. Circuit Components, Voltage, and Current Laws.- Chapter 3. Waveform and Source Analyses.- Chapter 4. Circuit Response Analysis.- Chapter 5. Steady-State Sinusoidal Circuit Analysis.- Chapter 6. Mutual Inductance.- Chapter 7. Laplace Transform and Its Application in Circuits.- Chapter 8. Transfer Functions.- Chapter 9. Passive Filters.- Chapter 10. Operational Amplifiers.- Chapter 11. Active Filters.- Chapter 12. Two-Port Networks.
£49.49
Springer Fachmedien Wiesbaden In-Memory-Computing: Synthese und Optimierung
Book SynopsisDieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für praktische Anwendungen schafft. Die Leser werden mit einer neuen Generation von Computerarchitekturen vertraut gemacht, die potenziell schneller arbeiten können, da die Notwendigkeit der Kommunikation zwischen Prozessor und Speicher überwunden wird. Die Diskussion umfasst verschiedene Synthesemethoden und Optimierungsalgorithmen, die auf Implementierungskostenmetriken wie Latenzzeit und Flächen abzielen, sowie das Problem der Zuverlässigkeit, das durch die kurze Lebensdauer des Speichers verursacht wird. Präsentiert einen umfassenden Synthesefluss für das aufkommende Feld des Logic-in-Memory-Computings; Beschreibt die automatische Kompilierung von programmierbaren Logik-in-Memory-Computerarchitekturen; Enthält mehrere effektive Optimierungsalgorithmen, die auch auf die klassische Logiksynthese anwendbar sind; Untersucht den unausgewogenen Schreibverkehr in Logic-in-Memory-Architekturen und beschreibt Ansätze zum Verschleißausgleich, um diesen zu verringern. Table of ContentsKapitel 1: Einführung.- Kapitel 2: Hintergrund.- Kapitel 3: BDD-Optimierung und Approximation: A Multi-Criteria Approach.- Kapitel 4: Synthese für Logic-in-Memory Computing mit RRAM.- Kapitel 5: Kompilierung und Wear Le0veling für programmierbare Logic-in-Memory (PLiM) Architektur.- Kapitel 6: Schlussfolgerungen.
£67.99
Springer International Publishing AG Engineering Design: A Survival Guide to Senior
Book SynopsisEngineering Senior Design is perhaps the course that most resembles what an engineering professional will be required to do during their career; it is the bridge between the academic classroom and the engineering profession. This textbook will support students as they learn to apply their previously-developed skills to solve a complex engineering problem during a senior-level design course. This textbook follows the design life cycle from project initiation to completion and introduces students to many soft engineering skills, such as communication, scheduling, and technical writing, in the context of an engineering design. Students are instructed how to define an engineering problem with a valid problem statement and requirements document. They will conceptualize a complex solution and divide that solution into manageable subsystems. More importantly, they will be introduced to Project Management techniques that will help students organize workloads, develop functional engineering-teams, and validate solutions, all while increasing the likelihood of a successful completion to the project. Throughout the experience, students are instructed that a well-intentioned solution is not particularly useful unless it can be communicated and documented. To that end, this textbook will help students document their work in a professional manner and to present their ideas to stakeholders in a variety of formal design-reviews. With the support of this textbook, by the end of a student’s senior design experience, each individual will be ready to communicate with other engineering professionals, effectively support engineering design-teams, and manage complex project to solve the next generation’s engineering challenges.Table of Contents1. Introduction to Senior Design2. Meeting your design team for the first time (How to run an effective meeting)3. Daily Documentation (Engineering Notebooks)4. The Initiation Phase5. The Planning Phase6. The Execution Phase7. The Closing Phase.
£49.49
Springer International Publishing AG Bio/CMOS Interfaces and Co-Design
Book SynopsisThis textbook demonstrates new paradigms for the interface between CMOS circuits and the biological world. A deep theoretical description of such an interface is defined and discussed, while various real applications are demonstrated by also discussing several analog CMOS circuits. Electrochemical techniques are proposed in detail to learn how to design integrated biosensors. Biological materials are described to provide devices selectivity. Nanoscale materials are discussed to provide device sensitivity. CMOS circuits are analyzed to provide real applications. Extensive examples with solutions are provided, as well as exercises at the end of each chapter. This book introduces students to the state-of-the-art in Bio/CMOS interfaces, describing leading-edge research in CMOS design and VLSI development for applications requiring intimate integration of biological molecules onto the chip. It provides multidisciplinary content ranging from biochemistry to CMOS design in order to address Bio/CMOS interface co-design in biosensing applications.Table of ContentsIntroduction.- Chemistry of Conductive Solutions.- Biochemistry of Targets and Probes.- Target/Probe interactions.- Surface Immobilization of Probes.- Nano Technology to prevent Electron Transfer.- Bio/CMOS interface for Label-free Capacitance Sensing.- nanotechnology to enhance electron transfer.- Bio/CMOS interface in Constant Bias.-Bio/CMOS interface in Voltage Scan.- Appendix 1 - Basic Chemistry.- Appendix 2 - Basic Configurations of Operational Amplifiers.- Appendix 3 - The Fourier Theorem.- Appendix 4 - The Fourier and Laplace Transforms.
£94.99
Springer Fachmedien Wiesbaden Einführung in die Entwurfsautomatisierung für
Book SynopsisDieses Buch bietet dem Leser einen einfachen Einstieg in das Quantencomputing sowie in den Entwurf entsprechender Geräte. Die Autoren behandeln verschiedene Entwurfsaufgaben, die für das Quantencomputing wichtig sind, und stellen entsprechende Lösungen vor. Eine Besonderheit des Buches ist, dass diese Aufgaben und Lösungen explizit aus der Perspektive der Entwurfsautomatisierung diskutiert werden, d.h. unter Verwendung von cleveren Algorithmen und Datenstrukturen, die von der Entwurfsautomatisierungs-Community für konventionelle Logik (d.h. für elektronische Geräte und Systeme) entwickelt worden sind und nun für diese neue Technologie angewendet werden. Auf diese Weise können relevante Entwurfsaufgaben wesentlich effizienter als bisher durchgeführt werden, was zu Verbesserungen um mehrere Größenordnungen führt (in Bezug auf die Laufzeit und andere Entwurfsziele). Beschreibt den aktuellen Stand der Technik für den Entwurf von Quantenschaltungen, für deren Simulation und für deren Abbildung auf reale Hardware; Bietet eine erste umfassende Einführung in die Entwurfsautomatisierung für Quantencomputer, die sich mit praxisrelevanten Aufgabenstellungen befasst; Es richtet sich sowohl an die Quantencomputer-Gemeinschaft als auch an die Gemeinschaft der Entwurfsautomatisierung und zeigt, welche beeindruckenden Verbesserungen möglich sind, wenn man das Wissen beider Gemeinschaften kombiniert. Table of ContentsEinführung.- Quantencomputer.- Entwurfsautomatisierungsmethoden für konventionelle Systeme.- Überblick über die Quantenschaltungssimulation.- Entscheidungsdiagramm-basierte Simulation.- Kombinierte Operationen in der DD-basierten Simulation.- Effiziente Implementierung der vorgeschlagenen DDs.- Genauigkeit und Kompaktheit der vorgeschlagenen DDs.- Entwurf boolescher Komponenten für Quantenschaltungen.- Funktionale Synthese.- Entwurfsablauf in einem Durchgang.- Abbildung von Quantenschaltungen auf NISQ-Bauelemente.- Minimale und nahezu minimale Ansätze.- Heuristischer Ansatz.- Ein spezieller heuristischer Ansatz für SU(4)-Quantenschaltungen.- Fazit.
£58.49
Springer International Publishing AG Reversible Computation: 15th International
Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18–19, 2023.The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows: Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits.Table of ContentsInvited Paper.- Energy complexity of computation.- Foundations.- Replications in Reversible Concurrent Calculi.- Towards a Taxonomy for Reversible Computation Approaches.- Computational Complexity of Reversible Reaction Systems.- Reversible Programming.- Optimization of Reversible Control Flow Graphs.- Tail recursion transformation for invertible functions.- Saving Memory Space in Deep Neural Networks by Recomputing: A Survey.- Towards a Dereversibilizer: Fewer Asserts, Statically.- Quantum Computing.- Quantum String Matching Unfolded and Extended.- Optimizing Quantum Space using Spooky Pebble Games.- Uncomputation in the Qrisp high-level Quantum Programming Framework.- Quantum Circuits.- Improved Synthesis of Tooli-Hadamard Circuits.- Implementation of a Reversible Distributed Calculus.- Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture.- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures.
£47.49
Springer International Publishing AG OpenMP: Advanced Task-Based, Device and Compiler
Book SynopsisThis book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; and OpenMP Infrastructure and Evaluation.Table of ContentsOpenMP and AI: Advising OpenMP Parallelization via a Graph-Based Approach with Transformers.- Towards Effective Language Model Application in High-Performance Computing.- OpenMP Advisor: A Compiler Tool for Heterogeneous Architectures.- Tasking Extensions: Introducing Moldable Task in OpenMP.- Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct.- How to Efficiently Parallelize Irregular DOACROSS Loops Using Fine-Grained Granularity and OpenMP Tasks? The mcf Case.- OpenMP Offload Experiences: The Kokkos OpenMPTarget Backend: Implementation and Lessons Learned.- Fine-Grained Parallelism on GPUs Using OpenMP Target Offloading.- Improving a Multigrid Poisson Solver with Peer-to-Peer Communication and Task Dependencies.- Beyond Explicit GPU Support: Multipurpose Cacheing to accelerate OpenMP Target Regions on FPGAs.- Generalizing Hierarchical Parallelism.- Exploring the Limits of Generic Code Execution on GPUs via Direct (OpenMP) Offload.- OpenMP Infrastructure and Evaluation: Improving Simulations of Task-Based Applications on Complex NUMA Architectures.- Experimental Characterization of OpenMP Offloading Memory Operations and Unified Shared Memory Support.- OpenMP Reverse Offloading Using Shared Memory Remote Procedure Calls.
£47.49
Springer International Publishing AG Introduction to Logic Circuits & Logic Design
Book SynopsisThis textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers. Coverage includes both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) design approach (computer-based). Using this textbook enables readers to design digital systems using the modern HDL approach, but they have a broad foundation of knowledge of the underlying hardware and theory of their designs. This book is designed to match the way the material is actually taught in the classroom. Topics are presented in a manner which builds foundational knowledge before moving onto advanced topics. The author has designed the presentation with learning goals and assessment at its core. Each section addresses a specific learning outcome that the student should be able to “do” after its completion. The concept checks and exercise problems provide a rich set of assessment tools to measure student performance on each outcome.Table of ContentsIntroduction – Analog Vs. Digital.- Number Systems.- Digital Circuitry & Interfacing.- Combinational Logic Design.- Verilog (Part 1).- MSI Logic.- Sequential Logic Design.- Verilog (Part 2).- Behavioral Modeling of Sequential Logic.- Memory.- Programmable Logic.- Arithmetic Circuits.- Computer System Design.- Appendix A: List of Worked Examples.
£62.99
Springer Fachmedien Wiesbaden Design für Testbarkeit, Fehlersuche und
Book SynopsisIn diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlässig integriert werden können. Die Autoren beschreiben neue Maßnahmen zur Bewältigung der steigenden Herausforderungen im Bereich des Designs für Testbarkeit, Fehlersuche und Zuverlässigkeit, die für moderne Schaltungsentwürfe unbedingt erforderlich sind. Insbesondere werden in diesem Buch formale Techniken wie das Satisfiability (SAT)-Problem und das Bounded Model Checking (BMC) kombiniert, um die entstehenden Herausforderungen in Bezug auf die Zunahme des Testdatenvolumens, die Testanwendungszeit und die erforderliche Zuverlässigkeit zu bewältigen. Alle Methoden werden detailliert diskutiert und unter Berücksichtigung von industrie-relevanten Benchmark-Kandidaten ausführlich evaluiert. Alle Maßnahmen wurden in ein gemeinsames Framework integriert, das standardisierte Software/Hardware-Schnittstellen implementiert.Table of ContentsEinführung.- Integrierte Schaltungen.- Formale Techniken.- Eingebettete Kompressionsarchitektur für Testzugriffsports.- Optimiertes SAT-basiertes Retargeting für eingebettete Kompression.- Rekonfigurierbare TAP-Controller mit eingebetteter Kompression.- Eingebettete mehrkanalige Testkompression für Tests mit geringer Pin-Anzahl.- Erhöhte Zuverlässigkeit durch formale Techniken.- Fazit und Ausblick.
£80.99
Springer International Publishing AG Reversible Computation
Book Synopsis
£73.88
De Gruyter High Performance Parallel Runtimes: Design and
Book SynopsisThis book focuses on the theoretical and practical aspects of parallel programming systems for today's high performance multi-core processors and discusses the efficient implementation of key algorithms needed to implement parallel programming models. Such implementations need to take into account the specific architectural aspects of the underlying computer architecture and the features offered by the execution environment.This book briefly reviews key concepts of modern computer architecture, focusing particularly on the performance of parallel codes as well as the relevant concepts in parallel programming models. The book then turns towards the fundamental algorithms used to implement the parallel programming models and discusses how they interact with modern processors. While the book will focus on the general mechanisms, we will mostly use the Intel processor architecture to exemplify the implementation concepts discussed but will present other processor architectures where appropriate. All algorithms and concepts are discussed in an easy to understand way with many illustrative examples, figures, and source code fragments.The target audience of the book is students in Computer Science who are studying compiler construction, parallel programming, or programming systems. Software developers who have an interest in the core algorithms used to implement a parallel runtime system, or who need to educate themselves for projects that require the algorithms and concepts discussed in this book will also benefit from reading it. You can find the source code for this book at https://github.com/parallel-runtimes/lomp.
£65.55
Walter de Gruyter Eingebettete Systeme
£42.30
Walter de Gruyter Rechnerarchitektur
Book Synopsis
£38.00
De Gruyter Analog and Hybrid Computer Programming
Book Synopsis As classic digital computers are about to reach their physical and architectural boundaries, interest in unconventional approaches to computing, such as quantum and analog computers, is rapidly increasing. For a wide variety of practical applications, analog computers can outperform classic digital computers in terms of both raw computational speed and energy efficiency. This makes them ideally suited a co-processors to digital computers, thus forming hybrid computers. This second edition of "Analog and Hybrid Computer Programming" provides a thorough introduction to the programming of analog and hybrid computers. It contains a wealth of practical examples, ranging from simple problems such as radioactive decay, harmonic oscillators, and chemical reaction kinetics to advanced topics which include the simulation of neurons, chaotic systems such as a double-pendulum simulation and many more. In addition to these examples, it contains a chapter on special functions which can be used as "subroutines" in an analog computer setup.
£43.20
Walter de Gruyter Mainframe System z Computing
£72.90
Walter de Gruyter Rechnerorganisation Und Rechnerentwurf: Die
Book Synopsis
£76.46
de Gruyter Mikroprozessoren Und Mikrorechner
Book Synopsis
£134.09
de Gruyter KleincomputerFibel
Book Synopsis
£134.09
de Gruyter Speicherarchitektur Und Parallelzugriff
Book Synopsis
£134.09
de Gruyter Leistungsmodellierung Von Rechnersystemen
Book Synopsis
£134.09
de Gruyter Mikroprozessor Mikrorechner Funktion Und
Book Synopsis
£134.09
Springer International Publishing AG FPGAs for Software Programmers
Book SynopsisThis book makes powerful Field Programmable Gate Array (FPGA) and reconfigurable technology accessible to software engineers by covering different state-of-the-art high-level synthesis approaches (e.g., OpenCL and several C-to-gates compilers). It introduces FPGA technology, its programming model, and how various applications can be implemented on FPGAs without going through low-level hardware design phases. Readers will get a realistic sense for problems that are suited for FPGAs and how to implement them from a software designer’s point of view. The authors demonstrate that FPGAs and their programming model reflect the needs of stream processing problems much better than traditional CPU or GPU architectures, making them well-suited for a wide variety of systems, from embedded systems performing sensor processing to large setups for Big Data number crunching. This book serves as an invaluable tool for software designers and FPGA design engineers who are interested in high design productivity through behavioural synthesis, domain-specific compilation, and FPGA overlays. Introduces FPGA technology to software developers by giving an overview of FPGA programming models and design tools, as well as various application examples; Provides a holistic analysis of the topic and enables developers to tackle the architectural needs for Big Data processing with FPGAs; Explains the reasons for the energy efficiency and performance benefits of FPGA processing; Provides a user-oriented approach and a sense for where and how to apply FPGA technology. Table of ContentsIntroduction.- CPUs, GPUs, CGRAs, Vector Processing, Systolic Arrays, FPGAs.- The von Neuman Model versus data stream processing.- FPGAs for software designers.- Languages, libraries, and compilers for specific problems.- Behavioral Compiler Capabilities and optimization strategies.- Mapping Approaches and Tools for Heterogeneous FPGAs.- Automatic Tool Flows.- Design frameworks, tools, and tool interaction.- Hardware Platforms.- Parallel Architectures and Overlays.- FPGA Virtualization.- Applications from a Programmers Point of View.- Future Directions.
£113.99
Springer International Publishing AG Model-Driven Design Using IEC 61499: A
Book SynopsisThis book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly, the proposed approach can be used without the need for any run-time support. This approach, for the first time, blurs the gap between embedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industrial control systems. Several realistic examples are used to demonstrate for readers how the methodology can enable them to reduce the time-to-market, while improving the design quality and productivity.Table of ContentsIntroduction.- IEC 61499 in a Nutshell.- Introduction to Synchronous Programming Using Esterel.- Formal Model for IEC 61499 Function Blocks.- Efficient Code Synthesis from Function Blocks.- Verification of Function Blocks.- Timing Analysis.- Case Studies.
£67.49
Springer International Publishing AG Designing with Xilinx® FPGAs: Using Vivado
Book SynopsisThis book helps readers to implement their designs on Xilinx® FPGAs. The authors demonstrate how to get the greatest impact from using the Vivado® Design Suite, which delivers a SoC-strength, IP-centric and system-centric, next generation development environment that has been built from the ground up to address the productivity bottlenecks in system-level integration and implementation. This book is a hands-on guide for both users who are new to FPGA designs, as well as those currently using the legacy Xilinx tool set (ISE) but are now moving to Vivado. Throughout the presentation, the authors focus on key concepts, major mechanisms for design entry, and methods to realize the most efficient implementation of the target design, with the least number of iterations.Table of ContentsChapter 1: State of the Art Programmable Logic 1Chapter 2: Vivado Design Tools 17Chapter 3: IP Flows 23Chapter 4: Gigabit Transceivers 35Chapter 5: Memory Controllers 49Chapter 6: Processor Options 65Chapter 7: Vivado IP Integrator 75Chapter 8: SysGen for DSP 85Chapter 9: Synthesis 97Chapter 10: C Based Design 111Chapter 11: Simulation 127Chapter 12: Clocking 141Chapter 13: Stacked Silicon Interconnect (SSI) 155Chapter 14: Timing Closure 167Chapter 15: Power Analysis and Optimization 179Chapter 16: System Monitor 191Chapter 17: Hardware Debug 205Chapter 18: Emulation Using FPGAs 221Chapter 19: Partial Reconfiguration & Hierarchical Design 239
£98.99
Springer International Publishing AG Modern Data Strategy
Book SynopsisThis book contains practical steps business users can take to implement data management in a number of ways, including data governance, data architecture, master data management, business intelligence, and others. It defines data strategy, and covers chapters that illustrate how to align a data strategy with the business strategy, a discussion on valuing data as an asset, the evolution of data management, and who should oversee a data strategy. This provides the user with a good understanding of what a data strategy is and its limits. Critical to a data strategy is the incorporation of one or more data management domains. Chapters on key data management domains—data governance, data architecture, master data management and analytics, offer the user a practical approach to data management execution within a data strategy. The intent is to enable the user to identify how execution on one or more data management domains can help solve business issues. This book is intended for business users who work with data, who need to manage one or more aspects of the organization’s data, and who want to foster an integrated approach for how enterprise data is managed. This book is also an excellent reference for students studying computer science and business management or simply for someone who has been tasked with starting or improving existing data management.Table of Contents1 Evolution to Modern Data Management.- 2 Big Data and Data Management.- 3 Valuing Data as an Asset.- 4 Physical Asset Management vs. Data Management.- 5 Leading Data Strategy.- 6 Implementing a Data Strategy.- 7 Overview of Data Management Frameworks.- 8 Data Governance.- 9 Data Architecture.- 10 Master Data Management.- 11 Data Quality.- 12 Data Warehousing and Business Intelligence.- 13 Data Analytics.- 14 Data Privacy.- 15 Data Security.- 16 Metadata.- 17 Records Management.
£113.99
Springer International Publishing AG Guide to Data Structures: A Concise Introduction
Book SynopsisThis accessible and engaging textbook/guide provides a concise introduction to data structures and associated algorithms. Emphasis is placed on the fundamentals of data structures, enabling the reader to quickly learn the key concepts, and providing a strong foundation for later studies of more complex topics. The coverage includes discussions on stacks, queues, lists, (using both arrays and links), sorting, and elementary binary trees, heaps, and hashing. This content is also a natural continuation from the material provided in the separate Springer title Guide to Java by the same authors.Topics and features: reviews the preliminary concepts, and introduces stacks and queues using arrays, along with a discussion of array-based lists; examines linked lists, the implementation of stacks and queues using references, binary trees, a range of varied sorting techniques, heaps, and hashing; presents both primitive and generic data types in each chapter, and makes use of contour diagrams to illustrate object-oriented concepts; includes chapter summaries, and asks the reader questions to help them interact with the material; contains numerous examples and illustrations, and one or more complete program in every chapter; provides exercises at the end of each chapter, as well as solutions to selected exercises, and a glossary of important terms.This clearly-written work is an ideal classroom text for a second semester course in programming using the Java programming language, in preparation for a subsequent advanced course in data structures and algorithms. The book is also eminently suitable as a self-study guide in either academe or industry.Trade Review“This text is intended to provide undergraduates using Java with a concise, focused, and relatively simple coverage of some of the basic data structures in use. These include arrays, linked lists, trees, heaps (in arrays), and hash tables. … The book covers the algorithms and data structures well with clear language, abundant diagrams, and good exercises. It could be a good introduction for curricula using Java as a primary teaching language.” (Jeffrey Putnam, Computing Reviews, July, 2018)Table of ContentsPreliminary Concepts Stacks Using Arrays Queues Using Arrays Lists Using Arrays Lists Using Objects and References Ordered Linked Lists Stacks and Queues Using References Binary Trees Sorting Heaps Hashing
£36.95
Springer International Publishing AG Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.Table of ContentsFormal methods integration and experience reports.- Model checking.- Refinement and verification.- Semantics and languages.
£49.49
Springer International Publishing AG 8051 Microcontrollers: Fundamental Concepts,
Book SynopsisThis textbook describes in detail the fundamental information about the 8051 microcontroller and it carefully teaches readers how to use the microcontroller to make both electronics hardware and software. In addition to discussion of the 8051 internals, this text includes numerous, solved examples, end-of-chapter exercises, laboratory and practical projects.Table of ContentsFundamental Concepts of Computer Systems.- 8051 Core Microcontrollers.- 8051 - Core Microcontroller Instruction Set.- Flowchart and Assembly Programming.- Subroutine and Structuring of the Assembly Programming Language.- Input/output Ports of 8051 - Core Microcontrollers.- Basic 8051 - Core Microcontroller Interruptions.- Timers/Counters of the 8051 Core Microcontroller.- The Serial Communication Interface of the 8051 - Core Microcontroller.
£67.49
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Job Scheduling Strategies for Parallel
Book SynopsisThis volume contains the papers selected after a very careful refereeing process for presentation during the Workshop on Job Scheduling Stategies for Parallel Processing, held in Santa Barbara, California, as a prelude to the IPPS '95 conference in April 1995.The 19 full papers presented demonstrate that parallel job scheduling takes on a crucial role as multi-user parallel supercomputers become more widespread. All aspects of job scheduling for parallel systems are covered, from the perspectives of academic research, industrial design of parallel systems, as well as user needs. Of particular interest, also for nonexpert readers, is the introductory paper "Parallel Job Scheduling: Issues and Approaches" by the volume editors.Table of ContentsParallel job scheduling: Issues and approaches.- Scheduling on the Tera MTA.- A scalable multi-discipline, multiple-processor scheduling framework for IRIX.- Scheduling to reduce memory coherence overhead on coarse-grain multiprocessors.- Time Space Sharing Scheduling and architectural support.- Demand-based coscheduling of parallel jobs on multiprogrammed multiprocessors.- Multiprocessor scheduling for high-variability service time distributions.- The interaction between memory allocation and adaptive partitioning in message-passing multicomputers.- Analysis of non-work-conserving processor partitioning policies.- Loop-Level Process Control: An effective processor allocation policy for multiprogrammed shared-memory multiprocessors.- A microeconomic scheduler for parallel computers.- On the benefits and limitations of dynamic partitioning in parallel computer systems.- Intelligent fuzzy control to augment scheduling capabilities of network queuing systems.- Parallel processing on dynamic resources with CARMI.- Job scheduling under the Portable Batch System.- The ANL/IBM SP scheduling system.- Requirements of the Cornell Theory Center for resource management and process scheduling.- Job management requirements for nas parallel systems and clusters.- Job characteristics of a production parallel scientific workload on the NASA Ames iPSC/860.
£42.74
Springer Fachmedien Wiesbaden Formale Sprachen: Endliche Automaten,
Book SynopsisDieses Lehrbuch mit detailliert ausgearbeiteten Erklärungen und auf die Zielsetzungen fein abgestimmtem Training bietet einen einfachen Einstieg in die Theorie der formalen Sprachen. Es eignet sich gut für den Unterricht und das Selbststudium. Neben Gymnasiasten und Studienanfängern an Hochschulen richtet es sich auch an Lehramtsstudierende, insbesondere wenn sie sich mit der praktischen Umsetzung der Fachdidaktik für die Unterrichtsvorbereitung beschäftigen.Inhaltlich liegt der Fokus auf endlichen Automaten zur Systemsteuerung und zur Mustererkennung in Texten sowie auf Grammatiken zur Beschreibung von Programmiersprachen. Weiter werden erste Schritte im Compilerbau (lexikalische und syntaktische Analyse) unternommen.Die Leserinnen und Leser werden zur Bearbeitung von Projekten zur Darstellung und Analyse einfacher Programmiersprachen eingeladen.Table of ContentsAlphabete, Wörter und Sprachen - Das Modell der endlichen Automaten - Entwurf von endlichen Automaten - Projekt "Steuerungsautomaten" - Induktionsbeweise der Korrektheit - Simulation und modularer Entwurf endlicher Automaten - Größe endlicher Automaten und Nichtexistenzbeweise - Automaten mit Ausgabe und lexikalische Analyse - Kontextfreie Grammatiken - Syntaxanalyse von Programmen
£35.99
Springer Fachmedien Wiesbaden Ordnungen und Verbände: Grundlagen,
Book SynopsisDas Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die für dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalität in verteilten Systemen.Table of ContentsMathematische Grundlagen - Verbände und Ordnungen - Einige wichtige Verbandsklassen - Fixpunkttheorie mit Anwendungen - Vervollständigung und Darstellung mittels Vervollständigung - Wohlgeordnete Mengen und das Auswahlaxiom - Einige Informatik-Anwendungen von Ordnungen und Verbänden
£34.19
Springer Fachmedien Wiesbaden Grundlagen der Rechnerarchitektur: Von der
Book Synopsis Das Buch führt in die Grundlagen der technischen Informatik ein und richtet sich generell an Studierende der MINT-Fächer in den ersten Semestern. Ausgehend von den mathematischen Grundlagen zur Beschreibung und Berechnung logischer Schaltungen wird der komplette Entwurf digitaler Rechenmaschinen beschrieben. Aufbauend auf der Halbleitertechnik und deren Schaltungen führt das Buch in die Grundbegriffe der Rechnerarchitektur anhand einfacher und selbst aufbaubarer Beispiele ein.Table of ContentsHistorische Entwicklung von Rechenmaschinen.-Zahlen und Arithmetik.-Mathematische Grundlagen digitaler Schaltungen.-Digitale Schaltungen.-Elemente der Rechnerarchitektur.-Rechnerarchitektur.
£28.49
Springer Fachmedien Wiesbaden Eigenschaftsorientierte Beschreibung der
Book SynopsisDavid Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht.Table of ContentsLogische Architektur; Formale Grundlagen; Grundlagen eigenschaftsorientierter Architekturbeschreibung; Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation; Fallstudie ; Ströme und temporale Logik in Isabelle/HOL
£61.19
Springer Fachmedien Wiesbaden Logikkalküle in der Informatik: Wie wird Logik
Book SynopsisIm Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken. Table of ContentsAussagenlogik - Prädikatenlogik – SLD-Kalkül – Modale Logik – Temporale Logik – Epistemische Logik – Deontische Logik – Nichtmonotone Logik – Default-Logik
£23.74
Bruckner Tomas. Repin OOP - Learn Object Oriented Thinking and Programming
£33.25
ActarD Inc SKYCAR CITY: A Pre-emptive History
£13.82
River Publishers Dashboard Design
Book SynopsisInteractive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’ interventions or algorithmically by the machine, in the best case by applying both concepts in combination as in visual analytics. One of the easiest ways to get an interactive visualization tool running is by means of dashboards, typically implemented as webpages that can run in a web browser and are accessible online, creating some kind of web-based solution.This book describes ways to design and implement dashboards based on the programming language Python, the graphics library Plotly, and Dash. The readers can use the provided dashboard codes as a starting point and extend the functionality and features on their desire.Technical topics discussed in the book include: Design in visualization Interaction principles in information visualization User interface design Linking Python, Dash, and Plotly Coding in Python Dashboard examples with Python code. Table of Contents1. Introduction 2. Creating Powerful Dashboards 3. Python, Dash, Plotly, and More 4. Coding in Python 5. Dashboard Examples 6. Challenges and Limitation 7. Conclusion
£94.99
River Publishers Cloud Native Networking Deep-Dive
Book SynopsisThis book demystifies how Kubernetes networking actually works by walking through a simple but practical simulation that mirrors reality as closely as possible, while skipping the gory details.Widespread adoption of container orchestration platforms like Kubernetes have spawned a whole field of industry products, startups and academic research in the field of container networking, typically termed as cloud-native networking. But, what is cloud-native networking? What are the various pieces and how do they fit together?Over recent years, most applications have been deployed on cloud infrastructure. Kubernetes has been the widely adopted orchestrator for these clouds. Application developers in most cases are unaware of the underlying plumbing in Kubernetes that holds their applications running as containers. Networking is an integral part of any Kubernetes environment and efficiently drives the various abstractions provided by it. Needless to say, it greatly effects the performance of applications, which in general have a humongous amount of inter-microservice communication. The impact is even more profound in multiple cloud environments.Table of Contents1. Introduction to Kubernetes Concepts 2. Workers and Containers 3. Container–Container Networking 4. Services 5. Exposing Services 6. Multi-cluster Networking
£52.24
River Publishers 5G Networks
Book SynopsisThis book provides comprehensive coverage of building an end-to-end view on how to architect, design, and orchestrate a 5G capable network that will integrate with 5G RAN, IP transport, datacenters, Telco Cloud, and 5G packet networks. It contains real-world examples with challenges and success strategies for deploying 5G Transport with closed-loop automation. It also focuses on aspects like scale, performance, latency, security, and manageability while building 5G transport for some of the world''s largest 5G networks as well as migration approaches from 4G to 5G transport and core network.5G is an emerging technology that mobile service providers (MNO/MVNO) across the world are embracing. They are willing to invest in enabling their infrastructure for 5G and explore new business opportunities with their enterprise/mobile customers. As per the Gartner survey, the majority of communication service provider (CSP) revenue will come from 5G.5G is going to open the door to new applications such as wireless virtual reality, low latency machine-to-machine communication, smart city infrastructure, autonomous vehicles, IoT deployment, artificial intelligence-based applications, industrial automation and so much more.
£92.14
River Publishers Cryptography and Network Security
Book SynopsisStarting with the historical facts behind the concept of information, which led to the creation of computer networks, Internet of things and cryptocurrencies, the book then arrives at the main definitions of cryptography and network security, the protocols that keep the systems running and the cybercrimes that could disrupt the systems. The basics of information theory, how to measure information, and the information associated with a source are discussed. Source codes are presented, along with the concepts of information transmission, joint information, conditional entropy, mutual information and channel capacity. Computer networks are discussed, including the main protocols and network architectures, and the important TCP/IP protocol. Network security, a topic intrinsically connected to computer networks and the Internet, is presented, along with information about basic hacker attacks, alternatives to prevent attacks, data protection and secure protocols. The information theoretical aspects of cryptography are described including the hash function. Appendices include a review of probability theory, a discussion of cryptoalgorithms and cryptosystems, and a glossary of information security terms. Illustrations and graphics help the reader understand the theory.Table of Contents1. Introduction 2. Main Definitions 3. Information Theory 4. Source Coding 5. Information Transmission and Channel Capacity 6. Computer Networks 7. Network Protocols and Architecture 8. The TCP/IP Protocol 9. Network Security 10. Theoretical Cryptography 11. The Hash Function 12. Criminal Cases
£109.25
River Publishers Introduction to Quantum Computing
Book SynopsisThis book explores quantum computing as a transformative technology and its applications in cryptography, teleportation, IoT, AI, Blockchain, and the futurist concept of quantum internet. It explains the fundamentals of quantum computing and how it’s different from classic computing. The challenges facing quantum computing will be discussed, and the types of quantum computing will be introduced and explained. The concept and types of Qubit and its implications on quantum computing applications will be explained.Table of Contents1. What is Quantum Computing? 2. Quantum Cryptography 3. Quantum Internet 4. Quantum teleportation 5. Quantum Computing and IoT 6. Quantum Computing and Blockchain: Myths and Facts 7. Quantum Computing and AI: A Mega-Buzzword 8. Quantum Computing Trends
£28.49
Brill Recent Progress in Computational Sciences and
Book SynopsisThis volume brings together selected contributed papers presented at the International Conference of Computational Methods in Science and Engineering (ICCMSE 2006), held in Chania, Greece, October 2006. The conference aims to bring together computational scientists from several disciplines in order to share methods and ideas. The ICCMSE is unique in its kind. It regroups original contributions from all fields of the traditional Sciences, Mathematics, Physics, Chemistry, Biology, Medicine and all branches of Engineering. It would be perhaps more appropriate to define the ICCMSE as a conference on computational science and its applications to science and engineering. Topics of general interest are: Computational Mathematics, Theoretical Physics and Theoretical Chemistry. Computational Engineering and Mechanics, Computational Biology and Medicine, Computational Geosciences and Meteorology, Computational Economics and Finance, Scientific Computation. High Performance Computing, Parallel and Distributed Computing, Visualization, Problem Solving Environments, Numerical Algorithms, Modelling and Simulation of Complex System, Web-based Simulation and Computing, Grid-based Simulation and Computing, Fuzzy Logic, Hybrid Computational Methods, Data Mining, Information Retrieval and Virtual Reality, Reliable Computing, Image Processing, Computational Science and Education etc. More than 800 extended abstracts have been submitted for consideration for presentation in ICCMSE 2005. From these 500 have been selected after international peer review by at least two independent reviewers.Table of ContentsComputational Mathematics, Theoretical Physics and Theoretical Chemistry. Computational Engineering and Mechanics, Computational Biology and Medicine, Computational Geosciences and Meteorology, Computational Economics and Finance, Scientific Computation. High Performance Computing, Parallel and Distributed Computing, Visualization, Problem Solving Environments, Numerical Algorithms, Modelling and Simulation of Complex System, Web-based Simulation and Computing, Grid-based Simulation and Computing, Fuzzy Logic, Hybrid Computational Methods, Data Mining, Information Retrieval and Virtual Reality, Reliable Computing, Image Processing, Computational Science and Education.
£218.50
Taylor & Francis Ltd VLSI Design Environments
Book SynopsisVLSI Design Environments investigates design alternatives such as object oriented data modelling. The difficulty of automating chip architecture designs is caused by the complexity of the problem. The explosion of design decions make a heuristic approach necessary. PLAYOUT aims at the solution of system problems based on hierarchy, top-down planning, silicon complier presentations, advances in encoding logic synthesis and a microarchitecre and logic optimization system. PLAYOUT supports the physical design from entering the structure of digital systems to the generation of the mask. The concept for autonomous tools with a clear interface to the network description and the simple interface to the graphics is presented. This enables the designer to have a great influence on the configuration of the placement of the schematic diagram. Substantial progress is being made in behavioural and logic synthesis, both of which depend upon specifications.Table of ContentsTaking a heuristic approach, VLSI Design Environments investigates design alternatives such as object oriented data modelling. PLAYOUT aims at the solution of system problems based on hierarchy, top-down planning, silicon complier presentations, advances in encoding logic synthesis, and a microarchitecre and logic optimization system. PLAYOUT supports the physical design from entering the structure of digital systems to the generation of the mask. The concept for autonomous tools with a clear interface to the network description and the simple interface to the graphics is presented. This enables the designer to have a great influence on the configuration of the placement of the schematic diagram.
£161.50
Bernan Distribution Togaf Version 9.1
£16.10
World Scientific Publishing Co Pte Ltd Advances In Quantum Flux Parametron Computer
Book SynopsisThis volume reports new developments on work in the Quantum Flux Parametron (QFP) project. It makes complete a series on Josephson Supercomputers, which includes four earlier volumes, also published by World Scientific. QFP technology has great potential especially in the design of computer architecture. It is regarded as being able to go beyond the horizon of current technology, and is a leading direction for the advancement of computer technology in the next decade.Table of ContentsPart 1 Fundamental property: physics of QFP operation, W. Hioe; verification of high speed circuit operation, J. Casas and R. Kamikawai; process issues of QFP devices, N. Miyamoto and H. Nakane. Part 2 Computer architecture: concurrent models for the cyclic pipeline computer, P. Spee; six benchmark problems for number crunchers, W.F. Wong. Part 3 Magnetic shielding: a new approach for high efficiency pulse-tube refrigerator, J. Yuyama; detecting of flux quanta trapped in superconductor films by scanning a SQUID pick-up coil, H. Minami; an ultra-high vacuum application of a refrigerator-cooled cryopump, M. Kasuya; and others.
£67.45
World Scientific Publishing Co Pte Ltd Proceedings Of The Sixth Asian Logic Conference
Book SynopsisThis volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.Table of ContentsSeminormal fine measures on Pk(lambda), Y. Abe; recursion theory and weak fragments of Peano arithmetic - a study of definable cuts, C.T. Chong and Y. Yang; lattice embedding into d-r.e. degrees preserving 0 and 1, D. Ding and L. Qian; on stationary reflection principles, Q. Feng; decidability and undecidability in the enumerable Turing degrees, S. Lempp; a note on weak segments of PFA, T. Miyamoto; linear set theory with strict comprehension, M. Shirahata; a solution to a problem of Marek and Truszcy ski, K. Su and H. Chen; DNK and natural reasoning, M. Yasugi and M. Nakata; Asian logic conferences, M. Yasugi; other papers.
£80.75
