搜索结果: 1-5 共查到“heap”相关记录5条 . 查询时间(0.093 秒)
We propose Path Oblivious Heap, an extremely simple, practical, and optimal oblivious priority queue. Path Oblivious Heap is only a small constant factor slower than the standard insecure binary heap....
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...
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
Languages Verification Experimentation
2016/5/24
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We first present a theory of h...
HEAP-30型氢气干燥器在电厂的应用分析
环保 制冷 氢气干燥
2008/7/11
在氢气系统中加装干燥设备已成为降低汽轮发电机组内氢气湿度的一种必要手段。本文对HEAP-30型氢气干燥器的干燥方式选择、氢气冷却干燥过程及原理、设备的结构特点等方面,尤其是氢-氢热交换器、冷却去湿器两个关键部件进行了详细的分析和介绍,同时简述了整套装置的运行性能与效果。理论与现场考核表明: HEAP-30型氢气干燥器能确保发电机内的氢气绝对湿度在额定压力下,长期稳定于1~2g/m3,露点控制在-...
《The Law and the Lady》Chapter 45 - The Dust-Heap Disturbed
Wilkie Collins The Law and the Lady whodunit
2008/6/30
My head turned giddy. I was obliged to wait and let my overpowering agitation subside, before I could read any more.
Looking at the letter again, after an interval, my eyes fell accidentally on a ...