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: ResearchChapter

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.

LanguageEnglish (US)
Title of host publicationUnknown Host Publication Title
StatePublished - 1800
Externally publishedYes
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

Fingerprint

Systems science
Semantics
ALGOL (programming language)
Biocybernetics
Pattern recognition systems
Cache memory
Information theory
System theory
Ecology
Computer science
Large scale systems
Analytical models
Computer systems
Data storage equipment

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Chang, J., Flannery, W. D., Chu, Y. C., Kwok, S. K., Wong, P., Goguen, J. A., ... Jain, N. (1800). HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973. In Unknown Host Publication Title

HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973. / Chang, Joon; Flannery, W. D.; Chu, Yui Choy; Kwok, S. K.; Wong, Pauline; Goguen, J. A.; Burkhard, W. A.; Nunamaker, J. F.; Nylin, W. C.; Konsynski, Benn; Ramchandani, Chander B.; Lew, Art; Jain, Nirmal.

Unknown Host Publication Title. 1800.

Research output: ResearchChapter

Chang, J, Flannery, WD, Chu, YC, Kwok, SK, Wong, P, Goguen, JA, Burkhard, WA, Nunamaker, JF, Nylin, WC, Konsynski, B, Ramchandani, CB, Lew, A & Jain, N 1800, HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973. in Unknown Host Publication Title. Hawaii Int Conf on Syst Sci, 6th, Proc, Honolulu, HI, Can, 1/9/73.
Chang J, Flannery WD, Chu YC, Kwok SK, Wong P, Goguen JA et al. HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973. In Unknown Host Publication Title. 1800.
Chang, Joon ; Flannery, W. D. ; Chu, Yui Choy ; Kwok, S. K. ; Wong, Pauline ; Goguen, J. A. ; Burkhard, W. A. ; Nunamaker, J. F. ; Nylin, W. C. ; Konsynski, Benn ; Ramchandani, Chander B. ; Lew, Art ; Jain, Nirmal. / HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 6TH, PROCEEDINGS, 1973.Unknown Host Publication Title. 1800.
@inbook{ddceccf8b2bd43a49844aa6d1514aeb9,
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 = "1800",
booktitle = "Unknown Host Publication Title",

}

TY - CHAP

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 - 1800

Y1 - 1800

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=0015942507&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0015942507&partnerID=8YFLogxK

M3 - Chapter

BT - Unknown Host Publication Title

ER -