Programming Persistent Memory A Comprehensive Guide for Developers by Scargall, Stteve

Table of Contents: “…Front Matter -- Introduction to Persistent Memory Programming -- Persistent Memory Architecture -- Operating Systetm Support for Persistent Memory -- Fundamental Concepts of Persistent Memory Programming -- Introducing the Persistent Memory Develpoment Kit -- Iibpmem: Low-Level Persistent Memory Support -- Iibpmemobj: A Native Transactional Object Store -- libpmemobj-cpp: The Adaptable Language - C++ and Persistent Memory -- pmemkv: A Persistent In-Memory Key-Value Store -- Volatile Use of Persistent Memory -- Designing Data Structures for Persistent Memory -- Debugging Persistent Memory Applications -- Enabling Persistence Using a Real-World Application -- Concurrency and Persistent Memory -- Profiling and Performance -- PMDK Internals: Important Algorithms and Data Structures -- Reliability, Availability, and Serviceability (RAS) -- Remote Persistent Memory -- Advanced Topics -- Back Matter…”
Access online version

Bruno Touschek 100 Years Memorial Symposium 2021 /

Link to Metadata

High Performance Computing by Severance, Charles, Dowd, Kevin

Table of Contents: “…Shared-Memory Parallel Processors -- 3.1 Understanding Parallelism -- 3.2 Shared-Memory Multiprocessors -- 3.3 Programming Shared-Memory Multiprocessors -- 4. …”
Access online version

Introduction to MIPS Assembly Language Programming by Kann, Charles

Table of Contents: “…Chapter 1 Introduction -- Chapter 2 First Programs in MIPS assembly -- Chapter 3 MIPS arithmetic and Logical Operators -- Chapter 4 Translating Assembly Language into Machine Code -- Chapter 5 Simple MIPS subprograms -- Chapter 6 MIPS memory - the data segment -- Chapter 7 Assembly language program control structures -- Chapter 8 Reentrant Subprograms -- Chapter 9 Arrays…”
Access online version

Data Parallel C++ Programming Accelerated Systems Using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Where Code Executes -- Chapter 3: Data Management and Ordering the Uses of Data -- Chapter 4: Expressing Parallelism -- Chapter 5: Error Handling -- Chapter 6: Unified Shared Memory -- Chapter 7: Buffers -- Chapter 8: Scheduling Kernels and Data Movement -- Chapter 9: Local Memory and Work-group Barriers -- Chapter 10: Defining Kernels -- Chapter 11: Vector and Math Arrays -- Chapter 12: Device Information and Kernel Specialization -- Chapter 13: Practical Tips -- Chapter 14: Common Parallel Patterns -- Chapter 15: Programming for GPUs -- Chapter 16: Programming for CPUs -- Chapter 17: Programming for FFGAs -- Chapter 18: Libraries -- Chapter 19: Memory Model and Atomics -- Chapter 20: Backend Interoperability -- Chapter 21: Migrating CUDA Code -- Epilogue.…”
Link to Metadata

Operating Systems and Middleware Supporting Controlled Interaction by Hailperin, Max

Table of Contents: “…1 Introduction -- 2 Threads -- 3 Scheduling -- 4 Synchronization and Deadlocks -- 5 Atomic Transactions -- 6 Virtual Memory -- 7 Processes and Protection -- 8 Files and Other Persistent Storage -- 9 Networking -- 10 Messaging, RPC, and Web Services -- 11 Security…”
Access online version

Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops / by Supalov, Alexander, Semin, Andrey, Dahnken, Christopher, Klemm, Michael

Link to Metadata

Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL / by Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Where code executes -- Chapter 3: Data management and ordering the uses of data -- Chapter 4: Expressing parallelism -- Chapter 5: Error handling -- Chapter 6: USM in detail -- Chapter 7: Buffers in detail -- Chapter 8: DAG scheduling in detail -- Chapter 9: Local memory and work-group barriers -- Chapter 10: Defining kernels -- Chapter 11: Vectors -- Chapter 12: Device-specific extension mechanism -- Chapter 13: Programming for GPUs -- Chapter 14: Programming for CPUs -- Chapter 15: Programming for FPGAs -- Chapter 16: Address spaces and multi_ptr -- Chapter 17: Using libraries -- Chapter 18: Working with OpenCL -- Chapter 19: Memory model and atomics.…”
Link to Metadata

Efficient Learning Machines Theories, Concepts, and Applications for Engineers and System Designers / by Awad, Mariette, Khanna, Rahul

Link to Metadata

Embedded Controllers Using C and Arduino by Fiore, James M.

Table of Contents: “…Course Introduction -- C Memory Organization -- C Language Basics -- C Language Basics II -- C Storage Types and Scope -- C Arrays and Strings -- C Conditionals and Looping -- C Pointers -- C Look-Up Tables -- C Structures -- C Linked Lists -- C Memory -- C File I/O -- C Command Line Arguments -- Embedded Programming -- Hardware Architecture -- AVR ATmega 328P Overview -- Bits & Pieces: includes and defines -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: pinMode -- Bits & Pieces: digitalWrite -- Bits & Pieces: delay -- Bits & Pieces: digitalRead -- Bits & Pieces: Analog Input Circuitry -- Bits & Pieces: analogRead -- Bits & Pieces: analogWrite -- Bits & Pieces: Timer/Counters -- Bits & Pieces: Interrupts…”
Access online version

Pro TBB C++ Parallel Programming with Threading Building Blocks / by Voss, Michael, Asenjo, Rafael, Reinders, James

Table of Contents: “…-- Chapter 2: Generic Parallel Algorithms -- Chapter 3: Flow Graphs -- Chapter 4: TBB and the C++ Parallel Standard Template Library -- Chapter 5: Synchronization: why and how to avoid it -- Chapter 6: Data Structures for Concurrency -- Chapter 7: Scalable Memory Allocation -- Chapter 8: Mapping Parallel Patterns to TBB -- Part II -- Chapter 9: The Pillars of Composability -- Chapter 10: Using tasks to create your own algorithms -- Chapter 11: Controlling the Number of Threads Used for Execution -- Chapter 12: Using Work Isolation for Correctness and Performance -- Chapter 13: Creating Thread-to-core and Task-to-thread Affinity -- Chapter 14: Using Task Priorities -- Chapter 15: Cancellation and Exception Handling -- Chapter 16: Tuning TBB Algorithms: Granularity, Locality, Parallelism and Determinism -- Chapter 17: Flow Graphs: Beyond the Basics -- Chapter 18: Beef up Flow Graphs with Async Nodes -- Chapter 19: Flow Graphs on steroids: OpenCL Nodes -- Chapter 20: TBB on NUMA architectures -- Appendix A: History and Inspiration -- Appendix B: TBB Précis -- Glossary. .…”
Link to Metadata

Psychology as a Biological Science

Table of Contents: “…Psychology as Science -- Biological Basis of Behavior -- Sensation and Perception -- Learning and Memory -- Cognition and Language -- Development -- Social -- Personality -- Emotions and Motivation -- Psychological Disorders -- Well-Being…”
Access online version

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata

Blueprints Creating, Describing, and Implementing Designs for Larger-Scale Software Projects by Davies, Stephen

Table of Contents: “…Getting off the ground -- The "software crisis" -- Classes and objects -- Memory matters -- Exceptions -- UML class diagrams -- The Singleton diagrams -- Java odds 'n' ends -- UML sequence diagrams -- Persistence and hydration -- Inheritance (1 of 2) -- Inheritance (2 of 2) -- The Factory pattern -- Team software development -- Doing design (1 of 2) -- Doing design (2 of 2) -- Use cases -- Documenting an API…”
Access online version

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

An Open Guide to Data Structures and Algorithms by Bible, Paul W., Moser, Lucas

Access online version

Introduction to Epigenetics by Paro, Renato, Grossniklaus, Ueli, Santoro, Raffaella, Wutz, Anton

Table of Contents: “…Biology of Chromatin -- Chromatin Dynamics -- Cellular Memory -- Dosage Compensation Systems -- Genomic Imprinting -- RNA-based Mechanisms of Gene Silencing -- Regeneration and Reprogramming -- Epigenetics and Cancer -- Epigenetics and Metabolism.…”
Link to Metadata

Making Games with Python & Pygame by Sweigart, Al

Table of Contents: “…Chapter 1 - Installing Python and Pygame -- Chapter 2 - Pygame Basics -- Chapter 3 - Memory Puzzle -- Chapter 4 - Slide Puzzle -- Chapter 5 - Simulate -- Chapter 6 - Wormy -- Chapter 7 - Tetromino -- Chapter 8 - Squirrel Eat Squirrel -- Chapter 9 - Star Pusher -- Chapter 10 - Four Extra Games…”
Access online version

Open Data Structures An Introduction by Morin, Pat

Table of Contents: “…1 Introduction -- 2 Array-Based Lists -- 3 Linked Lists -- 4 Skiplists -- 5 Hash Tables -- 6 Binary Trees -- 7 Random Binary Search Trees -- 8 Scapegoat Trees -- 9 Red-Black Trees -- 10 Heaps -- 11 Sorting Algorithms -- 12 Graphs -- 13 Data Structures for Integers -- 14 External Memory Searching…”
Access online version

The Crystal Ball Instruction Manual by Davies, Stephen

Table of Contents: “…1 Introduction -- 2 A trip to Jupyter -- 3 Three kinds of atomic data -- 4 Memory pictures -- 5 Calculations -- 6 Scales of measure -- 7 Three kinds of aggregate data -- 8 Arrays in Python (1 of 2) -- 9 Arrays in Python (2 of 2) -- 10 Interpreting Data -- 11 Assoc. arrays in Python (1 of 3) -- 12 Assoc. arrays in Python (2 of 3) -- 13 Assoc. arrays in Python (3 of 3) -- 14 Loops -- 15 EDA: univariate -- 16 Tables in Python (1 of 3) -- 17 Tables in Python (2 of 3) -- 18 Tables in Python (3 of 3) -- 19 EDA: bivariate (1 of 2) -- 20 EDA: bivariate (2 of 2) -- 21 Branching -- 22 Functions (1 of 2) -- 23 Functions (2 of 2) -- 24 Recoding and transforming -- 25 Machine Learning: concepts -- 26 Classification: concepts -- 27 Decision trees (1 of 2) -- 28 Decision trees (2 of 2) -- 29 Evaluating a classifier…”
Access online version