Showing 141 - 160 of 2,741

141

Specifying and Verifying Persistent Libraries
Stefanesco, Léo ; Raad, Azalea ; Vafeiadis, Viktor
Lecture Notes in Computer Science ISBN: 9783031572661
ESOP 2024
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems

FOS: Computer and inform... Computer Science - Progr... 0202 electrical engineer... 02 engineering and techn... Programming Languages (c...
Book
Save to List
142

A Framework for Managing Heterogeneous Memory for Large Scale Machine Learning Workloads
Akella, Venkatesh ; Hildebrand, Mark ; Akella, Venkatesh ; et al.

Electronic Resource
Save to List
143

MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction and Randomization
Yuanchao Xu ; Yan Solihin ; Xipeng Shen
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. :987-1000

0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
144

JDap: Supporting in-memory data persistence in javascript using Intel's PMDK.
You, Litong ; Xu, Hao ; Zhang, Qipeng ; et al.
Journal of Systems Architecture. Dec2019, Vol. 101, pN.PAG-N.PAG. 1p.

INTEL Corp. PROGRAMMING languages COMPUTER software develo... JAVASCRIPT programming l... C++ JAVA programming languag...
Academic journal
Save to List
145

Specifying and Verifying Persistent Libraries
Stefanesco, Léo ; Raad, Azalea ; Vafeiadis, Viktor ; et al.

Electronic Resource
Save to List
146

FlatStore: An Efficient Log-Structured Key-Value Storage Engine for Persistent Memory
Jiwu Shu ; Youyou Lu ; Yang Wang ; et al.
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. :1077-1091

0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
147

DONUTS: An efficient method for checkpointing in non‐volatile memories.
Kruger, Kleber ; Pannain, Ricardo ; Azevedo, Rodolfo
Concurrency & Computation: Practice & Experience; Aug2023, Vol. 35 Issue 18, p1-19, 19p

DYNAMIC random access me... SYSTEM failures TECHNOLOGICAL innovation... COMPUTER systems DOUGHNUTS SOURCE code
Academic journal
Save to List
148

AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming
Venkatesh Akella ; Sanjeev N. Trika ; Mark Hildebrand ; et al.
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. :875-890

0103 physical sciences 01 natural sciences
Academic journal
Save to List
149

pmtest a fast and flexible testing framework for persistent memory programs: A Fast and Flexible Testing Framework for Persistent Memory Programs
Jishen Zhao ; Sihang Liu ; Aasheesh Kolli ; et al.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. :411-425

0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
150

Bridging the gap between object stores and HPC
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors ; Queralt Calafat, Anna ; Cortés, Toni ; et al.
TDX (Tesis Doctorals en Xarxa)

Electronic Resource
Save to List
151

Programming Persistent Memory: A Comprehensive Guide for Developers
Stteve Scargall

Computer Science Programming Languages Computer- und Kommunikat... Studienbereich Informati... Ingenieurwissenschaften
Save to List
152

Luna-TX: An Optimized Transactional Mechanism for Persistent Memory
Hongyu Chen ; Hao Liu ; Jiwu Shu ; et al.
2019 IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA). :1-6

11. Sustainability 0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
153

Automating the Detection and Correction of Failures in Modern Persistent Memory Systems
Neal, Ian

Crash Consistency Persistent Memory Bug Detection Program Repair Automated Software Engin... Program Analysis
Dissertation/ Thesis
Save to List
154

Adaptive Data Path Selection for Durable Transaction in GPU Persistent Memory
Long, Xinjian

FOS: Computer and inform... 0103 physical sciences Hardware Architecture (c... 0202 electrical engineer... 02 engineering and techn... Computer Science - Hardw...
Academic journal
Save to List
155

This result is not available to guest users.

156

Evaluating persistent memory range indexes
Thomas Willhalm ; Lucas Lersch ; Tianzheng Wang ; et al.
Proceedings of the VLDB Endowment. 13:574-587

0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
157

Optimizing Persistent Memory Transactions
Tingzhe Zhou ; Yujie Liu ; Michael Spear ; et al.
2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT). :219-231

0103 physical sciences 01 natural sciences
Academic journal
Save to List
158

This result is not available to guest users.

159

Runtime Systems for Persistent Memories
Gogte, Vaibhav

Persistent memories, non...
Dissertation/ Thesis
Save to List
160

Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories.
Bresniker, Kirk M. ; Faraboschi, Paolo ; Mendelson, Avi ; et al.
Computer (00189162). Feb2019, Vol. 52 Issue 2, p52-62. 11p.

RANDOM access memory ACCESS control MICROELECTROMECHANICAL s...
Academic journal
Save to List

Filter