ACM Turing Centenary Celebration

/

An Algorithmic View of the Universe - Panel - Christos Papadimitriou, Leonard Adleman, Richard M. Karp, Donald E. Knuth, Robert Tarjan, Leslie G. Valiant.flv

Computable Real Numbers and Why They Are Still Important Today - Edmund Clarke.flv

Computer Architecture - Panel - David Patterson, Frederick P. Brooks, Jr., Ivan Sutherland, Charles P. (Chuck) Thacker.flv

Extracting Energy from the Turing Tarpit - Alan Kay.flv

Human and Machine Intelligence - Panel - Barbara Grosz, Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy.flv

Information, Data, Security in a Networked Future - Panel - Vint Cerf, John Hopcroft, Bob Kahn, Ron Rivest, Adi Shamir.flv

Lambda Calculus Then and Now - Dana S. Scott.flv

Programming Languages - Past Achievements and Future Challenges - Panel - Susan Graham, Frances Allen, Barbara Liskov, Nicklaus Wirth.flv

Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice - Panel - Dahlia Malkhi, Fernando J. Corbato, E. Allen Emerson, Joseph Sifakis, Ken Thompson.flv

The Turing Computational Model - Panel - Moshe Vardi, Stephen Cook, Juris Hartmanis, William Kahan, Richard E. Stearns.flv

Turing the man - Panel - Keith Van Rijsbergen, Charles Bachman, Calvin Gotlieb, William Newman, Wendy Hall.flv

What Computers Do - Model, Connect and Engage - Butler Lampson.flv

Total files 12