CS 482 -- Computer Science Theory -- Spring 2018
Class Time: 12:20 - 1:10 pm MWF
Classroom: Min Kao Engineering 405
There will be no lecture on Friday, April 27.
The final project is due on Monday, May 7. Submit your final report through Canvas.
A simple specification of a solution to the semester project
can be found here.
This description may be refined as the semester progresses.
Project Assignment due 4/9/2018
Prepare a status update for your semester project.
Office: Min Kao 433
Office Hours: Wed 1:30-2:30pm or by appointment
Design and Analysis of Computer Algorithms
Authors: Aho, Hopcroft and Ullman
Publisher: Addison-Wesley Longman
The TOP500 list: https://www.top500.org/
LAPACK in Wikipedia: https://en.wikipedia.org/wiki/LAPACK
The LAPACK/ScaLAPACK Development Forum: http://icl.cs.utk.edu/lapack-forum/
Memoization/Computational Caching Slides
DIMACS format for describing SAT problems
SATLIB - The Satisfiability Library
SATLIB - Benchmark Problems
MySQL Open Source Database
International Journal of Theoretical Physics
April 1982, Volume 21, Issue 3
New computer architectures and their relationship to physics or why computer science is no good
Author: W. Daniel Hillis
Cheating Husbands and Other Stories: A Case Study of Knowledge, Action and Communication
Yoram Moses, Danny Dolev, Joseph Y. Halpern
Meltdown and Spectre vulnerabilities