搜索结果: 1-9 共查到“程序设计及其语言 Using”相关记录9条 . 查询时间(0.296 秒)
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on uni cation of equality constraints over terms are very fast...
Static Error Detection Using Semantic Inconsistency Inference
Static analysis error detection satisfiability inconsistency
2016/5/24
Inconsistency checking is a method for detecting software errors that relies only on examining multiple uses of a value. We propose that inconsistency inference is best understood as a variant of the ...
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern programming languages...
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
Temperature control of high-performance multi-core platforms using convex optimization
Thermal-aware design temperature control dynamic frequency scaling static and dynamic optimization
2015/8/10
With technology advances, the number of cores integrated on a chip and their speed of operation is increasing. This, in turn is leading to a significant increase in chip temperature. Temperature gradi...
Smoothed state estimates under abrupt changes using sum-of-norms regularization
State estimation Impulsive disturbance Load disturbance Smoothing Sparsity Regularization Change detection
2015/8/7
The presence of abrupt changes, such as impulsive and load disturbances, commonly occur in applications,but make the state estimation problem considerably more difficult than in the standard setting w...
Z-Ranking:Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Z-Ranking Statistical Analysis Static Analysis Approximations
2015/8/7
This paper explores z-ranking, a technique to rank error reports emitted by static program checking analysis tools. Such tools often use approximate analysis schemes, leading to false error reports. T...
Mining Classification Rules by Using Genetic Algorithms with Non-random Initial Population and Uniform Operator
Data Mining Classification Rules Genetic Algorithms
2009/7/28
Classification is a supervised learning method that induces a classification model from a database and is one of the most commonly applied data mining task. The frequently employed techniques are deci...
Using the PGAS Programming Paradigm for Biological Sequence Alignment on a Chip Multi-Threading Architecture
Partitioned Global Address Space Unified Parallel C Multicore machines Multi-threading Architecture
2010/2/2
The Partitioned Global Address Space (PGAS) programming
paradigm offers ease-of-use in expressing parallelism
through a global shared address space while emphasizing performance
by providing locali...