TY - CONF
T1 - HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973.
AU - Chang, Joon
AU - Flannery, W. D.
AU - Chu, Yui Choy
AU - Kwok, S. K.
AU - Wong, Pauline
AU - Goguen, J. A.
AU - Burkhard, W. A.
AU - Nunamaker, J. F.
AU - Nylin, W. C.
AU - Konsynski, Benn
AU - Ramchandani, Chander B.
AU - Lew, Art
AU - Jain, Nirmal
PY - 1973
Y1 - 1973
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85095888224&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85095888224&partnerID=8YFLogxK
M3 - Paper
AN - SCOPUS:85095888224
T2 - Hawaii Int Conf on Syst Sci, 6th, Proc
Y2 - 9 January 1973 through 11 January 1973
ER -