loop quasi-invariance; code motion; program optimization; partial evaluation;
机译:基于拟不变性/归纳变量的循环剥皮
机译:通过部分积分和准不变性对回路组进行热核测度(第149卷,第460页,1997年)
机译:环组中热核措施的零件积分和拟不变性
机译:基于拟不变性的循环优化技术
机译:运动补偿视频编码器中的有效运动和残差编码。
机译:解决包含HIV-1茎环1(受Mg2 +结合调节)的内环中的快慢运动:在接吻-双链结构转变中的作用
机译:环群上布朗运动的一个非拟不变性
机译:DmC(Distinct motion Code):用于确定多个球形粒子相互作用的刚体运动代码。