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.
一个简单的检查方法是，是对机器人进行编程，使其在遇到不寻常的情况时，可以与人类一起检验正确的行动方案。
So armed with a list of user name's and a dictionary, an automatic program may find the correct password in a matter of minutes.
因此配备一组用户名名单和一个黑客字典，一个自动程序，可能在几分钟之内就能找到正确的密码。
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判断程序是否产生了一个恰当的输出呢？
The good news with LED is you have ability to program it and correct it.
对于LED的好消息是你可以实际和纠正它。
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.
如果在一个程序中出现一个错误，找到并改正这个错误将是困难的。
Program preparation assumptions not correct.
说明：程序编制的假设不正确的。
Important factors include the sampling rate, the zero point of pressure sensor, and the correct calibration of sensor, the revised program and algorism may improve the precision of measurement.
如实时设定的实际采样率和压力传感器零点、对传感器校准与标定的正确性等诸因素均可影响实测数据的精度。
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.
现在，多数便携式电脑都使用电压标识可编程电压调节器，使得处理器可以在加电过程中调用正确的电压。
Most laptops now use voltage ID programmable voltage regulators to allow the processor to program the correct voltage during power-on.
现在，多数便携式电脑都使用电压标识可编程电压调节器，使得处理器可以在加电过程中调用正确的电压。
应用推荐