您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. qsort

  2. 函数名称: qsort函数原型: void qsort(void *base, size_t nelem, size_t width, int (*fcmp)(const void *,const void *)函数功能: 使用C.A.R.Hoare排序法对数组base进行排序函数返回: 函数说明: base 待排序的数组 ,melem 数组的元素个数,width 每个元素的大小, fcmp 用于对数组元素进行比较的函数指针,该函数由自己另外编写,有2个参数.所属文件: ...展开收缩
  3. 所属分类:C

    • 发布日期:2007-08-10
    • 文件大小:2097152
    • 提供者:xueshanhaizi
  1. 程序设计方法学讲义(doc)

  2. 程序设计方法学讲义 第一章 程序设计方法简介 1、 产生和发展 2、 程序设计的一般途径 3、 结构化程序设计及其讨论的主要问题 第二章 程序的控制结构 1、 基本控制结构 2、 goto语句 3、 过程与函数 4、 结构化程序和结构定理 第三章 程序的正确性证明 1、 程序的测试 2、 Floyd-Hoare规则公理方法 3、 Dijkstra最弱前置条件方法 第四章 数据类型与抽象 1、 类型概念 2、 数据类型 3、 数据抽象及其代数规范 4、 大型程序设计与抽象数据类型 第五章 递归程
  3. 所属分类:其它

    • 发布日期:2009-06-18
    • 文件大小:574464
    • 提供者:baowanyu
  1. C语言实现快速排序算法

  2. 快速排序算法,C语言 快速排序(Quicksort)是对冒泡排序的一种改进。由C. A. R. Hoare在1962年提出。它的基本思想是:通过一趟排序将要排序的数据分割成独立的两部分,其中一部分的所有数据都比另外一部分的所有数据都要小,然后再按此方法对这两部分数据分别进行快速排序,整个排序过程可以递归进行,以此达到整个数据变成有序序列。
  3. 所属分类:C

    • 发布日期:2009-12-07
    • 文件大小:161792
    • 提供者:bue2009
  1. 操作系统原理 计算机

  2. CH1 操作系统概论............................................................................................................................1 1.1 操作系统概观.......................................................................................................
  3. 所属分类:网络攻防

    • 发布日期:2009-12-14
    • 文件大小:2097152
    • 提供者:qiaoleihao
  1. c语言 快速查找算法

  2. 快速排序(Quicksort)是对冒泡排序的一种改进。由C. A. R. Hoare在1962年提出。它的基本思想是:通过一趟排序将要排序的数据分割成独立的两部分,其中一部分的所有数据都比另外一部分的所有数据都要小,然后再按此方法对这两部分数据分别进行快速排序,整个排序过程可以递归进行,以此达到整个数据变成有序序列。 假设要排序的数组是A[1]……A[N],首先任意选取一个数据(通常选用第一个数据)作为关键数据,然后将所有比它的数都放到它前面,所有比它大的数都放到它后面,这个过程称为一躺快速排
  3. 所属分类:C

    • 发布日期:2009-12-27
    • 文件大小:21504
    • 提供者:Maikle110
  1. 指针逻辑和分离逻辑的比较

  2. 指针逻辑的出发点是:所有不同的访问路径都代表不同的对象,除非能证明它们代表同一个对象。因此指针逻辑需要收集有效指针相等信息,以便知道哪些不同访问路径代表同一个对象。这是指针逻辑不用引入新连接词的原因。 这比较符合习惯:在通常的逻辑中,不相同的名字总代表不同的对象,没有别名的概念。Hoare逻辑就是基于不同名字代表不同对象。
  3. 所属分类:专业指导

    • 发布日期:2010-02-06
    • 文件大小:104448
    • 提供者:songfu1983
  1. BOOK:《The Java Language Specification》

  2. The Java™ programming language is a general-purpose, concurrent, class-based, object-oriented language. It is designed to be simple enough that many programmers can achieve fluency in the language. The Java programming language is related to C and C
  3. 所属分类:Java

    • 发布日期:2010-03-19
    • 文件大小:7340032
    • 提供者:zhwq_changgong
  1. 从1亿个整数中找出最大的1万个

  2. 从1亿个整数中找出最大的1万个 http://blog.csdn.net/x642458/archive/2010/03/21/5400534.aspx 不成熟的优化是万恶之源。--Donald Knuth (引用Hoare的话) 另一方面,我们不能忽视效率。--Jon Bentley
  3. 所属分类:专业指导

    • 发布日期:2010-03-20
    • 文件大小:2048
    • 提供者:x642458
  1. Communicating Sequential Processes

  2. C. A. R. Hoare, 1985–2004 This is a book for the aspiring programmer, the programmer who aspires to greater understanding and skill in the practice of an intellectually demanding profession. It is designed to appeal first to a natural sense of curio
  3. 所属分类:C#

    • 发布日期:2010-05-11
    • 文件大小:1048576
    • 提供者:wuxiaofengbear
  1. 快速排序 最快的排序方法

  2. 是对冒泡排序的一种改进。由C. A. R. Hoare在1962年提出。它的基本思想是:通过一趟排序将要排序的数据分割成独立的两部分,其中一部分的所有数据都比另外一部分的所有数据都要小,然后再按此方法对这两部分数据分别进行快速排序,整个排序过程可以递归进行,以此达到整个数据变成有序序列。
  3. 所属分类:C

    • 发布日期:2010-11-25
    • 文件大小:996
    • 提供者:liyuanshi
  1. Communicating Sequential Processes

  2. communicating Sequential Processes!!!
  3. 所属分类:教育

    • 发布日期:2008-03-17
    • 文件大小:1048576
    • 提供者:virtualf
  1. 关于最快排序的一点思路,呵呵

  2. 快速排序(Quicksort)是对冒泡排序的一种改进。由C. A. R. Hoare在1962年提出。它的基本思想是:通过一趟排序将要排序的数据分割成独立的两部分,其中一部分的所有数据都比另外一部分的所有数据都要小,然后再按此方法对这两部分数据分别进行快速排序,整个排序过程可以递归进行,以此达到整个数据变成有序序列。
  3. 所属分类:C++

    • 发布日期:2011-04-23
    • 文件大小:623
    • 提供者:BIT20091643
  1. The Java Language Specification

  2. The Java™ programming language is a general-purpose, concurrent, class-based, object-oriented language. It is designed to be simple enough that many programmers can achieve fluency in the language. The Java programming language is related to C and C
  3. 所属分类:Java

    • 发布日期:2011-11-22
    • 文件大小:7340032
    • 提供者:tech_savvy_guy
  1. 《操作系统原理与设计》全本

  2. CH1 概论 1 1.1 操作系统的定义和目标 1 1.1.1 OS作为用户与计算机硬件之间的接口 2 1.1.2 OS作为计算机系统的资源管理者 2 1.1.3 OS作为虚拟计算机 2 1.2 操作系统的形成和发展 3 1.2.1 人工操作阶段 3 1.2.2 管理程序阶段 4 1.2.3 操作系统的形成 5 1.2.4 操作系统发展的主要动力 6 1.2.5 操作系统的发展 6 1.3 流行操作系统简介 9 1.3.1 DOS操作系统 9 1.3.2 Windows操作系统 9 1.3.3
  3. 所属分类:Linux

    • 发布日期:2012-02-14
    • 文件大小:1048576
    • 提供者:mrmzy
  1. 快速排序算法模板

  2. 快速排序(Quicksort)是对冒泡排序的一种改进。由C. A. R. Hoare在1962年提出。它的基本思想是:通过一趟排序将要排序的数据分割成独立的两部分,其中一部分的所有数据都比另外一部分的所有数据都要小,然后再按此方法对这两部分数据分别进行快速排序,整个排序过程可以递归进行,以此达到整个数据变成有序序列
  3. 所属分类:C++

    • 发布日期:2012-07-19
    • 文件大小:730
    • 提供者:huang8579
  1. 进程代数《Communicating Sequential Processes》

  2. 介绍进程代数,出自C. A. R. Hoare
  3. 所属分类:专业指导

    • 发布日期:2012-10-22
    • 文件大小:1048576
    • 提供者:seabamboo
  1. hoare logic

  2. fundemental hoare logic
  3. 所属分类:专业指导

    • 发布日期:2014-03-15
    • 文件大小:600064
    • 提供者:l619025631
  1. 形式化方法与软件可靠性

  2. 形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计,编程的错误,将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现,则影响程序的可靠和使用。形式化方法则要求描述的明确性,而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要
  3. 所属分类:网络攻防

    • 发布日期:2008-10-12
    • 文件大小:4096
    • 提供者:yuxiaoyong
  1. hoare logic

  2. 是霍尔逻辑的一个教案之类的文档,反正看看对了解霍尔逻辑的基础以及基本概念还是很有效的.
  3. 所属分类:网络攻防

    • 发布日期:2015-12-28
    • 文件大小:684032
    • 提供者:panfei008
  1. 坐姿的QC连续性和QFS域的Hoare幂域

  2. 坐姿的QC连续性和QFS域的Hoare幂域
  3. 所属分类:其它

    • 发布日期:2021-03-04
    • 文件大小:337920
    • 提供者:weixin_38741891
« 12 3 »