-
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
-
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 篇博文因作者的隐私设置或未通过审核而隐藏