Enlaces a sitios |
|
|
| |
Abstract State Machines A simple yet powerful formal method for specifying and validating computing systems of all types.
| B-TREE-P B-tree source code for the Pick operating system.
|
Dictionary of Algorithms and Data Structures A dictionary of algorithms, algorithmic techniques, data structures, and archetypal problems in computer science from NIST.
| FAQ - comp.compression compression algorithms such as ZIP, GIF, and JPEG.
|
FEEC - UNICAMP - Faculdade de Engenharia Elétrica e de Computação The Faculty of Electrical and Computer Engineering at UNICAMP, the institutional home of the original memetic algorithms research.
|
| |
Finite Model Theory Finite structures are usually disregarded in classical model theory. But finiteness often matters (for adequate modelling), and restriction
|
Imperial College London - Theory and Algorithms Research Theme The official research group for theoretical computer science, including algorithm design and analysis, at Imperial College London.
|
Khoury College of Computer Sciences - Publications Repository of technical papers and publications from the modern successor to Northeastern"s College of Computer Science.
|
LEDA Library of Efficient Data Types and Algorithms
|
Opsis Java applet that can be used to teach balanced binary search tree algorithms. Unique in that it combines elements of programming, proof, and animation to enhance learning.
| Prague Stringology Club Official website of the Prague Stringology Club, a research group at the Czech Technical University focusing on string algorithms and related topics.
|
REDUCE Computer Algebra System The official open-source project page for REDUCE, a system for general algebraic computations of interest to mathematicians, scientists, and engineers.
| Stockholm University - Department of Computer and Systems Sciences (DSV) The Department of Computer and Systems Sciences (DSV) is the largest IT department in Sweden and is part of Stockholm University.
|
Stony Brook Algorithm Repository a comprehensive collection of algorithm implementations for fundamental problems in combinatorial algorithms.
| Ultrafast Parallel Algorithms and Reconfigurable Meshes surveys some ultrafast parallel algorithms for PRAMs and reconfigurable meshes.
|
|