Search Results - "computation"

Refine Results
  1. 5021
  2. 5022
  3. 5023

    Energy Efficient Servers Blueprints for Data Center Optimization / by Gough, Corey, Steiner, Ian, Saunders, Winston

    Published 2015
    Subjects: “…Computer engineering.…”
    Link to Metadata
    Electronic eBook
  4. 5024
  5. 5025

    Smittestopp − A Case Study on Digital Contact Tracing

    Published 2022
    Subjects: “…Computer science.…”
    Link to Metadata
    Electronic eBook
  6. 5026

    Android Application Development for the Intel Platform by Cohen, Ryan, Wang, Tao

    Published 2014
    Subjects: “…Mobile computing.…”
    Link to Metadata
    Electronic eBook
  7. 5027
  8. 5028
  9. 5029

    Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings /

    Published 2019
    Table of Contents: “…Practical Resource Usage Prediction Method for Large Memory Jobs in HPC clusters -- A Crystal/Clear Pipeline for Applied Image Processing -- A Cache-Based Data Movement Infrastructure for On-Demand Scientific Cloud Computing -- PHINEAS: an Embedded Heterogeneous Parallel Platform -- MH-QEMU: Memory-State-Aware Fault Injection Platform -- Performance Evaluation and Analysis of Linear Algebra Kernels in the prototype Tianhe-3 Cluster.…”
    Link to Metadata
    Electronic eBook
  10. 5030

    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
  11. 5031
  12. 5032
  13. 5033

    Photonic Neural Networks with Spatiotemporal Dynamics Paradigms of Computing and Implementation /

    Published 2024
    Table of Contents: “…Revival of Optical Computing -- Nonlinear Dynamics of Recurrent Neural Networks for Computing -- Fluorescence Energy Transfer Computing -- Quantum-Dot Based Photonic Reservoir Computing -- Exploring Integrated Device Implementation for FRET-based Optical Reservoir Computing -- FRET Networks -- Quantum Walk on FRET Networks -- Spatial photonic Ising machine with time/space division multiplexing -- Computing using Oscillatory Phenomena -- Sampling-like Dynamics of the Nonlinear Dynamical System Combined with Optimization -- Reservoir Computing Based on Iterative Function Systems -- Bridging the Gap between Reservoirs and Neural Networks -- Brain-Inspired Reservoir Computing Models.…”
    Link to Metadata
    Electronic eBook
  14. 5034

    Think Python How to Think Like a Computer Scientist by Downey, Allen B.

    Published 2012
    Subjects: “…Computer Science Textbooks…”
    Access online version
    Electronic eBook
  15. 5035

    Think Java How To Think Like a Computer Scientist by Mayfield, Chris, Downey, Allen

    Published 2020
    Table of Contents: “…Preface -- 1 Computer Programming -- 2 Variables and Operators -- 3 Input and output -- 4 Methods and Testing -- 5 Conditionals and logic -- 6 Loops and Strings -- 7 Arrays and References -- 8 Recursive Methods -- 9 Immutable Objects -- 10 Mutable Objects -- 11 Designing Classes -- 12 Arrays of Objects -- 13 Objects of Arrays -- 14 Extending Classes -- 15 Arrays of Arrays -- 16 Reusing Classes -- 17 Advanced Topics -- A Tools -- B Javadoc -- C Graphics -- D Debugging…”
    Access online version
    Electronic eBook
  16. 5036

    Think Raku How to Think Like a Computer Scientist by Rosenfeld, Laurent, Downey, Allen B.

    Published 2017
    Subjects: “…Computer Science Textbooks…”
    Access online version
    Electronic eBook
  17. 5037
  18. 5038
  19. 5039

    Interferences and Events On Epistemic Shifts in Physics through Computer Simulations

    Published 2017
    Subjects: “…computer simulation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 5040