Presented annually to an outstanding educator who is: appointed to a recognized educational baccalaureate institution; recognized for advancing new teaching methodologies, or effecting new curriculum development or expansion in Computer Science and Engineering; or making a significant contribution to the educational mission of the ACM. Those who have been teaching for ten years or less [...]
Tag Archives: Computer Science
GPU MATLAB Computing
Sunday, March 28, 2010
Here is an interesting blog about “running” MATLAB on a GPU.
Could be very interesting considering how prevalent MATLAB is in the scientific community.
Spring 2010 Classes
Saturday, January 23, 2010
In Spring of 2010 I am taking two classes: MSCS 6020: Simulation (syllabus) and MSCS 6060: Parallel & Distributed Systems (syllabus).
Hamming’s Insight
Thursday, October 29, 2009
THE PURPOSE OF COMPUTING IS INSIGHT, NOT NUMBERS.
(via Wikipedia via John)
Simply Scheme is now available online
Sunday, July 5, 2009
I’m pleased to announce that the full text of
Simply Scheme: Introducing Computer Science
is available online in PDF and HTML form at
http://www.cs.berkeley.edu/~bh/ss-toc2.html
– Brian Harvey
Thanks Brian!
(via comp.lang.scheme)
Lambda Calculus Modeled with PLT Redex
Sunday, June 21, 2009
Here is material on understanding Lambda Calculus using PLT Redex:
In this zip directory you can find file lc-with-Redex.doc which is a short intro in Lambda Calculus and contains info on how to use the material that goes with the essay. I have included a very condenced note on a system even without lambda, which [...]
Standford Programming Paradigms Course Videos
Saturday, June 6, 2009
Programming Paradigms (CS107) introduces several programming languages, including C, Assembly, C++, Concurrent Programming, Scheme, and Python. The class aims to teach students how to write code for each of these individual languages and to understand the programming paradigms behind these languages.
The videos are available here.
(via reddit)
Fractal Imaging
Saturday, June 6, 2009
What is fractal imaging? Well, it’s more than just the algorithmic generation of ferns (like the generated image above) from non-linear equation systems. It’s a way of looking at ordinary (bitmap) images of all kinds. The hypothesis is that any given image (of any kind) is the end-result of iterating on some particular (unknown) system [...]
Semantics Engineering with PLT Redex
Saturday, May 30, 2009
Semantics Engineering with PLT Redex:
This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the [...]
Coyotos and Genode OS
Saturday, May 30, 2009
Coyotos and Genode are two operating systems about which I had never heard that were mentioned in an Ikarus Users mailing list thread that doesn’t seem to have been mirrored online.
Coyotos:
Coyotos is a secure, microkernel-based operating system that builds on the ideas and experiences of the EROS project.
Genode:
We understand the complexity of code and [...]