Martin Dowd

21 papers A* 2Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2008 J jnl
A Computer Search for N1L-Configurations
CoRR
Martin Dowd
1998 J jnl
Faster column operations in star networks.
Telecommun. Syst.
Nader Bagherzadeh, Martin Dowd, Shahram Latifi
1996 — conf
Average distance and routing algorithms in the star-connected cycles interconnection network.
SPDP
Marcelo M. de Azevedo, Nader Bagherzadeh, Martin Dowd, Shahram Latifi
1996 J jnl
Embedding an Arbitrary Binary Tree into the Star Graph.
IEEE Trans. Computers
Nader Bagherzadeh, Martin Dowd, Nayla Nassif
1996 J jnl
Some Topological Properties of Star Connected Cycles.
Inf. Process. Lett.
Marcelo M. de Azevedo, Nader Bagherzadeh, Martin Dowd, Shahram Latifi
1995 J jnl
A Well-Behaved Enumeration of Star Graphs.
IEEE Trans. Parallel Distributed Syst.
Nader Bagherzadeh, Martin Dowd, Shahram Latifi
1993 J jnl
Higher Type Categories.
Math. Log. Q.
Martin Dowd
1993 J jnl
Remarks on Levy's Reflection Axiom.
Math. Log. Q.
Martin Dowd
1992 J jnl
Generic Oracles, Uniform Machines, and Codes
Inf. Comput.
Martin Dowd
1991 J jnl
An Integer Program for Codes.
SIAM J. Discret. Math.
Martin Dowd
1991 J jnl
Erratum: An Integer Program for Codes.
SIAM J. Discret. Math.
Martin Dowd
1989 J jnl
An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment.
Math. Log. Q.
Martin Dowd
1989 J jnl
The periodic balanced sorting network.
J. ACM
Martin Dowd, Yehoshua Perl, Larry Rudolph, Michael E. Saks
1988 J jnl
An example RISC vector machine architecture.
SIGARCH Comput. Archit. News
Martin Dowd
1988 J jnl
Questions Related to the Erdös-Turan Conjecture.
SIAM J. Discret. Math.
Martin Dowd
1988 J jnl
RISC vector CPU's and crossbars in desktops.
SIGARCH Comput. Archit. News
Martin Dowd
1987 J jnl
An example RISC vector machine architecture.
SIGARCH Comput. Archit. News
Martin Dowd
1984 J jnl
On the Structure of Armstrong Relations for Functional Dependencies.
J. ACM
Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman
1983 A* conf
The Balanced Sorting Network.
PODC
Martin Dowd, Yehoshua Perl, Michael E. Saks
1979 — —
Propositional representation of arithmetic proofs.
Martin Dowd
1978 A* conf
Propositional Representation of Arithmetic Proofs (Preliminary Version)
STOC
Martin Dowd