搜索结果: 1-15 共查到“知识库 工学 Memory”相关记录77条 . 查询时间(0.109 秒)
Dynamic covalent bonds in self-healing, shape memory, and controllable stiffness hydrogels
Thiol-thioester exchange double-network hydrogels chitosan-based hydrogels on-demand dissolution acid-based hydrogels
2024/1/11
Emerging technologies are increasingly reliant on materials that deliver multiple functionality. For example, hydrogels using dynamic covalent crosslinks have proven well-suited for the preparation of...
Developing Reprocessable shape memory thermosetting resins with high thermal resistance and strength through building a crosslinked network based on bismaleimide and epoxy resins
dynamic covalent bond heat resistance mechanical property reprocessability shape memory thermosetting resin
2023/11/16
It is difficult to endow reprocessable shape memory thermosetting resins with outstanding heat resistance and high mechanical strength. Herein, a new kind of reprocessable shape memory thermosetting r...
MULTI-TEMPORAL LAND COVER CLASSIFICATION WITH LONG SHORT-TERM MEMORY NEURAL NETWORKS
Long Short-Term Memory Recurrent Neural Networks Sentinel 2 Crop Identification Deep Learning Land Cover Classification
2017/5/31
Land cover classification (LCC) is a central and wide field of research in earth observation and has already put forth a variety of classification techniques. Many approaches are based on classificati...
3D MODELING FOR THE KNOWLEDGE OF ARCHITECTURAL HERITAGE AND VIRTUAL RECONSTRUCTION OF ITS HISTORICAL MEMORY
Architectural heritage Range-based survey 3D modeling Virtual reconstruction Palazzo Penne
2017/2/5
The object of this paper is one of the most ancient palaces of Naples, Palazzo Penne, a fourteenth-century residential building located on a small high ground which originally was in the outer fringe ...
Reflection-type holographic disk-type memory using three-dimensional speckle-shift multiplexing
holographic memory reflection-type hologram speckle shift multiplexing
2016/9/5
This review presents a reflection-type holographic memory using three-dimensional(3D) speckle-shift multiplexing. First, the schematic of the proposed memory system was described. Then, experimental d...
SIMULATING NAVIGATION WITH VIRTUAL 3D GEOVISUALIZATIONS – A FOCUS ON MEMORY RELATED FACTORS
3D geovisualizations user study navigation
2016/7/8
The use of virtual environments (VE) for navigation-related studies, such as spatial cognition and path retrieval has been widely adopted in cognitive psychology and related fields. What motivates the...
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...
Programming the Memory Hierarchy Revisited: Supporting Irregular Parallelism in Sequoia
Programming Memory Hierarchy Revisited Supporting Irregular Parallelism Sequoia
2016/5/24
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and spawn, which spawns ...