Writing a correct program is not easy while writing a correct concurrent program is even harder.
编写正确的程序并不容易，而编写正确的并发程序就更难了。
We introduce a new method called critical memory to protect critical data in program necessary for correct program execution.
我们引进了一种新的方式叫做“关键内存”，用来保护程序中用来进行修正的关键数据。
In a correct program, therefore, a ready send could be replaced by a standard send with no effect on the behavior of the program other than performance.
在一个正确的程序中，所以，一个就绪发送可以被标准发送所代替，无论是程序的行为还是性能都不会产生影响。
Their effective use is also dependent on applying the correct programming idioms; it's critical that you understand how these classes are implemented and how to program to them.
能否有效地使用它们还取决于是否应用了正确的编程风格；关键在于您要理解这些类是如何实现的以及如何对它们进行编程。
Machines need the correct program with the latest part revisions, while people need to know the current schedule status as well as machine performance data, so they know when to schedule maintenance.
机器的程序需要用最新的零件修改意见进行正确设置，工人也需要知道目前生产计划的进展情况和机器的运转数据，这样他们才知道何时安排维护保养。
One simple check would be to program a robot to check the correct course of action with a human when presented with an unusual situation.
一个简单的检查方法是，是对机器人进行编程，使其在遇到不寻常的情况时，可以与人类一起检验正确的行动方案。
In this task, you modify the generated driver program so that it will invoke the correct existing program and can be built correctly.
在这个任务中，您修改生成的驱动程序，使其能恰当的调用现有程序，并且可以被正确构造。
They include compilers designed to support XML, tools to help identify the impact of program modifications, debugging and performance AIDS, and utilities to help correct errors and manipulate files.
它们包括设计用于支持XML的编译器、有助于识别程序修改影响的工具、调试和性能分析辅助工具，以及有助于纠正错误和操作文件的工具。
How could we use DOES-HALT to determine if a program produces the correct output for a specific input? Keep in mind that DOES-HALT does just that — it halts.
对于一个特定的输入来说，我们如何用DOES - HALT判断程序是否产生了一个恰当的输出呢？
Linux distributions, such as SUSE and Red Hat, allow fully automated installation over the network as long as you pass the correct information to the installation program to kick off the install.
Linux发行版(比如suse和RedHat)允许通过网络完全自动化安装，前提是要将正确的信息传递给安装程序以启动安装。
If the WASPreUpgrade.log file indicates errors, select Cancel on the "Pre-Migration Process status" window, correct the cause of the errors, and run the installation program again.
如果WASpreUpgrade . log文件指出存在错误，请选择“pre -Migration processstatus”窗口上的Cancel，纠正错误的原因，并再次运行安装程序。
And when a revision was issued by Dr. Rivest's group to correct a flaw, the Conficker authors revised their program to add the correction.
当里弗·斯特博士的小组发表一份修订版本来修正一个缺陷后，conficker的作者也修订了程序加以改正。
Because we are continually modifying state variables, it is difficult to see whether or not at any given moment they are correct. Here is the same program done recursively.
由于我们要不断地修改状态变量，所以难以预见在任意特定时刻它们是否正确。
How many times do software engineers actually take time out to prove a program is correct?
软件工程师能有几次真正花时间来证明一个程序的正确性？
If you've turned in a program that's not syntactically correct, the TAs give you a zero.
不正确的，问题组，助教会给你们一个零分。
If you use sid, you must ensure that the sid number in the WSDL URL is correct when you create the client because this may change if you add -clean as your program argument.
如果使用sid方法，则必须确保在创建客户机时，WSDLURL中的sid编号是正确的，因为如果添加- clean作为程序参数，则sid编号可能会更改。
Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.
要不然，抽象会丢掉那么多信息，以致于定理证明程序产生的结果对抽象而言是正确的，但是对于正在被分析的程序而言则是不正确的了。
The first section of getPrecipState.pl ensures that the program has the correct number of variables to process.
pl的第一部分用于确保程序有正确数目的变量可供处理。
The following program, although legal, is less useful than it might be. Identify and correct the limitation on this program.
下面的程序虽然是合法的，但可用性还不够好，指出并改正该程序的局限。
If you make a mistake in a SAS program, it can be hard to see where the error occurred or how to correct it.
如果在一个程序中出现一个错误，找到并改正这个错误将是困难的。
It is correct for you to make this program available according to the individual ability to compensate.
根据个人补偿的能力，使项目具有可行性，你这样做是对的。
If the program fails in these requirements, it will be in a state of disorder and confusion. The only way to correct this is to rewrite the program.
如果一个程序不能满足所要的需求，它就会处于混乱无序的状态中。唯一的出路就是重写这个程序。
Most laptops now use voltage ID programmable voltage regulators to allow the processor to program the correct voltage during power-on.
现在，多数便携式电脑都使用电压标识可编程电压调节器，使得处理器可以在加电过程中调用正确的电压。
The computer simulation for the designed circuits by using SPICE program confirm that both circuits have correct logic functions, desired DC transfer characteristics and transient characteristics.
应用SPICE程序对设计电路的计算机模拟表明，两种电路均具有正确的逻辑功能、理想的DC转移特性和瞬态特性。
If your hypothesis was correct, then you can predict the result of the modification, and you take a step closer to a working program.
如果你的假设是正确的，你将可以预测修改导致的结果，而你也距离一个可用的程序更近了一步。
In research of optimum mining program correct policy decision depends on the number of quantitative and qualitative indexes of mining programs and their weights.
在采矿方案优选的研究中，其决策的正确与否，取决于参与计算的采矿法的定量、定性指标个数以及这些指标的权数。
The testing results indicate that the arithmetic is correct, the interface of the program is visual and the roundness error and diagrammatic view can be shown directly.
测试验证表明，程序算法正确，界面直观形象，可直接显示圆度误差值和误差图形。
The testing results indicate that the arithmetic is correct, the interface of the program is visual and the roundness error and diagrammatic view can be shown directly.
测试验证表明，程序算法正确，界面直观形象，可直接显示圆度误差值和误差图形。
应用推荐