In consultation with business experts France designed algorithms that are still in use to this day in the commercial world.

This allows to design algorithms for mutual exclusion and tasks like debugging or optimising distributed systems.

These local detection methods simplified the task of designing self-stabilizing algorithms considerably.

This entailed designing algorithms that were executed by teams of human computers under her direction.

It is concerned with designing and analysing algorithms and data structures to compute information about groups.

Several groups of researchers starting with Papadimitriou et al. have attempted to design algorithms with provable guarantees.

One is interested in designing algorithms whose query complexity is as small as possible.

Usually, efficient data structures are a key to designing efficient algorithms.

It uses abstract pseudocode and flowchart views that allow users to design and visualize algorithms.

In numerical analysis, one of the most important problems is designing efficient and stable algorithms for finding the eigenvalues of a matrix.