搜索结果: 16-30 共查到“计算机科学技术基础学科 on data”相关记录70条 . 查询时间(0.468 秒)
云南农业大学计算机导论课件Chapter12 Abstract Data Type.
Using the Run-Time Sizes of Data Structures to Guide Parallel Thread Creation
Run-Time Sizes Data Structures Guide Parallel Thread Creation
2016/5/24
Dynamic granularity estimation is a new technique for automatically identifying expressions in functional languages for parallel evaluation. Expressions with little computation relative to thread-crea...
Type Systems for Distributed Data Structures.
Parallel programming languages that let multiple processors access shared data provide a variety of sharing mechanisms and memory models. Understanding a language’s support for data sharing behavior i...
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...
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...
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...
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 ...
Identifying Redundancy and Exposing Provenance in Crowdsourced Data Analysis
Crowdsourcing social data analysis
2016/5/24
We present a system that lets analysts use paid crowd workers to explore data sets and helps analysts interactively
examine and build upon workers’ insights. We take advantage of the fact that, for m...
ADAPTATION OF ROADS TO ALS DATA BY MEANS OF NETWORK SNAKES
snakes networks vector data roads ALS intensity topology consistency
2016/2/29
In the Authoritative Topographic Cartographic Information System (ATKIS®), which is the main public topographic data base in
Germany, the heights and the 2D positions of objects such as roads a...
We consider the problem of recovering sparse correlated data on networks. To improve accu-racy and reduce costs, it is strongly desirable to take the potentially useful side-information of network str...
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...
Interoperable Image Data Access through ArcGIS Server
OGC Standard Interoperability Web Service Web Coverage Service Arcgis Server
2015/12/18
As networking and data storage technologies advance, web services have become a commonplace for data mining and sharing in an e-business model. Compared with business information, geospatial informati...