1) loop invariant computation
循环不变量计算
2) invariant computing
不变量计算
1.
This paper reviews major achievements in recent years on geometric algebras and advanced invariant computing,with emphasis upon the background,guideline and estab- lishment of conformal geometric algebra and its important contributions to the development of advanced invariants in classical geometry.
综述近几年来几何代数和高级不变量计算两方面的主要进展,重点是共形几何代数的背景、思路、发展和对经典几何的高级不变量理论发展的重要作用。
3) loop invariant
循环不变量<不变式>
4) loop computation
循环计算
1.
Bitwidth optimization for loop computations on dynamical reconfigurable architectures;
动态可重构环境下循环计算的位宽优化
6) loop invariant
循环不变式
1.
Automatic generation of non-linear loop invariants;
非线性循环不变式的自动生成
2.
A discussion about loop and loop invariant;
关于循环与循环不变式的讨论
3.
PAR method and loop invariants'category theory semantic
PAR方法和循环不变式的范畴语义
补充资料:循环
循环
①顺着环形的轨道旋转,比喻事物周而复始的运动。②物理学名词。物质系统从某一状态经过一系列变化回到初始状态的过程。③医学上指血液和淋巴液在循环系统的流动过程。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条