HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973.

Joon Chang, W. D. Flannery, Yui Choy Chu, S. K. Kwok, Pauline Wong, J. A. Goguen, W. A. Burkhard, J. F. Nunamaker, W. C. Nylin, Benn Konsynski, Chander B. Ramchandani, Art Lew, Nirmal Jain

Research output: Contribution to conferencePaper

Abstract

The 168 papers comprising this volume deal with a wide spectrum of topics including computer aids to program verification, mathematical ecology, time-varying and distributed parameter systems, pattern recognition techniques, computer software, optimal control, ultra-reliable computer systems, communication theory, identification, switching and automata, estimation and filtering, biocybernetics, large-scale systems, multi-user channels, graphs and networktracking, and aerospace systems technology. Following is a list of titles and authors: Semantics-Directed Interpreter. By Joon Chang. Some New Semantic Methods. By W. D. Flannery. ALGOL-60 Program Verification. By Yui-Choy Chu. Automatic Verification of Programs Written in CDC 6400 Assembly Language. By S. K. Kwok. FORTRAN-Program Verifier Written in FORTRAN. By Pauline Wong. System Theory Concepts in Computer Science. By J. A. Gougen. Full Table Quadratic Quotient Scatter Table Searching. By W. A. Burkhard. Automatic Program Module Design and Optimization. By J. F. Nunamaker Jr. , W. C. Nylin Jr. and Benn Konsynski. Analytical Model for Memory Contention in Cache Memory Multiprocessor Systems. By Chander B. Ramchandani. Note on Pagination and Replacement Policies. By Art Lew and Nirmal Jain.

Original languageEnglish (US)
StatePublished - Jan 1 2017
EventHawaii Int Conf on Syst Sci, 6th, Proc - Honolulu, HI, Can
Duration: Jan 9 1973Jan 11 1973

Other

OtherHawaii Int Conf on Syst Sci, 6th, Proc
CityHonolulu, HI, Can
Period1/9/731/11/73

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973.'. Together they form a unique fingerprint.

  • Cite this

    Chang, J., Flannery, W. D., Chu, Y. C., Kwok, S. K., Wong, P., Goguen, J. A., Burkhard, W. A., Nunamaker, J. F., Nylin, W. C., Konsynski, B., Ramchandani, C. B., Lew, A., & Jain, N. (2017). HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973.. Paper presented at Hawaii Int Conf on Syst Sci, 6th, Proc, Honolulu, HI, Can, .