搜索结果: 136-150 共查到“知识库 计算机软件”相关记录5801条 . 查询时间(2.185 秒)
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...
We present a semi-automated technique for selectively deanimating
video to remove the large-scale motions of one or more
objects so that other motions are easier to see. The user draws
strokes to i...
Conditionally Correct Superoptimization
Binary Analysis Compilers Markov Chain Monte Carlo
2016/5/24
The aggressive optimization of heavily used kernels is an important problem in high-performance computing. However,both general purpose compilers and highly specialized tools such as superoptimizers o...
Regent: A High-Productivity Programming Language for HPC with Logical Regions
Regent Legion logical regions task-based runtimes
2016/5/24
We present Regent, a high-productivity programming language for high performance computing with logical regions. Regent users compose programs with tasks (functions eligible for parallel execution) an...
Analysis of Application Sensitivity to System Performance Variability in a Dynamic Task Based Runtime
Application Sensitivity System Performance Variability Dynamic Task Based Runtime
2016/5/24
Application scalability can be significantly impacted by node level performance variability in HPC. While previous studies have demonstrated the impact of one source of variability,OS noise, in messag...
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...
A Development Environment for Horizontal Microcode
Index Terms{mi ro ode ompa tion Per olation S heduling environment
2016/5/24
A Development Environment for Horizontal Microcode.
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...
Static Analysis Techniques for Predicting the Behavior of Active Database Rules
Static Analysis Techniques Predicting Behavior Active Database Rules
2016/5/24
Methods are given for statically analyzing sets of database production rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique nal database state, and (3) ...
This paper presents a software pipelining algorithm for the automatic extraction of ne-grain parallelism in general loops. The algorithm accounts for machine resource constraints in a way that smooth...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
2016/5/24
Introduction to Set Constraint-Based Program Analysis.
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities Over Integers
Complete Practical Technique Linear Inequalities Over Integers
2016/5/24
We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generalization of the branch-and-bound t...
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 type...
The optimization of short sequences of loop-free, fixed-point assembly code sequences is an important problem in highperformance computing. However, the competing constraints of transformation correct...