| 1. | Particular attention is paid to concurrent and distributed systems
并特别着重在并行系统与分布式系统。 |
| 2. | These two topics by no means exhaust the field of parallel organization
并行系统的领域绝不仅仅局限于这两种方法。 |
| 3. | When more than one task was assigned to an identical parallel system , each task was supposed to exclusively use a set of processors
当多个任务被指派到同一个并行系统时，假设每个任务排他地使用一组处理机。 |
| 4. | The thesis analyses the key technology of computer parallel architecture by constructing a system for dual - computer system parallel processing
本文通过构建一个并行处理双机系统分析了计算机并行系统的关键技术。 |
| 5. | This kind of modularization design makes the parallel system structure more flexible , and may change structure according to the needs of question
这种模块化的设计使并行系统结构更加灵活，可根据问题的需要改变结构。 |
| 6. | Now ( networks of workstations ) has rival performance with professional parallel system , and its performance - price rate is higher
集群系统有与专用的并行系统相竞争的性能，其性价比已占优势，其中的pvm应用相当广泛。 |
| 7. | For different optimization phases , different heuristic algorithms were adopted to determine the processor number of each task in a parallel system
对不同的优化阶段，用不同的启发式演算法确定一个并行系统中每个任务的处理机数。 |
| 8. | The authors have formalized a specification language and logic - calculus in lf , together with useful lemmas , and a user - oriented syntax has been designed
在本文中，我们考虑并行系统的验证领域,并在lf中将特定论域的规范描述语言ccs和相关逻辑m - culculus形式化。 |
| 9. | However , the development of distributed parallel system also has problems of high cost and long development cycle and difficult to adapt the fast changing market demand
然而,分布式并行系统的开发也存在开发成本高、开发周期长等问题,难以适应快速变化的市场需求。 |
| 10. | In proc . workshop on proof transformation , presentation and proof complexities , siena , italy , june 19 , 2001 , pp . 23 - 36 . 6 howard w . the formulae - as - type notion of construction
我们在本文中探讨这个问题，给出了合适性的定义，并证明在并行系统案例中翻译总是可以被反向的。 |
