Elxsi
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1992
1992
- 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
- 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
- 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
- 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
- CARN
- 1988
This paper compares eight commercial parallel processors along several dimensions. The processors include four shared-bus… (More)
Is this relevant?
1986
1985
1985
- 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
- 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
- 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?