该方法基于程序分析技术，包括循环展开和路径可行性分析技术。
The method is based on some static analysis techniques, including loop unwinding and path feasibility checking.
但在应用这些技术之前，您必须首先分析您的程序，以判断哪里可能出现争用。
But before you can apply these techniques, you first have to analyze your program to determine where contention is likely to occur.
这个程序和其他的分析技术可以使古生物学家了解更多关于这些物种如何生活、它们赖以生存的环境如何影响它们的进化之类的问题。
This program, along with other analysis techniques could allow paleontologists to learn more about how these species lived and how their environments influenced their evolution.
应用推荐