程序分割;
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
文本段也映射在内存中的二进制文件,但写这方面赚你的程序分割故障。
The text segment also maps your binary file in memory, but writes to this area earn your program a Segmentation Fault.
为了便于代码维护,SCA开发人员可能想将一个应用程序分割为更多模块。
For ease of code maintenance, an SCA developer may want to separate an application into more modules.
设计强调的是构造——将程序划分为若干分割清晰的部分。
Design is about factoring--dividing a program into well-separated parts.
它们从您正在使用的应用程序接收数据并将数据分割为一些数据包。
They receive the data from whatever application you are using and divide them into packets.
不管用什么方式进行分割,关键是将大量随机数据放入应用程序并观察出故障的是什么。
Any way you slice it, the key is to throw a lot of random data at an application and see what fails.
用户必须使用存储供应商的实用程序来访问分割镜像,任何其他方式的访问应该都是行不通的。
Users must use the storage vendor's facilities to access the split mirror; it should not be accessed in any other way.
因为只有应用程序知道最适合进行分割的位置,所以显然需要在应用程序和编码模块之间进行协商,才能将输出分割成适当的大小。
Obviously, the chunking of output into appropriate sizes is a matter of negotiation between the application and the encoding module, as only the application knows the most appropriate place to break.
如果您测试经常变化的应用程序,可以考虑更简单的维护,来为每一屏创建单个的XML文档,或一些其他的逻辑分割。
It would allow for easier maintenance, if you were testing a constantly changing application, to create a separate XML document for each screen, or some other logical separation.
图2是演示应用程序的另一个面板,它包含更复杂的组件类型,如分割窗格、树和显示HTML内容的编辑器窗格。
Figure 2 is another panel of the demonstration application, containing more complex component types such as split panes, trees, and an editor pane showing HTML content.
如果不是这样,就应该考虑对于您的应用程序把这个视图分割为两个或更多视图是否是可行的。
Otherwise, you may want to investigate if splitting up the view into two or more parts is a viable option for your application.
业务规则管理系统能将该业务逻辑与应用程序本身分割开来,使业务逻辑得以以一种一致的形式跨整个企业定义和部署。
A business rule management system separates that business logic from the applications themselves, enabling the business logic to be defined and deployed in a consistent manner across the enterprise.
顾名思义,这个实用程序把一个控制台窗口分割为多个部分,每个日志文件一个部分。
As its name implies, this utility divides a console window into multiple sections, one section per log file.
您的应用程序设计可能会决定最适合的分割方式,但一般来说,应该把视为一个能源使用实体的个体放在单个配置文件中。
Your application design will probably suggest the most appropriate split, but generally speaking, if something is considered a single energy-using entity in your system, give it a profile to itself.
程序员秩序明确每一步做什么,系统会自动分割数据,传输到不同处理器,最后再合成结果。
The programmer just has to specify what each step does, and the system automatically divides up the data, passes it between cores, and synthesizes the results.
用空行来将逻辑相关的代码块分割开可以提高程序的可读性。
Blank lines improve readability by setting off sections of code that are logically related.
在很少的情况下,有些客户似乎将获益于进一步分割COM +应用程序—换句话说,将其分割为3个单独部分。
In very rare cases, it has been seen that some customers will benefit from splitting the COM + application further - in other words, splitting it into 3 separate sections.
如果应用程序发送的数据大于32K,那么应用程序必须将大型数据分割成32k的数据块,并进行多次dpl。
If an application had to send more than 32k of data, then the application would handle it by chunking the large data into 32k blocks and doing multiple DPLs.
最好有一个图纸,或者是有一个设计程序,对空间,功能进行一个分割。
The best there is a drawing, or is there a design program of space, function, a segmentation.
说明:用MFC编写的实现文件分割的简单实用的小程序,来自于VC++学习书上源码。
With MFC document prepared by the division realize simple and practical small procedures, from VC + + Learning source book.
有些编译器支持“生命周期分割”(live - range splitting),也就是说在程序的不同部分,变量可以被分配到不同的寄存器或者内存中。
Some compilers support live-range splitting, where a variable can be allocated to different registers as well as to memory in different parts of the function.
此程序使用一个迭代器来从stdin 中读取一行,同时另一个迭代器将该行分割成单个的标记。
This program uses an iterator to read a line from stdin and another iterator to split the line into individual tokens.
您可以使用软件来将应用程序逻辑分割成模块化的多业务流程Web服务组件。
You can use either software to partition application logic into modular Web service components of multiple business processes.
MapReduce应用程序必须具备“映射”和“缩减”的性质,也就是说任务或作业可以分割为小片段以进行并行处理。
MapReduce applications must have the characteristic of "Map" and "Reduce," meaning that the task or job can be divided into smaller pieces to be processed in parallel.
Axis不提供从一个完整的名称空间创建QName的构造程序,所以我不得不把端口名称分割成名称空间和本地部件。
Axis doesn't provide a constructor that creates a QName from a complete namespace so I have to split the port name into the namespace and local part.
如果您熟悉各种管道连接器,应该明白 UNIX或Linuxtee应用程序做它名字所隐含的事情 — 将输入分割成两个不同的流。
The UNIX or Linux tee application does what its name suggests if you're familiar with various plumbing connectors—it splits its input into two different streams.
在此演示应用程序中,我们将使用它把字符串对象分割为StringArray。
In this demo, we use it to cut a string object to StringArray.
建议:分割COM +应用程序。
建议:分割COM +应用程序。
应用推荐