Byline: Association for Computing Machinery
NEW YORK, May 27 (AScribe Newswire) -- Pioneering computer scientist Robin Milner graces the cover of the June Communications of the ACM (CACM; http://cacm.acm.org/magazines/2010/6 . Described as a man of quiet brilliance and a natural leader, Milner, who passed away in March, recognized that the computer is a tool to help researchers find the proofs of their discoveries. For his work in verification, languages, and concurrency, he received the ACM A.M. Turing Award in 1991. Also in this issue, a team of researchers from Ecole Polytechnique Federale de Lausanne in Switzerland explores the key requirements for generic database management systems needed to help scientists cope with the increasing volume of data produced by their own experiments. Anastasia Ailamaki, Verena Kantere, and Debabrata Dash analyze solutions that promise …
Комментариев нет:
Отправить комментарий