Computer Science

Drill, Practice, and Machine Learning

In T. Okamoto, K. Akahori, & S. Yokoyama (Eds.), Computer environments for children (pp. 21–40). Tokyo, Japan: Personal Media.

An intelligent CAI for geometry proof

Transactions of Information Processing Society of Japan, 29(3), 311–324.

Planning and Necessity

Proceedings of the 3rd Rocky Mountain Conference on Artificial Intelligence, 46–55. Denver.

Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators

[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science. Presented at the [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

Efficient Parallel Evaluation of Straight-Line Code and Arithmetic Circuits

SIAM Journal on Computing, 17(4), 687–695.

Greatest common divisors of polynomials given by straight-line programs

Journal of the ACM, 35(1), 231–264.

Dagwood: a system for manipulating polynomials given by straight-line programs

ACM Transactions on Mathematical Software, 14(3), 218–240.

Analysis of the binary complexity of asymptotically fast algorithms for linear system solving

ACM SIGSAM Bulletin, 22(2), 41–49.

A one-way linear array algorithm for the median filter

North Carolina State University. Center for Communications and Signal Processing.

A fault-tolerant communication system for the B-Hive generalized hypercube multiprocessor

Proceedings of the third conference on Hypercube concurrent computers and applications Architecture, software, computer systems, and general issues -. Presented at the the third conference.

A graph-oriented mapping strategy for a hypercube

Proceedings of the third conference on Hypercube concurrent computers and applications Architecture, software, computer systems, and general issues -. Presented at the the third conference.

Rapid prototyping of a parallel operating system for a generalized hypercube

Proceedings of the third conference on Hypercube concurrent computers and applications Architecture, software, computer systems, and general issues -. Presented at the the third conference.

A randomized parallel branch-and-bound algorithm

International Journal of Parallel Programming, 17(3), 277–301.

Performance effects of architectural complexity in the Intel 432

ACM Transactions on Computer Systems, 6(3), 296–339.

A survey of commercial parallel processors

ACM SIGARCH Computer Architecture News, 16(4), 75–107.

Performance prediction and calibration for a class of multiprocessors

IEEE Transactions on Computers, 37(11), 1353–1365.

File organization and processing

New York: J Wiley.

Coping with the information explosion in pharmacology: the Food Animal Residue Avoidance Databank

Proc. 6th Biennial Symp. Am. Acad. Vet. Pharmacol. Ther., 6, 82–82.