沙发共享
文章平均质量分 70
若水003
1:喜欢追求探索事物的本质。
2:喜欢阅读。
展开
-
利用数学证明方式验证程序的可靠性(一)
利用数学证明方式验证程序的可靠性(一)在编写后台程序的时候,我们常常利用压力测试来验证用于处理任务队列的特定算法是否存在Bug。但是如果测试的压力程度没有达到这个Bug出现的下限,因此我们经常在使用软件的时候面临灾难。 灾难不是来自我们的惰性,而是来自压力程序的程度。原创 2008-04-14 23:35:00 · 1530 阅读 · 0 评论 -
利用数学证明方式验证程序的可靠性(二)
上一篇利用数学证明方式验证程序的可靠性(-),我利用一个例子说明利用数学方式证明的可能性。 其实,只要程序能够体现出算法,我们就能够利用数学的方式去证明。在算法教科书中也是利用数学方式去证明:数学归纳法来验证。 但是,为什么要利用数学方式来证明?其实我们最怕引进一个奇妙的方式,却给我们带来很大的麻烦(姑且说利用数学方式证明是奇妙的方式)。 因此这原创 2008-04-26 09:52:00 · 1248 阅读 · 0 评论 -
做人、做事,做架构师——架构师能力模型解析
要想从一名普通程序员发展成为优秀的架构师,“个人特性”与“技术技能”缺一不可;而“技术专业能力”、“人际关系能力”和“业务能力”更是优秀架构师重要的三种能力。文 / 周爱民(《程序员》2008年4月刊)引子究竟是什么让你在同一个位置上——例如程序员或技术负责人——工作了三年、五年或者更久,而仍然得不到任何的发展空间?你觉得自己已成为技术圈中的大牛,并信心满满地去拿明天就要颁发的某某大奖,然而却仍然转载 2008-05-31 11:38:00 · 773 阅读 · 0 评论 -
是继续当码农,还是选择当改变现状的码农?
是继续当码农,还是选择当改变现状的码农?毕业了多年,写了多年的代码,过了多年的码农生活。越来越感觉有个问题摆在眼前:是继续当无奈的码农,还是选择当改变现状的码农?不管,现状如何的你、我,始终会面临这样的一个问题。虽然,最终我们还是继续是码农,但是不一样的是码农的生活。互联网,充满未知的希望,但是单靠各自的,我们无法抓住机会,感到力不从心。单独的一原创 2012-06-05 22:39:49 · 1238 阅读 · 1 评论 -
腾讯由IT 走向CT
腾讯由IT走向CT,会如何? 早在10年,在思考如果腾讯也自己推出自己的手机,会产生什么样的影响? 现在的智能手机,核心主题就是应用,而腾讯的应用覆盖面非常广,涵盖了:及时通信工具,游戏,视频,微博,博客,邮件,社区,购物,团购,搜索,地图。 以及腾讯的的新概念QQ、QQ桌面。 如果腾讯把PC产品移植到手机上,然后自己推出腾讯手机,给用户提供一个:原创 2012-06-27 20:45:42 · 1534 阅读 · 0 评论