CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 开发工具 搜索资源 - Formal

搜索资源列表

  1. UML参考手册--基本概念

    1下载:
  2. UML中的经典之作, 不是编程语言 工具可以提供 至各种编程语言的代码生成 以及可以从现有 的程序逆向构筑模型 不是用于定理证明的高度正式的语言 实际上有很多正式的语 言 但它们不易理解或不适用于多种用途 是通用性的建模语言 对于特定的领域 如 设计 .! 电路设计或基于规则的人工智能 更特定的语言和工具可能更加合适 是离散的建模语言 它不打算对如工程和物理的连续系统建模 是对诸如软件 硬件或数字逻辑的离散系统建模的通用语言 -UML classic works
  3. 所属分类:开发工具

    • 发布日期:2008-10-13
    • 文件大小:2551457
    • 提供者:陈成
  1. FundamentalsOfGridComputing

    0下载:
  2. Fundamentals of Grid Computing (网格计算基础) 这本 IBM 红皮书的目的是提供有关网格计算、概念、使用以及架构的讨论材料。网格计算在业务和技术领域提供了无限的机遇。读者将从本书中搜集到有关这片激动人心的新天地的事实与数据。 特别提示:这篇材料并不曾提交给任何正式的 IBM 测试,就这样直接出版了。文中的主题并不适合进行严格的评审。IBM 不会为本文的正确性和完整性负任何责任。对文中信息和任何技术实现方法的使用都由用户自己负责,用户要利用
  3. 所属分类:开发工具

    • 发布日期:2008-10-13
    • 文件大小:394515
    • 提供者:river_side
  1. A_CICS-to-LinuxGridImplementation

    0下载:
  2. A CICS-to-Linux Grid Implementation(CICS-to-Linux 的网格实现) 这本红皮书描述了如何将应用程序中 CPU 密集型的工作从运行于 z/OS 的 IBM CICS 转移到网格 Linux 环境中,并将结果返回给 CICS。文中定义了一种计算资源网格。CICS 应用程序的一部分成功地在这个网格上运行,这向我们展示了一种方式,不用重新编写应用程序就能更灵活地处理部署与负载增长问题。此外,CICS PRJVM 还显著地改善了应用程序的性能。
  3. 所属分类:开发工具

    • 发布日期:2008-10-13
    • 文件大小:400229
    • 提供者:river_side
搜珍网 www.dssz.com