Back to Results
First PageMeta Content
Theoretical computer science / Formal sciences / Computer science / Algorithm / Computational science / Computational learning theory / Finite-state machine / Computational geometry / Computing / Mathematics / Applied mathematics / Science


History and Contributions of Theoretical Computer Science John E. Savage Department of Computer Science Brown University Providence, RI 02912
Add to Reading List

Document Date: 2001-03-26 14:46:00

Open Document

File Size: 162,75 KB

Share Result on Facebook

Company

IBM / AT&T / Coordinating Communicating Systems / Akamai / been analyzed using CCS / /

Currency

USD / /

/

Facility

Bell Hall / Engineering University / Computer Science University of Maryland College Park / /

IndustryTerm

software system / fundamental algorithms / layered manufacturing / computer-security systems / computer operating systems / web caching / multicommodity flow algorithms / layout applications / leader election protocol / sequence alignment software / Web browser / graph algorithms / dynamical systems / software systems / energy / visible new web caching / shortest-path algorithms / scientific computing centers / layout algorithms / visualization systems / computer systems / Graph drawing algorithms / multimedia systems / interactive proof systems / butterfly networks / example model-checking technology / software revolution / safety-critical systems / embedded software system / computing / function systems / cache coherence protocol / authentication protocols / geographic information systems / learning algorithms / large computer systems / electronic commerce / /

Organization

Carl Smith Department / National Center for Supercomputing Applications / University of Maryland College Park / Theoretical Computer Science John E. Savage Department of Computer Science Brown University Providence / PITAC committee / Computer Science and Engineering University / CERN / Alan L. Selman Department of Computer Science / /

Person

Carl Smith / Alan Turing / George Strawn / John E. Savage / Alan L. Selman / /

/

Position

the Assistant Director for CISE / player / second player / rendezvous-based scheduler / appropriate interpreter / /

ProgrammingLanguage

Prolog / Java / Occam / Haskell / Standard ML / /

ProvinceOrState

Maryland / Illinois / /

Technology

Graph drawing algorithms / 6 3.4 Parallel Computer Architecture Algorithm / functional programming / leader election protocol / speech recognition / multicommodity flow algorithms / image compression / Finding algorithms / fluid dynamics / ATM / shortest-path algorithms / machine learning / cache coherence protocol / operating systems / process control / VLSI algorithms / VHDL / mesh-connected processors / graph algorithms / laser / Cryptography / layout algorithms / load balancing / Java / authentication protocols / Learning algorithms / caching / 8 3.8 Learning Theory Algorithms / simulation / example model-checking technology / 3.2 Communication Networks On-line algorithms / /

SocialTag