搜索结果: 16-30 共查到“知识库 程序设计及其语言”相关记录1173条 . 查询时间(3.498 秒)
Automatic Generation of Peephole Superoptimizers
Superoptimization Peephole Optimization Code Selection
<
2016/5/24
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at exploiting all opportun...
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 ...
A Query Language for Understanding Component Interactions in Production Systems
Query language logs influence correlation production systems
<
2016/5/24
When something unexpected happens in a large production system,administrators must first perform a search to isolate which components and component interactions are likely to be involved. The system m...
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
<
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
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...
Liszt: A Domain Specific Language for Building Portable Mesh-based PDE Solvers
compiler analysis and program transformations, programming and runtime environments for high performance and high throughput computing
<
2016/5/24
Heterogeneous computers with processors and accelerators are becoming widespread in scientific computing. However,it is difficult to program hybrid architectures and there is no commonly accepted prog...
ShowMeHow: Translating User Interface Instructions Between Similar Applications
tutorials instructions mapping translation
<
2016/5/24
Many people learn how to use complex authoring applications
through tutorials. However, user interfaces for authoring
tools differ between versions, platforms, and competing
products, limiting the ...
High-performance computing applications, such as auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance and portability. However, these system...
Bias-Variance Tradeoffs in Program Analysis
Program Analysis Machine Learning Verification
<
2016/5/24
It is often the case that increasing the precision of a program analysis leads to worse results. It is our thesis that this phenomenon is the result of fundamental limits on the ability to use precise...
Stochastic Optimization of Floating Point Programs with Tunable Precision
64-bit x86 x86-64, Binary Markov Chain Monte Carlo MCMC Stochastic Search SMT Floating-Point Precision
<
2016/5/24
The aggressive optimization of floating-point computations is an important problem in high-performance computing. Unfortunately,floating-point instruction sets have complicated semantics that often fo...
Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis
Android Inter-component Call Graph Taint Analysis
<
2016/5/24
We present Apposcopy, a new semantics-based approach for identifying a prevalent class of Android malware that steals private user information. Apposcopy incorporates (i) a highlevel language for spec...
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 ...
Proton: Multitouch Gestures as Regular Expressions
Multitouch UI framework Regular expressions Conflict detection Gesture tablature editor
<
2016/5/24
Current multitouch frameworks require application developers
to write recognition code for custom gestures; this code is
split across multiple event-handling callbacks. As the number
of custom gest...
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
<
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
<
2016/5/24
Introduction to Set Constraint-Based Program Analysis.