Algorithms

A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.

A list of sites of interest in computational geometry, algorithms, graphics, visualization, and related topics.

Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.

A list of conferences in Algorithms and Computation Theory maintained by Sriram V. Pemmaraju. Available in HTML, PS, PDF.

Third Workshop on Approximation and Online Algorithms: part of ALGO 2005. Hotel Torre del Mar, Ibiza, Spain; 6--7 October 2005.

5th Workshop on Algorithm Engineering and Experiments. Baltimore, Maryland, USA; 11 January 2003.

Introduction and survey papers.

Provides electronic consulting, product design, and prototype manufacturing services. Includes company profile and details on products and solutions. Based in Tulsa, OK.

Provides DSP applications and supplies advanced signal processing program modules. Based in Canada.

Custom design and development of embedded products with special emphasis on those products that are most efficiently implemented using DSP techniques, such as telecommunications applications.