1. Abstract State Machines
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
http://www.eecs.umich.edu/gasm/
Hit: [104]
Apr 15, 2004
|
2. ACM SIGACT
Special Interest Group on Algorithms and Computation Theory, the ACM special interest group for Theoretical Computer Science. Site has membership information, meetings, reports and a newsletter for members.
http://sigact.acm.org/
Hit: [44]
Apr 15, 2004
|
3. Algorithm Design Paradigms
A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/algor.html
Hit: [96]
Apr 15, 2004
|
4. Algorithms Courses
Links to courses in algorithms maintained at various university computer science departments.
http://www.cs.pitt.edu/~kirk/algorithmcourses/
Hit: [95]
Apr 15, 2004
|
5. Algorithms in the Real World
Notes for a course at Carnegie Mellon University.
http://www-2.cs.cmu.edu/~guyb/realworld.html
Hit: [97]
Apr 15, 2004
|
6. Combinatorial Algorithms
Course material, syllabus and notes for a course by Roger Whitney at SDSU.
http://www.eli.sdsu.edu/courses/fall95/cs660/
Hit: [100]
Apr 15, 2004
|
7. Dictionary of Algorithms, Data Structures, and Problems
A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.
http://www.nist.gov/dads/
Hit: [39]
Apr 15, 2004
|
8. On the Road to Algorithms
Information on algorithms such as Bubble Sort and Random Number Generation, using HTML, Java and Perl. Collected by Lam Ka Chun (Raymond).
http://www.hlcmklam.com/
Hit: [36]
Apr 15, 2004
|
9. Pattern Matching Pointers
A collection of links for and to researchers in the subject.
http://www.cs.ucr.edu/~stelo/pattern.html
Hit: [39]
Apr 15, 2004
|
10. Priority Queues
Electronic bibliography on priority queues (heaps). Links to downloadable reports, researchers' home pages, and software.
http://www.leekillough.com/heaps/
Hit: [42]
Apr 15, 2004
|
|
