科学网

 找回密码
  注册
容攻击的广域网(IV)(100305)
闵应骅 2010-3-5 09:48
容攻击的广域网(IV)(100305) 闵应骅 我们已经说明:Steward是一种分级的拜占庭容错结构。怎么从理论上证明Steward的确是拜占庭问题的一个解呢?Yair Amir教授在其文章中用了46个定理来证明,占了全文的大部分篇幅。一篇博文当然无法深入地写出这些证明,但是这正是该论文的精彩之处。现在我们有些学 ...
个人分类: 计算机|3613 次阅读|1 个评论
软件开发项目失败的原因(100110)
闵应骅 2010-1-10 16:27
软件开发项目失败的原因(100110) 闵应骅 在IEEE出版物和国外出版的书中都能发现关于软件开发项目失败的报道和原因分析。但是,在国内,无论是新闻、杂志和书籍中,我没有看到过关于软件开发失败的报道、论述和分析。我记得,我在《中国传媒科技》2005年前进中的可信计算IV---软件可靠性是个大 ...
个人分类: 计算机|6434 次阅读|2 个评论
非对称多核系统可以减少功耗(091218)
闵应骅 2009-12-18 08:45
非对称多核系统可以减少功耗(091218) 闵应骅 计算机的功耗现在成为一个大问题。原因在于对超级大型机来说,关在一个机房里的成千上万的CPU芯片使得机器的耗电就像一座小城市一样,但挤在一起,像个大火炉,散热成为大问题;对一块芯片来说,大功率使芯片发热,威胁它的可靠性,甚至是生命。对于多核 ...
个人分类: 计算机|5514 次阅读|3 个评论
一个可信计算系列国际会议PRDC(091122)
闵应骅 2009-11-22 17:21
一个可信计算系列国际会议PRDC(091122) 闵应骅 PRDC的全称是IEEE Pacific Rim International symposium on Dependable Computing(IEEE太平洋沿岸可信计算国际学术会议)。今年的PRDC2009于11月16-18在上海召开。我和PRDC有三个故事可以谈谈。 在1980年代,国际容错计算会议(FTCS ...
个人分类: 计算机|6792 次阅读|1 个评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-30 02:58

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部