搜索结果: 1-15 共查到“计算机科学技术 MEMORY”相关记录55条 . 查询时间(0.046 秒)
Unlike in humans, when computer “brains” evolve, they get smaller and smaller. This is because the components that perform calculations and consolidate stored information work more efficiently when th...
华南理工大学计算机科学与工程学院计算机组成与体系结构课件ch4 cache memory
华南理工大学计算机科学与工程学院 计算机组成与体系结构 课件 ch4 cache memory
2019/1/26
华南理工大学计算机科学与工程学院计算机组成与体系结构课件ch4 cache memory。
华南理工大学计算机科学与工程学院计算机组成与体系结构课件ch5 internal memory
华南理工大学计算机科学与工程学院 计算机组成与体系结构 课件 ch5 internal memory
2019/1/26
华南理工大学计算机科学与工程学院计算机组成与体系结构课件ch5 internal memory。
Ultra-Thin Memory Storage Device Paves Way For More Powerful Computing（图）
Ultra-Thin Memory Storage Device Paves More Powerful Computing
2018/2/1
Engineers worldwide have been developing alternative ways to provide greater memory storage capacity on even smaller computer chips. Previous research into two-dimensional atomic sheets for memory sto...
Spray-on memory could enable bendable digital storage
Spray-on memory bendable digital storage
2017/4/27
USB flash drives are already common accessories in offices and college campuses. But thanks to the rise in printable electronics, digital storage devices like these may soon be everywhere – including ...
The nineth IEEE International Memory Workshop (IMW) will be held at the Hyatt Regency, Monterey, California from Sunday May 14th though Wednesday May 17th, 2017. This conference brings the memory comm...
2017新兴存储器解决方案研讨会（2017 Emerging Memory Solutions - Technology, Manufacturing, Architectures, Design and Test）
新兴存储器解决方案 研讨会
2017/3/28
Memory manufacturing, architectures, design and test were deeply investigated in-depth to address issues linked to technology scaling such as increasing static power, maximum operating frequency and t...
Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages.
Memory Management Region-Based Analysis Higher-Order Languages.
2016/5/24
Static memory management replaces runtime garbage collection with compile-time annotations that make all memory allocation and deallocation explicit in a program. We improve upon the Tofte/Talpin regi...
Much research has been devoted to studies of and algorithms for memory management based on garbage collection or explicit allocation and deallocation. An alternative approach, region-based memory mana...
Context- and Path-Sensitive Memory Leak Detection
Program analysis error detection memory management memory leaks boolean satisfiability
2016/5/24
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying escape analysis: any a...
We present Sequoia, a programming language designed to facilitate the development of memory hierarchy aware parallel programs that remain portable across modern machines featuring different memory hie...
Compilation for Explicitly Managed Memory Hierarchies
Software-managed memory hierarchy bulk operations
2016/5/24
We present a compiler for machines with an explicitly managed memory hierarchy and suggest that a primary role of any compiler for such architectures is to manipulate and schedule a hierarchy of bulk ...
A Portable Runtime Interface For Multi-Level Memory Hierarchies
Memory Hierarchies Parallelism Runtime Sequoia
2016/5/24
We present a platform independent runtime interface for moving data and computation through parallel machines with multi-level memory hierarchies. We show that this interface can be used as a compiler...
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of programs to the machine’s ...
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
Heap Analysis Relational Static Analysis Array Analysis Memory Invariants
2016/5/24
Many relational static analysis techniques for precise reasoning about heap contents perform an explicit case analysis of all possible heaps that can arise. We argue that such precise relational reaso...
