Search Results - "Memory"

Refine Results
  1. 6581
  2. 6582
  3. 6583
  4. 6584
  5. 6585
  6. 6586
  7. 6587
  8. 6588
  9. 6589
  10. 6590

    Interdisciplinary Perspectives on Mortality and its Timings When is Death? /

    Published 2017
    Table of Contents: “…'A Candidate for Immortality': Martyrdom, Memory, and the Marquis of Montrose; Rachel Bennett -- Chapter 4. …”
    Link to Metadata
    Electronic eBook
  11. 6591

    A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday /

    Published 2021
    Table of Contents: “…The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- Chapter 4. …”
    Link to Metadata
    Electronic eBook
  12. 6592

    Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

    Published 2022
    Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
    Link to Metadata
    Electronic eBook
  13. 6593
  14. 6594

    Micro-, Meso- and Macro-Dynamics of the Brain

    Published 2016
    Link to Metadata
    Electronic eBook
  15. 6595

    Health and Wellbeing in Late Life Perspectives and Narratives from India / by Chatterjee, Prasun

    Published 2019
    Table of Contents: “…Understanding Frailty: The Science and Beyond -- 2. Living with Failing Memory: From a Caregiver's Perspective -- 3. Panorama of Cancer -- 4. …”
    Link to Metadata
    Electronic eBook
  16. 6596

    Digital Circuit Projects An Overview of Digital Circuits Through Implementing Integrated Circuits by Kann, Charles W.

    Published 2014
    Table of Contents: “…Chapter 1 Before you start -- Chapter 2 Overview of a Central Processing -- Chapter 3 Getting started -- Chapter 4 Gates -- Chapter 5 Associative Boolean operators -- Chapter 6 Adders -- Chapter 7 Decoders -- Chapter 8 Multiplexers -- Chapter 9 Memory basics - flip-flops and latches -- Chapter 10 Sequential circuits -- Chapter 11 Use of these ICs in a CPU…”
    Access online version
    Electronic eBook
  17. 6597

    Teaching Autoethnography Personal Writing in the Classroom by Tombro, Melissa

    Published 2016
    Table of Contents: “…Workshop and Peer Review Process -- 5. Memory/Character Essays -- 6. Writing about Spaces and Events -- 7. …”
    Access online version
    Electronic eBook
  18. 6598
  19. 6599
  20. 6600