<h1 id="computer-science-technical-reports"><a href="./">Computer
Science Technical Reports</a></h1>
<h2 id="section">(““)</h2>
<h3 id="monographs-from-caltechauthors">Monographs from <a
href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h3>
<ul>
<li>Martin, Alain J. (2014) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844">25
Years Ago: The First Asynchronous Microprocessor</a>; <a
href="https://doi.org/10.7907/Z9QR4V3H">10.7907/Z9QR4V3H</a></li>
<li>Keller, Sean; Bhargav, Siddharth S.; et al. (2014) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175">Quantifying
Near-Threshold CMOS Circuit Robustness</a>; <a
href="https://doi.org/10.7907/Z9M043CG">10.7907/Z9M043CG</a></li>
<li>Capponi, Agostino (2008) <a
href="https://resolver.caltech.edu/CaltechCSTR:2005.004">A convex
optimization approach to jump nonlinear systems</a>; <a
href="https://doi.org/10.7907/jef7h-4ev55">10.7907/jef7h-4ev55</a></li>
<li>Cui, Tao; Chen, Lijun; et al. (2007) <a
href="https://resolver.caltech.edu/CaltechCSTR:2007.003">Opportunistic
Source Coding for Data Gathering in Wireless Sensor Networks</a>; <a
href="https://doi.org/10.7907/Z9G73BP6">10.7907/Z9G73BP6</a></li>
<li>Cui, Tao; Chen, Lijun; et al. (2007) <a
href="https://resolver.caltech.edu/CaltechCSTR:2007.002">Distributed
Optimization in Wireless Networks Using Broadcast Advantage</a>; <a
href="https://doi.org/10.7907/Z9BK19BR">10.7907/Z9BK19BR</a></li>
<li>Tang, A. Kevin; Simsek, Alp; et al. (2006) <a
href="https://resolver.caltech.edu/CaltechCSTR:2006.005">On the
Stability of P-Matrices</a>; <a
href="https://doi.org/10.7907/Z96T0JNG">10.7907/Z96T0JNG</a></li>
<li>Li, Ling and Abu-Mostafa, Yaser S. (2006) <a
href="https://resolver.caltech.edu/CaltechCSTR:2006.004">Data complexity
in machine learning</a>; <a
href="https://doi.org/10.7907/Z9319SW2">10.7907/Z9319SW2</a></li>
<li>Capponi, Agostino; Chandy, Mani; et al. (2006) <a
href="https://resolver.caltech.edu/CaltechCSTR:2006.002">Predicate
Signaling in Distributed Sensor Networks</a>; <a
href="https://doi.org/10.7907/Z9Z899D5">10.7907/Z9Z899D5</a></li>
<li>Hickey, Jason and Nogin, Aleksey (2006) <a
href="https://resolver.caltech.edu/CaltechCSTR:2006.001">OMake:
Designing a Scalable Build Process</a>; <a
href="https://doi.org/10.7907/Z9TH8JPF">10.7907/Z9TH8JPF</a></li>
<li>Li, Ling (2005) <a
href="https://resolver.caltech.edu/CaltechCSTR:2005.006">Perceptron
learning with random coordinate descent</a>; <a
href="https://doi.org/10.7907/Z9PR7SZQ">10.7907/Z9PR7SZQ</a></li>
<li>Nogin, Aleksey; Kopylov, Alexei; et al. (2005) <a
href="https://resolver.caltech.edu/CaltechCSTR:2005.003">A Computational
Approach to Reflective Meta-Reasoning about Languages with Bindings</a>;
<a
href="https://doi.org/10.7907/1shys-d2n87">10.7907/1shys-d2n87</a></li>
<li>Tang, Ao; Wang, Jiantao; et al. (2005) <a
href="https://resolver.caltech.edu/CaltechCSTR:2005.005">Equilibrium of
Heterogeneous Congestion Control Protocols</a>; <a
href="https://doi.org/10.7907/Z9FB50XP">10.7907/Z9FB50XP</a></li>
<li>Capponi, Agostino and Chandy, Mani (2005) <a
href="https://resolver.caltech.edu/CaltechCSTR:2005.004">Stream
Processing Algorithms that model behavior changes</a>; <a
href="https://doi.org/10.7907/Z99K487T">10.7907/Z99K487T</a></li>
<li>Papadantonakis, Karl (2005) <a
href="https://resolver.caltech.edu/CaltechCSTR:2005.001">Design Rules
for Non-Atomic Implementations of PRS</a>; <a
href="https://doi.org/10.7907/Z95T3HGN">10.7907/Z95T3HGN</a></li>
<li>Abu-Mostafa, Yaser; Song, Xubo; et al. (2004) <a
href="https://resolver.caltech.edu/CaltechCSTR:2004.002">The Bin
Model</a>; <a
href="https://doi.org/10.7907/Z9222RR7">10.7907/Z9222RR7</a></li>
<li>Papadantonakis, Karl (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.003">Stable
Production Rule Sets are Deterministic</a>; <a
href="https://doi.org/10.7907/Z9XS5SD9">10.7907/Z9XS5SD9</a></li>
<li>Kim, Ki Baek; Tang, Ao; et al. (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.001">Design of AQM
in Supporting TCP Based on the Well-Known AIMD Model</a>; <a
href="https://doi.org/10.7907/Z9DB7ZTC">10.7907/Z9DB7ZTC</a></li>
<li>Fink, Michael and Perona, Pietro (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.008">The Full Images
for Natural Knowledge Caltech Office DB</a>; <a
href="https://doi.org/10.7907/Z9125QMV">10.7907/Z9125QMV</a></li>
<li>Hickey, Jason; Nogin, Aleksey; et al. (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.002">Formal Compiler
Implementation in a Logical Framework</a>; <a
href="https://doi.org/10.7907/Z98K7720">10.7907/Z98K7720</a></li>
<li>Li, Ling; Abu-Mostafa, Yaser S.; et al. (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.007">CGBoost:
Conjugate Gradient in Function Space</a>; <a
href="https://doi.org/10.7907/yryfk-z8a36">10.7907/yryfk-z8a36</a></li>
<li>Wong, Catherine G.; Martin, Alain J.; et al. (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.006a">An
Architecture for Asynchronous FPGAs</a></li>
<li>Wong, Catherine G.; Martin, Alain J.; et al. (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.006">An Architecture
for Asynchronous FPGAs</a>; <a
href="https://doi.org/10.7907/Z9X9288B">10.7907/Z9X9288B</a></li>
<li>Papadantonakis, Karl (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.005">An Asynchronous
Register Bypass Transformation</a>; <a
href="https://doi.org/10.7907/Z9J38QHN">10.7907/Z9J38QHN</a></li>
<li>Fink, Michael (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.008a">The Full
Images for Natural Knowledge Caltech Office DB</a>; <a
href="https://doi.org/10.7907/kj0dz-n7r20">10.7907/kj0dz-n7r20</a></li>
<li>Yu, Xin and Hickey, Jason (2003) <a
href="https://resolver.caltech.edu/CaltechCSTR:2003.004">Formalizing
Abstract Algebra in Constructive Set Theory</a>; <a
href="https://doi.org/10.7907/Z94T6GB8">10.7907/Z94T6GB8</a></li>
<li>Schkolne, Steven and Schröder, Peter (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.005">Assembling and
Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and
a Lightsaber</a>; <a
href="https://doi.org/10.7907/Z9PC30C8">10.7907/Z9PC30C8</a></li>
<li>Pénzes, Paul I.; Nyströem, Mika; et al. (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.003">Transistor
Sizing of Energy-Delay-Efficient Circuits</a>; <a
href="https://doi.org/10.7907/Z9ZG6Q7T">10.7907/Z9ZG6Q7T</a></li>
<li>Hickey, Jason; Smith, Justin D.; et al. (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.007">Process
Migration and Transactions Using a Novel Intermediate Language</a>; <a
href="https://doi.org/10.7907/Z93776Q3">10.7907/Z93776Q3</a></li>
<li>Penzes, Paul Ivan (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.010">Energy-Delay
Complexity of Asynchronous Circuits</a>; <a
href="https://doi.org/10.7907/Z9DV1GVX">10.7907/Z9DV1GVX</a></li>
<li>Kim, Ki Baek and Low, Steven H. (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.008">Cost of AQM in
stabilizing TCP</a>; <a
href="https://doi.org/10.7907/84yds-ahh93">10.7907/84yds-ahh93</a></li>
<li>Kim, Ki Baek and Low, Steven H. (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.009">Analysis and
Design of AQM for stabilizing TCP</a>; <a
href="https://doi.org/10.7907/Z9T43R25">10.7907/Z9T43R25</a></li>
<li>Granicz, Adam and Hickey, Jason (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.006">Phobos: A
front-end approach to extensible compilers (long version)</a>; <a
href="https://doi.org/10.7907/Z9707ZFF">10.7907/Z9707ZFF</a></li>
<li>Nayak, Ashwin and Shor, Peter (2002) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.004">On
Bit-Commitment Based Quantum Coin Flipping</a>; <a
href="https://doi.org/10.7907/Z9BR8Q69">10.7907/Z9BR8Q69</a></li>
<li>Martin, Alain J.; Nyström, Mika; et al. (2001) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.012">Speed and
Energy Performance of an Asynchronous MIPS R3000 Microprocessor</a>; <a
href="https://doi.org/10.7907/Z99S1P11">10.7907/Z99S1P11</a></li>
<li>Nyström, Mika (2001) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.011">Asynchronous
Pulse Logic</a>; <a
href="https://doi.org/10.7907/Z9TQ5ZJJ">10.7907/Z9TQ5ZJJ</a></li>
<li>Pénzes, Paul I. and Martin, Alain J. (2001) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.002">Global and
local properties of asynchronous circuits optimized for energy
efficiency</a>; <a
href="https://doi.org/10.7907/Z9FJ2DSS">10.7907/Z9FJ2DSS</a></li>
<li>Papadantonakis, Karl (2001) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.004">A Theory of
Constant Et² CMOS Circuits</a>; <a
href="https://doi.org/10.7907/Z9610X9M">10.7907/Z9610X9M</a></li>
<li>Martin, Alain J.; Nyströem, Mika; et al. (2001) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.007">ET^2: A Metric
For Time and Energy Efficiency of Computation</a>; <a
href="https://doi.org/10.7907/Z9K935JZ">10.7907/Z9K935JZ</a></li>
<li>Zimmerman, Daniel M. (2001) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.006">Dynamic
UNITY</a>; <a
href="https://doi.org/10.7907/Z9Q23X7V">10.7907/Z9Q23X7V</a></li>
<li>Nicholson, Alexander (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2000.007">A
Generalization Model and Learning in Hardware</a>; <a
href="https://doi.org/10.7907/Z9ST7MTG">10.7907/Z9ST7MTG</a></li>
<li>Magdon-Ismail, Malik and Atiya, Amir (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2000.005">Some Results
Regarding the Estimation of Densities and Random Variate Generation
Using Neural Networks</a>; <a
href="https://doi.org/10.7907/Z9GB222G">10.7907/Z9GB222G</a></li>
<li>Chen, Min and Arvo, James (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-04">Closed-Form
Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part
II: Polynomially-Varying Radiant Exitance</a>; <a
href="https://doi.org/10.7907/Z9XG9P5B">10.7907/Z9XG9P5B</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02">Theorems
about Composition</a>; <a
href="https://doi.org/10.7907/Z9BK19C6">10.7907/Z9BK19C6</a></li>
<li>Taubin, Gabriel (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2000.008">Is this a
Quadrisected Mesh?</a>; <a
href="https://doi.org/10.7907/Z9P26W4X">10.7907/Z9P26W4X</a></li>
<li>Chen, Min and Arvo, James (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-01">Closed-Form
Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part
I: Linearly-Varying Radiant Exitance</a>; <a
href="https://doi.org/10.7907/Z92805MQ">10.7907/Z92805MQ</a></li>
<li>Schooler, Eve M. (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.003">Why Multicast
Protocols (Don’t) Scale: An Analysis of Multipoint Algorithms for
Scalable Group Communication</a>; <a
href="https://doi.org/10.7907/Z96W982N">10.7907/Z96W982N</a></li>
<li>Wood, Zoë Justine (2000) <a
href="https://resolver.caltech.edu/CaltechCSTR:2000.006">Semi-Regular
Mesh Extraction from Volumes</a>; <a
href="https://doi.org/10.7907/Z9M32SSD">10.7907/Z9M32SSD</a></li>
<li>Nyströem, Mika (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.010">Solving Certain
Large Instances of the Quadratic Assignment Problem: Steinberg’s
Examples</a>; <a
href="https://doi.org/10.7907/Z9C8278M">10.7907/Z9C8278M</a></li>
<li>Ginis, Roman (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-08">Optimal
Distributed Resource Allocation</a>; <a
href="https://doi.org/10.7907/Z9MS3QRD">10.7907/Z9MS3QRD</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01">Examples
of Program Composition Illustrating the Use of Universal Properties</a>;
<a href="https://doi.org/10.7907/Z9ZC80WC">10.7907/Z9ZC80WC</a></li>
<li>Kiniry, Joseph R. (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04">Leading
to a Kind Description Language: Thoughts on Component Specification</a>;
<a href="https://doi.org/10.7907/Z9PV6HCF">10.7907/Z9PV6HCF</a></li>
<li>Schkolne, Steven and Schröder, Peter (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-03">Surface
Drawing</a>; <a
href="https://doi.org/10.7907/Z97H1GKB">10.7907/Z97H1GKB</a></li>
<li>Chen, Min (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-05">Perturbation
Methods for Image Synthesis</a>; <a
href="https://doi.org/10.7907/Z9H1300B">10.7907/Z9H1300B</a></li>
<li>Rifkin, Adam (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-96-09">Application
Development using Compositional Performance Analysis</a>; <a
href="https://doi.org/10.7907/Z9348HCP">10.7907/Z9348HCP</a></li>
<li>Charpentier, Michel and Chandy, K. Mani (1999) <a
href="https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02">Towards
a Compositional Approach to the Design and Verification of Distributed
Systems</a>; <a
href="https://doi.org/10.7907/Z93R0QW2">10.7907/Z93R0QW2</a></li>
<li>Sivilotti, Paolo A. G. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-31">A
Method for the Specification, Composition, and Testing of Distributed
Object Systems</a>; <a
href="https://doi.org/10.7907/Z91N7Z43">10.7907/Z91N7Z43</a></li>
<li>Kiniry, Joseph R. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14">A New
Construct for Systems Modeling and Theory: The Kind</a>; <a
href="https://doi.org/10.7907/Z9G15XV5">10.7907/Z9G15XV5</a></li>
<li>Kiniry, Joseph R. and Cheong, Elaine (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-15">JPP: A
Java Pre-Processor</a>; <a
href="https://doi.org/10.7907/Z9KS6PKK">10.7907/Z9KS6PKK</a></li>
<li>Rifkin, Adam and Massingill, Berna (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-96-27">Performance
Analysis for Mesh and Mesh-Spectral Archetype Applications</a>; <a
href="https://doi.org/10.7907/Z96M34TT">10.7907/Z96M34TT</a></li>
<li>Winfree, Erik (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.22">Simulations of
Computing by Self-Assembly</a>; <a
href="https://doi.org/10.7907/Z9TB14X7">10.7907/Z9TB14X7</a></li>
<li>Kiniry, Joseph R. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08">The
Specification of Dynamic Distributed Component Systems</a>; <a
href="https://doi.org/10.7907/Z9PK0D5G">10.7907/Z9PK0D5G</a></li>
<li>Zimmerman, Daniel M. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-09">A
Preliminary Investigation into Dynamic Distributed Workflow</a>; <a
href="https://doi.org/10.7907/Z9Z31WP1">10.7907/Z9Z31WP1</a></li>
<li>Pénzes, Paul I. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:2002.001">The design of
high performance asynchronous circuits for the Caltech MiniMIPS
processor</a>; <a
href="https://doi.org/10.7907/Z90V89TB">10.7907/Z90V89TB</a></li>
<li>Ramamoorthi, Ravi (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-05">Creating
Generative Models from Range Images</a>; <a
href="https://doi.org/10.7907/Z9V9863X">10.7907/Z9V9863X</a></li>
<li>Manohar, Rajit (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-12">The
impact of asynchrony on computer architecture</a>; <a
href="https://doi.org/10.7907/kgstw-em803">10.7907/kgstw-em803</a></li>
<li>Çataltepe, Zehra; Abu-Mostafa, Yaser S.; et al. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-02">No Free
Lunch for Early Stopping</a>; <a
href="https://doi.org/10.7907/Z9B8565P">10.7907/Z9B8565P</a></li>
<li>Winfree, Erik (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.23">Whiplash PCR for
O(1) Computing</a>; <a
href="https://doi.org/10.7907/Z94M92KH">10.7907/Z94M92KH</a></li>
<li>Lines, Andrew Matthew (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-95-21">Pipelined
Asynchronous Circuits</a>; <a
href="https://doi.org/10.7907/Z92V2D4Z">10.7907/Z92V2D4Z</a></li>
<li>Laidlaw, David H.; Ahrens, Eric T.; et al. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-07">Visualizing
Diffusion Tensor Images of the Mouse Spinal Cord</a>; <a
href="https://doi.org/10.7907/Z98C9T9V">10.7907/Z98C9T9V</a></li>
<li>Kiniry, Joseph R. (1998) <a
href="https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-16">IDebug:
An Advanced Debugging Framework for Java</a>; <a
href="https://doi.org/10.7907/Z9QJ7FBR">10.7907/Z9QJ7FBR</a></li>
<li>Massingill, Berna (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-04">A
Structured Approach to Parallel Programming</a>; <a
href="https://doi.org/10.7907/Z94F1NR1">10.7907/Z94F1NR1</a></li>
<li>Bax, Eric (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-15">Improved
Uniform Test Error Bounds</a>; <a
href="https://doi.org/10.7907/Z9959FK4">10.7907/Z9959FK4</a></li>
<li>Zimmerman, Daniel M.; Rothstein, Brian; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-16">Constructing
Client-Server Multi-Player Asynchronous Networked Games Using a
Single-Computer Model</a>; <a
href="https://doi.org/10.7907/Z9GX48K9">10.7907/Z9GX48K9</a></li>
<li>Bax, Eric (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-14">Similar
Classifiers and VC Error Bounds</a>; <a
href="https://doi.org/10.7907/Z9CZ355Q">10.7907/Z9CZ355Q</a></li>
<li>Bax, Eric (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-13">Validation
of Voting Committee</a>; <a
href="https://doi.org/10.7907/Z9W093X1">10.7907/Z9W093X1</a></li>
<li>Heirich, Alan (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-10">Analysis
of Scalable Algorithms for Dynamic Load Balancing and Mapping with
Application to Photo-realistic Rendering</a>; <a
href="https://doi.org/10.7907/Z9W37TBC">10.7907/Z9W37TBC</a></li>
<li>Bax, Eric (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-01">Combining
Multilayer Networks to Combine Learning</a>; <a
href="https://doi.org/10.7907/Z9MK69XR">10.7907/Z9MK69XR</a></li>
<li>Nyströem, Mika (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.009">Pipelined
Asynchronous Cache Design</a>; <a
href="https://doi.org/10.7907/Z9NG4NNT">10.7907/Z9NG4NNT</a></li>
<li>Chandy, K. Mani; Kiniry, Joseph; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07">A
Framework for Structured Distributed Object Computing</a>; <a
href="https://doi.org/10.7907/Z9JQ0Z2W">10.7907/Z9JQ0Z2W</a></li>
<li>Azuma, Daniel; Lin, James; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-21">A
Framework for Migration of Networked Intercommunication Processes</a>;
<a href="https://doi.org/10.7907/Z9PG1PRR">10.7907/Z9PG1PRR</a></li>
<li>Bax, Eric (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-17">Validation
of Average Error Rate Over Classifiers</a>; <a
href="https://doi.org/10.7907/Z90P0X25">10.7907/Z90P0X25</a></li>
<li>Bax, Eric; Çataltepe, Zehra; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-08">The
Central Classifier Bound - A New Error Bound for the Classifier Chosen
by Early Stopping</a>; <a
href="https://doi.org/10.7907/Z9RB72M1">10.7907/Z9RB72M1</a></li>
<li>Aldrich, Jonathan; Dooley, James; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-20">Providing
Easier Access to Remote Objects in Client-Server Systems</a>; <a
href="https://doi.org/10.7907/Z9HQ3WX3">10.7907/Z9HQ3WX3</a></li>
<li>Ramamoorthi, Ravi; Rifkin, Adam; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19">A
General Resource Reservation Framework for Scientific Computing</a>; <a
href="https://doi.org/10.7907/Z9DZ06BJ">10.7907/Z9DZ06BJ</a></li>
<li>Laidlaw, David H.; Fleischer, Kurt W.; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-12">Partial-Volume
Bayesian Classification of Material Mixtures in MR Volume Data using
Voxel Histograms</a>; <a
href="https://doi.org/10.7907/Z9S75DB3">10.7907/Z9S75DB3</a></li>
<li>Ramamoorthi, Ravi; Ball, Cindy; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-03">Dynamic
Splines with Constraints for Animation</a>; <a
href="https://doi.org/10.7907/Z97D2S51">10.7907/Z97D2S51</a></li>
<li>Chandy, K. Mani; Rifkin, Adam; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10">Webs of
Archived Distributed Computations for Asynchronous Collaboration</a>; <a
href="https://doi.org/10.7907/Z9R78C75">10.7907/Z9R78C75</a></li>
<li>Zorin, Denis N. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-32">Stationary
Subdivision and Multiresolution Surface Representations</a>; <a
href="https://doi.org/10.7907/Z9862DF9">10.7907/Z9862DF9</a></li>
<li>Massingill, Berna L. and Chandy, K. Mani (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28">Parallel
Program Archetypes</a>; <a
href="https://doi.org/10.7907/Z9WW7FP7">10.7907/Z9WW7FP7</a></li>
<li>Gornowicz, Galen G.; Laidlaw, David H.; et al. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-11">De-aliasing
Undersampled Volume Images for Visualization</a>; <a
href="https://doi.org/10.7907/Z9C53HWB">10.7907/Z9C53HWB</a></li>
<li>Ramamoorthi, Ravi and Barr, Alan H. (1997) <a
href="https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-04">Fast
Construction of Accurate Quaternion Splines</a>; <a
href="https://doi.org/10.7907/Z93N21D7">10.7907/Z93N21D7</a></li>
<li>Gimelshein, Sergey; Markelov, Gennady; et al. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-16">Collision
Models in the Hawk DSMC Implementation</a>; <a
href="https://doi.org/10.7907/Z9V122TN">10.7907/Z9V122TN</a></li>
<li>Chow, Bryan (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-97-18">Compiler
Techniques for Loosely-Coupled Multi-Cluster Architectures</a>; <a
href="https://doi.org/10.7907/Z9T151P8">10.7907/Z9T151P8</a></li>
<li>Manohar, Rajit and Sivilotti, Paolo A. G. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22">Composing
Processes Using Modified Rely-Guarantee Specifications</a>; <a
href="https://doi.org/10.7907/Z9P848X3">10.7907/Z9P848X3</a></li>
<li>Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11">Reliable
Synchronization Primitives for Java</a>; <a
href="https://doi.org/10.7907/Z9P55KHS">10.7907/Z9P55KHS</a></li>
<li>Chandy, K. Mani; Dimitrov, Boris; et al. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08">A
World-Wide Distributed System Using Java and the Internet</a>; <a
href="https://doi.org/10.7907/Z98W3BBD">10.7907/Z98W3BBD</a></li>
<li>Zadik, Yair (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-13">The
Message Driven File System: a Network Accessible File System for
Fine-Grain Message Passing Multicomputers</a>; <a
href="https://doi.org/10.7907/Z9TT4NZV">10.7907/Z9TT4NZV</a></li>
<li>Bax, Eric (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-01">Recurrence-Based
Reductions for Inclusion and Exclusion Algorithms Applied to P
Problems</a>; <a
href="https://doi.org/10.7907/Z9ST7MVX">10.7907/Z9ST7MVX</a></li>
<li>Maskit, Daniel (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-02">A
Compiler Algorithm for Managing Asynchronous Memory Read Completion</a>;
<a href="https://doi.org/10.7907/Z9Q81B3B">10.7907/Z9Q81B3B</a></li>
<li>Chandy, K. Mani and Rifkin, Adam (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15">Systematic
Composition of Objects in Distributed Internet Applications: Processes
and Sessions</a>; <a
href="https://doi.org/10.7907/Z9JD4TTH">10.7907/Z9JD4TTH</a></li>
<li>Nelson, Bradley D. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-24">Portable
Graphical Tools for Concurrent Plasma Simulation</a>; <a
href="https://doi.org/10.7907/Z9XK8CJ6">10.7907/Z9XK8CJ6</a></li>
<li>Zorin, Denis; Schröder, Peter; et al. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-06">Interpolating
Subdivision for Meshes of Arbitary Topology</a>; <a
href="https://doi.org/10.7907/Z93B5X5W">10.7907/Z93B5X5W</a></li>
<li>Thornley, John (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-12">A
Parallel Programming Model with Sequential Semantics</a>; <a
href="https://doi.org/10.7907/Z9KD1VXF">10.7907/Z9KD1VXF</a></li>
<li>Bax, Eric (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-17">Tailoring
the Permanent Formula to Problem Instances</a>; <a
href="https://doi.org/10.7907/Z9DN433K">10.7907/Z9DN433K</a></li>
<li>Davis, Gregg and Massingill, Berna L. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-26">The
Mesh Archetype</a>; <a
href="https://doi.org/10.7907/8gkfk-x1e50">10.7907/8gkfk-x1e50</a></li>
<li>Schooler, Eve M. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-18">A
Multicast User Directory Service for Synchronous Rendezvous</a>; <a
href="https://doi.org/10.7907/Z9DR2SHH">10.7907/Z9DR2SHH</a></li>
<li>Massingill, Berna L. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-25">The
Mesh Archetype</a>; <a
href="https://doi.org/10.7907/Z9ZK5DPK">10.7907/Z9ZK5DPK</a></li>
<li>Chandy, K. Mani and Schooler, Eve M. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19">Designing
Directories in Distributed Systems: A Systematic Framework</a>; <a
href="https://doi.org/10.7907/Z9736NXN">10.7907/Z9736NXN</a></li>
<li>Xu, Jiazhao Jessie (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-10">On
Detection and Generation of Dead-lock free Reshuffling in the VLSI
Synthesis Method</a>; <a
href="https://doi.org/10.7907/Z9Q23X89">10.7907/Z9Q23X89</a></li>
<li>Zorin, Denis (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-23">Ck
Continuity of Subdivision Surfaces</a>; <a
href="https://doi.org/10.7907/Z9ZS2TH7">10.7907/Z9ZS2TH7</a></li>
<li>Kryukova, Svetlana; Massingill, Berna; et al. (1996) <a
href="https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-14">An
Algorithm for Distributed Location Management in Networks of Mobile
Computers</a>; <a
href="https://doi.org/10.7907/Z93F4MN3">10.7907/Z93F4MN3</a></li>
<li>Manohar, Rajit and Martin, Alain J. (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11">Quasi-Delay-Insensitive
Circuits are Turing-Complete</a>; <a
href="https://doi.org/10.7907/Z9H70CV1">10.7907/Z9H70CV1</a></li>
<li>Fleischer, Kurt (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-91-12">Polygon
Scan Conversion Derivations</a>; <a
href="https://doi.org/10.7907/Z9RR1W8B">10.7907/Z9RR1W8B</a></li>
<li>Watts, Jerrell (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-13">A
Practical Approach to Dynamic Load Balancing</a>; <a
href="https://doi.org/10.7907/Z9N014J9">10.7907/Z9N014J9</a></li>
<li>Thornley, John (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-10">Performance
of a Class of Highly-Parallel Divide-and-Conquer Algorithms</a>; <a
href="https://doi.org/10.7907/Z9WH2N1H">10.7907/Z9WH2N1H</a></li>
<li>Manohar, Rajit (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-09">Folded
FIFOs</a>; <a
href="https://doi.org/10.7907/Z9J67DZD">10.7907/Z9J67DZD</a></li>
<li>Kryukova, Svetlana A. (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-06">Parallel
Programming Archetypes in Combinatorics and Optimization</a>; <a
href="https://doi.org/10.7907/Z91834J7">10.7907/Z91834J7</a></li>
<li>Fleischer, Kurt W. (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-14">A
Multiple-Mechanism Developmental Model for Defining Self-Organizing
Geometric Structures</a>; <a
href="https://doi.org/10.7907/Z9513W74">10.7907/Z9513W74</a></li>
<li>Lee, Tak Kwan (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-07">A
General Approach to Performance Analysis and Optimization of
Asynchronous Circuits</a>; <a
href="https://doi.org/10.7907/Z9DF6P8J">10.7907/Z9DF6P8J</a></li>
<li>Nystroem, Mika (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:2001.008">Et2 and
Multi-Voltage Logic</a>; <a
href="https://doi.org/10.7907/Z9NZ85PT">10.7907/Z9NZ85PT</a></li>
<li>Leino, K. Rustan M. (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-03">Towards
Reliable Modular Programs</a>; <a
href="https://doi.org/10.7907/Z9CJ8BH1">10.7907/Z9CJ8BH1</a></li>
<li>Laidlaw, David H. (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-05">Geometric
Model Extraction from Magnetic Resonance Volume Data</a>; <a
href="https://doi.org/10.7907/Z98S4MXP">10.7907/Z98S4MXP</a></li>
<li>Zorin, Denis N. (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-22">Correction
of Geometeric Perceptual Distortions in Pictures</a>; <a
href="https://doi.org/10.7907/Z9XG9P6S">10.7907/Z9XG9P6S</a></li>
<li>Rieffel, Marc A. (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-12">Concurrent
Simulations of Plasma Reactors for VLSI Manufacturing</a>; <a
href="https://doi.org/10.7907/Z92805N5">10.7907/Z92805N5</a></li>
<li>Tierno, José Andrés (1995) <a
href="https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-02">An
Energy-Complexity Model for VLSI</a>; <a
href="https://doi.org/10.7907/Z9SQ8XFM">10.7907/Z9SQ8XFM</a></li>
<li>Heirich, Alan (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-04">Scalable
Load Balancing by Diffusion</a>; <a
href="https://doi.org/10.7907/Z97M05Z6">10.7907/Z97M05Z6</a></li>
<li>Hofstee, H. Peter (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-19">Synchronizing
Processes</a>; <a
href="https://doi.org/10.7907/Z9028PKT">10.7907/Z9028PKT</a></li>
<li>Chow, Bryan; Fyfe, Andrew; et al. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16">A
Development Methodology for Concurrent Programs</a>; <a
href="https://doi.org/10.7907/S4MW2X">10.7907/S4MW2X</a></li>
<li>Carlin, Peter (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-14">Distributed
Linear Algebra on Networks of Workstations</a>; <a
href="https://doi.org/10.7907/Z9VH5KV8">10.7907/Z9VH5KV8</a></li>
<li>Manohar, Rajit and Chandy, K. Mani (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15">Mach-Based
Channel Library</a>; <a
href="https://doi.org/10.7907/Z9SJ1HMH">10.7907/Z9SJ1HMH</a></li>
<li>Manohar, Rajit and Leino, K. Rustan M. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12">Theory
and Use of Conditional Composition</a>; <a
href="https://doi.org/10.7907/Z9VD6WGD">10.7907/Z9VD6WGD</a></li>
<li>Pinkstone, Donald, III (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-17">A
Compiler for a Subset of Modula-3</a>; <a
href="https://doi.org/10.7907/Z9416V3R">10.7907/Z9416V3R</a></li>
<li>Leino, K. Rustan M. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-10">Computing
Permutation Encodings</a>; <a
href="https://doi.org/10.7907/Z90863BZ">10.7907/Z90863BZ</a></li>
<li>Maskit, Daniel (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-03">A
Message-Driven Programming System for Fine-Grain Multicomputers</a>; <a
href="https://doi.org/10.7907/Z9J38QKJ">10.7907/Z9J38QKJ</a></li>
<li>Çataltepe, Zehra (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-09">The
Scheduling Problem in Learning From Hints</a>; <a
href="https://doi.org/10.7907/Z93T9F7B">10.7907/Z93T9F7B</a></li>
<li>Bax, Eric (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-11">Recurrence-based
Heuristics for the Hamiltonian Path Inclusion and Exclusion and
Exclusion Algorithm</a>; <a
href="https://doi.org/10.7907/Z9CC0XQ0">10.7907/Z9CC0XQ0</a></li>
<li>Laidlaw, David H.; Fleischer, Kurt W.; et al. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-07">Classification
of Material Mixtures in Volume Data for Visualization and Modeling</a>;
<a href="https://doi.org/10.7907/Z97S7KTR">10.7907/Z97S7KTR</a></li>
<li>Sivilotti, Paul A. G. and Carlin, Peter A. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02">A
Tutorial for CC++</a>; <a
href="https://doi.org/10.7907/Z9QN64SH">10.7907/Z9QN64SH</a></li>
<li>Tierno, Jose A. and Martin, Alain J. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21">Low-Energy
Asynchronous Memory Design</a>; <a
href="https://doi.org/10.7907/Z9X9289S">10.7907/Z9X9289S</a></li>
<li>Heirich, Alan and Taylor, Stephen (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-13">A
Parabolic Load Balancing Method</a>; <a
href="https://doi.org/10.7907/Z94T6GCQ">10.7907/Z94T6GCQ</a></li>
<li>Goldsmith, Jeff (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-18">Optimized
Computer-Generated Motions for Animation</a>; <a
href="https://doi.org/10.7907/Z9DB7ZVT">10.7907/Z9DB7ZVT</a></li>
<li>Palmer, Michael E. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-06">Immersing
the Scientist in Data: Interactive Visualization of Unstructured
Scientific Data on Concurrent Architectures</a>; <a
href="https://doi.org/10.7907/Z95T3HH3">10.7907/Z95T3HH3</a></li>
<li>Chandy, K. Mani; Manohar, Rajit; et al. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08">Integrating
Task and Data Parallelism with the Collective Communication
Archetype</a>; <a
href="https://doi.org/10.7907/Z9222RSP">10.7907/Z9222RSP</a></li>
<li>Van de Snepscheut, Jan L. A. (1994) <a
href="https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01">Mechanized
Support for Stepwise Refinement</a>; <a
href="https://doi.org/10.7907/Z9NV9G8H">10.7907/Z9NV9G8H</a></li>
<li>Thornley, John (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-40">Integrating
Functional and Imperative Parallel Programming: C++ Solutions to the
Salishan Problems</a>; <a
href="https://doi.org/10.7907/Z9T72FGG">10.7907/Z9T72FGG</a></li>
<li>Rifkin, Adam (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-13">Teaching
Archetypal Design with an Electronic Textbook</a>; <a
href="https://doi.org/10.7907/Z98G8HRM">10.7907/Z98G8HRM</a></li>
<li>Seitz, Charles L.; Martin, Alain J.; et al. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/Z9NS0RX7">10.7907/Z9NS0RX7</a></li>
<li>Leino, K. Rustan M. and Van de Snepscheut, Jan L.</li>
</ul>
<ol type="A">
<li><ol start="1993" type="1">
<li><a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34">Semantics
of Exceptions</a>; <a
href="https://doi.org/10.7907/Z9KK98TT">10.7907/Z9KK98TT</a></li>
</ol></li>
</ol>
<ul>
<li>Seizovic, Jakov N. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-32">Introduction
to C+-: Submicron Systems Architecture Project</a>; <a
href="https://doi.org/10.7907/1vv7r-ygr82">10.7907/1vv7r-ygr82</a></li>
<li>Chandy, K. Mani and Foster, Ian (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31">A
Deterministic Notation for Cooperating Processes</a>; <a
href="https://doi.org/10.7907/Z9B85664">10.7907/Z9B85664</a></li>
<li>Chandy, K. Mani (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24">Properties
of Concurrent Programs</a>; <a
href="https://doi.org/10.7907/Z9ZS2TJP">10.7907/Z9ZS2TJP</a></li>
<li>Leino, K. Rustan M. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15">Multicomputer
Programming with Modula-3D</a>; <a
href="https://doi.org/10.7907/Z9F18WSP">10.7907/Z9F18WSP</a></li>
<li>Binau, Ulla (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-20">Distributed
Diners: From UNITY Specification to CC++ Implementation</a>; <a
href="https://doi.org/10.7907/Z96H4FGD">10.7907/Z96H4FGD</a></li>
<li>Chandy, K. Mani (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29">Conjunctive
Predicate Transformers for Reasoning about Concurrent Computation</a>;
<a
href="https://doi.org/10.7907/0ztwa-hva90">10.7907/0ztwa-hva90</a></li>
<li>Massingill, Berna (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-01">Integrating
Task and Data Parallelism</a>; <a
href="https://doi.org/10.7907/Z9PG1PS6">10.7907/Z9PG1PS6</a></li>
<li>Maskit, Daniel and Taylor, Stephen (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-11">Experiences
in Programming the J-Machine</a>; <a
href="https://doi.org/10.7907/rqz0m-we595">10.7907/rqz0m-we595</a></li>
<li>Maskit, Daniel; Zadik, Yair; et al. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-12">System
Tools for the J-Machine</a>; <a
href="https://doi.org/10.7907/Z9D798FW">10.7907/Z9D798FW</a></li>
<li>Thornley, John (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03">Parallel
Programming with Declarative Ada</a>; <a
href="https://doi.org/10.7907/Z9X0652T">10.7907/Z9X0652T</a></li>
<li>Thornley, John (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-05">A
Collection of Declarative Ada Example Programs</a>; <a
href="https://doi.org/10.7907/Z99C6VF7">10.7907/Z99C6VF7</a></li>
<li>Thornley, John (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-04">The
Programming Language Declarative Ada Reference Manual</a>; <a
href="https://doi.org/10.7907/Z97942Q7">10.7907/Z97942Q7</a></li>
<li>Seitz, Charles L.; Martin, Alain J.; et al. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10">Submicron
Systems Architecture</a>; <a
href="https://doi.org/10.7907/4fh9g-yr824">10.7907/4fh9g-yr824</a></li>
<li>Tierno, Jose A. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-19">Designing
Asynchronous Circuits in Gallium Arsenide</a>; <a
href="https://doi.org/10.7907/Z9G15XWM">10.7907/Z9G15XWM</a></li>
<li>Carlin, Peter; Chandy, K. Mani; et al. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02">The
Compositional C++ Language Definition</a>; <a
href="https://doi.org/10.7907/Z9QF8QWK">10.7907/Z9QF8QWK</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01">CC++: A
Declarative Concurrent Object Oriented Programming Notation</a>; <a
href="https://doi.org/10.7907/Z96M34V8">10.7907/Z96M34V8</a></li>
<li>Boden, Nanette Jackson (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-10">Runtime
Systems for Fine-Grain Multicomputers</a>; <a
href="https://doi.org/10.7907/Z9QC01J3">10.7907/Z9QC01J3</a></li>
<li>Tierno, Jose A.; Martin, Alain J.; et al. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38">An
Asynchronous Microprocessor in Gallium Arsenide</a>; <a
href="https://doi.org/10.7907/Z9BC3WJ5">10.7907/Z9BC3WJ5</a></li>
<li>Seizovic, Jakov N. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-18">The
Architecture and Programming of a Fine-Grain Multicomputer</a>; <a
href="https://doi.org/10.7907/Z9G44N9B">10.7907/Z9G44N9B</a></li>
<li>Ainsworth, Paul and Kryukova, Svetlana (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-36">A
Multimedia Interactive Environment Using Program Archetypes:
Divide-and-Conquer</a>; <a
href="https://doi.org/10.7907/Z998852R">10.7907/Z998852R</a></li>
<li>Kirk, David B. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-08">Accurate
and Precise Computation using Analog VLSI, with Applications to Computer
Graphics and Neural Networks</a>; <a
href="https://doi.org/10.7907/Z9KW5D26">10.7907/Z9KW5D26</a></li>
<li>Zadik, Yair and Taylor, Stephen (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-27">A File
System for the J-Machine</a>; <a
href="https://doi.org/10.7907/Z9Z03666">10.7907/Z9Z03666</a></li>
<li>Van de Snepscheut, Jan L. A. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19">On
Lattice Theory and Program Semantics</a>; <a
href="https://doi.org/10.7907/Z95H7D9K">10.7907/Z95H7D9K</a></li>
<li>Taylor, Stephen (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-35">Progress
Report to the Advanced Research Projects Agency on the Scalable
Concurrent Programming Project</a>; <a
href="https://doi.org/10.7907/Z93J3B0X">10.7907/Z93J3B0X</a></li>
<li>Sivilotti, Paul (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21">A
Verified Integration of Imperative Parallel Programming Paradigms in an
Object-Oriented Language</a>; <a
href="https://doi.org/10.7907/Z9W95779">10.7907/Z9W95779</a></li>
<li>Heirich, Alan and Taylor, Stephen (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-25">A
Parabolic Theory of Load Balance</a>; <a
href="https://doi.org/10.7907/Z91R6NJD">10.7907/Z91R6NJD</a></li>
<li>Cook, James N. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23">Production
Rule Verification for Quasi-Delay-Insensitive Circuits</a>; <a
href="https://doi.org/10.7907/Z9C24TG1">10.7907/Z9C24TG1</a></li>
<li>Hofstee, H. Peter (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42">A
problem in the regularity calculus</a>; <a
href="https://doi.org/10.7907/Z9RJ4GHK">10.7907/Z9RJ4GHK</a></li>
<li>Chandy, K. Mani (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02">Using
Triples to Reason About Concurrent Programs</a>; <a
href="https://doi.org/10.7907/Z94Q7S2R">10.7907/Z94Q7S2R</a></li>
<li>Martin, Alain J. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26">Tomorrow’s
Digital Hardware will be Asynchronous and Verified</a>; <a
href="https://doi.org/10.7907/Z9125QPR">10.7907/Z9125QPR</a></li>
<li>Van de Snepscheut, Jan L. A. (1993) <a
href="https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33">Proxac:
An Editor for Program Transformation</a>; <a
href="https://doi.org/10.7907/Z9V40S70">10.7907/Z9V40S70</a></li>
<li>Seitz, Charles L.; Martin, Alain J.; et al. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17">Submicron
Systems Architecture Project : Semiannual Technical Report, 1 July
1992</a>; <a
href="https://doi.org/10.7907/Z9WS8RF5">10.7907/Z9WS8RF5</a></li>
<li>Pertel, Michael J. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-06">A
Critique of Adaptive Routing</a>; <a
href="https://doi.org/10.7907/Z9R78CCZ">10.7907/Z9R78CCZ</a></li>
<li>Fyfe, William John Andrew (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-20">Invariance
Hints and the VC Dimension</a>; <a
href="https://doi.org/10.7907/Z9765CHM">10.7907/Z9765CHM</a></li>
<li>Mahowald, Misha (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-15">VLSI
analogs of neuronal visual processing: a synthesis of form and
function</a>; <a
href="https://doi.org/10.7907/Z9CZ35CD">10.7907/Z9CZ35CD</a></li>
<li>Pertel, Michael J. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-05">Mesh
Distance Formulae</a>; <a
href="https://doi.org/10.7907/Z9T151VH">10.7907/Z9T151VH</a></li>
<li>Pertel, Michael J. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-04">A
Simple Simulator for Multicomputer Routing Networks</a>; <a
href="https://doi.org/10.7907/Z91J97XF">10.7907/Z91J97XF</a></li>
<li>Sanouillet, Remy D. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-30">Computer
Mediated Communication</a>; <a
href="https://doi.org/10.7907/Z90P0X6Z">10.7907/Z90P0X6Z</a></li>
<li>Hazewindus, Pieter Johannes (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-14">Testing
Delay-Insensitive Circuits</a>; <a
href="https://doi.org/10.7907/Z9S180PP">10.7907/Z9S180PP</a></li>
<li>Laidlaw, David H. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-21">Material
Classification of Magnetic Resonance Volume Data</a>; <a
href="https://doi.org/10.7907/Z9ZP4490">10.7907/Z9ZP4490</a></li>
<li>Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02">A
Tutorial Introduction to Mosaic Pascal</a>; <a
href="https://doi.org/10.7907/7xby0-epj19">10.7907/7xby0-epj19</a></li>
<li>Back, R. J. R. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-24">Predicate
Transformers and Higher Order Logic</a>; <a
href="https://doi.org/10.7907/Z9DR2SN9">10.7907/Z9DR2SN9</a></li>
<li>Leino, K. Rustan M. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26">Extensions
to an Object Oriented Programming Language for Programming Fine-grain
Multicomputers</a>; <a
href="https://doi.org/10.7907/Z9BZ6471">10.7907/Z9BZ6471</a></li>
<li>Back, R. J. R. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-23">Refinement
of Parallel and Reactive Programs</a>; <a
href="https://doi.org/10.7907/Z957196Z">10.7907/Z957196Z</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18">The
Derivation of Compositional Programs</a>; <a
href="https://doi.org/10.7907/Z9GQ6VZZ">10.7907/Z9GQ6VZZ</a></li>
<li>Nielsen, Christian D. and Martin, Alain J. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03">Delay-Insensitive
Multiply-Accumulate Unit</a>; <a
href="https://doi.org/10.7907/Z9MG7MPP">10.7907/Z9MG7MPP</a></li>
<li>Steele, Craig S. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-08">Affinity:
A Concurrent Programming System for Multicomputers</a>; <a
href="https://doi.org/10.7907/Z9862DN0">10.7907/Z9862DN0</a></li>
<li>Back, R. J. R. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-22">Refinement
Calculus, Lattices and Higher Order Logic</a>; <a
href="https://doi.org/10.7907/Z99021X8">10.7907/Z99021X8</a></li>
<li>Hofstee, H. Peter (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-16">Constructing
some Distributed Programs</a>; <a
href="https://doi.org/10.7907/Z9VX0DQN">10.7907/Z9VX0DQN</a></li>
<li>Van de Snepscheut, Jan L. A. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04">A LISP
Programming Exercise</a>; <a
href="https://doi.org/10.7907/Z93F4MSW">10.7907/Z93F4MSW</a></li>
<li>Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25">Molecular
Dynamics on the Mosaic</a>; <a
href="https://doi.org/10.7907/Z9P8493R">10.7907/Z9P8493R</a></li>
<li>Binau, Ulla (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-11">Mutual
Exclusion in a Token Ring in CC++</a>; <a
href="https://doi.org/10.7907/Z9JH3JC1">10.7907/Z9JH3JC1</a></li>
<li>Chandy, K. Mani and Kesselman, Carl (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13">Compositional
C++: Compositional Parallel Programming</a>; <a
href="https://doi.org/10.7907/Z94F1NX8">10.7907/Z94F1NX8</a></li>
<li>Foster, Ian and Taylor, Stephen (1992) <a
href="https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-07">A
compiler approach to scalable concurrent program design</a>; <a
href="https://doi.org/10.7907/zexrd-y1267">10.7907/zexrd-y1267</a></li>
<li>Seitz, Charles L. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-10">Submicron
Systems Architecture Project: Semiannual Technical Report, 1 November
1991</a>; <a
href="https://doi.org/10.7907/ag87-bd13">10.7907/ag87-bd13</a></li>
<li>Van de Snepscheut, Jan L. A. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07">Inversion
of a Recursive Tree Traversal</a>; <a
href="https://doi.org/10.7907/5k9bn-2re97">10.7907/5k9bn-2re97</a></li>
<li>Van de Snepscheut, Jan L. A. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06">The
Sliding Window Protocol Revisited</a>; <a
href="https://doi.org/10.7907/20k97-3bf71">10.7907/20k97-3bf71</a></li>
<li>Seitz, Charles L. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-03">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/zj9e8-agb70">10.7907/zj9e8-agb70</a></li>
<li>Martin, Alain J. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28">Synthesis
of Asynchronous VLSI Circuits</a>; <a
href="https://doi.org/10.7907/b9wzv-xrc02">10.7907/b9wzv-xrc02</a></li>
<li>Martin, Alain J. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08">Asynchronous
Datapaths and the Design of an Asynchronous Adder</a>; <a
href="https://doi.org/10.7907/j14fv-twh92">10.7907/j14fv-twh92</a></li>
<li>Hofstee, Peter H.; Lukkien, Johan J.; et al. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05">A
Distributed Implementation of a Task Pool</a>; <a
href="https://doi.org/10.7907/kfk06-0gs07">10.7907/kfk06-0gs07</a></li>
<li>DeWeerth, Stephen P. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-13">Analog
VLSI Circuits for Sensorimotor Feedback</a>; <a
href="https://doi.org/10.7907/vh1z2-d4058">10.7907/vh1z2-d4058</a></li>
<li>Schweizer, David Lawrence (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-09">Combinatorial
Design of Tolerant Communicaiton Structures, with Applications to
Non-Blocking Switches</a>; <a
href="https://doi.org/10.7907/1m6re-hga11">10.7907/1m6re-hga11</a></li>
<li>Dyer, Lounette M. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-11">An
Object-Oriented Real-Time Simulation of Music Performance Using
Interactive Control</a>; <a
href="https://doi.org/10.7907/zw74c-qhv27">10.7907/zw74c-qhv27</a></li>
<li>Burns, Steven M. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-01">Performance
Analysis and Optimization of Asynchronous Circuits</a>; <a
href="https://doi.org/10.7907/6j214-6wx21">10.7907/6j214-6wx21</a></li>
<li>Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) <a
href="https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13">Weakest
Preconditions for Progress</a>; <a
href="https://doi.org/10.7907/dnyzm-jnn72">10.7907/dnyzm-jnn72</a></li>
<li>Van de Snepscheut, Jan L. A. (1991) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436">On
the Correctness of Sliding Window Protocols</a>; <a
href="https://doi.org/10.7907/y9k9s-g7951">10.7907/y9k9s-g7951</a></li>
<li>Lukkien, Johan J. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16">Parallel
Program Design and Generalized Weakest Preconditions</a>; <a
href="https://doi.org/10.7907/m8nt2-qfg47">10.7907/m8nt2-qfg47</a></li>
<li>Judd, Stephen (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-11">Characterizing
NP and Measuring Instance Complexity</a>; <a
href="https://doi.org/10.7907/x20zh-gfr23">10.7907/x20zh-gfr23</a></li>
<li>Gupta, Rajiv and Kajiya, James (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-07">Compiler
Optimization of Array Data Storage</a>; <a
href="https://doi.org/10.7907/gn70b-he323">10.7907/gn70b-he323</a></li>
<li>Seitz, Charles L. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-14">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/v28e5-nme52">10.7907/v28e5-nme52</a></li>
<li>Martin, Alain J. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09">Asynchronous
Circuits for Token-Ring Mutual Exclusion</a>; <a
href="https://doi.org/10.7907/47710-bts58">10.7907/47710-bts58</a></li>
<li>Chandy, K. Mani and Taylor, Stephen (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10">A
Primer for Program Composition Notation</a>; <a
href="https://doi.org/10.7907/0779e-dms14">10.7907/0779e-dms14</a></li>
<li>Chandy, K. Mani; Taylor, Stephen; et al. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03">The
Program Composition Project</a>; <a
href="https://doi.org/10.7907/wemek-2ns55">10.7907/wemek-2ns55</a></li>
<li>Seitz, Charles L. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-05">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/jt116-5ta41">10.7907/jt116-5ta41</a></li>
<li>Martin, Alain J. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02">Limitations
to Delay-Insensitivity in Asynchronous Circuits</a>; <a
href="https://doi.org/10.7907/gwkvs-p4122">10.7907/gwkvs-p4122</a></li>
<li>Lazzaro, John (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-10">Silicon
Models of Early Audition</a>; <a
href="https://doi.org/10.7907/pbj4m-7rv48">10.7907/pbj4m-7rv48</a></li>
<li>Burns, Steven M. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-12">Performance
Analysis and Optimization of Asynchronous Circuits Produced by Martin
Synthesis</a>; <a
href="https://doi.org/10.7907/af61e-xcb42">10.7907/af61e-xcb42</a></li>
<li>Kalra, Devendra (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-15">A
Unified Framework for Constraint-Based Modeling</a>; <a
href="https://doi.org/10.7907/hnbeh-6xc79">10.7907/hnbeh-6xc79</a></li>
<li>Martin, Alain J. and Hazewindus, Pieter J. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17">Testing
Delay-Insensitive Circuits</a>; <a
href="https://doi.org/10.7907/8274b-29b89">10.7907/8274b-29b89</a></li>
<li>Burns, Steven M. and Martin, Alain J. (1990) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18">Performance
Analysis and Optimization of Asynchronous Circuits</a>; <a
href="https://doi.org/10.7907/b11q2-j0d17">10.7907/b11q2-j0d17</a></li>
<li>Seitz, Charles L. (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-12">Submicron
Systems Architecture Project: Semiannual Technical Report, 31 October
1989</a>; <a
href="https://doi.org/10.7907/8mrt-8661">10.7907/8mrt-8661</a></li>
<li>Seitz, Charles L. (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-04">Submicron
Systems Architecture Project: Semiannual Technical Report, 31 March
1989</a>; <a
href="https://doi.org/10.7907/9g5z-qp16">10.7907/9g5z-qp16</a></li>
<li>Rudin, Leonid I. and Osher, Stanley (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-03">Feature-Oriented
Image Enhancement with Shock Filters, 1</a>; <a
href="https://doi.org/10.7907/xmhr8-svc65">10.7907/xmhr8-svc65</a></li>
<li>Chandy, K. Mani (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05">The
Essence of Distributed Snapshots</a>; <a
href="https://doi.org/10.7907/jhr7a-4h585">10.7907/jhr7a-4h585</a></li>
<li>Ngai, John Y. (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-09">A
Framework for Adaptive Routing in Multicomputer Networks</a>; <a
href="https://doi.org/10.7907/e7chj-bqp41">10.7907/e7chj-bqp41</a></li>
<li>Fyfe, Andrew (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-01">Properties
of the V-C Dimension</a>; <a
href="https://doi.org/10.7907/qcrp0-nbq31">10.7907/qcrp0-nbq31</a></li>
<li>Su, Wen-King (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-11">Reactive-Process
Programming and Distributed Discrete-Event Simulation</a>; <a
href="https://doi.org/10.7907/f5pk2-1fg92">10.7907/f5pk2-1fg92</a></li>
<li>Martin, Alain J. (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02">The
Design of an Asynchronous Microprocessor</a>; <a
href="https://doi.org/10.7907/avec3-s7f02">10.7907/avec3-s7f02</a></li>
<li>Martin, Alain J. (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01">Programming
in VLSI: From Communicating Processes to Delay-Insensitive Circuits</a>;
<a
href="https://doi.org/10.7907/zmy86-a1w29">10.7907/zmy86-a1w29</a></li>
<li>Platt, John (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-07">Constrained
methods for Neural Networks and Computer Graphics</a>; <a
href="https://doi.org/10.7907/mg2s5-09955">10.7907/mg2s5-09955</a></li>
<li>Martin, Alain J.; Burns, Steven M.; et al. (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06">The
First Aysnchronous Microprocessor: The Test Results</a>; <a
href="https://doi.org/10.7907/bsky8-c6128">10.7907/bsky8-c6128</a></li>
<li>Hofstee, H. Peter; Martin, Alain J.; et al. (1989) <a
href="https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06">Distributed
Sorting</a>; <a
href="https://doi.org/10.7907/zaevr-tmm71">10.7907/zaevr-tmm71</a></li>
<li>Boden, Nanette J. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-11">A Study
of Fine-Grain Programming Using Cantor</a>; <a
href="https://doi.org/10.7907/j6wvk-v3p55">10.7907/j6wvk-v3p55</a></li>
<li>Seitz, Charles L. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:cs-tr-88-18">Submicron
Systems Architecture Project: Semiannual Technical Report, 9 November
1988</a>; <a
href="https://doi.org/10.7907/taqe-sv59">10.7907/taqe-sv59</a></li>
<li>Seitz, Charles L. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-05">Submicron
Systems Architecture Project: Semiannual Technical Report, 7 April
1988</a>; <a
href="https://doi.org/10.7907/h58r-df17">10.7907/h58r-df17</a></li>
<li>Burns, Steven M. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-02">Automated
Compilation of Concurrent Programs into Self-Timed Circuits</a>; <a
href="https://doi.org/10.7907/jfj0a-d9765">10.7907/jfj0a-d9765</a></li>
<li>Feinstein, David I. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-07">The
Hexagonal Resistive Network and the Circular Approximation</a>; <a
href="https://doi.org/10.7907/grnpq-hwe43">10.7907/grnpq-hwe43</a></li>
<li>Barzel, Ronen (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-19">Controlling
Rigid Bodies with Dynamic Constraints</a>; <a
href="https://doi.org/10.7907/74710-08838">10.7907/74710-08838</a></li>
<li>Platt, John C. and Barr, Alan H. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-17">Constrained
Differential Optimization for Neural Networks</a>; <a
href="https://doi.org/10.7907/jr15a-wm464">10.7907/jr15a-wm464</a></li>
<li>Chandy, K. Mani (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16">Programming
Parallel Computers</a>; <a
href="https://doi.org/10.7907/hm444-6zc04">10.7907/hm444-6zc04</a></li>
<li>Von Herzen, Brian (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-15">Applications
of Surface Networks to Sampling Problems in Computer Graphics</a>; <a
href="https://doi.org/10.7907/s2n6p-9mp39">10.7907/s2n6p-9mp39</a></li>
<li>Lyon, Richard F. and Mead, Carver A. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-04">Cochlear
Hydrodynamics Demystified</a>; <a
href="https://doi.org/10.7907/qysdt-52n82">10.7907/qysdt-52n82</a></li>
<li>Judd, Stephen J. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-20">Neural
Network Design and the Complexity of Learning</a>; <a
href="https://doi.org/10.7907/pwg41-3fs09">10.7907/pwg41-3fs09</a></li>
<li>Su, Wen-King and Seitz, Charles L. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-22">Variants
of the Chandy-Misra-Bryant Distributed Discrete-Event Simulation
Algorithm</a>; <a
href="https://doi.org/10.7907/adkn2-a6a57">10.7907/adkn2-a6a57</a></li>
<li>Lazzaro, J.; Ryckebusch, S.; et al. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-21">Winner-Take-All
Networks of O(N) Complexity</a>; <a
href="https://doi.org/10.7907/32s8b-x9954">10.7907/32s8b-x9954</a></li>
<li>Burch, Jerry R. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-12">A
Comparison of Strict and Non-Strict Semantics for Lists</a>; <a
href="https://doi.org/10.7907/arh4z-xpv43">10.7907/arh4z-xpv43</a></li>
<li>Dally, William J. and Seitz, Charles L. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:5231-tr-86">Deadlock-Free
Message Routing in Multiprocessor Interconnection Networks</a>; <a
href="https://doi.org/10.7907/fd0yr-br438">10.7907/fd0yr-br438</a></li>
<li>Lee, Tak K. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-89-13">Communication
Behavior of Linear Arrays of Processes</a>; <a
href="https://doi.org/10.7907/wza6s-ffe96">10.7907/wza6s-ffe96</a></li>
<li>Seizovic, Jakov N. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-10">The
Reactive Kernel</a>; <a
href="https://doi.org/10.7907/tk0kg-v1t93">10.7907/tk0kg-v1t93</a></li>
<li>Seitz, Charles L.; Seizovic, Jakov; et al. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-01">The C
Programmer’s Abbreviated Guide to Multicomputer Programming</a>; <a
href="https://doi.org/10.7907/rfgsz-c3821">10.7907/rfgsz-c3821</a></li>
<li>Roach, Kelly (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-09">Pronouns</a>;
<a
href="https://doi.org/10.7907/mf427-dra49">10.7907/mf427-dra49</a></li>
<li>Chandy, K. Mani (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06">Theorems
on Computations of Distributed Systems</a>; <a
href="https://doi.org/10.7907/k0wav-gz192">10.7907/k0wav-gz192</a></li>
<li>Martin, Alain J. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13">A
Message-Passing Model for Highly Concurrent Computation</a>; <a
href="https://doi.org/10.7907/3sb8a-cvh96">10.7907/3sb8a-cvh96</a></li>
<li>Burns, Steven M. and Martin, Alain J. (1988) <a
href="https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14">Syntax-Directed
Translation of Concurrent Programs into Self-Timed Circuits</a>; <a
href="https://doi.org/10.7907/585wz-fra78">10.7907/585wz-fra78</a></li>
<li>Seitz, Charles L. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5258-tr-87">Submicron
Systems Architecture Project:Semiannual Technical Report, 11 November
1987</a>; <a
href="https://doi.org/10.7907/g11c0-z9h06">10.7907/g11c0-z9h06</a></li>
<li>Seitz, Charles L. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:5252-tr-87">The C
Programmer’s Abbreviated Guide to Multicomputer Programming (The Short
C-Guide)</a>; <a
href="https://doi.org/10.7907/5zqrq-eme23">10.7907/5zqrq-eme23</a></li>
<li>Martin, Alain J. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87">A
Synthesis Method for Self-Timed VLSI Circuits</a>; <a
href="https://doi.org/10.7907/649ae-we761">10.7907/649ae-we761</a></li>
<li>Lutz, Jack H. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5243-tr-87">Resource-Bounded
Category and Measure in Exponential Complexity Classes</a>; <a
href="https://doi.org/10.7907/qny92-v6h14">10.7907/qny92-v6h14</a></li>
<li>Rudin, Leonid Iakov (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5250-tr-87">Images,
Numerical Analysis of Singularities and Shock Filters</a>; <a
href="https://doi.org/10.7907/4hjqw-cbd12">10.7907/4hjqw-cbd12</a></li>
<li>Ngai, John Y. and Seitz, Charles L. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5246-tr-87">A
Framework for Adaptive Routing</a>; <a
href="https://doi.org/10.7907/zz7pw-v1v91">10.7907/zz7pw-v1v91</a></li>
<li>Athas, William C. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5242-tr-87">Fine
Grain Concurrent Computations</a>; <a
href="https://doi.org/10.7907/jg9qa-dw702">10.7907/jg9qa-dw702</a></li>
<li>Chandy, K. Mani and Misra, Jay (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87">Conditional
Knowledge as a Basis for Distributed Simulation</a>; <a
href="https://doi.org/10.7907/de5ac-j4z29">10.7907/de5ac-j4z29</a></li>
<li>Burns, Steven M. and Martin, Alain J. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87">Synthesis
of Self-Timed Circuits by Program Transformation</a>; <a
href="https://doi.org/10.7907/cgpwa-2j421">10.7907/cgpwa-2j421</a></li>
<li>Newton, Michael O. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86">A High
Performance Implementation of Prolog</a>; <a
href="https://doi.org/10.7907/gb5nw-n9z28">10.7907/gb5nw-n9z28</a></li>
<li>Wawrzynek, John (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5247-tr-87">VLSI
Concurrent Computation for Music Synthesis</a>; <a
href="https://doi.org/10.7907/gtdrj-zyc44">10.7907/gtdrj-zyc44</a></li>
<li>Athas, William C. and Seitz, Charles</li>
</ul>
<ol start="12" type="A">
<li><ol start="1987" type="1">
<li><a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5244-tr-87">Multicomputers</a>;
<a
href="https://doi.org/10.7907/4ezgd-qqg58">10.7907/4ezgd-qqg58</a></li>
</ol></li>
</ol>
<ul>
<li>Choo, Young-il (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5249-tr-87">Logic
from Programming Language Semantics</a>; <a
href="https://doi.org/10.7907/hqjnh-q4z65">10.7907/hqjnh-q4z65</a></li>
<li>Rem, Martin (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5239-tr-87">Trace
Theory and Systolic Computations</a>; <a
href="https://doi.org/10.7907/hh9qd-3ks37">10.7907/hh9qd-3ks37</a></li>
<li>Gupta, Rajiv (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.cs-tr-88-03">PS:
Polygon Streams: A Distributed Architecture for Incremental Computation
Applied to Graphics</a>; <a
href="https://doi.org/10.7907/9xxrb-27j11">10.7907/9xxrb-27j11</a></li>
<li>Athas, William C. and Seitz, Charles L. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5232-tr-86">Cantor
User Report: Version 2.0</a>; <a
href="https://doi.org/10.7907/qj2md-49633">10.7907/qj2md-49633</a></li>
<li>Seitz, Charles L.; Martin, Alain J.; et al. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/7cknj-w1w80">10.7907/7cknj-w1w80</a></li>
<li>Flaig, Charles M. (1987) <a
href="https://resolver.caltech.edu/CaltechCSTR:1987.5241-tr-87">VLSI
Mesh Routing Systems</a>; <a
href="https://doi.org/10.7907/m606n-n9c89">10.7907/m606n-n9c89</a></li>
<li>Tanner, John Edward (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5223-tr-86">Integrated
optical motion detection</a>; <a
href="https://doi.org/10.7907/wjesy-e7m16">10.7907/wjesy-e7m16</a></li>
<li>Thompson, Bozena H. and Thompson, Frederick B. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5214-tr-86">ASK is
Transportable in Half a Dozen Ways</a>; <a
href="https://doi.org/10.7907/a2fhd-1w679">10.7907/a2fhd-1w679</a></li>
<li>Dally, William J. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5209-tr-86">A VLSI
Architecture for Concurrent Data Structures</a>; <a
href="https://doi.org/10.7907/knehx-bb256">10.7907/knehx-bb256</a></li>
<li>Thompson, Bozena H. and Thompson, Frederick B. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5215-tr-86">How to
get a Large Natural-language System into a Personal Computer</a>; <a
href="https://doi.org/10.7907/y1rmc-15488">10.7907/y1rmc-15488</a></li>
<li>Martin, Alain J. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86">Self-Timed
FIFO: An exercise in Compiling Programs into VLSI Circuits</a>; <a
href="https://doi.org/10.7907/jssn5-rbp39">10.7907/jssn5-rbp39</a></li>
<li>Van Horn, Kevin S. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5236-tr-86">An
Approach to Concurrent Semantics Using Complete Traces</a>; <a
href="https://doi.org/10.7907/exek9-qb507">10.7907/exek9-qb507</a></li>
<li>Lazzaro, John Paul (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5229-tr-86">anaLOG:
A functional Simulator for VLSI Neural Systems</a>; <a
href="https://doi.org/10.7907/fjkjr-q8n93">10.7907/fjkjr-q8n93</a></li>
<li>Seitz, Charles L.; Kajiya, James T.; et al. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/my65t-e9565">10.7907/my65t-e9565</a></li>
<li>Martin, Alain J. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86">Compiling
Communicating Processes into Delay-Insensitive VLSI Circuits</a>; <a
href="https://doi.org/10.7907/pnf93-qxd46">10.7907/pnf93-qxd46</a></li>
<li>Van Horn, Kevin S. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86">Complete
and Infinite Traces: A descriptive model of computing agents</a>; <a
href="https://doi.org/10.7907/4n0q1-ker87">10.7907/4n0q1-ker87</a></li>
<li>Poh, Hean Lee (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5238-tr-87">Incorporating
Time in the New World of Computing Systems</a>; <a
href="https://doi.org/10.7907/5eqna-njg13">10.7907/5eqna-njg13</a></li>
<li>Seitz, Charles L.; Kajiya, James T.; et al. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/rzewj-csb10">10.7907/rzewj-csb10</a></li>
<li>Schweizer, David Lawrence (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5233-tr-86">Some
Results on Kolmogorov-Chaitin Complexity</a>; <a
href="https://doi.org/10.7907/ebxvb-kn479">10.7907/ebxvb-kn479</a></li>
<li>Martin, Alain J. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86">On
Seitz’ Arbiter</a>; <a
href="https://doi.org/10.7907/2gjaq-xex23">10.7907/2gjaq-xex23</a></li>
<li>Dally, William J. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5228-tr-86">On the
Performance of k-ary n-cube Interconnection Networks</a>; <a
href="https://doi.org/10.7907/yy2r5-k9v56">10.7907/yy2r5-k9v56</a></li>
<li>Mosteller, R. C. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5230-tr-86">Monte
Carlo Methods for 2-D Compaction</a>; <a
href="https://doi.org/10.7907/dvgy9-n6514">10.7907/dvgy9-n6514</a></li>
<li>Dally, William J. and Seitz, Charles L. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5206-tr-86">Deadlock
Free Message Routing in Multiprocessor Interconnection Networks</a>; <a
href="https://doi.org/10.7907/vqrey-g1h07">10.7907/vqrey-g1h07</a></li>
<li>Li, Peyyun Peggy (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5227-tr-86">A
Parallel Execution Model for Logic Programming</a>; <a
href="https://doi.org/10.7907/ekp3r-95f10">10.7907/ekp3r-95f10</a></li>
<li>Li, Peggy Pey-yun and Martin, Alain J. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86">The Sync
Model: A Parallel Execution Method for Logic Programming</a>; <a
href="https://doi.org/10.7907/brq3w-kj598">10.7907/brq3w-kj598</a></li>
<li>Dally, William J. and Seitz, Charles L. (1986) <a
href="https://resolver.caltech.edu/CaltechCSTR:1986.5208-tr-86">The
Torus Routing Chip</a>; <a
href="https://doi.org/10.7907/99gpd-5kg37">10.7907/99gpd-5kg37</a></li>
<li>Seitz, Charles L.; Kajiya, James T.; et al. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/7fbb9-smt37">10.7907/7fbb9-smt37</a></li>
<li>Mjolsness, Eric (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5198-tr-85">Neural
Networks, Pattern Recognition, and Fingerprint Hallucination</a>; <a
href="https://doi.org/10.7907/xktbj-10524">10.7907/xktbj-10524</a></li>
<li>Li, Peggy Pey-yun (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5194-tr-85">The
Sneptree - A Versatile Interconnection Network</a>; <a
href="https://doi.org/10.7907/dmqh4-h1q41">10.7907/dmqh4-h1q41</a></li>
<li>Su, Wen-King; Faucette, Reese; et al. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5203-tr-85">The C
Programmer’s to the COSMIC CUBE</a>; <a
href="https://doi.org/10.7907/0y5fm-p4m71">10.7907/0y5fm-p4m71</a></li>
<li>Herzen, Brain P. Von (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5179-tr-85">Sampling
Deformed, Intersecting Surfaces with Quadtrees</a>; <a
href="https://doi.org/10.7907/rz0fa-mq403">10.7907/rz0fa-mq403</a></li>
<li>Newton, Michael O. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5172-tr-85">A
Combined Logical and Functional Programming Language</a>; <a
href="https://doi.org/10.7907/fyjhz-7pn58">10.7907/fyjhz-7pn58</a></li>
<li>Seitz, Charles L.; Frey, Alexander H.; et al. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5177-tr-85">Hot
Clock nMOS</a>; <a
href="https://doi.org/10.7907/v5fp2-q1a33">10.7907/v5fp2-q1a33</a></li>
<li>Choo, Young-il (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5190-tr-85">Concurrency
Algebra and Petri Nets</a>; <a
href="https://doi.org/10.7907/h2n3z-n1843">10.7907/h2n3z-n1843</a></li>
<li>Dally, William J. and Seitz, Charles L. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5174-tr-85">The
Balanced Cube: A Concurrent Data Structure</a>; <a
href="https://doi.org/10.7907/2ekks-07004">10.7907/2ekks-07004</a></li>
<li>Choo, Young-il (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85">An
Inverse Limit Construction of a Domain of Infinite Lists</a>; <a
href="https://doi.org/10.7907/6sdg6-61m08">10.7907/6sdg6-61m08</a></li>
<li>Athas, W.C. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5196-tr-85">XCPL: An
experimental Concurrent Programming Language</a>; <a
href="https://doi.org/10.7907/bzp67-j7026">10.7907/bzp67-j7026</a></li>
<li>Whelan, Daniel S. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5200-tr-85">ANIMAC:
A Multiprocessor Architecture for Real-Time Computer Animation</a>; <a
href="https://doi.org/10.7907/j5rzn-fnr85">10.7907/j5rzn-fnr85</a></li>
<li>Platt, John C. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5197.tr-85">Sequential
Threshold Circuits</a>; <a
href="https://doi.org/10.7907/8fq6m-60664">10.7907/8fq6m-60664</a></li>
<li>Steele, Craig S. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5184-tr-85">Placement
of Communicating Processes on Multiprocessor Networks</a>; <a
href="https://doi.org/10.7907/jbjjk-eke62">10.7907/jbjjk-eke62</a></li>
<li>Martin, Alain J. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85">A
Delay-insensitive Fair Arbiter</a>; <a
href="https://doi.org/10.7907/cchf5-w1g63">10.7907/cchf5-w1g63</a></li>
<li>Whitney, Telle Elizabeth (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5189-tr-85">Hierarchical
Composition of VLSI Circuits</a>; <a
href="https://doi.org/10.7907/n3r00-9p948">10.7907/n3r00-9p948</a></li>
<li>Seitz, Charles L.; Kajiya, James T.; et al. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/mrh1j-cjp65">10.7907/mrh1j-cjp65</a></li>
<li>Martin, Alain J. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85">A New
Generalization of Dekker’s Algorithm for Mutual Exclusion</a>; <a
href="https://doi.org/10.7907/0qedb-76g96">10.7907/0qedb-76g96</a></li>
<li>Dally, William J. (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5191-tr-85">Concurrent
Algorithms for the Max-Flow Problem</a>; <a
href="https://doi.org/10.7907/0mahg-71x38">10.7907/0mahg-71x38</a></li>
<li>Schweizer, David and Abu-Mostafa, Yaser (1985) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5205-tr-85">Two
Theorems on Time Bounded Kolmogrov-Chaitin Complexity</a>; <a
href="https://doi.org/10.7907/130cy-kxs54">10.7907/130cy-kxs54</a></li>
<li>Mead, Carver and Mahowald, Michelle (1984) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20220523-171311035">An
electronic model of the y-system of mammalian retina</a></li>
<li>Oyang, Yen-Jen (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5139-tr-84">HEX: A
Hierarchical Circuit Extractor</a>; <a
href="https://doi.org/10.7907/pybtk-7v669">10.7907/pybtk-7v669</a></li>
<li>Sanouillet, Remy (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5164-tr-84">ASK
French: A French Natural Language Syntax</a>; <a
href="https://doi.org/10.7907/z06ya-cw890">10.7907/z06ya-cw890</a></li>
<li>Lien, Sheue-Ling-Chang (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1985.5185-tr-85">Combining
Computation with Geometry</a>; <a
href="https://doi.org/10.7907/pbcnt-e7f79">10.7907/pbcnt-e7f79</a></li>
<li>Seitz, Charles L. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5160-tr-84">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/a9jxt-8sj75">10.7907/a9jxt-8sj75</a></li>
<li>Ngai, John Y. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5118-tr-84">SMART
User’s Guide</a>; <a
href="https://doi.org/10.7907/kcee5-5c393">10.7907/kcee5-5c393</a></li>
<li>Martin, Alain J. and Burch, Jerry R. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84">Fair
Mutual Exclusion with Unfair P and V Operations</a>; <a
href="https://doi.org/10.7907/8nwds-15p23">10.7907/8nwds-15p23</a></li>
<li>Dally, William J. and Kajiya, James T. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5168-tr-84">An
Object Oriented Architecture</a>; <a
href="https://doi.org/10.7907/69pav-tep43">10.7907/69pav-tep43</a></li>
<li>Ng, Tak-Kwong (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5104-tr-83">A Graph
Model and the Embedding of MOS Circuits</a>; <a
href="https://doi.org/10.7907/627fa-4gp03">10.7907/627fa-4gp03</a></li>
<li>Ngai, John Y. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5143-tr-84">The
General Interconnect Problem of Integrated Circuits</a>; <a
href="https://doi.org/10.7907/r9m1r-90t55">10.7907/r9m1r-90t55</a></li>
<li>Wawrzynek, John and Mead, Carver (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5158-tr-84">A VLSI
Architecture for Sound Synthesis</a>; <a
href="https://doi.org/10.7907/3d575-yvm11">10.7907/3d575-yvm11</a></li>
<li>Whiting, Douglas L. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5157-tr-84">Bit-Serial
Reed Solomon Decoders in VLSI</a>; <a
href="https://doi.org/10.7907/dm5cd-27p38">10.7907/dm5cd-27p38</a></li>
<li>Chen, Wen-Chi (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5140-tr-84">Hierarchy
of Graph Isomorphism Testing</a>; <a
href="https://doi.org/10.7907/1hkhk-c5a29">10.7907/1hkhk-c5a29</a></li>
<li>Clow, Gary W. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5127-tr-84">A Global
Routing Algorithm for General Cells</a>; <a
href="https://doi.org/10.7907/htmyg-dfv43">10.7907/htmyg-dfv43</a></li>
<li>Mead, Carver (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5113-tr-84">The
Wolery</a>; <a
href="https://doi.org/10.7907/43z52-rx643">10.7907/43z52-rx643</a></li>
<li>Thompson, Bozena Henisz and Thompson, Frederick</li>
</ul>
<ol start="2" type="A">
<li><ol start="1984" type="1">
<li><a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5165-tr-84">Customizing
One’s Own Interface Using English as Primary Language</a>; <a
href="https://doi.org/10.7907/t7c3k-wz682">10.7907/t7c3k-wz682</a></li>
</ol></li>
</ol>
<ul>
<li>Su, Wen King (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5125-tr-84">Supermesh</a>;
<a
href="https://doi.org/10.7907/cvx89-13h67">10.7907/cvx89-13h67</a></li>
<li>Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84">Networks
of Machines for Distributed Recursive Computations</a>; <a
href="https://doi.org/10.7907/abxcf-t3r94">10.7907/abxcf-t3r94</a></li>
<li>Thompson, Bozena Henisz (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5128-tr-84">Linguistic
Analysis of Natural Language Communication with Computers</a>; <a
href="https://doi.org/10.7907/bttmy-dpk72">10.7907/bttmy-dpk72</a></li>
<li>Ngai, John Y. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5094-tr-84">Stochastic
Estimation of Channel Routing Track Demand</a>; <a
href="https://doi.org/10.7907/vrhcf-4gn69">10.7907/vrhcf-4gn69</a></li>
<li>Chiang, Chao-Lin (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5135-tr-84">Towards
Concurrent Arithmetic: Residue Arithmetic and VLSI</a>; <a
href="https://doi.org/10.7907/a8mqr-n5d15">10.7907/a8mqr-n5d15</a></li>
<li>Derby, Howard (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5134-tr-84">Using
Logic Programming for Compiling APL</a>; <a
href="https://doi.org/10.7907/ykhp6-cps53">10.7907/ykhp6-cps53</a></li>
<li>Martin, Alain J. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83">Distributed
Mutual Exclusion on a Ring of Processes</a>; <a
href="https://doi.org/10.7907/t0t4e-aq296">10.7907/t0t4e-aq296</a></li>
<li>Gillepsie, David (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5130-tr-84">LOG: The
Chipmunk Logic Simulator (User’s Guide)</a>; <a
href="https://doi.org/10.7907/7y5a3-15z31">10.7907/7y5a3-15z31</a></li>
<li>Lin, Tzu-Mu (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5133-tr-84">A
Hierarchical Timing Simulation Model for Digital Integrated Circuits and
Systems</a>; <a
href="https://doi.org/10.7907/bvsva-f7031">10.7907/bvsva-f7031</a></li>
<li>Lutz, Christopher (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5129-tr-84">Design
of the Mosaic Processor</a>; <a
href="https://doi.org/10.7907/66k93-2rx11">10.7907/66k93-2rx11</a></li>
<li>Seitz, Charles L. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5122-tr-84">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/1t9kp-syw76">10.7907/1t9kp-syw76</a></li>
<li>Dally, William J. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.cs-tr-5123-84">The
MOSSIM Simulation Engine Architecture and Design</a>; <a
href="https://doi.org/10.7907/q3j50-era50">10.7907/q3j50-era50</a></li>
<li>Schuster, Michael (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5132-tr-84">Switch-Level
Fault Simulation of MOS Digital Circuits</a>; <a
href="https://doi.org/10.7907/2v8qn-vnj60">10.7907/2v8qn-vnj60</a></li>
<li>Ho, Tai-Ping (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5137-tr-84">The
Dialogue Designing Dialogue System</a>; <a
href="https://doi.org/10.7907/1xmnk-39d34">10.7907/1xmnk-39d34</a></li>
<li>Martin, Alain J. (1984) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84">The
Probe: An Addition to Communication Primitives</a>; <a
href="https://doi.org/10.7907/w8azk-3fk36">10.7907/w8azk-3fk36</a></li>
<li>Wawrzynek, John (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5105-tr-83">Memory
management in the programming language ICL</a>; <a
href="https://doi.org/10.7907/2a6sq-v7d58">10.7907/2a6sq-v7d58</a></li>
<li>Chiang, Chao-Lin and Johnsson, Lennart (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5092-tr-83">Residue
Arithmetic and VLSI</a>; <a
href="https://doi.org/10.7907/77gav-sns10">10.7907/77gav-sns10</a></li>
<li>Seitz, Charles L. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5103-tr-83">Submicron
Systems Architecture Project: Semiannual Technical Report, November
1983</a>; <a
href="https://doi.org/10.7907/1m0a7-t2v72">10.7907/1m0a7-t2v72</a></li>
<li>Mead, Carver and Rem, Martin (1983) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-104637505">Minimum
propagation delays in VLSI</a>; <a
href="https://doi.org/10.7907/xzm6p-fzr13">10.7907/xzm6p-fzr13</a></li>
<li>Li, Pey-yun Peggy and Johnsson, Lennart (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5084-tr-83">The Tree
Machine: An Evaluation of Strategies For Reducing Program Loading
Time</a>; <a
href="https://doi.org/10.7907/gz4dm-3tg53">10.7907/gz4dm-3tg53</a></li>
<li>Martin, Alain J. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83">The
Design of a Self-timed Circuit for Distributed Mutual Exclusion</a>; <a
href="https://doi.org/10.7907/b2dbm-s0762">10.7907/b2dbm-s0762</a></li>
<li>Lin, Tzu-Mu and Mead, Carver A. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5089-tr-83">Signal
Delay in General RC Networks with Application to Timing Simulation of
Digital Integrated Circuits</a>; <a
href="https://doi.org/10.7907/h46fc-bcr96">10.7907/h46fc-bcr96</a></li>
<li>Athas, William C. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5086-tr-83">A VLSI
Combinator Reduction Engine</a>; <a
href="https://doi.org/10.7907/aw37b-hpf21">10.7907/aw37b-hpf21</a></li>
<li>Lutz, Chris; Rabin, Steve; et al. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5093-tr-83">Design
of the Mosaic Element</a>; <a
href="https://doi.org/10.7907/d330h-rd686">10.7907/d330h-rd686</a></li>
<li>Trimberger, Stephen (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5073-tr-83">Automated
Performance Optimization of Custom Integrated Circuits</a>; <a
href="https://doi.org/10.7907/59mzv-zme04">10.7907/59mzv-zme04</a></li>
<li>Trawick, David James (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5074-tr-83">Robust
Sentence Analysis and Habitability</a>; <a
href="https://doi.org/10.7907/rhq8x-rbx04">10.7907/rhq8x-rbx04</a></li>
<li>Papachristidis, Alexandros Christou (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1984.5136-tr-84">Heterogeneous
Database Access</a>; <a
href="https://doi.org/10.7907/bz4q6-yws82">10.7907/bz4q6-yws82</a></li>
<li>Ullner, Michael K. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5112-tr-83">Parallel
Machines for Computer Graphics</a>; <a
href="https://doi.org/10.7907/yz165-2r894">10.7907/yz165-2r894</a></li>
<li>Neches, Philip M. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5082-tr-83">Hardware
Support for Advanced Data Management Systems</a>; <a
href="https://doi.org/10.7907/kzemc-wh784">10.7907/kzemc-wh784</a></li>
<li>Bryant, Randall; Schuster, Mike; et al. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5033-tr-82">MOSSIM
II: A Switch-Level Simulator for MOS LSI User’s Manual</a>; <a
href="https://doi.org/10.7907/f0z20-29b07">10.7907/f0z20-29b07</a></li>
<li>Bryant, Randall E. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5091-tr-83">Race
Detection in MOS Circuits By Ternary Simulation</a>; <a
href="https://doi.org/10.7907/xabb0-k0j02">10.7907/xabb0-k0j02</a></li>
<li>Lam, Jimmy (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5081-tr-83">RTsim: A
register transfer simulator</a>; <a
href="https://doi.org/10.7907/md9am-yev57">10.7907/md9am-yev57</a></li>
<li>Chen, Marina Chien-mei (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5090-tr-83">Space-Time
Algorithms: Semantics and Methodology</a>; <a
href="https://doi.org/10.7907/96kfn-x5548">10.7907/96kfn-x5548</a></li>
<li>Seitz, Charles L. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5078-tr-83">Submicron
Systems Architecture:Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/fkdg6-95f44">10.7907/fkdg6-95f44</a></li>
<li>Megdal, Barry Bruce (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5015-tr-83">VLSI
Computational Structures Applied to Fingerprint Image Analysis</a>; <a
href="https://doi.org/10.7907/zjrev-96110">10.7907/zjrev-96110</a></li>
<li>DeBenedictis, Erik P. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.4777-tr-82">Techniques
for Testing Integrated Circuits</a>; <a
href="https://doi.org/10.7907/z7svn-fvj30">10.7907/z7svn-fvj30</a></li>
<li>Martin, Alain J (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83">A
General Proof Rule for Procedures in Predicate Transformer
Semantics</a>; <a
href="https://doi.org/10.7907/desx8-jhv04">10.7907/desx8-jhv04</a></li>
<li>Bryant, Randal E. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5065-tr-83">Switch-Level
Model and Simulator for MOS Digital Systems</a>; <a
href="https://doi.org/10.7907/bc770-dqe71">10.7907/bc770-dqe71</a></li>
<li>Johnsson, Lennart (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5079-tr-83">Highly
Concurrent Algorithms for Solving Linear Systems of Equations</a>; <a
href="https://doi.org/10.7907/64hjx-fv005">10.7907/64hjx-fv005</a></li>
<li>Seitz, Charles L. (1983) <a
href="https://resolver.caltech.edu/CaltechCSTR:1983.5102-tr-83">Experiments
with VLSI Ensemble Machines</a>; <a
href="https://doi.org/10.7907/jr3ht-fgk65">10.7907/jr3ht-fgk65</a></li>
<li>Schuster, Michael D. and Bryant, Randal E. (1983) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-114600956">Concurrent
fault simulation of MOS digital circuits</a>; <a
href="https://doi.org/10.7907/atk7s-t0c85">10.7907/atk7s-t0c85</a></li>
<li>Kajiya, James T. (1983) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-112657704">New
techniques for ray tracing procedurally defined objects</a>; <a
href="https://doi.org/10.1145/800059.801137">10.1145/800059.801137</a></li>
<li>Chen, Marina and Mead, Carver (1983) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031">A
Hierarchical Simulator Based on Formal Semantics</a>; <a
href="https://doi.org/10.7907/jz6sz-1pt23">10.7907/jz6sz-1pt23</a></li>
<li>Segal, Richard L. (1983) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120424-141649786">An
integrative approach to engineering data and automatic project
coordination</a>; <a
href="https://doi.org/10.7907/na044-5ap49">10.7907/na044-5ap49</a></li>
<li>Trimberger, Stephen and Kingsley, Chris (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120423-105037951">Chip
assembly tools</a>; <a
href="https://doi.org/10.7907/qt7sw-emq77">10.7907/qt7sw-emq77</a></li>
<li>Johnsson, Lennart and Cohen, Danny (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-155106097">A
Formal Derivation of Array Implementations of FFT Algorithms</a>; <a
href="https://doi.org/10.7907/4e69j-smn59">10.7907/4e69j-smn59</a></li>
<li>Chan, Wan S. (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-103600164">A
new channel routing algorithm</a>; <a
href="https://doi.org/10.7907/xh3qe-vxx53">10.7907/xh3qe-vxx53</a></li>
<li>DeBenedictis, Erik P. and Seitz, Charles L. (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120419-103122492">Testing
and Structured Design</a>; <a
href="https://doi.org/10.7907/mevh4-kx760">10.7907/mevh4-kx760</a></li>
<li>Trimberger, Stephen (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-153232596">GIGI
Terminals at Caltech</a>; <a
href="https://doi.org/10.7907/3v2px-j7356">10.7907/3v2px-j7356</a></li>
<li>Mosteller, R. C. (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-151722984">An
Experimental Composition Tool</a>; <a
href="https://doi.org/10.7907/5914s-vgs06">10.7907/5914s-vgs06</a></li>
<li>Thompson, Bozena Henisz; Thompson, Frederick B.; et al. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5051-tr-82">Knowledgeable
Contexts for User Interaction</a>; <a
href="https://doi.org/10.7907/jk9f9-zgq20">10.7907/jk9f9-zgq20</a></li>
<li>Carroll, Christopher R. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5034-tr-82">Hybrid
Processing</a>; <a
href="https://doi.org/10.7907/9y8yf-d2004">10.7907/9y8yf-d2004</a></li>
<li>Kingsley, Chris (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5021-tr-82">EARL: An
Integrated Circuit Design Language</a>; <a
href="https://doi.org/10.7907/h175h-mx256">10.7907/h175h-mx256</a></li>
<li>Whiting, Douglas L. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5000-tr-82">A
Self-Timed Chip Set for Microprocessor Communication</a>; <a
href="https://doi.org/10.7907/58sa4-y8916">10.7907/58sa4-y8916</a></li>
<li>Holstege, Eric J. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5035-tr-82">Type
Inference in a Declarationless, Object-Oriented Language</a>; <a
href="https://doi.org/10.7907/fx4rx-1jq25">10.7907/fx4rx-1jq25</a></li>
<li>Chen, Marina; Graham, Ronald L.; et al. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.4684-tr-82">A
Characterization of Deadlock Free Resource Contentions</a>; <a
href="https://doi.org/10.7907/qjr1p-89z76">10.7907/qjr1p-89z76</a></li>
<li>Lang, Charles Richard (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5014-tr-82">The
Extension of Object-Oriented Languages to a Homogenous, Concurrent
Architecture</a>; <a
href="https://doi.org/10.7907/e6pe5-r8y26">10.7907/e6pe5-r8y26</a></li>
<li>Kajiya, James T. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5017-tr-82">Ray
Tracing Parametric Patches</a>; <a
href="https://doi.org/10.7907/n7akq-eye39">10.7907/n7akq-eye39</a></li>
<li>Choo, Young-il (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5044-tr-82">Hierarchical
Nets: A Structured Petri Net Approach to Concurrency</a>; <a
href="https://doi.org/10.7907/9z6j1-f5y09">10.7907/9z6j1-f5y09</a></li>
<li>Ng, Charles H. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5055-tr-82">FIFO
Buffering Transceiver: A Communication Chip Set for Multiprocessor
Systems</a>; <a
href="https://doi.org/10.7907/fsx9f-w7p68">10.7907/fsx9f-w7p68</a></li>
<li>Johnsson, Lennart (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5040-tr-82">Concurrent
Algorithms for the Conjugate Gradient Method</a>; <a
href="https://doi.org/10.7907/6a5xt-r6216">10.7907/6a5xt-r6216</a></li>
<li>Chen, Marina C. and Mead, Carver A. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982-5042-tr-82">Formal
Specification of Concurrent Systems</a>; <a
href="https://doi.org/10.7907/kmq8e-ezn08">10.7907/kmq8e-ezn08</a></li>
<li>McNair, Richard and Miller, Monroe (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5016-tr-82">Bristle
Blocks - Scrutinized and Analyzed</a>; <a
href="https://doi.org/10.7907/n30tx-q5w18">10.7907/n30tx-q5w18</a></li>
<li>Lang, Charles R. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.4724-tr-82">Concurrent,
Asynchronous Garbage Collection Among Cooperating Processors</a>; <a
href="https://doi.org/10.7907/5kyg6-q3m53">10.7907/5kyg6-q3m53</a></li>
<li>Whitney, Telle and Hedges, Tom (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5029-tr-82">Pooh
User’s Manual</a>; <a
href="https://doi.org/10.7907/hd624-pmr46">10.7907/hd624-pmr46</a></li>
<li>Johnsson, Lennart and Seitz, Charles L. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5052-tr-82">Submicron
Systems Architecture: Semiannual Technical Report</a>; <a
href="https://doi.org/10.7907/vwwfw-anp96">10.7907/vwwfw-anp96</a></li>
<li>Trimberger, Stephen (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120424-143407144">A
Comparison of MOS PLAs</a>; <a
href="https://doi.org/10.7907/xq14s-s1q18">10.7907/xq14s-s1q18</a></li>
<li>Bryant, Randal E. and Dennis, Jack B. (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-110609720">Concurrent
Programming</a>; <a
href="https://doi.org/10.7907/4sght-rpn64">10.7907/4sght-rpn64</a></li>
<li>Thompson, Bozena H. and Thompson, Frederick B. (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120418-112411895">Introducing
ASK, A Simple Knowledgeable System</a>; <a
href="https://doi.org/10.7907/mqbwy-c8n89">10.7907/mqbwy-c8n89</a></li>
<li>Johnsson, Lennart (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120423-165211870">A
Computational Array for the QR-Method</a>; <a
href="https://doi.org/10.7907/madaw-z5041">10.7907/madaw-z5041</a></li>
<li>Martin, Alain J. (1982) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82">The
torus: an exercise in constructing a processing surface</a>; <a
href="https://doi.org/10.7907/cazcq-6fz54">10.7907/cazcq-6fz54</a></li>
<li>Bryant, Randal E. (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120419-112428166">Switch-Level
Modeling of MOS Digital Circuits</a>; <a
href="https://doi.org/10.7907/ep0h1-95z76">10.7907/ep0h1-95z76</a></li>
<li>Johnsson, Lennart (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120419-115610622">Pipelined
linear equation solvers and VLSI</a>; <a
href="https://doi.org/10.7907/en871-srv73">10.7907/en871-srv73</a></li>
<li>Trimberger, Stephen and Rowson, Jim (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120423-110517168">RIOT:
a simple graphical assembly tool</a>; <a
href="https://doi.org/10.7907/5xs37-cnf69">10.7907/5xs37-cnf69</a></li>
<li>Johnsson, Lennart (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-105611583">VLSI
algorithms for Doolittle’s, Crout’s, and Cholesky’s methods</a>; <a
href="https://doi.org/10.7907/4aq2m-bnw32">10.7907/4aq2m-bnw32</a></li>
<li>Whalen, Daniel S (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120419-120345912">A
Rectangular Area Filling Display System Architecture</a>; <a
href="https://doi.org/10.7907/cxyxg-6ns29">10.7907/cxyxg-6ns29</a></li>
<li>Kajiya, James T. (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-151015498">Ray
tracing parametric patches</a>; <a
href="https://doi.org/10.7907/gsy5a-w9850">10.7907/gsy5a-w9850</a></li>
<li>Mead, Carver and Rem, Martin (1982) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120423-103239364">Minimum
Propagation Delays in VLSI</a>; <a
href="https://doi.org/10.7907/7w91m-s9v80">10.7907/7w91m-s9v80</a></li>
<li>Johnsson, Lennart and Cohen, Danny (1981) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120420-102640427">A
mathematical approach to modelling the flow of data and control in
computational networks</a>; <a
href="https://doi.org/10.7907/ekw3n-6et55">10.7907/ekw3n-6et55</a></li>
<li>Kajiya, J and Ullner, M (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5018-tr-82">Filtering
high quality text for display on raster scan devices</a>; <a
href="https://doi.org/10.7907/b3bf6-tx272">10.7907/b3bf6-tx272</a></li>
<li>Mosteller, R. C. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4332-tr-81">RLAP
version 1.0 a chip assembly tool</a>; <a
href="https://doi.org/10.7907/cpybe-b1d47">10.7907/cpybe-b1d47</a></li>
<li>Johannsen, David Lawrence (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4530-tr-81">Silicon
Compilation</a>; <a
href="https://doi.org/10.7907/vvm2m-zpr34">10.7907/vvm2m-zpr34</a></li>
<li>Segal, Richard (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4029-tr-81">Structure,
placement and modelling</a>; <a
href="https://doi.org/10.7907/kq6fj-72673">10.7907/kq6fj-72673</a></li>
<li>Gray, Moshe (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4299-tr-81">The
Design and Implementation of a Reticle Maker for VLSI</a>; <a
href="https://doi.org/10.7907/aey19-53w60">10.7907/aey19-53w60</a></li>
<li>Rudin, Leonid (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4521-tr-81">Lambda
Logic</a>; <a
href="https://doi.org/10.7907/33598-ydd67">10.7907/33598-ydd67</a></li>
<li>Lewis, R.K. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4675-tr-81">Switching
Dynamics</a>; <a
href="https://doi.org/10.7907/zf009-bgw18">10.7907/zf009-bgw18</a></li>
<li>Lien, Sheue-Ling C. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81">Toward a
Theorem Proving Architecture</a>; <a
href="https://doi.org/10.7907/r0zky-s7g09">10.7907/r0zky-s7g09</a></li>
<li>Lin, Tzu-Mu (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4298-tr-81">From
Geometry to Logic</a>; <a
href="https://doi.org/10.7907/xkcd6-vfg70">10.7907/xkcd6-vfg70</a></li>
<li>Johnsson, Lennart and Cohen, Danny (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4168-tr-81">Computational
Arrays for the Discrete Fourier Transform</a>; <a
href="https://doi.org/10.7907/n91j8-85m21">10.7907/n91j8-85m21</a></li>
<li>Mosteller, R. C. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4317-tr-81">REST: A
Leaf Cell Design System</a>; <a
href="https://doi.org/10.7907/5z11w-jm163">10.7907/5z11w-jm163</a></li>
<li>Trimberger, Stephen; Rowson, James A.; et al. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4336-tr-81">A
Structured Design Methodology &amp; Assoicated Software Tools</a>; <a
href="https://doi.org/10.7907/n015c-49w50">10.7907/n015c-49w50</a></li>
<li>Trimberger, Stephen (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4281-tr-81">Combining
Graphics and a Layout Language in a Single Interactive System</a>; <a
href="https://doi.org/10.7907/ptds4-39139">10.7907/ptds4-39139</a></li>
<li>Thompson, Bozena Henisz and Thompson, Frederick B. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4128-tr-1981">Shifting
to a Higher Gear in a Natural Language System</a>; <a
href="https://doi.org/10.7907/wgg4m-ace56">10.7907/wgg4m-ace56</a></li>
<li>Yu, Kwang-I (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4527-tr-81">Communicative
Databases</a>; <a
href="https://doi.org/10.7907/p23xv-bcw17">10.7907/p23xv-bcw17</a></li>
<li>Whelan, Daniel S. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4654-tr-81">A
Versatile Ethernet Interface</a>; <a
href="https://doi.org/10.7907/990sf-1kv28">10.7907/990sf-1kv28</a></li>
<li>Johnsson, Lennart; Weiser, Uri; et al. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4191-tr-81">Towards
a Formal Treatment of VLSI Arrays</a>; <a
href="https://doi.org/10.7907/gn21a-t6x26">10.7907/gn21a-t6x26</a></li>
<li>Whitney, Telle (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4320-tr-81">A
Hierarchical Design Rule Checker</a>; <a
href="https://doi.org/10.7907/8jz33-x1385">10.7907/8jz33-x1385</a></li>
<li>Li, Pey-yun (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4517-tr-81">The
Serial Log Machine</a>; <a
href="https://doi.org/10.7907/8x01d-fns56">10.7907/8x01d-fns56</a></li>
<li>Johnsson, Lennart (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4287-tr-81">Computational
Arrays for Band Matrix Equations</a>; <a
href="https://doi.org/10.7907/70tmd-29e82">10.7907/70tmd-29e82</a></li>
<li>Li, Pey-yun Peggy (1981) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120418-101642081">The
Tree Machine Operating System</a>; <a
href="https://doi.org/10.7907/y072z-zf865">10.7907/y072z-zf865</a></li>
<li>Rem, Martin and Mead, Carver (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1981.4600-tr-81">A
notation for designing restoring logic circuitry in CMOS</a></li>
<li>Trimberger, Stephen (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3880-tr-80">The
Proposed Sticks Standard</a>; <a
href="https://doi.org/10.7907/e9sf3-8qn24">10.7907/e9sf3-8qn24</a></li>
<li>Johnsson, Lennart (1980) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120418-110634950">VLSI
Architecture and Design</a>; <a
href="https://doi.org/10.7907/bmm7d-81x26">10.7907/bmm7d-81x26</a></li>
<li>Milne, George J. (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80">The
representation of communication and concurrency</a>; <a
href="https://doi.org/10.7907/1e41m-vq136">10.7907/1e41m-vq136</a></li>
<li>Trimberger, Stephen (1980) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120419-110935084">Two
Rail Restoring Logic Blocks – An Alternative Logic Model: Silicon
Structures Project Memo # 3</a>; <a
href="https://doi.org/10.7907/n4nqy-bzg25">10.7907/n4nqy-bzg25</a></li>
<li>Trimberger, Stephen (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3794-tr-80">Combining
graphics and layout language in a single interactive system</a>; <a
href="https://doi.org/10.7907/e4ydb-23e50">10.7907/e4ydb-23e50</a></li>
<li>Demetrescu, Stefan Gabriel (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.4090-tr-80">A VLSI
Based Real-Time Hidden Surface Elimination Display System</a>; <a
href="https://doi.org/10.7907/gq2ej-hp229">10.7907/gq2ej-hp229</a></li>
<li>Oestreicher, Donald (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3655-tr-80">PLASYS:
Final Report</a>; <a
href="https://doi.org/10.7907/eehbb-vah10">10.7907/eehbb-vah10</a></li>
<li>Tarolli, Gary M. (1980) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120418-105425647">A
Chip Assembler</a>; <a
href="https://doi.org/10.7907/Z9M61H7K">10.7907/Z9M61H7K</a></li>
<li>Buchanan, Irene (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80">Modeling
and Verification in Structured Integrated Circuit Design</a>; <a
href="https://doi.org/10.7907/2rqxt-3qb58">10.7907/2rqxt-3qb58</a></li>
<li>Rowson, James Allely (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80">Understanding
Hierarchical Design</a>; <a
href="https://doi.org/10.7907/Z9BP00R2">10.7907/Z9BP00R2</a></li>
<li>DeBenedictis, Erik P. (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.4061-tr-80">A
Preliminary Report on the Caltech ARPA Tester Project</a>; <a
href="https://doi.org/10.7907/Z9N014HV">10.7907/Z9N014HV</a></li>
<li>Barton, Anthony Francis (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3761-tr-80">A Fault
Tolerant Integrated Circuit Memory</a>; <a
href="https://doi.org/10.7907/b241m-a6c87">10.7907/b241m-a6c87</a></li>
<li>Hess, Gideon David (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3762-tr-80">A
Software Design System</a>; <a
href="https://doi.org/10.7907/ppc1r-w4508">10.7907/ppc1r-w4508</a></li>
<li>Sproull, Robert; Lyon, Richard; et al. (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.2686-tr-1980">The
Caltech Intermediate Form for LSI Layout Description</a>; <a
href="https://doi.org/10.7907/jmrgc-2f168">10.7907/jmrgc-2f168</a></li>
<li>Trimberger, Stephen (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3352-tr-80">A
Comprehensive CIF Test Set</a>; <a
href="https://doi.org/10.7907/jpggm-q7p79">10.7907/jpggm-q7p79</a></li>
<li>Browning, Sally A. (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:3760-tr-80">The Tree
Machine: A Highly Concurrent Computing Environment</a>; <a
href="https://doi.org/10.7907/Z96W9816">10.7907/Z96W9816</a></li>
<li>Locanthi, Bart N. (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.3759-tr-80">The
Homogeneous Machine</a>; <a
href="https://doi.org/10.7907/6cbb2-qgq58">10.7907/6cbb2-qgq58</a></li>
<li>Martin, A. J. (1980) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991">A
Distributed Implementation Method for Parallel Programming</a>; <a
href="https://doi.org/10.7907/c1h76-gdn90">10.7907/c1h76-gdn90</a></li>
<li>Johnsson, Lennart (1980) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.4087-tr-80">Gaussian
Elimination on Sparse Matricies and Concurrency</a>; <a
href="https://doi.org/10.7907/f5pmx-pnx37">10.7907/f5pmx-pnx37</a></li>
<li>Tarolli, Gary and Lang, Dick (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.3357-tr-79">CIF2OP
Instruction Manual</a>; <a
href="https://doi.org/10.7907/ybaxw-efg09">10.7907/ybaxw-efg09</a></li>
<li>Efland, G. and Mosteller, R. C. (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.3364-tr-79">Stack
Data Engine</a>; <a
href="https://doi.org/10.7907/memwk-xjg39">10.7907/memwk-xjg39</a></li>
<li>Trimberger, Stephen (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.3253-tr-79">CIFSYM –
CIF Symbol Handler</a>; <a
href="https://doi.org/10.7907/2dcnz-we476">10.7907/2dcnz-we476</a></li>
<li>Lang, Dick (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.3356-tr-79">LAP
user’s manual</a>; <a
href="https://doi.org/10.7907/Z90P0X08">10.7907/Z90P0X08</a></li>
<li>Gray, J. P. and Buchanan, I. (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.3230-tr-79">Models
for Structured IC Design</a>; <a
href="https://doi.org/10.7907/y4qag-gcv17">10.7907/y4qag-gcv17</a></li>
<li>McGrath, Ed (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.3236-tr-79">A
Physical Design Rule Description</a>; <a
href="https://doi.org/10.7907/Z9V122RR">10.7907/Z9V122RR</a></li>
<li>Lang, Charles R. (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.2891-tr-79">Automated
Wiring Analysis of Integrated Circuit Geometric Data</a>; <a
href="https://doi.org/10.7907/sn86y-q7468">10.7907/sn86y-q7468</a></li>
<li>Seiler, Larry Dean (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1980.2883-tr-80">A Pascal
Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon
Computer</a>; <a
href="https://doi.org/10.7907/0xxhr-k5a41">10.7907/0xxhr-k5a41</a></li>
<li>Trimberger, Stephen (1979) <a
href="https://resolver.caltech.edu/CaltechCSTR:1979.2870-tr-79">A Wire
Oriented Mask Geometry Editor</a>; <a
href="https://doi.org/10.7907/hgtcg-f8949">10.7907/hgtcg-f8949</a></li>
<li>Kajiya, James Thomas (1979) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120424-144344175">Toward
a mathematical theory of perception</a>; <a
href="https://doi.org/10.7907/Z99Z92V3">10.7907/Z99Z92V3</a></li>
<li>Johannsen, Dave (1978) <a
href="https://resolver.caltech.edu/CaltechCSTR:1978.2069-tr-78">Hierarchical
power routing</a>; <a
href="https://doi.org/10.7907/15bcb-29638">10.7907/15bcb-29638</a></li>
<li>Ayres, Ronald (1978) <a
href="https://resolver.caltech.edu/CaltechCSTR:1978.2276-tr-78">A
Language Processor and a Sample Language</a>; <a
href="https://doi.org/10.7907/1vv8n-mq049">10.7907/1vv8n-mq049</a></li>
<li>Mead, Carver A. and Rem, Martin (1978) <a
href="https://resolver.caltech.edu/CaltechCSTR:1978.1584-tr-78">Cost and
Performance of VLSI Computing Structures</a>; <a
href="https://doi.org/10.7907/fm4yx-3bq89">10.7907/fm4yx-3bq89</a></li>
<li>Masumoto, Rodney Tak (1978) <a
href="https://resolver.caltech.edu/CaltechCSTR:1978.4204-tr-78">A 16-Bit
LSI Digital Multiplier</a>; <a
href="https://doi.org/10.7907/7xkjj-rv082">10.7907/7xkjj-rv082</a></li>
<li>Sutherland, Ivan E. (1978) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120418-103150565">The
Polygon Package</a>; <a
href="https://doi.org/10.7907/5tba0-53c30">10.7907/5tba0-53c30</a></li>
<li>Henisz Thompson, Bozena and Thompson, Frederick B. (1978) <a
href="https://resolver.caltech.edu/CaltechAUTHORS:20120417-143125744">Rapidly
Extendable Natural Language</a>; <a
href="https://doi.org/10.7907/Z9VM4980">10.7907/Z9VM4980</a></li>
<li>Randall, David Lawrence (1970) <a
href="https://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70">Formal
Methods in the Foundations of Science</a>; <a
href="https://doi.org/10.7907/303jv-1h913">10.7907/303jv-1h913</a></li>
</ul>