Elxsi (now Tata Elxsi) was a minicomputer manufacturing company established in the late 1970s along with a host of other competitors (Trilogy Systemsâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

1992

1992

- Li Dafa
- LPAR
- 1992

Abs t rac t . Our theorem proving system can construct the proofs of logic formulas with quantifiers in a natural deduction styleâ€¦Â (More)

Is this relevant?

1989

1989

- Dale Callahan
- C3P
- 1989

Some interesting physical properties of solid <supscrpt>3</supscrpt>He are described and the physical observable calculated usingâ€¦Â (More)

Is this relevant?

1988

1988

- Alan H. Karp, Robert G. Babb
- IEEE Software
- 1988

A simple program that approximates pi by numerical quadrature is rewritten to run on nine commercially available processors toâ€¦Â (More)

Is this relevant?

1988

1988

- Robert E. Benner
- Digest of Papers. COMPCON Spring 88 Thirty-Thirdâ€¦
- 1988

Direct solution methods based on Gauss elimination and its variants are considered. These are of particular interest because theyâ€¦Â (More)

Is this relevant?

Review

1988

Review

1988

This paper compares eight commercial parallel processors along several dimensions. The processors include four shared-busâ€¦Â (More)

Is this relevant?

1986

1985

1985

- John Sanguinetti, B. Kumar
- Computer
- 1985

A message-based multiprocessor can yield linear or better performance when CPUs are added to it. M ultiprocessor computers haveâ€¦Â (More)

Is this relevant?

1985

1985

- Robert Olson
- IEEE Software
- 1985

As originally designed, the ELXSI System 6400 used messages to achieve parallelism. Shared-memory capabilities were added laterâ€¦Â (More)

Is this relevant?

1983

1983

- George S. Taylor
- 1983 IEEE 6th Symposium on Computer Arithmeticâ€¦
- 1983

The ELXSI System 6400 is a new 64-bit general-purpose mainframe computer [1]. This paper decribes its arithmetic instruction setâ€¦Â (More)

Is this relevant?