博文

如何作研究？

2010-4-14 16:07

现在正在努力。感觉还是要再坚持。还有，要提高英文文献的阅读能力。

个人分类: 未分类|4197 次阅读|没有评论

形式语义学基础

2009-10-29 16:40

陈意蕴的 《形式语义学基础》 还有另外两本中文教材： 《程序设计语言的形式语义》 外文的好像有 《程序设计语言的形式语法及语义》（翻译过来的，英文好象是Formal syntactic and semantic of programming language） 还有《指称语义 denotational semantic》 形式语义方面的资料相当多，随便去网上就可下 ...

个人分类: 未分类|11623 次阅读|1 个评论

联想首席科学家——TOP500两台千万亿次机都不合格

2009-10-29 16:34

2008年对于 中国 高性能计算产业而言，是一个很好的年景。在2008年，曙光和联想两家 服务器 厂商推出运算能力达到百万亿次的超级 计算机 ，可谓可喜可贺。 然而，放眼全球，中国高性能产业与 国际 发达国家的水平仍有较大差距。而且，在2008年，可能人们会很多地关注到全球超级计 ...

个人分类: 未分类|5168 次阅读|没有评论

本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏