搜索结果: 136-150 共查到“知识库 计算机软件”相关记录5800条 . 查询时间(1.609 秒)
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...
一种基于规则的软件体系结构层性能演化优化方法
性能评估 性能优化 软件体系结构 基于搜索的软件工程
2016/12/24
目前基于规则的软件体系结构(Software Architecture,简记为SA)层性能优化方法大多未充分考虑优化过程中规则的使用次数和使用顺序的不确定性,导致了搜索空间受限而难以获取更优的性能改进方案.针对这一问题并以最小化系统响应时间为优化目标,文中首先定义一种基于规则的SA层性能优化模型RPOM,以将SA层性能优化抽象为求解最优规则序列的数学问题;然后设计一种支持SA层性能改进规则序列执行...