不变量

实践中的重构27_不要忘了内存空间

方法在设计中，一般关注的是方法的功能契约，即方法需要什么样的参数，方法运行时会保持什么样的不变量，方法运行后会得到什么样的输出。
zhang_xzhi_xjtu·2011-06-06 18:00

多线程摘录 002

1) 找出哪些 变量属于对象的状态 2) 找出哪些 不变量属于对象的状态 3) 使用合适的并发策略来管理对状态的访问 考虑线程安全的需求 1) 同步范围多大? 整个方法? 一个大块?
jiangm520·2011-04-07 14:00

契约式编程

契约由先验条件、后验条件、错误和不变量等概念组成。契约可以而加到C++中而无需对语言加以改造，但是却十分笨拙且不一致。
cjsycyl·2011-04-05 16:00

优化编译器的发展

Backus认为编译器的转化可以理解为是消除，这个项目中使用了循环不变量代码外移，数据流分析和寄存器分配等优化。JohnBackus.ThehistoryofFort
pizi0475·2011-04-04 18:00

循环不变量(Loop invariant)

循环不变量：S是一个语句，已知循环whileCdoE当此循环满足以下条件,即：在任何循环开始前，语句S和C都为真，而且在循环结束后，S仍为真，那么S就是循环不变量循环不变量定理：已知一个循环和循环条件的
dazhi316·2010-11-12 09:00

一直以来伴随我的一些学习习惯(四)：知识结构

以下这段基本上摘抄自（略有整理和添加）在 TopLanguage 上的发言： 抓住不变量 我喜欢把知识分为essential
youcou12·2010-09-05 21:00

多线程开发注意事项

1) 找出哪些 变量 属于对象的状态 2) 找出哪些 不变量 属于对象的状态 3) 使用合适的并发策略来管理对状态的访问 考虑线程安全的需求 1) 同步范围多大? 整个方法?
randy.chen·2010-08-10 19:00

【ZZ】 局部特征算子简述

傅立叶变换和盖伯变换3）微分算子：2.局部特征建立依赖的空间1）归一化的Laplacian尺度空间 2) DifferenceofGaussian3.局部区域检测算法1）Harrispoints   旋转不变量特征点周围
huan0181·2010-06-15 16:00

GCC-3.4.6源代码学习笔记（46）

这个循环优化找出在循环中不依循环改变的计算（循环不变量）并将它们移到循环
wuhui_gdnt·2010-06-08 09:00

ASP 支持中文的len(),left(),right()的函数代码

也有注意的地方，如果用在循环中，因不变量“i”也是常用于循环的变量，执行以下函数时，“i”的值会发生变化，如果是调用他的循环中用到相同的变量，会产生未知的结果，请换用其它变量名。
·2010-05-30 01:58

改善代码的68个原则（Practical Java ）

注意， final 仅仅令 object erference 自身成为不变量，并不限制它所指对象的改变。   实践
love2java·2009-10-21 20:00

谈谈循环不变量

幸好之前看过循环不变量的介绍。 所谓循环不变量，是指在循环过程中保持不变的量。具体取什么样的量呢？显然，pi之类的常量在任何循环中都保持不变，但对分析循环并没有用处。 
yizhili·2009-10-20 21:00

Spec#与Boogie发布于CodePlex

其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。我们可以在.NET4中找到一些重要的特性，比如：代码契约，Spec#当前的研究状况比较尴尬。最近，微软声明放宽对它的约束，但也仅是一点而已。
Jonathan Allen·2009-08-10 00:00

Spec#与Boogie发布于CodePlex

其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。我们可以在.NET4中找到一些重要的特性，比如：代码契约，Spec#当前的研究状况比较尴尬。最近，微软声明放宽对它的约束，但也仅是一点而已。
Jonathan Allen·2009-08-10 00:00

杂记1：缓存，局部性，循环

——“由剑剑同学的两段代码引发的讨论” 跟Jay同学讨论循环不变量的优化问题，在email里比较难说清楚，还是发到blog上来方便贴代码。
RednaxelaFX·2009-06-21 21:00

D2.0的字符串

D2.0的字符串增加了常量,不变量和变量.在很大程度上增加了语意的清晰度.但给编程带来了更小的粒度.如同使用动态脚本语言,你不必关系类型,使用静态语言你就要严格定义.D2就更严格了:对字符串也进行严格的定义
ideage·2009-04-07 08:00

D2.0的字符串

阅读更多D2.0的字符串增加了常量,不变量和变量.在很大程度上增加了语意的清晰度.但给编程带来了更小的粒度.如同使用动态脚本语言,你不必关系类型,使用静态语言你就要严格定义.D2就更严格了:对字符串也进行严格的定义
ideage·2009-04-07 08:00

D2.0的字符串

D2.0的字符串增加了常量,不变量和变量.在很大程度上增加了语意的清晰度.但给编程带来了更小的粒度.如同使用动态脚本语言,你不必关系类型,使用静态语言你就要严格定义.D2就更严格了:对字符串也进行严格的定义
ideage·2009-04-07 08:00

深入Phtread(二)：线程的同步-Mutex

不变量，临
future_fighter·2009-02-11 19:00

深入Phtread(二)：线程的同步-Mutex

不变量，临
·2009-02-11 19:00

DDD

类的关系：领域职责和业务决定 根的聚合：主要考虑不变量关系，那些类应该在此根聚合中，并保持不变量关系，那些在此聚合中，但不在不变量范围
huoming550·2008-11-25 17:00

DDD

类的关系：领域职责和业务决定 根的聚合：主要考虑不变量关系，那些类应该在此根聚合中，并保持不变量关系，那些在此聚合中，但不在不变量范围
klcwt·2008-11-25 04:00

常量和不变量 Const and Invariant 2.014

请参考： D 2.0 Const/Final/Invariant 概念简介 http://dolive.iteye.com/admin/blogs/201374 这一篇1.028里没有 When examining a data structure or interface, it is very helpful to be able to easily tell which d
hqs7636·2008-06-07 11:00

常量和不变量 Const and Invariant 2.014

请参考： D 2.0 Const/Final/Invariant 概念简介 http://dolive.iteye.com/admin/blogs/201374 这一篇1.028里没有 When examining a data structure or interface, it is very helpful to be able to easily tell which d
hqs7636·2008-06-07 11:00

契约式编程（dmd 1.00）

契约由先验条件、后验条件、错误和不变量等概念组成。契约可以加到 C++ 中而无需对语言加以改造，但是却十分笨拙且不一致。
hqs7636·2008-06-07 08:00

契约式编程（dmd 1.00）

契约由先验条件、后验条件、错误和不变量等概念组成。契约可以加到 C++ 中而无需对语言加以改造，但是却十分笨拙且不一致。
hqs7636·2008-06-07 08:00

知道未必是做到！算法的实现总让人意外

程中的不变量是amap.size
DelphiNew·2008-06-06 01:00

模 块 2.014

多个声明定义： 单个声明定义 单个声明定义 多个声明定义 单个声明定义： 属性指示符 导入声明 枚举声明 类声明 接口声明 聚集声明 单个声明 构造函数 析构函数 不变量
hqs7636·2008-06-05 19:00

模 块 2.014

多个声明定义： 单个声明定义 单个声明定义 多个声明定义 单个声明定义： 属性指示符 导入声明 枚举声明 类声明 接口声明 聚集声明 单个声明 构造函数 析构函数 不变量
hqs7636·2008-06-05 19:00

局部特征算子简述

空间频率技术：傅立叶变换和盖伯变换3）微分算子：2.局部特征建立依赖的空间1）归一化的Laplacian尺度空间2)DifferenceofGaussian3.局部区域检测算法1）Harrispoints旋转不变量特征点周围
daiyuchao·2008-05-05 22:00

局部特征算子简述

傅立叶变换和盖伯变换3）微分算子：2.局部特征建立依赖的空间1）归一化的Laplacian尺度空间 2) DifferenceofGaussian3.局部区域检测算法1）Harrispoints   旋转不变量特征点周围
daiyuchao·2008-05-05 22:00

本质

因为那“几笔”不是别的，而是拓扑学中的特征不变量，这是事物最本质的东西。
sonofwind0109·2007-10-21 13:26

编写程序常需用到的功能

编程语言及其支持的std lib (stdlibc/c++) 一级常用功能 1. assert debug (检查控制流；私有函数检查输入参数是否有效；在函数计算后检查函数结果是否有效；检查程序不变量
17studio·2007-08-29 10:00

sicp 1.16解答

   此题充分展示了如何将递归转化为迭代的技巧：定义一个不变量，要求它在迭代状态之间保持不变！题目如下：写一个过程求平方，并且只用对数个步骤。
庄周梦蝶·2007-05-11 08:00

sicp 1.16解答

   此题充分展示了如何将递归转化为迭代的技巧：定义一个不变量，要求它在迭代状态之间保持不变！题目如下：写一个过程求平方，并且只用对数个步骤。
dennis_zane·2007-05-11 00:00

《Practical Java》学习笔记（一）

GeneralTechniques1、引数以byvalue方式而非byreference方式传递2、对于不变的data和objectreference使用final,final仅仅令objectreference自身成为不变量
iteye_8676·2006-11-23 18:00

《Practical Java》学习笔记（一）

reference 方式传递 2、  对于不变的 data 和 object reference 使用 final ,final 仅仅令 object reference 自身成为不变量
ipple100200·2006-11-23 18:00

《Practical Java》学习笔记（一）

GeneralTechniques1、 引数以byvalue方式而非byreference方式传递2、 对于不变的data和objectreference使用final,final仅仅令objectreference自身成为不变量
重新探索自我·2006-11-23 18:00

一般拓扑学--From百度（看了这个，终于明白什么是拓扑了）

用点集的方法研究拓扑不变量的拓扑分支。它的前身是点集拓扑学。点集拓扑学产生于19世纪。G.康托尔建立了集合论，定义了欧几里得空间中的开集、闭集、导集等概念，获得了欧几里得空间拓扑结构的重要结果。
izuoyan·2006-10-03 02:00

一般拓扑学--From百度（看了这个，终于明白什么是拓扑了）

用点集的方法研究拓扑不变量的拓扑分支。它的前身是点集拓扑学。点集拓扑学产生于19世纪。G.康托尔建立了集合论，定义了欧几里得空间中的开集、闭集、导集等概念，获得了欧几里得空间拓扑结构的重要结果。
javahigh1·2006-10-03 02:00
上一页 3 4 5 6 7 8 9 10 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他