Static Detection of Unspecified Behaviors and Deadlocks in OpenMP Programs;
OpenMP程序中的未指定行为和死锁的静态检测
Artificial fish is researched as an example, and a cognitive model of the nondeterministic behaviors of intelligent life is presented.
在用人工生命方法生成的计算机动画中,智能生命在虚拟环境中的行为有程序员事先设定好的预定义行为,同时也有随机出现的随意性行为。
Criminal law stipulate is it seem all abortive behavior of crime should punish with abortive one to indicate, by the look of economics basis, this is violated with modest restraining value of criminal law ; From France s philosophy according to looking, repel with crime essence , penalty function too.
刑法规定表明似乎所有犯罪的未遂行为都应以未遂犯论处。
Static Detection of Unspecified Behaviors and Deadlocks in OpenMP Programs;
OpenMP程序中的未指定行为和死锁的静态检测
Where the person concerned refuses to carry out an act designated by the judgment, ruling or legal document as he is instructed to do in a notice,
对判决、裁定和其他法律文书指定的行为,被执行人未按执行通知履行的,
" The operation was not performed because an invalid tape name was specified.
" 因为指定了一个无效的磁带名称,所以未能执行操作。
" The operation was not performed because a non-unique tape name was specified.
" 因为指定了一个非唯一的磁带名称,所以未能执行操作。
The operation being requested was not performed because the user has not logged on to the network. The specified service does not exist.
因为用户还未登录网络,不能执行所要求的操作。指定的服务不存在。
Could not bulk insert. Bulk data stream was incorrectly specified as sorted.
未能进行大容量插入。大容量数据流被错误地指定为已排序。
The operation was not performed because more than one target media was specified.
因为指定了一个以上的目标媒体,所以未能执行操作。
referring to an uncertain future event or action
(指将来的某一未定的事或行动)
Command line argument requires a filename and none was specified.
命令行参数需要文件名,未指定文件名。
No input file was specified, ignoring other command line parameters.
未指定输入文件,忽略其他命令行参数。
Latching device. Engaged or disengaged can be specified.
闭锁设备。可指定为已占用或未占用。
Clutch. Engaged or disengaged can be specified.
离合器。可指定为已占用或未占用。
Unable to show schedules because no index was specified.
无法显示计划,因为未指定任何索引。
General detent. Engaged or disengaged can be specified.
常规制动销。可指定为已占用或未占用。
"If the remitting Bank does not nominate a specific presenting Bank, the collecting Bank may utilise a presenting Bank of its choice."
如果托收行未指定某一特定的提示行,代收行可自行选择提示行。
prescribed guide for conduct or action.
限定行为或举止的指南。
Could not bulk insert. Sorted column '%.*ls' was specified more than once. Assuming data stream is not sorted.
未能进行大容量插入。多次指定了排序的列 ''%1!''。将假定数据流未排序。
Could not find the Snapshot Agent command line for the specified publication.
未能找到指定发布的快照代理程序命令行。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号