[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
research-article

Software for Supercomputers

Published: 01 December 1988 Publication History

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.

References

[1]
1. "Scientific Supercomputer Committee Report," produced by the Scientific Supercomputer Subcommittee of the IEEE US Activities Board, Sidney Fernbach, Chair, Oct. 1983.
[2]
2. Supercomputing--An Informal Glossary of Terms, IEEE. 1111 19th Street, NW, Washington, DC, 1987.
[3]
3. Report of the Panel on Large Scale Computing in Science and Engineering, Peter D. Lax, Chair, National Science Foundation, Dec. 1982.
[4]
4. A National Computing Initiative: The Agenda for Leadership, produced under the auspices of the Federal Coordinating Council for Science, Engineering, and Technology (FCCSET), sponsored by NSF and DOE, and published by SIAM, Philadelphia, 1987.
[5]
5. "Software for High Performance Computers," prepared by the Subcommittee on Supercomputers of the Committee on Communications and Information Policy of the IEEE, Washington, DC, Dec. 1985.

Cited By

View all
  • (1992)Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector ComputersIEEE Transactions on Knowledge and Data Engineering10.1109/69.1669894:5(475-486)Online publication date: 1-Oct-1992
  • (1990)Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedureProceedings of the 1990 ACM/IEEE conference on Supercomputing10.5555/110382.110596(658-665)Online publication date: 12-Nov-1990
  • (1989)The Computer SpectrumComputer10.1109/2.4352722:11(57-68)Online publication date: 1-Nov-1989

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Computer
Computer  Volume 21, Issue 12
December 1988
102 pages
ISSN:0018-9162
Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 December 1988

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 11 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (1992)Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector ComputersIEEE Transactions on Knowledge and Data Engineering10.1109/69.1669894:5(475-486)Online publication date: 1-Oct-1992
  • (1990)Theorem proving in propositional logic on vector computers using a generalized Davis-Putnam procedureProceedings of the 1990 ACM/IEEE conference on Supercomputing10.5555/110382.110596(658-665)Online publication date: 12-Nov-1990
  • (1989)The Computer SpectrumComputer10.1109/2.4352722:11(57-68)Online publication date: 1-Nov-1989

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media