Declarative languages allow programmers to say what they want, without worrying over the details of how to achieve it. These kinds of languages revolutionized data management decades ago but have had limited success in other aspects of computing. The story seems to be changing in recent years, however. One new chapter is work that Joe Hellerstein and his colleagues have been pursuing on the design and implementation of declarative languages and runtime systems for network protocol specification. Distributed Systems and Networking appear to be surprisingly natural domains for declarative specifications and they are ripe for a new programming methodology. (Series: CSE Colloquia - 2008)
Computer architecture is about to undergo, if not another revolution, then a vigorous shaking-up. The major chip manufacturers have, for the time being, simply given up trying to make processors...
This talk argues that the years ahead will usher in the era of the algorithm, a notion that might prove just as disruptive as the revolution in the physical sciences was in the last century. The...
PlanetLab is a global platform for evaluating and deploying network services. It currently includes nearly 700 nodes, spanning over 335 sites and 35 countries, and hosts over 500 experimental...
Billions of dollars (and euros and yen, too) flow through Google Ad Systems. In this talk, Narayanan Shivakumar, a Google distinguished entrepreneur and director of Google's Seattle-Kirkland R and...
University of Washington President Mark Emmert and the department of Computer Science and Engineering host Microsoft co-founder Bill Gates for the final stop of his six-university tour, as Gates...
Interactive visualizations leverage human visual processing and cognition to increase the scale of information with which we can effectively work. However, most visualization research to date...
See the diverse pathways students pursue after receiving Bachelors degrees in computer science or computer engineering. Computer scientists work in a broad range of interesting fields, and an...
SAGE is a University of Washington project whose goal is to create an optimal, free, open source software environment for research and experimentation in algebra, geometry, number theory,...
Truveo video search lets you search and find videos from across the Web. Use Truveo to find all types of online video including hit television shows, full-length movies, breaking news clips, sports highlights, music videos, or the latest viral videos. If you are looking for a specific video, Truveo video search can help you find exactly the video you want. Truveo can also help you browse through video across the web and discover new videos that you might like.