延迟计算(Lazy evaluation):来源自函数式编程,在函数式编程里,将函数作为参数来传递,传递过程中不会执行函数内部耗时的计算,直到需要这个计算结果的时...
基于96个网页-相关网页
In this article, we firstly discuss the effect of the main mechanism of G(o|¨)del such as type system, delay computing and pruning operation and so on.
本文首先对推理机所要实现的G(o|¨)del语言的主要机制:类型系统、延迟计算、剪枝操作等进行了分析,讨论这些新机制对G(o|¨)del语言程序设计和SLD反驳-消解过程的影响。
参考来源 - G(?)del语言编译系统中推理机的设计与实现·2,447,543篇论文数据,部分数据来源于NoteExpress
通过傅立叶变换在频域求解声压方程,避免了繁琐的时间延迟计算。
Implementing Fourier Transform to solve the acoustic pressure correction equation in the frequency domain can avoid cockamamie retarded time calculation.
警告:设计包含1个高扇出网。1000的扇出数将用于延迟计算涉及这些网。(tim - 134)。
Warning: Design contains 1 high-fanout nets. A fanout number of 1000 will be used for delay calculations involving these nets. (TIM-134).
RDE算法主要应用了随机延迟计算的机制,MRDE算法则进一步增加了屏蔽运算,而MRRE算法则结合数据屏蔽技术和随机重编码方法。
The RDE and MRDE algorithm employ the method of random delayed computing, and MRDE algorithm has masking operation. The MRRE algorithm combines data masking and random recoding techniques.
应用推荐