MFLLL002@VE.BOGECN.EDU (03/22/91)
From: (Nancy Zachariasen)
nancy@csvax.cs.caltech.edu OU=VE-GW ON=BITNET
Subj: Caltech CS technical report list
California Institute of Technology
Computer Science Department, 256-80
Pasadena CA 91125
Technical Reports
Mar 13 1991
Prices include postage and help to defrayour 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 for a
minimum of $50.00 drawn on a U.S. bank in U.S. currency, payable to CALTECH.
CS-TR-90-15 $7.00 A Unified Framework for Constraint-based Modeling, PhD
Thesis.
Devendra Kalra
CS-TR-90-14 $3.00 Submicron Systems Architecture Project.
DARPA Semiannual Technical Report
CS-TR-90-13 $3.50 Weakest Preconditions for Progress.
Lukkien, Johan J, and Jan L A van de Snepscheut
CS-TR-90-12 $2.50 Performance Analysis and Optimization of Asynchronous
Circ. Produced by Martin Analysis.
Burns, Steven
CS-TR-90-11 $2.00 Characterizing {sl NP} and Measuring Instance Complexity.
Judd, Stephen
CS-TR-90-10 $5.00 Primer for Program Composition Notation.
Chandy, K Mani, and Stephen Taylor
CS-TR-90-09 $2.00 Asynchronous Circuits for Token-Ring Mutual Exclusion.
Martin, Alain J
CS-TR-90-07 $2.00 Compiler Optimization of Array Data Storage.
Gupta, Rajiv, and Jim Kajiya
CS-TR-90-06 $2.00 Distributed Sorting.
Hofstee, H Peter, Alain J Martin, and Jan van de Snep-
scheut
CS-TR-90-05 $3.00 Submicron Systems Architecture.
ARPA Semiannual Technical Report
CS-TR-90-03 $3.00 Program Composition Project.
Chandy, K Mani, with Stephen Taylor, Carl Kesselman, and
Ian Foster
CS-TR-90-02 $2.00 Limitations to Delay-Insensitivity in Asynchronous Cir-
cuits.
Martin, Alain J
CS-TR-90-01 $3.00 Properties of the V-C Dimension, MS Thesis.
Fyfe, Andrew
CS-TR-89-12 $3.00 Submicron Systems Architecture.
ARPA Semiannual Technical Report
CS-TR-89-11 $9.00 Reactive-Process Programming and Distributed Discrete-
Event Simulation, PhD Thesis.
Su, Wen-King
CS-TR-89-10 $7.00 Silicon Models of Early Audition, PhD Thesis.
Lazarro, John
CS-TR-89-09 $15.00 Framework for Adaptive Routing in Multicomputer Networks,
PhD Thesis.
Ngai, John
CS-TR-89-07 $6.00 Constraint Methods for Neural Networks and Computer Graph-
ics, PhD Thesis.
Platt, John
CS-TR-89-06 $1.00 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 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 Message-Passing Model for Highly Concurrent Computation.
Martin, Alain J
CS-TR-88-12 $4.00 Comparison of Strict and Non-strict Semantics for Lists,
MS Thesis.
Burch, Jerry R
CS-TR-88-11 $5.00 Study of Fine-Grain Programming Using Cantor, MS Thesis.
Boden, Nanette J
CS-TR-88-10 $3.00 Reactive Kernel, MS Thesis.
Seizovic, Jacov
CS-TR-88-07 $3.00 Hexagonal Resistive Network and the Circular Approxima-
tion.
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 Incre-
mental 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.
Burns, Stephen M
CS-TR-88-01 $3.00 C Programmer's Abbreviated Guide to Multicomputer Program-
ming.
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 Transforma-
tion.
Burns, Steven M, and Alain J Martin
5251:TR:87 $2.00 Conditional Knowledge as a Basis for Distributed Simula-
tion.
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 Com-
plexity 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 Program-
ming.
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 Com-
puting 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 Com-
puter Animation, PhD Thesis.
Whelan, Dan
5198:TR:85 $8.00 Neural Networks, Pattern Recognition and Fingerprint Hal-
lucination, 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 Exclu-
sion.
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 Computa-
tions.
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 Integrat-
ed 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
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.
4090-TR-80 $3.00 VLSI Based Real-Time Hidden Surface Elimination Display
System, MS Thesis.
Demetrescu, Stefan G
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
--------------------------------------------------------------------------
Please PRINT 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 to: Computer Science Library, 256-80, Caltech, Pasadena CA 91125
--------------------------------------------------------------------------
__CS-TR-90-15 __CS-TR-88-16 ___5235:TR:86 ___5178:TR:85 ___5091:TR:83
__CS-TR-90-14 __CS-TR-88-15 ___5234:TR:86 ___5174:TR:85 ___5090:TR:83
__CS-TR-90-13 __CS-TR-88-14 ___5233:TR:86 ___5172:TR:85 ___5089:TR:83
__CS-TR-90-12 __CS-TR-88-13 ___5232:TR:86 ___5168:TR:84 ___5086:TR:83
__CS-TR-90-11 __CS-TR-88-12 ___5230:TR:86 ___5165:TR:84 ___5082:TR:83
__CS-TR-90-10 __CS-TR-88-11 ___5229:TR:86 ___5164:TR:84 ___5081:TR:83
__CS-TR-90-09 __CS-TR-88-10 ___5228:TR:86 ___5160:TR:84 ___5074:TR:83
__CS-TR-90-07 __CS-TR-88-07 ___5227:TR:86 ___5158:TR:84 ___5073:TR:83
__CS-TR-90-06 __CS-TR-88-06 ___5223:TR:86 ___5157:TR:84 ___5065:TR:82
__CS-TR-90-05 __CS-TR-88-05 ___5221:TR:86 ___5147:TR:84 ___5054:TM:82
__CS-TR-90-03 __CS-TR-88-04 ___5220:TR:86 ___5143:TR:84 ___5051:TM:82
__CS-TR-90-02 __CS-TR-88-03 ___5215:TR:86 ___5140:TR:84 ___5035:TR:82
__CS-TR-90-01 __CS-TR-88-02 ___5214:TR:86 ___5139:TR:84 ___5034:TR:82
__CS-TR-89-12 __CS-TR-88-01 ___5212:TR:86 ___5137:TR:84 ___5033:TR:82
__CS-TR-89-11 ___5258:TR:88 ___5210:TR:86 ___5136:TR:84 ___5029:TM:82
__CS-TR-89-10 ___5256:TR:87 ___5207:TR:86 ___5135:TR:84 ___5018:TM:82
__CS-TR-89-09 ___5253:TR:88 ___5205:TR:85 ___5134:TR:84 ___5017:TM:82
__CS-TR-89-07 ___5251:TR:87 ___5204:TR:85 ___5133:TR:84 ___5015:TR:82
__CS-TR-89-06 ___5250:TR:87 ___5202:TR:85 ___5132:TR:84 ___5014:TR:82
__CS-TR-89-05 ___5249:TR:87 ___5200:TR:85 ___5129:TR:84 ___5012:TM:82
__CS-TR-89-04 ___5247:TR:87 ___5198:TR:85 ___5128:TM:84 ___5000:TR:82
__CS-TR-89-03 ___5246:TR:87 ___5197:TR:85 ___5125:TR:84 ___4684:TR:82
__CS-TR-89-02 ___5244:TR:87 ___5195:TR:85 ___5123:TR:84 ___4655:TR:81
__CS-TR-89-01 ___5243:TR:87 ___5194:TR:85 ___5122:TR:84 ___4090-TR-80
__CS-TR-88-22 ___5242:TR:87 ___5193:TR:85 ___5114:TM:84 ___3760:TR:80
__CS-TR-88-21 ___5241:TR:87 ___5190:TR:85 ___5112:TR:83 ___3759:TR:80
__CS-TR-88-20 ___5240:TR:87 ___5189:TR:85 ___5106:TM:83 ___3710:TR:80
__CS-TR-88-19 ___5239:TR:87 ___5185:TR:85 ___5104:TR:83 ___3340:TR:79
__CS-TR-88-18 ___5238:TR:87 ___5184:TR:85 ___5094:TR:83 ___2276:TM:78
__CS-TR-88-17 ___5236:TR:86 ___5179:TR:85 ___5092:TM:83
** END OF MESSAGE **
Date: 1991-03-13 12:07:31
Msg-ID: RFC-822
9103131807.AA11043@csvax.cs.caltech.edu OU=VE-GW
ON=BITNET
To: mflll002
From: (Nancy Zachariasen)
nancy@csvax.cs.caltech.edu OU=VE-GW ON=BITNET
Subj: Caltech CS technical report list
------------ Letter Body Part 1 - Text ------------
RFC-822-HEADERS:
Return-Path: <nancy@csvax.cs.caltech.edu>
------------ Letter Body Part 2 - Text ------------
California Institute of Technology
Computer Science Department, 256-80
Pasadena CA 91125
Technical Reports
Mar 13 1991
Prices include postage and help to defrayour 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 for a
minimum of $50.00 drawn on a U.S. bank in U.S. currency, payable to CALTECH.
CS-TR-90-15 $7.00 A Unified Framework for Constraint-based Modeling, PhD
Thesis.
Devendra Kalra
CS-TR-90-14 $3.00 Submicron Systems Architecture Project.
DARPA Semiannual Technical Report
CS-TR-90-13 $3.50 Weakest Preconditions for Progress.
Lukkien, Johan J, and Jan L A van de Snepscheut
CS-TR-90-12 $2.50 Performance Analysis and Optimization of Asynchronous
Circ. Produced by Martin Analysis.
Burns, Steven
CS-TR-90-11 $2.00 Characterizing {sl NP} and Measuring Instance Complexity.
Judd, Stephen
CS-TR-90-10 $5.00 Primer for Program Composition Notation.
Chandy, K Mani, and Stephen Taylor
CS-TR-90-09 $2.00 Asynchronous Circuits for Token-Ring Mutual Exclusion.
Martin, Alain J
CS-TR-90-07 $2.00 Compiler Optimization of Array Data Storage.
Gupta, Rajiv, and Jim Kajiya
CS-TR-90-06 $2.00 Distributed Sorting.
Hofstee, H Peter, Alain J Martin, and Jan van de Snep-
scheut
CS-TR-90-05 $3.00 Submicron Systems Architecture.
ARPA Semiannual Technical Report
CS-TR-90-03 $3.00 Program Composition Project.
Chandy, K Mani, with Stephen Taylor, Carl Kesselman, and
Ian Foster
CS-TR-90-02 $2.00 Limitations to Delay-Insensitivity in Asynchronous Cir-
cuits.
Martin, Alain J
CS-TR-90-01 $3.00 Properties of the V-C Dimension, MS Thesis.
Fyfe, Andrew
CS-TR-89-12 $3.00 Submicron Systems Architecture.
ARPA Semiannual Technical Report
CS-TR-89-11 $9.00 Reactive-Process Programming and Distributed Discrete-
Event Simulation, PhD Thesis.
Su, Wen-King
CS-TR-89-10 $7.00 Silicon Models of Early Audition, PhD Thesis.
Lazarro, John
CS-TR-89-09 $15.00 Framework for Adaptive Routing in Multicomputer Networks,
PhD Thesis.
Ngai, John
CS-TR-89-07 $6.00 Constraint Methods for Neural Networks and Computer Graph-
ics, PhD Thesis.
Platt, John
CS-TR-89-06 $1.00 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 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 Message-Passing Model for Highly Concurrent Computation.
Martin, Alain J
CS-TR-88-12 $4.00 Comparison of Strict and Non-strict Semantics for Lists,
MS Thesis.
Burch, Jerry R
CS-TR-88-11 $5.00 Study of Fine-Grain Programming Using Cantor, MS Thesis.
Boden, Nanette J
CS-TR-88-10 $3.00 Reactive Kernel, MS Thesis.
Seizovic, Jacov
CS-TR-88-07 $3.00 Hexagonal Resistive Network and the Circular Approxima-
tion.
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 Incre-
mental 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.
Burns, Stephen M
CS-TR-88-01 $3.00 C Programmer's Abbreviated Guide to Multicomputer Program-
ming.
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 Transforma-
tion.
Burns, Steven M, and Alain J Martin
5251:TR:87 $2.00 Conditional Knowledge as a Basis for Distributed Simula-
tion.
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 Com-
plexity 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 Program-
ming.
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 Com-
puting 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 Com-
puter Animation, PhD Thesis.
Whelan, Dan
5198:TR:85 $8.00 Neural Networks, Pattern Recognition and Fingerprint Hal-
lucination, 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 Exclu-
sion.
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 Computa-
tions.
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 Integrat-
ed 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
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.
4090-TR-80 $3.00 VLSI Based Real-Time Hidden Surface Elimination Display
System, MS Thesis.
Demetrescu, Stefan G
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
--------------------------------------------------------------------------
Please PRINT 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 to: Computer Science Library, 256-80, Caltech, Pasadena CA 91125
--------------------------------------------------------------------------
__CS-TR-90-15 __CS-TR-88-16 ___5235:TR:86 ___5178:TR:85 ___5091:TR:83
__CS-TR-90-14 __CS-TR-88-15 ___5234:TR:86 ___5174:TR:85 ___5090:TR:83
__CS-TR-90-13 __CS-TR-88-14 ___5233:TR:86 ___5172:TR:85 ___5089:TR:83
__CS-TR-90-12 __CS-TR-88-13 ___5232:TR:86 ___5168:TR:84 ___5086:TR:83
__CS-TR-90-11 __CS-TR-88-12 ___5230:TR:86 ___5165:TR:84 ___5082:TR:83
__CS-TR-90-10 __CS-TR-88-11 ___5229:TR:86 ___5164:TR:84 ___5081:TR:83
__CS-TR-90-09 __CS-TR-88-10 ___5228:TR:86 ___5160:TR:84 ___5074:TR:83
__CS-TR-90-07 __CS-TR-88-07 ___5227:TR:86 ___5158:TR:84 ___5073:TR:83
__CS-TR-90-06 __CS-TR-88-06 ___5223:TR:86 ___5157:TR:84 ___5065:TR:82
__CS-TR-90-05 __CS-TR-88-05 ___5221:TR:86 ___5147:TR:84 ___5054:TM:82
__CS-TR-90-03 __CS-TR-88-04 ___5220:TR:86 ___5143:TR:84 ___5051:TM:82
__CS-TR-90-02 __CS-TR-88-03 ___5215:TR:86 ___5140:TR:84 ___5035:TR:82
__CS-TR-90-01 __CS-TR-88-02 ___5214:TR:86 ___5139:TR:84 ___5034:TR:82
__CS-TR-89-12 __CS-TR-88-01 ___5212:TR:86 ___5137:TR:84 ___5033:TR:82
__CS-TR-89-11 ___5258:TR:88 ___5210:TR:86 ___5136:TR:84 ___5029:TM:82
__CS-TR-89-10 ___5256:TR:87 ___5207:TR:86 ___5135:TR:84 ___5018:TM:82
__CS-TR-89-09 ___5253:TR:88 ___5205:TR:85 ___5134:TR:84 ___5017:TM:82
__CS-TR-89-07 ___5251:TR:87 ___5204:TR:85 ___5133:TR:84 ___5015:TR:82
__CS-TR-89-06 ___5250:TR:87 ___5202:TR:85 ___5132:TR:84 ___5014:TR:82
__CS-TR-89-05 ___5249:TR:87 ___5200:TR:85 ___5129:TR:84 ___5012:TM:82
__CS-TR-89-04 ___5247:TR:87 ___5198:TR:85 ___5128:TM:84 ___5000:TR:82
__CS-TR-89-03 ___5246:TR:87 ___5197:TR:85 ___5125:TR:84 ___4684:TR:82
__CS-TR-89-02 ___5244:TR:87 ___5195:TR:85 ___5123:TR:84 ___4655:TR:81
__CS-TR-89-01 ___5243:TR:87 ___5194:TR:85 ___5122:TR:84 ___4090-TR-80
__CS-TR-88-22 ___5242:TR:87 ___5193:TR:85 ___5114:TM:84 ___3760:TR:80
__CS-TR-88-21 ___5241:TR:87 ___5190:TR:85 ___5112:TR:83 ___3759:TR:80
__CS-TR-88-20 ___5240:TR:87 ___5189:TR:85 ___5106:TM:83 ___3710:TR:80
__CS-TR-88-19 ___5239:TR:87 ___5185:TR:85 ___5104:TR:83 ___3340:TR:79
__CS-TR-88-18 ___5238:TR:87 ___5184:TR:85 ___5094:TR:83 ___2276:TM:78
__CS-TR-88-17 ___5236:TR:86 ___5179:TR:85 ___5092:TM:83
** END OF MESSAGE **