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

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

Management Information Systems

Research output: Contribution to conference › Paper › peer-review

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 language	English (US)
State	Published - 1973
Event	Hawaii Int Conf on Syst Sci, 6th, Proc - Honolulu, HI, Can Duration: Jan 9 1973 → Jan 11 1973

Conference

Conference	Hawaii Int Conf on Syst Sci, 6th, Proc
City	Honolulu, HI, Can
Period	1/9/73 → 1/11/73

ASJC Scopus subject areas

General Engineering

Cite this

@conference{0fdbcd3098db48b29a8eaf4a7be4e4af,

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

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.",

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

year = "1973",

language = "English (US)",

note = "Hawaii Int Conf on Syst Sci, 6th, Proc ; Conference date: 09-01-1973 Through 11-01-1973",

}

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

T2 - Hawaii Int Conf on Syst Sci, 6th, Proc

Y2 - 9 January 1973 through 11 January 1973

ER -

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

Abstract

Conference

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this