Proving operating systems correct

von Karp, Richard A.
Veröffentlicht 1983

Parallel combinatorial computing

von Karp, Richard M.
Veröffentlicht 1991

Complexity of computation : Proceedings of a symposium in applied mathematics of the American Mathematical Society and the Society for Industrial and Applied Mathematics held in...

Veröffentlicht 1974

Functional decomposition and switching circuit design

von Karp, Richard M.
Veröffentlicht 1962

The transitive closure of a random digraph

von Karp, Richard M.
Veröffentlicht 1989

Probabilistic recurrence relations

von Karp, Richard M.
Veröffentlicht 1991

Reductibility among combinatorial problems

von Karp, Richard M.
Veröffentlicht 1972

Proving operating systems correct

von Karp, Richard A.
Veröffentlicht 1983

Probabilistic analysis of combinatorial algorithms : an annotated bibliography

Veröffentlicht 1985

An introduction to randomized algorithms

von Karp, Richard M.
Veröffentlicht 1990

Finite branching processes and AND/OR tree evaluation

von Karp, Richard M.
Veröffentlicht 1993

Complexity and real computation

Veröffentlicht 1998

A survey of parallel algorithms for shared-memory machines

von Karp, Richard M.
Veröffentlicht 1988

The differencing method of set partitioning

von Karmarker, Narendra
Veröffentlicht 1982

The travelling-salesman problem and minimum spanning trees

von Held, Michael
Veröffentlicht in Operations research (1970)

On parallel evaluation of game trees

von Karp, Richard M.
Veröffentlicht 1989

Efficient randomized pattern-matching algorithms

von Karp, Richard M.
Veröffentlicht 1981

The rank of sparse random matrices over finite fields

von Blömer, Johannes
Veröffentlicht 1996

A Simplex variant solving an m x d linear program in 0(min(m2,d2)) expected number of Pivot steps

von Adler, Ilan
Veröffentlicht 1983

A new Monte-Carlo method for estimating the failure probability of an n-component system

von Karp, Richard M.
Veröffentlicht 1983