메뉴 건너뛰기




Volumn 37, Issue 12, 1994, Pages 85-96

Science, Computational Science, and Computer Science: At a Crossroads

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; LAWS AND LEGISLATION; SOFTWARE ENGINEERING; TECHNOLOGY;

EID: 0028743594     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/198366.198386     Document Type: Article
Times cited : (16)

References (22)
  • 2
    • 0039713931 scopus 로고
    • Semantic construction of intuitionistic logic
    • Beth, K.W. Semantic construction of intuitionistic logic. Kon. Ned. Ak. Wet. 19 (1956), 257-388.
    • (1956) Kon. Ned. Ak. Wet. , vol.19 , pp. 257-388
    • Beth, K.W.1
  • 4
    • 0003781308 scopus 로고
    • Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, England
    • Chaitin, G.J. Algorithmic Information Theory. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, England, 1987.
    • (1987) Algorithmic Information Theory
    • Chaitin, G.J.1
  • 7
    • 2742583598 scopus 로고
    • National Science Foundation, Computer and Information Science and Engineering Directorate, Washington, D.C., May be obtained via email through pubs@note.nsf.gov
    • Federal Coordinating Council for Science, Engineering and Technology. Grand Challenges 1993: High Performance Computing and Communications. National Science Foundation, Computer and Information Science and Engineering Directorate, Washington, D.C., 1993. May be obtained via email through pubs@note.nsf.gov.
    • (1993) Grand Challenges 1993: High Performance Computing and Communications
  • 8
    • 1542688803 scopus 로고
    • Future research directions in problem solving environments for computational science
    • Tech. Rep., Center for Supercomputing Research and Development, University of Illinois
    • Gallopoulos, E., Houstis, E., and Rice, J.R. Future research directions in problem solving environments for computational science. Tech. Rep., Center for Supercomputing Research and Development, University of Illinois, 1991.
    • (1991)
    • Gallopoulos, E.1    Houstis, E.2    Rice, J.R.3
  • 13
    • 84976771182 scopus 로고
    • Princeton University Press, Princeton, N.J.
    • Krommes, J. FWEB User's Guide. Princeton University Press, Princeton, N.J., 1991.
    • (1991) FWEB User's Guide
    • Krommes, J.1
  • 14
    • 0004401969 scopus 로고
    • Software support for parallel computing: Where are we headed?
    • (Nov.)
    • Pancake, C.M. Software support for parallel computing: Where are we headed? Commun. ACM 34, 11 (Nov. 1991), 53-64.
    • (1991) Commun. ACM , vol.34 , Issue.11 , pp. 53-64
    • Pancake, C.M.1
  • 18
    • 0003706460 scopus 로고
    • May
    • Society for Industrial and Applied Mathematics. LAPACK Users' Guide, May 1992.
    • (1992) LAPACK Users' Guide
  • 19
    • 0342834695 scopus 로고
    • An annotated bibliography of literate programming
    • (Jan.)
    • Smith, L.M.C., and Samadzadeh, M.H. An annotated bibliography of literate programming. ACM SIGPLAN Not. 26, 1 (Jan. 1991).
    • (1991) ACM SIGPLAN Not , vol.26 , pp. 1
    • Smith, L.M.C.1    Samadzadeh, M.H.2
  • 20
    • 0025535873 scopus 로고
    • Experiences in building the Clemson computational science program
    • ACM, New York
    • Stevenson, D.E., and Panoff, R.M. Experiences in building the Clemson computational science program. In Proceedings of Supercomputing '90. ACM, New York, 1990.
    • (1990) Proceedings of Supercomputing '90
    • Stevenson, D.E.1    Panoff, R.M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.