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

博文

review: Searching for Jim Gray: A Technical Overview

已有 2273 次阅读 2013-5-24 12:19 |个人分类:Econometrics|系统分类:论文交流|关键词:学者

contents

1 Jim Gray

 

 

 

Searching for Jim Gray: A Technical Overview

by Josep h M. Hellerstei n and David L. Tennenhouse
(on be half of a large team of volunteers )

july 2011 | vol. 54 | no. 7 | comm unicati ons of the acm

 

 

 

 

key insights    
-- Loosely coupled teams quickly evolved software polytechtures with varying interfaces, decoupling data acquisition from analysis to enable use of expertise
at a distance.
-- The U.S. Coast Guard developed software to aid search and rescue and is an
interesting potential research partner for computer scientists.

-- New open-source tools and research could help with group coordination, crowdsourced image acquisition, high volume image processing,
ocean drift modeling, and analysis of open-water satellite imagery.

 

 

Jim Gray twelve problem (at 1998 turning award talk)

   What Next?

       A Few Remaining Problems in Information Technology          

1.Devise an architecture that scales up by 10^6.

2.The Turing test: win the impersonation game 30% of the time.

a.3.Read and understand as well as a human.

b.4.Think and write as well as a human.

3.Hear as well as a person (native speaker): speech to text.

4.Speak as well as a person (native speaker): text to speech.

5.See as well as a person (recognize).

Illustrate as well as a person (done!) but virtual reality is still a major challenge.

6.Remember what is seen and heard and quickly return it on request.

7.Build a system that, given a text corpus, can answer questions about the text and summarize it as quickly and  precisely as a human expert.  Then add sounds: conversations, music. Then add images, pictures, art, movies.

8.Simulate being some other place as an observer (Tele-Past) and a participant (Tele-Present).

9.Build a system  used by millions of people each day but administered  by a ½ time person.

10.Do 15 and prove it only services authorized users.

11.Do 15 and prove it is almost always available: (out less than 1 second per 100 years).

12.Automatic Programming: Given a specification, build a  system that implements the spec. Prove that the implementation matches the spec. Do it better than a team of programmers.

 

   http://research.microsoft.com/en-us/um/people/gray/

 

 

2pc  protocol  7TwoPhaseCommit.ppt

 

 



https://m.sciencenet.cn/blog-468147-693052.html

上一篇:review: Scientists and bankers — a new model army
下一篇:review: Thirty years of algebraic specification

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

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

GMT+8, 2024-5-18 17:54

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部