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|2416 次阅读|没有评论

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|2463 次阅读|没有评论

review: The case for RAMCloud

江东明 2012-9-9 10:29

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|3820 次阅读|没有评论

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