搜索结果: 1-8 共查到“计算机科学技术 Loop”相关记录8条 . 查询时间(0.109 秒)
Perfect Pipelining: A New Loop Parallelization Technique
Pipelining Loop Parallelization Technique
2016/5/25
Parallelizing compilers do not handle loops in a satisfactory manner. Fine-grain transformations capture irregular parallelism inside a loop body not amenable to coarser approaches but have limited ab...
Parallelizing compilers promise to exploit the parallelism available in a given program, particularly parallelism that is too low-level or irregular to be expressed by hand in an algorithm.
Simplifying Loop Invariant Generation Using Splitter Predicates
Static analysis invariant generation decomposition of multiphase loops
2016/5/24
We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our technique decomposes multi-phase loops...
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
Interactive loop-shaping design of MIMO controllers
Controllers classical singular value the circulation form value optimization compensator
2015/8/12
It is shown that many classical and singular value loop shaping problems are closed-loop convex. Consequently, loop shaping problems can be solved by efficient numerical methods. In particular, it can...
基于细分小波的多分辨率分析是近年来三维图形处理的重要方法，该方法在图形的压缩，去噪，渐近显示和传输，多分辨率绘制和编辑等领域已有很多研究与应用。最近Maria Charina等人提出了一种新的基于细分小波紧框架的多分辨率分析理论，使得细分小波框架在三维图形处理领域的应用成为值得研究的新课题。在深入学习和研究这种全新的多分辨率分析理论的基础上，详细推导了Loop细分小波紧框架的分解和重构公式，应用这...
曲线插值约束的LOOP细分曲面
曲线插值 细分曲面 Loop细分
2009/7/1
提出基于Loop细分方法的曲线插值方法,不需要修改细分规则,只需以插值曲线的控制多边形为中心多边形,向其两侧构造对称三角网格带,该对称三角网格带将收敛于插值曲线。因此,包含有该三角网格带的多面体网格的极限曲面将经过插值曲线。若要插值多条相交曲线只需在交点处构造全对称三角网格。运用该方法可在三角网格生成的细分曲面中插值多达六条的相交曲线。