搜索结果: 46-60 共查到“知识库 数据结构”相关记录433条 . 查询时间(4.477 秒)
Data Structure Fusion
Data Structure
2016/5/24
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are speci-fie...
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data typ...
Stochastic Superoptimization
64-bit x86 x86-64 Binary Markov Chain Monte Carlo MCMC Stochastic Search Superoptimization SMT
2016/5/24
We formulate the loop-free binary superoptimization task as a stochastic search problem. The competing constraints of transformation correctness and performance improvement are encoded as terms in a c...
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
Edge-Based Image Coarsening
image representation bilateral filtering gradient domain techniques
2016/5/24
This paper presents a new dimensionally-reduced linear image space that allows a number of recent
image manipulation techniques to be performed efficiently and robustly. The basis vectors
spanning t...
Language Support for Dynamic, Hierarchical Data Partitioning
Legion regions type system independence aliasing hierarchical scheduling
2016/5/24
Applications written for distributed-memory parallel architectures must partition their data to enable parallel execution.As memory hierarchies become deeper, it is increasingly necessary that the dat...
Authoring Multi-Stage Code Examples with Editable Code Histories
Examples tutorials programming editable histories
2016/5/24
Multi-stage code examples present multiple versions of a program
where each stage increases the overall complexity of the
code. In order to acquire strategies of program construction
using a new la...
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...
Towards Asynchornous Many-Task In Situ Data Analysis Using Legion
Programming Models Asynchronous ManyTask Parallel Computing Computational Statistics
2016/5/24
We explore the use of asynchronous many-task (AMT) programming models for the implementation of in situ analysis towards the goal of maximizing programmer productivity and overall performance on next ...
PIKM 2014: The 7th ACM Workshop for Ph.D. Students in Information and Knowledge Management
CIKM PIKM doctoral consortium Ph.D. forum disser- tations database systems
2016/1/22
PIKM workshop offers to Ph.D. students the possibility to bring their work to an international and interdisciplinary re-search community, and create a network of young researchers to exchange and deve...
Cryptography with Streaming Algorithms
streaming lower bound big data randomized encoding non-black-box PRG PKE
2016/1/22
We put forth the question of whether cryptography is fea-sible using streaming devices. We give constructions and prove lower bounds. In streaming cryptography (not to be confused with stream-ciphers)...
Constructing Structure Ensembles of Intrinsically Disordered Proteins from Chemical Shift Data
Constructing Structure Ensembles Intrinsically Disordered Proteins Chemical Shift Data
2016/1/22
Modeling the structural ensemble of intrinsically disordered proteins (IDPs),which lack fixed structures, is essential in understanding their cellular functions and re-vealingtheirregulationmechanisms...
传统的网络数据加密机制是通过对明文、密文的加解密来抵抗网络空间里未知的网络攻击;但面对庞大的网络数据量,特别是复杂的网络数据报结构及自相关性强烈的网络数据,传统的网络数据加解密机制由于存在密钥空间狭小与序列混乱度不高等弊端,难以有效保护高度冗余数据传输;对此提出一种新的基于迭代技术的网络数据加密机制来改善这一问题,通过将迭代机制引入到网络数据加密机制中,从数学上验证改进后的网络加解密机制对大数据量...
Dynamic Field Process Simulation within GIS: the VORONOI Approche
Data Structure Voronoi Diagram 3D GIS Simulation Dynamic
2015/12/3
Simulation of a dynamic and continuous phenomenon (field) is a difficult task for GISs as their data structures are 2D and static and are not well-adapted to manage neither the dynamic behavior of the...