Computer Science Technical Reports

38 thesises

1987 · 1986 · 1985 · 1984 · 1983 · 1982 · 1981 · 1980 · 1979

1987

• Poh, Hean Lee — Incorporating Time in the New World of Computing Systems (Master's thesis)

1986

• Lazzaro, John Paul — anaLOG: A Functional Simulator for VLSI Neural Systems (Master's thesis)
• Schweizer, David Lawrence — Some Results on Kolmogorov-Chaitin Complexity (Master's thesis)

1985

• Platt, John Carlton — Sequential Threshold Circuits (Master's thesis)
• Steele, Craig Stanley — Placement of Communicating Processes on Multiprocessor Networks (Master's thesis)
• Whiting, Douglas Lee — Bit-Serial Reed-Solomon Decoders in VLSI (Dissertation (Ph.D.))

1984

• Chen, Wen-Chi — Hierarchy of Graph Isomorphism Testing (Master's thesis)
• Chiang, Chao-Lin — Towards Concurrent Arithmetic: Residue Arithmetic and VLSI (Master's thesis)
• Derby, Howard — Using Logic Programming for Compiling APL (Master's thesis)
• Lutz, Christopher — Design of the Mosaic Processor (Master's thesis)
• Ngai, John Yee-Keung — The General Interconnect Problem of Integrated Circuits (Master's thesis)
• Oyang, Yen-Jen — HEX: A Hierarchical Circuit Extractor (Master's thesis)
• Su, Wen-King — Supermesh (Master's thesis)

1983

• Athas, William C. — A VLSI Combinator Reduction Engine (Master's thesis)
• Choo, Young-il — Hierarchical Nets: A Structured Petri Net Approach to Concurrency (Master's thesis)
• Holstege, Eric John — Type Inference in a Declarationless, Object-Oriented Language (Master's thesis)
• Lam, Jimmy Kwok-Ching — RTsim: A Register Transfer Simulator (Master's thesis)
• Ng, Charles Hok-Bun — FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems (Master's thesis)
• Trawick, David James — Robust Sentence Analysis and Habitability (Dissertation (Ph.D.))

1982

• Kingsley, Christopher Hayden — EARL: An Integrated Circuit Design Language (Master's thesis)
• Lang, Charles Richard, Jr. — The Extension of Object-Oriented Languages to a Homogeneous, Concurrent Architecture (Dissertation (Ph.D.))
• Whiting, Douglas Lee — A Self-Timed Chip Set for Microprocessor Communication (Master's thesis)

1981

• Gray, Moshe — The Design and Implementation of a Reticle Maker for VLSI (Master's thesis)
• Johannsen, David Lawrence — Silicon Compilation (Dissertation (Ph.D.))
• Lien, Sheue-Ling C. — Toward a Theorem Proving Architecture (Master's thesis)
• Lin, Tzu-Mu — From Geometry to Logic (Master's thesis)
• Mosteller, Richard Craig — REST: A Leaf Cell Design System (Master's thesis)
• Ségal, Richard Lawrence — Structure, Placement and Modelling (Master's thesis)
• Whelan, Daniel Steven — A Versatile Ethernet Interface (Master's thesis)
• Whitney, Telle — A Hierarchical Design Rule Checker (Master's thesis)

1980

• Barton, Anthony Francis — A Fault Tolerant Integrated Circuit Memory (Dissertation (Ph.D.))
• Browning, Sally Anne — The Tree Machine: A Highly Concurrent Computing Environment (Dissertation (Ph.D.))
• Demetrescu, Stefan Gabriel — A VLSI Based Real-Time Hidden Surface Elimination Display System (Master's thesis)
• Hess, Gideon David — A Software Design System (Dissertation (Ph.D.))
• Lang, Charles Richard — Automated Wiring Analysis of Integrated Circuit Geometric Data (Master's thesis)
• Rowson, James Allely — Understanding Hierarchical Design (Dissertation (Ph.D.))
• Seiler, Larry Dean — A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer (Master's thesis)

1979

• Ayres, Ronald Frederick — A Language Processor and a Sample Language (Dissertation (Ph.D.))