Year: 1983

Number of records: 23.

Monograph

Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5075-tr-83]

Athas, William C. (1983) A VLSI Combinator Reduction Engine. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5086-tr-83]

Trimberger, Stephen (1983) Automated Performance Optimization of Custom Integrated Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5073-tr-83]

Lutz, Chris and Rabin, Steve and Seitz, Charles L. and Speck, Don (1983) Design of the Mosaic Element. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5093-tr-83]

Seitz, Charles L. (1983) Experiments with VLSI Ensemble Machines. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5102-tr-83]

Neches, Philip M. (1983) Hardware Support for Advanced Data Management Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5082-tr-83]

Papachristidis, Alexandros Christou (1983) Heterogeneous Database Access. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5136-tr-84]

Johnsson, Lennart (1983) Highly Concurrent Algorithms for Solving Linear Systems of Equations. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5079-tr-83]

Bryant, Randall and Schuster, Mike and Whiting, Doug (1983) MOSSIM II: A Switch-Level Simulator for MOS LSI User's Manual. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5033-tr-82]

Ullner, Michael K. (1983) Parallel Machines for Computer Graphics. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5112-tr-83]

Bryant, Randall E. (1983) Race Detection in MOS Circuits By Ternary Simulation. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5091-tr-83]

Chiang, Chao-Lin and Johnsson, Lennart (1983) Residue Arithmetic and VLSI. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5092-tr-83]

Trawick, David James (1983) Robust Sentence Analysis and Habitability. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5074-tr-83]

Lam, Jimmy (1983) RTsim: A register transfer simulator. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5081-tr-83]

Lin, Tzu-Mu and Mead, Carver A. (1983) Signal Delay in General RC Networks with Application to Timing Simulation of Digital Integrated Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5089-tr-83]

Chen, Marina Chien-mei (1983) Space-Time Algorithms: Semantics and Methodology. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5090-tr-83]

Seitz, Charles L. (1983) Submicron Systems Architecture Project: Semiannual Technial Report. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5103-tr-83]

Seitz, Charles L. (1983) Submicron Systems Architecture:Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5078-tr-83]

Bryant, Randal E. (1983) Switch-Level Model and Simulator for MOS Digital Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5065-tr-83]

DeBenedictis, Erik P. (1983) Techniques for Testing Integrated Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1982.4777-tr-82]

Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5097-tr-83]

Li, Pey-yun Peggy and Johnsson, Lennart (1983) The Tree Machine: An Evaluation of Strategies For Reducing Program Loading Time. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5084-tr-83]

Megdal, Barry Bruce (1983) VLSI Computational Structures Applied to Fingerprint Image Analysis. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5015-tr-83]

This list was generated on Thu Aug 21 00:32:05 PDT 2008.