搜索结果: 106-120 共查到“知识库 计算机软件”相关记录5793条 . 查询时间(1.356 秒)
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of programs to the machine’s ...
Generating Photo Manipulation Tutorials by Demonstration
photo-editing tutorials macros programming-bydemonstration
2016/5/24
We present a demonstration-based system for automatically generating
succinct step-by-step visual tutorials of photo manipulations.
An author first demonstrates the manipulation using an instrumente...
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...
The Assumed Light Direction for Perceiving Shape from Shading
Shape-from-shading light-from-above shape perception, Lambertian shading
2016/5/24
Recovering 3D shape from shading is an ill-posed problem that the
visual system can solve only by making use of additional information
such as the position of the light source. Previous research has...
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...
Generalized Selection via Interactive Query Relaxation
Selection annotation pointing reference information visualization input techniques query relaxation
2016/5/24
Selection is a fundamental task in interactive applications,
typically performed by clicking or lassoing items of
interest. However, users may require more nuanced forms
of selection. Selecting reg...
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 ...
Perceptual Guidelines for Creating Rectangular Treemaps
Graphical Perception Visualization Treemaps Rectangular Area Visual Encoding Experiment Mechanical Turk
2016/5/24
Treemaps are space-filling visualizations that make efficient use of limited display space to depict large amounts of hierarchical
data. Creating perceptually effective treemaps requires carefully ma...
Understanding the Behavior of Database Operations under Program Control
D.2.3 [Software Engineering]:Coding Tools Techniques
2016/5/24
Applications that combine general program logic with persistent databases (e.g., three-tier applications) often suffer large performance penalties from poor use of the database. We introduce a program...
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...
Crowd-scale Interactive Formal Reasoning and Analytics
MOOC theorem prover formal logic online education
2016/5/24
Large online courses often assign problems that are gradable by simple checks such as multiple choice, but these checks are inappropriate for domains in which students may produce an infinity of corre...
Data-Driven Equivalence Checking
Binary Analysis Compilers Markov Chain Monte Carlo Optimization Superoptimization
2016/5/24
We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data from test runs. Once a candidate simulation relation has been obtained, o...
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...