Analysis and design of interleaved memory systems

Thesis (M.S.)--Universty of Illinois at Urbana-Champaign.

A recursively defined ordering for proving termination of term rewriting systems /

NSF MCS 77-22830."

A specialized computer for information retrieval /

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign, 1974.

Orderings for term-rewriting systems /

"Research supported in part under NSF grant MCS 77-22830."

Further results regarding multiprocessor systems /

"NSF-OCA-MCS76-81686-000030."

Numerical systems on a minicomputer /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

Performance evaluation of multiprocessor systems /

"UILU-ENG 78 1702."

Algorithms for parsing search queries in inverted file document retrieval systems /

Includes bibliographical references.

A list merging processor for inverted file information retrieval systems /

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign.

Well-founded orderings for proving termination of systems of rewrite rules /

Bibliography: p. 34.

Block envelope solution of finite difference systems /

"November, 1975."--T.p.

CLEOPATRA-comprehensive language for elegant operating systems and translator design /

Mode of access: Internet.

Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications : computer vision, speech and natural language processing, and artificial intelligence /

Cover title.

Facilitating Realistic and Efficient Applications of Ab Initio Electronic Dynamics for Polyatomic Systems

Thesis (Ph.D.)--University of Washington, 2016-06

Educational Systems for Maximizing Learning Online and in the Classroom

Thesis (Ph.D.)--University of Washington, 2016-06