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 ...
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
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 ...