leff@smu.UUCP (Laurence Leff) (06/07/89)
California Institute of Technology
Computer Science Department, 256-80
Pasadena, CA 91125
Technical Reports
Spring 1989
Prices include postage and help to defray our printing and mailing costs.
Publication Order Form
To order reports fill out the last page of this publication form.
Prepayment is required for all materials. Purchase orders will not be
accepted. All foreign orders must be paid by international money order
or by check drawn on a U.S. bank in U.S. currency, payable to CALTECH.
CS-TR-89-07 $6.00 Constraint Methods for Neural Networks and Computer
Graphics, PhD Thesis
Platt, John
CS-TR-89-06 $1.00 The First Asynchronous Microprocessor: The Test Results
Martin, Alain J, Steven M Burns, T K Lee, Drazen
Borkovic, and Pieter J Hazewindus
CS-TR-89-05 $2.00 The Essence of Distributed Snapshots
Chandy, K. Mani
CS-TR-89-04 $5.00 Submicron Systems Architecture Project
ARPA Semiannual Technical Report
CS-TR-89-03 $3.00 Feature-oriented Image Enhancement with Shock Filters, I
Rudin, Leonid I with Stanley Osher
CS-TR-89-02 $3.00 Design of an Asynchronous Microprocessor
Martin, Alain J
CS-TR-89-01 $4.00 Programming in VLSI From Communicating Processes to
Delay-insensitive Circuits,
Martin, Alain J
CS-TR-88-22 $2.00 Variants of the Chandy-Misra-Bryant Distributed
Discrete-Event Simulation Algorithm,
Su, Wen-King and Charles L Seitz
CS-TR-88-21 $3.00 Winner-Take-All Networks of O(N) Complexity,
Lazzaro, John, with S Ryckebusch, M A Mahowald and C A
Mead
CS-TR-88-20 $7.00 Neural Network Design and the Complexity of Learning,
Judd, J Stephen
CS-TR-88-19 $5.00 Controlling Rigid Bodies with Dynamic Constraints,
Barzel, Ronen
CS-TR-88-18 $3.00 Submicron Systems Architecture Project,
ARPA Semiannual Technical Report
CS-TR-88-17 $3.00 Constrained Differential Optimization for Neural
Networks,
Platt, John C and Alan H Barr
CS-TR-88-16 $3.00 Programming Parallel Computers,
Chandy, K Mani
CS-TR-88-15 $13.00 Applications of Surface Networks to Sampling Problems in
Computer Graphics, PhD Thesis
Von Herzen, Brian
CS-TR-88-14 $2.00 Syntax-directed Translation of Concurrent Programs into
Self-timed Circuits
Burns, Steven M and Alain J Martin
CS-TR-88-13 $2.00 A Message-Passing Model for Highly Concurrent
Computation,
Martin, Alain J
CS-TR-88-12 $4.00 A Comparison of Strict and Non-strict Semantics for
Lists, MS Thesis
Burch, Jerry R
CS-TR-88-11 $5.00 A Study of Fine-Grain Programming Using Cantor, MS Thesis
Boden, Nanette J
CS-TR-88-10 $3.00 The Reactive Kernel, MS Thesis
Seizovic, Jacov
CS-TR-88-07 $3.00 The Hexagonal Resistive Network and the Circular
Approximation,
Feinstein, David I
CS-TR-88-06 $3.00 Theorems on Computations of Distributed Systems,
Chandy, K Mani
CS-TR-88-05 $3.00 Submicron Systems Architecture
ARPA Semiannual Technical Report
CS-TR-88-04 $3.00 Cochlear Hydrodynamics Demystified
Lyon, Richard F and Carver A Mead
CS-TR-88-03 $4.00 PS: Polygon Streams: A Distributed Architecture for
Incremental Computation Applied to Graphics,
MS Thesis
Gupta, Rajiv
CS-TR-88-02 $4.00 Automated Compilation of Concurrent Programs into
Self-timed Circuits, MS Thesis
Steven M Burns
CS-TR-88-01 $3.00 C Programmer's Abbreviated Guide to Multicomputer
Programming,
Seitz, Charles, Jakov Seizovic and Wen-King Su
5258:TR:88 $3.00 Submicron Systems Architecture
ARPA Semiannual Technical Report
5256:TR:87 $2.00 Synthesis Method for Self-timed VLSI Circuits,
Martin, Alain
current supply only: see Proc. ICCD'87: 1987 IEEE Int'l.
Conf. on Computer Design, 224-229, Oct'87
5253:TR:88 $2.00 Synthesis of Self-Timed Circuits by Program
Transformation,
Burns, Steven M and Alain J Martin
5251:TR:87 $2.00 Conditional Knowledge as a Basis for Distributed
Simulation,
Chandy, K. Mani and Jay Misra
5250:TR:87 $10.00 Images, Numerical Analysis of Singularities and Shock
Filters, PhD Thesis
Rudin, Leonid Iakov
5249:TR:87 $6.00 Logic from Programming Language Semantics, PhD Thesis
Choo, Young-il
5247:TR:87 $6.00 VLSI Concurrent Computation for Music Synthesis, PhD
Thesis
Wawrzynek, John
5246:TR:87 $3.00 Framework for Adaptive Routing
Ngai, John Y and Charles L. Seitz
5244:TR:87 $3.00 Multicomputers
Athas, William C and Charles L Seitz
5243:TR:87 $5.00 Resource-Bounded Category and Measure in Exponential
Complexity Classes, PhD Thesis
Lutz, Jack H
5242:TR:87 $8.00 Fine Grain Concurrent Computations, PhD Thesis
Athas, William C.
5241:TR:87 $3.00 VLSI Mesh Routing Systems, MS Thesis
Flaig, Charles M
5240:TR:87 $2.00 Submicron Systems Architecture
ARPA Semiannual Technical Report
5239:TR:87 $3.00 Trace Theory and Systolic Computations
Rem, Martin
5238:TR:87 $7.00 Incorporating Time in the New World of Computing System,
MS Thesis
Poh, Hean Lee
5236:TR:86 $4.00 Approach to Concurrent Semantics Using Complete Traces,
MS Thesis
Van Horn, Kevin S.
5235:TR:86 $4.00 Submicron Systems Architecture
ARPA Semiannual Technical Report
5234:TR:86 $3.00 High Performance Implementation of Prolog
Newton, Michael O
5233:TR:86 $3.00 Some Results on Kolmogorov-Chaitin Complexity, MS Thesis
Schweizer, David Lawrence
5232:TR:86 $4.00 Cantor User Report
Athas, W.C. and C. L. Seitz
5230:TR:86 $24.00 Monte Carlo Methods for 2-D Compaction, PhD Thesis
Mosteller, R.C.
5229:TR:86 $4.00 anaLOG - A Functional Simulator for VLSI Neural Systems,
MS Thesis
Lazzaro, John
5228:TR:86 $3.00 On Performance of k-ary n-cube Interconection Networks,
Dally, Wm. J
5227:TR:86 $18.00 Parallel Execution Model for Logic Programming, PhD
Thesis
Li, Pey-yun Peggy
5223:TR:86 $15.00 Integrated Optical Motion Detection, PhD Thesis
Tanner, John E.
5221:TR:86 $3.00 Sync Model: A Parallel Execution Method for Logic
Programming
Li, Pey-yun Peggy and Alain J. Martin
current supply only: see Proc SLP'86 3rd IEEE Symp on
Logic Programming Sept '86
5220:TR:86 $4.00 Submicron Systems Architecture
ARPA Semiannual Technical Report
5215:TR:86 $2.00 How to Get a Large Natural Language System into a
Personal Computer,
Thompson, Bozena H. and Frederick B. Thompson
5214:TR:86 $2.00 ASK is Transportable in Half a Dozen Ways,
Thompson, Bozena H. and Frederick B. Thompson
5212:TR:86 $2.00 On Seitz' Arbiter,
Martin, Alain J
5210:TR:86 $2.00 Compiling Communicating Processes into Delay-Insensitive
VLSI Circuits,
Martin, Alain
current supply only: see Distributed Computing v 1 no 4
(1986)
5207:TR:86 $2.00 Complete and Infinite Traces: A Descriptive Model of
Computing Agents,
van Horn, Kevin
5205:TR:85 $2.00 Two Theorems on Time Bounded Kolmogrov-Chaitin
Complexity,
Schweizer, David and Yaser Abu-Mostafa
5204:TR:85 $3.00 An Inverse Limit Construction of a Domain of Infinite
Lists,
Choo, Young-Il
5202:TR:85 $15.00 Submicron Systems Architecture,
ARPA Semiannual Technical Report
5200:TR:85 $18.00 ANIMAC: A Multiprocessor Architecture for Real-Time
Computer Animation, PhD thesis
Whelan, Dan
5198:TR:85 $8.00 Neural Networks, Pattern Recognition and Fingerprint
Hallucination, PhD thesis
Mjolsness, Eric
5197:TR:85 $7.00 Sequential Threshold Circuits, MS thesis
Platt, John
5195:TR:85 $3.00 New Generalization of Dekker's Algorithm for Mutual
Exclusion,
Martin, Alain J
current supply only: see Information Processing Letters,
23, 295-297 (1986)
5194:TR:85 $5.00 Sneptree - A Versatile Interconnection Network,
Li, Pey-yun Peggy and Alain J Martin
5193:TR:85 $2.00 Delay-insensitive Fair Arbiter
Martin, Alain J
5190:TR:85 $3.00 Concurrency Algebra and Petri Nets,
Choo, Young-il
5189:TR:85 $10.00 Hierarchical Composition of VLSI Circuits, PhD Thesis
Whitney, Telle
5185:TR:85 $11.00 Combining Computation with Geometry, PhD Thesis
Lien, Sheue-Ling
5184:TR:85 $7.00 Placement of Communicating Processes on Multiprocessor
Networks, MS Thesis
Steele, Craig
5179:TR:85 $3.00 Sampling Deformed, Intersecting Surfaces with Quadtrees,
MS Thesis,
Von Herzen, Brian P.
5178:TR:85 $9.00 Submicron Systems Architecture,
ARPA Semiannual Technical Report
5174:TR:85 $7.00 Balanced Cube: A Concurrent Data Structure,
Dally, William J and Charles L Seitz
5172:TR:85 $6.00 Combined Logical and Functional Programming Language,
Newton, Michael
5168:TR:84 $3.00 Object Oriented Architecture,
Dally, Bill and Jim Kajiya
5165:TR:84 $4.00 Customizing One's Own Interface Using English as Primary
Language,
Thompson, B H and Frederick B Thompson
5164:TR:84 $13.00 ASK French - A French Natural Language Syntax, MS Thesis
Sanouillet, Remy
5160:TR:84 $7.00 Submicron Systems Architecture,
ARPA Semiannual Technical Report
5158:TR:84 $6.00 VLSI Architecture for Sound Synthesis,
Wawrzynek, John and Carver Mead
5157:TR:84 $15.00 Bit-Serial Reed-Solomon Decoders in VLSI, PhD Thesis
Whiting, Douglas
5147:TR:84 $4.00 Networks of Machines for Distributed Recursive
Computations,
Martin, Alain and Jan van de Snepscheut
5143:TR:84 $5.00 General Interconnect Problem, MS Thesis
Ngai, John
5140:TR:84 $5.00 Hierarchy of Graph Isomorphism Testing, MS Thesis
Chen, Wen-Chi
5139:TR:84 $4.00 HEX: A Hierarchical Circuit Extractor, MS Thesis
Oyang, Yen-Jen
5137:TR:84 $7.00 Dialogue Designing Dialogue System, PhD Thesis
Ho, Tai-Ping
5136:TR:84 $5.00 Heterogeneous Data Base Access, PhD Thesis
Papachristidis, Alex
5135:TR:84 $7.00 Toward Concurrent Arithmetic, MS Thesis
Chiang, Chao-Lin
5134:TR:84 $2.00 Using Logic Programming for Compiling APL, MS Thesis
Derby, Howard
5133:TR:84 $13.00 Hierarchical Timing Simulation Model for Digital
Integrated Circuits and Systems, PhD Thesis
Lin, Tzu-mu
5132:TR:84 $10.00 Switch Level Fault Simulation of MOS Digital Circuits, MS
Thesis
Schuster, Mike
5129:TR:84 $5.00 Design of the MOSAIC Processor, MS Thesis
Lutz, Chris
5128:TM:84 $3.00 Linguistic Analysis of Natural Language Communication
with Computers,
Thompson, Bozena H
5125:TR:84 $6.00 Supermesh, MS Thesis
Su, Wen-king
5123:TR:84 $14.00 Mossim Simulation Engine Architecture and Design,
Dally, Bill
5122:TR:84 $8.00 Submicron Systems Architecture,
ARPA Semiannual Technical Report
5114:TM:84 $3.00 ASK As Window to the World,
Thompson, Bozena, and Fred Thompson
5112:TR:83 $22.00 Parallel Machines for Computer Graphics, PhD Thesis
Ulner, Michael
5106:TM:83 $1.00 Ray Tracing Parametric Patches,
Kajiya, James T
5104:TR:83 $9.00 Graph Model and the Embedding of MOS Circuits, MS Thesis
Ng, Tak-Kwong
5094:TR:83 $2.00 Stochastic Estimation of Channel Routing Track Demand,
Ngai, John
5092:TM:83 $2.00 Residue Arithmetic and VLSI,
Chiang, Chao-Lin and Lennart Johnsson
5091:TR:83 $2.00 Race Detection in MOS Circuits by Ternary Simulation,
Bryant, Randal E
5090:TR:83 $9.00 Space-Time Algorithms: Semantics and Methodology, PhD
Thesis
Chen, Marina Chien-mei
5089:TR:83 $10.00 Signal Delay in General RC Networks with Application to
Timing Simulation of Digital
Integrated Circuits,
Lin, Tzu-Mu and Carver A Mead
5086:TR:83 $4.00 VLSI Combinator Reduction Engine, MS Thesis
Athas, William C Jr
5082:TR:83 $10.00 Hardware Support for Advanced Data Management Systems,
PhD Thesis
Neches, Philip
5081:TR:83 $4.00 RTsim - A Register Transfer Simulator, MS Thesis
Lam, Jimmy
current supply only: see Acta Informatica 20, 301-313,
(1983)
5074:TR:83 $10.00 Robust Sentence Analysis and Habitability,
Trawick, David
5073:TR:83 $12.00 Automated Performance Optimization of Custom Integrated
Circuits, PhD Thesis
Trimberger, Steve
5065:TR:82 $3.00 Switch Level Model and Simulator for MOS Digital Systems,
Bryant, Randal E
5054:TM:82 $3.00 Introducing ASK, A Simple Knowledgeable System, Conf on
App'l Natural Language Processing
Thompson, Bozena H and Frederick B Thompson
5051:TM:82 $2.00 Knowledgeable Contexts for User Interaction, Proc Nat'l
Computer Conference
Thompson, Bozena, Frederick B Thompson, and Tai-Ping Ho
5035:TR:82 $9.00 Type Inference in a Declarationless, Object-Oriented
Language, MS Thesis
Holstege, Eric
5034:TR:82 $12.00 Hybrid Processing, PhD Thesis
Carroll, Chris
5033:TR:82 $4.00 MOSSIM II: A Switch-Level Simulator for MOS LSI User's
Manual,
Schuster, Mike, Randal Bryant and Doug Whiting
5029:TM:82 $4.00 POOH User's Manual,
Whitney, Telle
5018:TM:82 $2.00 Filtering High Quality Text for Display on Raster Scan
Devices,
Kajiya, Jim and Mike Ullner
5017:TM:82 $2.00 Ray Tracing Parametric Patches,
Kajiya, Jim
5015:TR:82 $15.00 VLSI Computational Structures Applied to Fingerprint
Image Analysis,
Megdal, Barry
5014:TR:82 $15.00 Extension of Object-Oriented Languages to a Homogeneous,
Concurrent Architecture, PhD Thesis
Lang, Charles R Jr
5012:TM:82 $2.00 Switch-Level Modeling of MOS Digital Circuits,
Bryant, Randal
5000:TR:82 $6.00 Self-Timed Chip Set for Multiprocessor Communication, MS
Thesis
Whiting, Douglas
4684:TR:82 $3.00 Characterization of Deadlock Free Resource Contentions,
Chen, Marina, Martin Rem, and Ronald Graham
4655:TR:81 $20.00 Proc Second Caltech Conf on VLSI,
Seitz, Charles, ed.
3760:TR:80 $10.00 Tree Machine: A Highly Concurrent Computing Environment,
PhD Thesis
Browning, Sally
3759:TR:80 $10.00 Homogeneous Machine, PhD Thesis
Locanthi, Bart
3710:TR:80 $10.00 Understanding Hierarchical Design, PhD Thesis
Rowson, James
3340:TR:79 $26.00 Proc. Caltech Conference on VLSI (1979),
Seitz, Charles, ed
2276:TM:78 $12.00 Language Processor and a Sample Language,
Ayres, Ron
Caltech Computer Science Technical Reports
Please fill in your name, address and amount enclosed below:
Name__________________________________________________________________________
Address_______________________________________________________________________
City_______________________ State_________ Zip_________ Country_______________
Amount enclosed $ ____________________________________________________________
______Please check here if you wish to be included on our mailing list.
______Please check here for any change of address.
______Please check here if you would prefer to have future publications lists
sent to your e-mail address. E-mail address:__________________________
Return form to: Computer Science Library, 256-80, Caltech, Pasadena, CA 91125
_____89-07 _____88-05 _____5234 _____5194 _____5135 _____5073
_____89-06 _____88-04 _____5233 _____5193 _____5134 _____5065
_____89-05 _____88-03 _____5232 _____5190 _____5133 _____5054
_____89-04 _____88-02 _____5230 _____5189 _____5132 _____5051
_____89-03 _____88-01 _____5229 _____5185 _____5129 _____5035
_____89-02 _____5258 _____5228 _____5184 _____5128 _____5034
_____89-01 _____5256 _____5227 _____5179 _____5125 _____5033
_____88-22 _____5253 _____5223 _____5178 _____5123 _____5029
_____88-21 _____5251 _____5221 _____5174 _____5122 _____5018
_____88-20 _____5250 _____5220 _____5172 _____5114 _____5017
_____88-19 _____5249 _____5215 _____5168 _____5112 _____5015
_____88-18 _____5247 _____5214 _____5165 _____5106 _____5014
_____88-17 _____5246 _____5212 _____5164 _____5104 _____5012
_____88-16 _____5244 _____5210 _____5160 _____5094 _____5000
_____88-15 _____5243 _____5207 _____5158 _____5092 _____4684
_____88-14 _____5242 _____5205 _____5157 _____5091 _____4655
_____88-13 _____5241 _____5204 _____5147 _____5090 _____3760
_____88-12 _____5240 _____5202 _____5143 _____5089 _____3759
_____88-11 _____5239 _____5200 _____5140 _____5086 _____3710
_____88-10 _____5238 _____5198 _____5139 _____5082 _____3340
_____88-07 _____5236 _____5197 _____5137 _____5081 _____2276
_____88-06 _____5235 _____5195 _____5136 _____5074