Resultados da pesquisa - "virtual memory"

Enamel Defects of Human Primary Dentition as Virtual Memory of Early Developmental Events Por Naser Asl Aminabadi, Sina Ghertasi Oskouei, Firoz Pouralibaba, Zahra Jamali, Farzaneh Pakdel

Connect to this object online.

"We Don't Feel so Alone": A Qualitative Study of Virtual Memory Cafés to Support Social Connectedness Among Individuals Living With Dementia and Care Partners During COVID-19 Por Sara S. Masoud, Kylie N. Meyer, Lauryn Martin Sweet, Lauryn Martin Sweet, Patricia J. Prado, Patricia J. Prado, Carole L. White

Connect to this object online.

Operating Systems and Middleware Supporting Controlled Interaction Por Hailperin, Max

Sumário: “...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

3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation

DOAB: download the publication
DOAB: description of the publication

3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation

OAPEN Library: download the publication
OAPEN Library: description of the publication

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,...

Sumário: “...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

3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation /

Link to Metadata