jiangdm的个人博客分享 http://blog.sciencenet.cn/u/jiangdm

博文

按标题搜索
review: Universal Algebra and Computer Science
2013-2-13 21:06
Universal Algebra and Computer Science Boris Plotkin1 and Tanya Plotkin FCT 2001, LNCS 2138, pp. 35–44, 2001. Abstract. This paper considers interrelations between universal algebra, algebraic logic, geometry and computer science. The key idea of the paper is to sh ...
个人分类: Formal method|2388 次阅读|没有评论
review: The CommUnity Workbench
2013-1-26 20:55
Contents 1 The CommUnity Workbench. 1 The CommUnity Workbench. Michel Wermelinger Crist6v~.o Oliveira ICSE'02, May 19-25, 2002 1 COMMUNITY 2 WORKBENCH The COMMUNITY Workbench: The community workbench.pdf
个人分类: Formal method|2439 次阅读|没有评论
review: The case for RAMCloud
2012-9-9 10:29
review:  The case for RAMCloud
The case for RAMCloud by John Ousterhout, Parag Agrawal, David Erickson, Christos Kozyrakis, Jacob Leverich, David Mazières, Subhasish Mitra, Aravind Narayanan, Diego Ongaro, Guru Parulkar, Mendel Rosenblum, Stephen M. Rumble, Eric Stratmann, and Ryan Stutsman CACM july 2011 | vol. 54 | no. 7 ...
个人分类: Hardware|3781 次阅读|没有评论

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

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

GMT+8, 2024-3-29 20:46

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部