Software for Supercomputers

Authors:
Computer Staff
Affiliations:
-
Venue:
Computer
Year:
1988

Citing 0
Cited 3

The Computer Spectrum: A Perspective on the Evolution of Computing

Computer
Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedure

Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers

IEEE Transactions on Knowledge and Data Engineering

Quantified Score

Hi-index	4.10

Visualization

Abstract

The United States Activities Board of the IEEE takes the position that the US must accelerate the development of advanced scientific computing capability. The subcommittee reiterates the position taken in their prior report and restates its belief that the government should pursue an active role. It further proposes an action agenda to enable the universities, the private sector, and the government to work together to ensure the United States' preeminence in supercomputers.