Software pipelining is a loop optimization technique that has been widely implemented in modern optimizing compilers.
软件流水是一种循环程序的优化技术，已经广泛应用于现代优化编译器中。
When you're in a world of optimizing compilers and VMs, you have to profile, because the compilers and VMs are doing things that you can't even imagine.
当你与虚拟机或优化型编译器打交道时，性能调优是唯一的手段，因为编译器和虚拟机所做的事情，远远超出你的想象。
The fundamental basis of our observation is that: the formal methods designed for optimizing compilers assume that the compiler and the programmer are Allies.
我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
Listing 5 shows the code that proves the point on compilers optimizing empty base classes.
清单5给出的代码在优化了空基类的编译器上证明了这一点。
Listing 5 shows the code that proves the point on compilers optimizing empty base classes.
清单5给出的代码在优化了空基类的编译器上证明了这一点。
应用推荐