Martin Dowd

CoRR, 2008

1998

Faster column operations in star networks.

[BibT_eX]

[DOI]

Telecommun. Syst., 1998

1996

Embedding an Arbitrary Binary Tree into the Star Graph.

[BibT_eX]

[DOI]

Nayla Nassif

IEEE Trans. Computers, 1996

Some Topological Properties of Star Connected Cycles.

[BibT_eX]

[DOI]

Marcelo M. de Azevedo

Inf. Process. Lett., 1996

Average distance and routing algorithms in the star-connected cycles interconnection network.

[BibT_eX]

[DOI]

Marcelo M. de Azevedo

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

1995

A Well-Behaved Enumeration of Star Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1995

1993

Higher Type Categories.

[BibT_eX]

[DOI]

Math. Log. Q., 1993

Remarks on Levy's Reflection Axiom.

[BibT_eX]

[DOI]

Math. Log. Q., 1993

1992

Generic Oracles, Uniform Machines, and Codes

[BibT_eX]

[DOI]

Inf. Comput., January, 1992

1991

Erratum: An Integer Program for Codes.

[BibT_eX]

[DOI]

SIAM J. Discret. Math., 1991

An Integer Program for Codes.

[BibT_eX]

[DOI]

SIAM J. Discret. Math., 1991

1989

An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment.

[BibT_eX]

[DOI]

Math. Log. Q., 1989

The periodic balanced sorting network.

[BibT_eX]

[DOI]

J. ACM, 1989

1988

RISC vector CPU's and crossbars in desktops.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1988

Questions Related to the Erdös-Turan Conjecture.

[BibT_eX]

[DOI]

SIAM J. Discret. Math., 1988

1987

An example RISC vector machine architecture.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1987

1984

On the Structure of Armstrong Relations for Functional Dependencies.

[BibT_eX]

[DOI]

J. ACM, 1984

1983

The Balanced Sorting Network.

[BibT_eX]

[DOI]

Yehoshua Perl

Michael E. Saks

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

1979

Propositional representation of arithmetic proofs.

[BibT_eX]

[DOI]

PhD thesis, 1979

1978

Propositional Representation of Arithmetic Proofs (Preliminary Version)

[BibT_eX]

[DOI]