Items where Collection is "CaltechCSTR"

Martin, Alain J. (2014) 25 Years Ago: The First Asynchronous Microprocessor. Computer Science Technical Reports, 2014.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QR4V3H. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844

Keller, Sean and Bhargav, Siddharth S. and Moore, Chris et al. (2014) Quantifying Near-Threshold CMOS Circuit Robustness. Computer Science Technical Reports, 2014.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9M043CG. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175

Capponi, Agostino (2008) A convex optimization approach to jump nonlinear systems. Computer Science Technical Reports, 2005.004. California Institute of Technology . (Submitted) https://resolver.caltech.edu/CaltechDEMO:2004.007

Cui, Tao and Chen, Lijun and Ho, Tracey et al. (2007) Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks. Computer Science Technical Reports, 2007.003. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G73BP6. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2007.003

Cui, Tao and Chen, Lijun and Ho, Tracey (2007) Distributed Optimization in Wireless Networks Using Broadcast Advantage. Computer Science Technical Reports, 2007.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BK19BR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2007.002

Tang, A. Kevin and Simsek, Alp and Ozdaglar, Asuman et al. (2006) On the Stability of P-Matrices. Computer Science Technical Reports, 2006.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96T0JNG. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2006.005

Li, Ling and Abu-Mostafa, Yaser S. (2006) Data complexity in machine learning. Computer Science Technical Reports, 2006.003. California Institute of Technology , Pasadena, USA. doi:10.7907/Z9319SW2. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2006.004

Capponi, Agostino and Chandy, Mani and Fatkullin, Ibrahim (2006) Predicate Signaling in Distributed Sensor Networks. Computer Science Technical Reports, 2006.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Z899D5. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2006.002

Hickey, Jason and Nogin, Aleksey (2006) OMake: Designing a Scalable Build Process. Computer Science Technical Reports, 2006.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TH8JPF. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2006.001

Li, Ling (2005) Perceptron learning with random coordinate descent. Computer Science Technical Reports, 2005.005. California Institute of Technology , Pasadena, USA. doi:10.7907/Z9PR7SZQ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.006

Nogin, Aleksey and Kopylov, Alexei and Xin, Yu et al. (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings. Computer Science Technical Reports, 2005.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9K0728J. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.003

Tang, Ao and Wang, Jiantao and Low, Steven H. et al. (2005) Equilibrium of Heterogeneous Congestion Control Protocols. Computer Science Technical Reports, 2005.003. Steven Low , Pasadena, CA. doi:10.7907/Z9FB50XP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.005

Capponi, Agostino and Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes. Computer Science Technical Reports, 2005.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z99K487T. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.004

Papadantonakis, Karl (2005) Design Rules for Non-Atomic Implementations of PRS. Computer Science Technical Reports, 2005.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z95T3HGN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.001

Abu-Mostafa, Yaser and Song, Xubo and Nicholson, Alexander et al. (2004) The Bin Model. Computer Science Technical Reports, 2004.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9222RR7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2004.002

Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.006a

Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9X9288B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.006

Papadantonakis, Karl (2003) An Asynchronous Register Bypass Transformation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9J38QHN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.005

Li, Ling and Abu-Mostafa, Yaser S. and Pratap, Amrit (2003) CGBoost: Conjugate Gradient in Function Space. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.007

Kim, Ki Baek and Tang, Ao and Low, Steven H. (2003) Design of AQM in Supporting TCP Based on the Well-Known AIMD Model. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DB7ZTC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.001

Hickey, Jason and Nogin, Aleksey and Granicz, Adam et al. (2003) Formal Compiler Implementation in a Logical Framework. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98K7720. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.002

Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. 2003.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94T6GB8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.004

Fink, Michael (2003) The Full Images for Natural Knowledge Caltech Office DB. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.008a

Fink, Michael and Perona, Pietro (2003) The Full Images for Natural Knowledge Caltech Office DB. 2003.008. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9125QMV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.008

Papadantonakis, Karl (2003) Stable Production Rule Sets are Deterministic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XS5SD9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.003

Schkolne, Steven and Schröder, Peter (2002) Assembling and Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and a Lightsaber. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PC30C8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.005

Kim, Ki Baek and Low, Steven H. (2002) Analysis and Design of AQM for stabilizing TCP. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T43R25. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.009

Kim, Ki Baek and Low, Steven H. (2002) Cost of AQM in stabilizing TCP. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JM27M3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.008

Penzes, Paul Ivan (2002) Energy-Delay Complexity of Asynchronous Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DV1GVX. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.010

Nayak, Ashwin and Shor, Peter (2002) On Bit-Commitment Based Quantum Coin Flipping. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BR8Q69. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.004

Granicz, Adam and Hickey, Jason (2002) Phobos: A front-end approach to extensible compilers (long version). California Institute of Technology , Pasadena, CA. doi:10.7907/Z9707ZFF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.006

Hickey, Jason and Smith, Justin D. and Aydemir, Brian et al. (2002) Process Migration and Transactions Using a Novel Intermediate Language. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93776Q3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.007

Pénzes, Paul I. and Nyströem, Mika and Martin, Alain J. (2002) Transistor Sizing of Energy-Delay-Efficient Circuits. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZG6Q7T. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.003

Martin, Alain J. and Nyström, Mika and Penzes, Paul et al. (2001) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor. California Institute of Technology , Pasadena, CA. doi:10.7907/Z99S1P11. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.012

Nyström, Mika (2001) Asynchronous Pulse Logic. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TQ5ZJJ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.011

Zimmerman, Daniel M. (2001) Dynamic UNITY. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q23X7V. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.006

Martin, Alain J. and Nyströem, Mika and Penzes, Paul (2001) ET^2: A Metric For Time and Energy Efficiency of Computation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9K935JZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.007

Pénzes, Paul I. and Martin, Alain J. (2001) Global and local properties of asynchronous circuits optimized for energy efficiency. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9FJ2DSS. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.002

Papadantonakis, Karl (2001) A Theory of Constant Et² CMOS Circuits. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9610X9M. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.004

Nicholson, Alexander (2000) A Generalization Model and Learning in Hardware. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ST7MTG. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.007

Magdon-Ismail, Malik and Atiya, Amir (2000) Some Results Regarding the Estimation of Densities and Random Variate Generation Using Neural Networks. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9GB222G. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.005

Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part II: Polynomially-Varying Radiant Exitance. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XG9P5B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-04

Charpentier, Michel and Chandy, K. Mani (2000) Theorems about Composition. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BK19C6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02

Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part I: Linearly-Varying Radiant Exitance. California Institute of Technology , Pasadena, CA. doi:10.7907/Z92805MQ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-01

Taubin, Gabriel (2000) Is this a Quadrisected Mesh? California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P26W4X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.008

Wood, Zoë Justine (2000) Semi-Regular Mesh Extraction from Volumes. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9M32SSD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.006

Schooler, Eve M. (2000) Why Multicast Protocols (Don't) Scale: An Analysis of Multipoint Algorithms for Scalable Group Communication. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96W982N. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.003

Nyströem, Mika (1999) Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg's Examples. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9C8278M. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.010

Ginis, Roman (1999) Optimal Distributed Resource Allocation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9MS3QRD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-08

Rifkin, Adam (1999) Application Development using Compositional Performance Analysis. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9348HCP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-96-09

Charpentier, Michel and Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZC80WC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01

Kiniry, Joseph R. (1999) Leading to a Kind Description Language: Thoughts on Component Specification. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PV6HCF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04

Chen, Min (1999) Perturbation Methods for Image Synthesis. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9H1300B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-05

Schkolne, Steven and Schröder, Peter (1999) Surface Drawing. California Institute of Technology , Pasadena, CA. doi:10.7907/Z97H1GKB. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-03

Charpentier, Michel and Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93R0QW2. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02

Sivilotti, Paolo A. G. (1998) A Method for the Specification, Composition, and Testing of Distributed Object Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z91N7Z43. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-31

Kiniry, Joseph R. (1998) A New Construct for Systems Modeling and Theory: The Kind. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G15XV5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14

Kiniry, Joseph R. and Cheong, Elaine (1998) JPP: A Java Pre-Processor. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KS6PKK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-15

Rifkin, Adam and Massingill, Berna (1998) Performance Analysis for Mesh and Mesh-Spectral Archetype Applications. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96M34TT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-96-27

Winfree, Erik (1998) Simulations of Computing by Self-Assembly. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TB14X7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.22

Kiniry, Joseph R. (1998) The Specification of Dynamic Distributed Component Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PK0D5G. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08

Zimmerman, Daniel M. (1998) A Preliminary Investigation into Dynamic Distributed Workflow. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Z31WP1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-09

Pénzes, Paul I. (1998) The design of high performance asynchronous circuits for the Caltech MiniMIPS processor. California Institute of Technology , Pasadena, CA. doi:10.7907/Z90V89TB. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.001

Ramamoorthi, Ravi (1998) Creating Generative Models from Range Images. Computer Science Technical Reports, 1998.05. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V9863X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-05

Manohar, Rajit (1998) The impact of asynchrony on computer architecture. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9028PJC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-12

Çataltepe, Zehra and Abu-Mostafa, Yaser S. and Magdon-Ismail, Malik (1998) No Free Lunch for Early Stopping. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9B8565P. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-02

Kiniry, Joseph R. (1998) IDebug: An Advanced Debugging Framework for Java. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QJ7FBR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-16

Lines, Andrew Matthew (1998) Pipelined Asynchronous Circuits. California Institute of Technology , Pasadena, CA. doi:10.7907/Z92V2D4Z. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-95-21

Laidlaw, David H. and Ahrens, Eric T. and Kremers, David et al. (1998) Visualizing Diffusion Tensor Images of the Mouse Spinal Cord. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98C9T9V. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-07

Winfree, Erik (1998) Whiplash PCR for O(1) Computing. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94M92KH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.23

Massingill, Berna (1997) A Structured Approach to Parallel Programming. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94F1NR1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-04

Bax, Eric (1997) Improved Uniform Test Error Bounds. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9959FK4. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-15

Zimmerman, Daniel M. and Rothstein, Brian and Kaganovich, Yevgeniy et al. (1997) Constructing Client-Server Multi-Player Asynchronous Networked Games Using a Single-Computer Model. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9GX48K9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-16

Bax, Eric (1997) Similar Classifiers and VC Error Bounds. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CZ355Q. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-14

Bax, Eric (1997) Validation of Voting Committee. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9W093X1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-13

Heirich, Alan (1997) Analysis of Scalable Algorithms for Dynamic Load Balancing and Mapping with Application to Photo-realistic Rendering. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9W37TBC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-10

Bax, Eric (1997) Combining Multilayer Networks to Combine Learning. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9MK69XR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-01

Bax, Eric and Çataltepe, Zehra and Sill, Joe (1997) The Central Classifier Bound - A New Error Bound for the Classifier Chosen by Early Stopping. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9RB72M1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-08

Ramamoorthi, Ravi and Ball, Cindy and Barr, Alan H. (1997) Dynamic Splines with Constraints for Animation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z97D2S51. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-03

Azuma, Daniel and Lin, James and Chun, Eugene et al. (1997) A Framework for Migration of Networked Intercommunication Processes. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PG1PRR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-21

Chandy, K. Mani and Kiniry, Joseph and Rifkin, Adam et al. (1997) A Framework for Structured Distributed Object Computing. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JQ0Z2W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07

Ramamoorthi, Ravi and Rifkin, Adam and Dimitrov, Boris et al. (1997) A General Resource Reservation Framework for Scientific Computing. CRPC-97-7. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DZ06BJ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19

Massingill, Berna L. and Chandy, K. Mani (1997) Parallel Program Archetypes. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WW7FP7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28

Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1997) Partial-Volume Bayesian Classification of Material Mixtures in MR Volume Data using Voxel Histograms. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9S75DB3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-12

Nyströem, Mika (1997) Pipelined Asynchronous Cache Design. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NG4NNT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.009

Aldrich, Jonathan and Dooley, James and Mandelsohn, Scott et al. (1997) Providing Easier Access to Remote Objects in Client-Server Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9HQ3WX3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-20

Zorin, Denis N. (1997) Stationary Subdivision and Multiresolution Surface Representations. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9862DF9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-32

Bax, Eric (1997) Validation of Average Error Rate Over Classifiers. California Institute of Technology , Pasadena, CA. doi:10.7907/Z90P0X25. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-17

Chandy, K. Mani and Rifkin, Adam and Kiniry, Joseph et al. (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9R78C75. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10

Gornowicz, Galen G. and Laidlaw, David H. and Shan, Jerry W. et al. (1997) De-aliasing Undersampled Volume Images for Visualization. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9C53HWB. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-11

Ramamoorthi, Ravi and Barr, Alan H. (1997) Fast Construction of Accurate Quaternion Splines. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93N21D7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-04

Gimelshein, Sergey and Markelov, Gennady and Rieffel, Marc (1996) Collision Models in the Hawk DSMC Implementation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V122TN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-16

Chow, Bryan (1996) Compiler Techniques for Loosely-Coupled Multi-Cluster Architectures. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T151P8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-97-18

Manohar, Rajit and Sivilotti, Paolo A. G. (1996) Composing Processes Using Modified Rely-Guarantee Specifications. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P848X3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22

Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) Reliable Synchronization Primitives for Java. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P55KHS. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11

Chandy, K. Mani and Dimitrov, Boris and Le, Huy et al. (1996) A World-Wide Distributed System Using Java and the Internet. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98W3BBD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08

Zadik, Yair (1996) The Message Driven File System: a Network Accessible File System for Fine-Grain Message Passing Multicomputers. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TT4NZV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-13

Bax, Eric (1996) Recurrence-Based Reductions for Inclusion and Exclusion Algorithms Applied to P Problems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ST7MVX. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-01

Maskit, Daniel (1996) A Compiler Algorithm for Managing Asynchronous Memory Read Completion. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q81B3B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-02

Kryukova, Svetlana and Massingill, Berna and Sanders, Beverly (1996) An Algorithm for Distributed Location Management in Networks of Mobile Computers. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MN3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-14

Zorin, Denis (1996) Ck Continuity of Subdivision Surfaces. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZS2TH7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-23

Chandy, K. Mani and Schooler, Eve M. (1996) Designing Directories in Distributed Systems: A Systematic Framework. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9736NXN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19

Zorin, Denis and Schröder, Peter and Sweldens, Wim (1996) Interpolating Subdivision for Meshes of Arbitary Topology. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93B5X5W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-06

Massingill, Berna L. (1996) The Mesh Archetype. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZK5DPK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-25

Davis, Gregg and Massingill, Berna L. (1996) The Mesh Archetype. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-26

Schooler, Eve M. (1996) A Multicast User Directory Service for Synchronous Rendezvous. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DR2SHH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-18

Xu, Jiazhao Jessie (1996) On Detection and Generation of Dead-lock free Reshuffling in the VLSI Synthesis Method. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q23X89. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-10

Thornley, John (1996) A Parallel Programming Model with Sequential Semantics. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KD1VXF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-12

Nelson, Bradley D. (1996) Portable Graphical Tools for Concurrent Plasma Simulation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XK8CJ6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-24

Chandy, K. Mani and Rifkin, Adam (1996) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JD4TTH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15

Bax, Eric (1996) Tailoring the Permanent Formula to Problem Instances. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DN433K. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-17

Manohar, Rajit and Martin, Alain J. (1995) Quasi-Delay-Insensitive Circuits are Turing-Complete. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9H70CV1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11

Fleischer, Kurt (1995) Polygon Scan Conversion Derivations. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9RR1W8B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-91-12

Watts, Jerrell (1995) A Practical Approach to Dynamic Load Balancing. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9N014J9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-13

Thornley, John (1995) Performance of a Class of Highly-Parallel Divide-and-Conquer Algorithms. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WH2N1H. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-10

Manohar, Rajit (1995) Folded FIFOs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9J67DZD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-09

Kryukova, Svetlana A. (1995) Parallel Programming Archetypes in Combinatorics and Optimization. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z91834J7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-06

Fleischer, Kurt W. (1995) A Multiple-Mechanism Developmental Model for Defining Self-Organizing Geometric Structures. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9513W74. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-14

Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DF6P8J. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-07

Nystroem, Mika (1995) Et2 and Multi-Voltage Logic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NZ85PT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.008

Leino, K. Rustan M. (1995) Towards Reliable Modular Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CJ8BH1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-03

Rieffel, Marc A. (1995) Concurrent Simulations of Plasma Reactors for VLSI Manufacturing. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z92805N5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-12

Zorin, Denis N. (1995) Correction of Geometeric Perceptual Distortions in Pictures. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XG9P6S. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-22

Tierno, José Andrés (1995) An Energy-Complexity Model for VLSI. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SQ8XFM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-02

Laidlaw, David H. (1995) Geometric Model Extraction from Magnetic Resonance Volume Data. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z98S4MXP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-05

Heirich, Alan (1994) Scalable Load Balancing by Diffusion. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z97M05Z6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-04

Hofstee, H. Peter (1994) Synchronizing Processes. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9028PKT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-19

Chow, Bryan and Fyfe, Andrew and Maskit, Daniel et al. (1994) A Development Methodology for Concurrent Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/S4MW2X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16

Carlin, Peter (1994) Distributed Linear Algebra on Networks of Workstations. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VH5KV8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-14

Manohar, Rajit and Chandy, K. Mani (1994) Mach-Based Channel Library. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SJ1HMH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15

Manohar, Rajit and Leino, K. Rustan M. (1994) Theory and Use of Conditional Composition. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VD6WGD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12

Pinkstone, Donald, III (1994) A Compiler for a Subset of Modula-3. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9416V3R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-17

Leino, K. Rustan M. (1994) Computing Permutation Encodings. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z90863BZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-10

Maskit, Daniel (1994) A Message-Driven Programming System for Fine-Grain Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9J38QKJ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-03

Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1994) Classification of Material Mixtures in Volume Data for Visualization and Modeling. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z97S7KTR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-07

Bax, Eric (1994) Recurrence-based Heuristics for the Hamiltonian Path Inclusion and Exclusion and Exclusion Algorithm. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CC0XQ0. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-11

Çataltepe, Zehra (1994) The Scheduling Problem in Learning From Hints. Computer Science Technical Reports, 94-09. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93T9F7B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-09

Sivilotti, Paul A. G. and Carlin, Peter A. (1994) A Tutorial for CC++. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QN64SH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02

Palmer, Michael E. (1994) Immersing the Scientist in Data: Interactive Visualization of Unstructured Scientific Data on Concurrent Architectures. California Institute of Technology , Pasadena, CA. doi:10.7907/Z95T3HH3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-06

Chandy, K. Mani and Manohar, Rajit and Massingill, Berna L. et al. (1994) Integrating Task and Data Parallelism with the Collective Communication Archetype. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9222RSP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08

Tierno, Jose A. and Martin, Alain J. (1994) Low-Energy Asynchronous Memory Design. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9X9289S. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21

Van de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NV9G8H. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

Goldsmith, Jeff (1994) Optimized Computer-Generated Motions for Animation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DB7ZVT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-18

Heirich, Alan and Taylor, Stephen (1994) A Parabolic Load Balancing Method. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z94T6GCQ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-13

Thornley, John (1993) Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T72FGG. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-40

Rifkin, Adam (1993) Teaching Archetypal Design with an Electronic Textbook. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z98G8HRM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-13

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NS0RX7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37

Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. Computer Science Technical Reports, 1993.34. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KK98TT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34

Chandy, K. Mani and Foster, Ian (1993) A Deterministic Notation for Cooperating Processes. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9B85664. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31

Seizovic, Jakov N. (1993) Introduction to C+- (Submicron Systems Architecture Project). Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JS9NGN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-32

Chandy, K. Mani (1993) Properties of Concurrent Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZS2TJP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24

Leino, K. Rustan M. (1993) Multicomputer Programming with Modula-3D. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9F18WSP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15

Binau, Ulla (1993) Distributed Diners: From UNITY Specification to CC++ Implementation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z96H4FGD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-20

Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KP8063. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29

Massingill, Berna (1993) Integrating Task and Data Parallelism. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PG1PS6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-01

Maskit, Daniel and Taylor, Stephen (1993) Experiences in Programming the J-Machine. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z92R3PQ7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-11

Maskit, Daniel and Zadik, Yair and Taylor, Stephen (1993) System Tools for the J-Machine. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9D798FW. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-12

Thornley, John (1993) A Collection of Declarative Ada Example Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z99C6VF7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-05

Thornley, John (1993) Parallel Programming with Declarative Ada. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9X0652T. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03

Thornley, John (1993) The Programming Language Declarative Ada Reference Manual. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z97942Q7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-04

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SJ1HNZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10

Tierno, Jose A. (1993) Designing Asynchronous Circuits in Gallium Arsenide. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G15XWM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-19

Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z96M34V8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01

Carlin, Peter and Chandy, K. Mani and Kesselman, Carl (1993) The Compositional C++ Language Definition. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QF8QWK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02

Boden, Nanette Jackson (1993) Runtime Systems for Fine-Grain Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QC01J3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-10

Seizovic, Jakov N. (1993) The Architecture and Programming of a Fine-Grain Multicomputer. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G44N9B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-18

Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen et al. (1993) An Asynchronous Microprocessor in Gallium Arsenide. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BC3WJ5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38

Kirk, David B. (1993) Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KW5D26. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-08

Zadik, Yair and Taylor, Stephen (1993) A File System for the J-Machine. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Z03666. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-27

Ainsworth, Paul and Kryukova, Svetlana (1993) A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z998852R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-36

Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z95H7D9K. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19

Heirich, Alan and Taylor, Stephen (1993) A Parabolic Theory of Load Balance. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z91R6NJD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-25

Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9C24TG1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23

Taylor, Stephen (1993) Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z93J3B0X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-35

Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V40S70. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33

Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9125QPR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26

Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z94Q7S2R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02

Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9W95779. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21

Hofstee, H. Peter (1993) A problem in the regularity calculus. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9RJ4GHK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42

Pertel, Michael J. (1992) A Critique of Adaptive Routing. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9R78CCZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-06

Fyfe, William John Andrew (1992) Invariance Hints and the VC Dimension. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9765CHM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-20

Mahowald, Misha (1992) VLSI analogs of neuronal visual processing: a synthesis of form and function. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CZ35CD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-15

Pertel, Michael J. (1992) Mesh Distance Formulae. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T151VH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-05

Pertel, Michael J. (1992) A Simple Simulator for Multicomputer Routing Networks. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z91J97XF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-04

Steele, Craig S. (1992) Affinity: A Concurrent Programming System for Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9862DN0. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-08

Chandy, K. Mani and Kesselman, Carl (1992) Compositional C++: Compositional Parallel Programming. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z94F1NX8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13

Sanouillet, Remy D. (1992) Computer Mediated Communication. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z90P0X6Z. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-30

Hofstee, H. Peter (1992) Constructing some Distributed Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VX0DQN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-16

Nielsen, Christian D. and Martin, Alain J. (1992) Delay-Insensitive Multiply-Accumulate Unit. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9MG7MPP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03

Chandy, K. Mani and Kesselman, Carl (1992) The Derivation of Compositional Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9GQ6VZZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18

Leino, K. Rustan M. (1992) Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BZ6471. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26

Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MSW. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04

Laidlaw, David H. (1992) Material Classification of Magnetic Resonance Volume Data. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZP4490. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-21

Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular Dynamics on the Mosaic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P8493R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25

Binau, Ulla (1992) Mutual Exclusion in a Token Ring in CC++. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JH3JC1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-11

Back, R. J. R. (1992) Predicate Transformers and Higher Order Logic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DR2SN9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-24

Back, R. J. R. (1992) Refinement Calculus, Lattices and Higher Order Logic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z99021X8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-22

Back, R. J. R. (1992) Refinement of Parallel and Reactive Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z957196Z. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-23

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1992) Submicron Systems Architecture Project : Semiannual Technical Report. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WS8RF5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17

Hazewindus, Pieter Johannes (1992) Testing Delay-Insensitive Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9S180PP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-14

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A Tutorial Introduction to Mosaic Pascal. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02

Foster, Ian and Taylor, Stephen (1992) A compiler approach to scalable concurrent program design. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-07

DeWeerth, Stephen P. (1991) Analog VLSI Circuits for Sensorimotor Feedback. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-13

Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08

Schweizer, David Lawrence (1991) Combinatorial Design of Tolerant Communicaiton Structures, with Applications to Non-Blocking Switches. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-09

Hofstee, Peter H. and Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) A Distributed Implementation of a Task Pool. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05

Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07

Dyer, Lounette M. (1991) An Object-Oriented Real-Time Simulation of Music Performance Using Interactive Control. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-11

Burns, Steven M. (1991) Performance Analysis and Optimization of Asynchronous Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-01

Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06

Seitz, Charles L. (1991) Submicron Systems Architecture Project :Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-10

Seitz, Charles L. (1991) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-03

Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13

Van de Snepscheut, Jan L. A. (1991) On the Correctness of Sliding Window Protocols. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436

Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09

Judd, Stephen (1990) Characterizing NP and Measuring Instance Complexity. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-11

Gupta, Rajiv and Kajiya, James (1990) Compiler Optimization of Array Data Storage. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-07

Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02

Lukkien, Johan J. (1990) Parallel Program Design and Generalized Weakest Preconditions. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16

Burns, Steven M. and Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18

Burns, Steven M. (1990) Performance Analysis and Optimization of Asynchronous Circuits Produced by Martin Synthesis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-12

Chandy, K. Mani and Taylor, Stephen (1990) A Primer for Program Composition Notation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10

Chandy, K. Mani and Taylor, Stephen and Kesselman, Carl et al. (1990) The Program Composition Project. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03

Lazzaro, John (1990) Silicon Models of Early Audition. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-10

Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-05

Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-14

Martin, Alain J. and Hazewindus, Pieter J. (1990) Testing Delay-Insensitive Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17

Kalra, Devendra (1990) A Unified Framework for Constraint-Based Modeling. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-15

Platt, John (1989) Constrained methods for Neural Networks and Computer Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-07

Martin, Alain J. (1989) The Design of an Asynchronous Microprocessor. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02

Chandy, K. Mani (1989) The Essence of Distributed Snapshots. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05

Rudin, Leonid I. and Osher, Stanley (1989) Feature-Oriented Image Enhancement with Shock Filters, 1. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-03

Martin, Alain J. and Burns, Steven M. and Lee, T. K. et al. (1989) The First Aysnchronous Microprocessor: The Test Results. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06

Ngai, John Y. (1989) A Framework for Adaptive Routing in Multicomputer Networks. Computer Science Technical Reports, 1989-09. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-09

Martin, Alain J. (1989) Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01

Fyfe, Andrew (1989) Properties of the V-C Dimension. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-01

Su, Wen-King (1989) Reactive-Process Programming and Distributed Discrete-Event Simulation. Computer Science Technical Reports, 1989-11. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-11

Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technial Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-12

Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-04

Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1989) Distributed Sorting. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06

Boden, Nanette J. (1988) A Study of Fine-Grain Programming Using Cantor. Computer Science Technical Reports, 88-11. California Institute of Technology . https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-11

Von Herzen, Brian (1988) Applications of Surface Networks to Sampling Problems in Computer Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-15

Burns, Steven M. (1988) Automated Compilation of Concurrent Programs into Self-Timed Circuits. Computer Science Technical Reports, 88-02. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-02

Seitz, Charles L. and Seizovic, Jakov and Su, Wen-King (1988) The C Programmer's Abbreviated Guide to Multicomputer Programming. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-01

Lyon, Richard F. and Mead, Carver A. (1988) Cochlear Hydrodynamics Demystified. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-04

Lee, Tak K. (1988) Communication Behavior of Linear Arrays of Processes. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-89-13

Burch, Jerry R. (1988) A Comparison of Strict and Non-Strict Semantics for Lists. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-12

Platt, John C. and Barr, Alan H. (1988) Constrained Differential Optimization for Neural Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-17

Barzel, Ronen (1988) Controlling Rigid Bodies with Dynamic Constraints. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-19

Dally, William J. and Seitz, Charles L. (1988) Deadlock-Free Message Routing in Multiprocessor Interconnection Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:5231-tr-86

Feinstein, David I. (1988) The Hexagonal Resistive Network and the Circular Approximation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-07

Martin, Alain J. (1988) A Message-Passing Model for Highly Concurrent Computation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13

Judd, Stephen J. (1988) Neural Network Design and the Complexity of Learning. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-20

Chandy, K. Mani (1988) Programming Parallel Computers. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16

Roach, Kelly (1988) Pronouns. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-09

Seizovic, Jakov N. (1988) The Reactive Kernel. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-10

Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-05

Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:cs-tr-88-18

Burns, Steven M. and Martin, Alain J. (1988) Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14

Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06

Su, Wen-King and Seitz, Charles L. (1988) Variants of the Chandy-Misra-Bryant Distributed Discrete-Event Simulation Algorithm. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-22

Lazzaro, J. and Ryckebusch, S. and Mahowald, M. A. et al. (1988) Winner-Take-All Networks of O(N) Complexity. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-21

Seitz, Charles L. (1987) The C Programmer's Abbreviated Guide to Multicomputer Programming (The Short C-Guide). California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:5252-tr-87

Athas, William C. and Seitz, Charles L. (1987) Cantor User Report: Version 2.0. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5232-tr-86

Chandy, K. Mani and Misra, Jay (1987) Conditional Knowledge as a Basis for Distributed Simulation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87

Athas, William C. (1987) Fine Grain Concurrent Computations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5242-tr-87

Ngai, John Y. and Seitz, Charles L. (1987) A Framework for Adaptive Routing. Computer Science Technical Reports, 1987-5246. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5246-tr-87

Newton, Michael O. (1987) A High Performance Implementation of Prolog. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86

Rudin, Leonid Iakov (1987) Images, Numerical Analysis of Singularities and Shock Filters. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5250-tr-87

Choo, Young-il (1987) Logic from Programming Language Semantics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5249-tr-87

Athas, William C. and Seitz, Charles L. (1987) Multicomputers. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5244-tr-87

Gupta, Rajiv (1987) PS: Polygon Streams: A Distributed Architecture for Incremental Computation Applied to Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.cs-tr-88-03

Lutz, Jack H. (1987) Resource-Bounded Category and Measure in Exponential Complexity Classes. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5243-tr-87

Seitz, Charles L. (1987) Submicron Systems Architecture Project:Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5258-tr-87

Seitz, Charles L. and Martin, Alain J. and McEliece, Robert J. et al. (1987) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87

Martin, Alain J. (1987) A Synthesis Method for Self-Timed VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87

Burns, Steven M. and Martin, Alain J. (1987) Synthesis of Self-Timed Circuits by Program Transformation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87

Rem, Martin (1987) Trace Theory and Systolic Computations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5239-tr-87

Wawrzynek, John (1987) VLSI Concurrent Computation for Music Synthesis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5247-tr-87

Flaig, Charles M. (1987) VLSI Mesh Routing Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5241-tr-87

Tanner, John Edward (1986) Integrated optical motion detection. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1986.5223-tr-86

Thompson, Bozena H. and Thompson, Frederick B. (1986) ASK is Transportable in Half a Dozen Ways. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5214-tr-86

Van Horn, Kevin S. (1986) An Approach to Concurrent Semantics Using Complete Traces. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5236-tr-86

Martin, Alain J. (1986) Compiling Communicating Processes into Delay-Insensitive VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86

Van Horn, Kevin S. (1986) Complete and Infinite Traces: A descriptive model of computing agents. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86

Dally, William J. and Seitz, Charles L. (1986) Deadlock Free Message Routing in Multiprocessor Interconnection Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5206-tr-86

Thompson, Bozena H. and Thompson, Frederick B. (1986) How to get a Large Natural-language System into a Personal Computer. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5215-tr-86

Poh, Hean Lee (1986) Incorporating Time in the New World of Computing Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5238-tr-87

Mosteller, R. C. (1986) Monte Carlo Methods for 2-D Compaction. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5230-tr-86

Martin, Alain J. (1986) On Seitz' Arbiter. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86

Dally, William J. (1986) On the Performance of k-ary n-cube Interconnection Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5228-tr-86

Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5227-tr-86

Martin, Alain J. (1986) Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86

Schweizer, David Lawrence (1986) Some Results on Kolmogorov-Chaitin Complexity. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5233-tr-86

Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86

Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86

Li, Peggy Pey-yun and Martin, Alain J. (1986) The Sync Model: A Parallel Execution Method for Logic Programming. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86

Dally, William J. and Seitz, Charles L. (1986) The Torus Routing Chip. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5208-tr-86

Dally, William J. (1986) A VLSI Architecture for Concurrent Data Structures. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5209-tr-86

Lazzaro, John Paul (1986) anaLOG: A functional Simulator for VLSI Neural Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5229-tr-86

Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85

Whelan, Daniel S. (1985) ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5200-tr-85

Dally, William J. and Seitz, Charles L. (1985) The Balanced Cube: A Concurrent Data Structure. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5174-tr-85

Su, Wen-King and Faucette, Reese and Seitz, Charles L. (1985) The C Programmer's to the COSMIC CUBE. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5203-tr-85

Newton, Michael O. (1985) A Combined Logical and Functional Programming Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5172-tr-85

Choo, Young-il (1985) Concurrency Algebra and Petri Nets. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5190-tr-85

Dally, William J. (1985) Concurrent Algorithms for the Max-Flow Problem. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5191-tr-85

Martin, Alain J. (1985) A Delay-insensitive Fair Arbiter. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85

Whitney, Telle Elizabeth (1985) Hierarchical Composition of VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5189-tr-85

Seitz, Charles L. and Frey, Alexander H. and Mattisson, Sven et al. (1985) Hot Clock nMOS. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5177-tr-85

Choo, Young-il (1985) An Inverse Limit Construction of a Domain of Infinite Lists. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85

Mjolsness, Eric (1985) Neural Networks, Pattern Recognition, and Fingerprint Hallucination. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5198-tr-85

Martin, Alain J. (1985) A New Generalization of Dekker's Algorithm for Mutual Exclusion. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85

Steele, Craig S. (1985) Placement of Communicating Processes on Multiprocessor Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5184-tr-85

Herzen, Brain P. Von (1985) Sampling Deformed, Intersecting Surfaces with Quadtrees. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5179-tr-85

Platt, John C. (1985) Sequential Threshold Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5197.tr-85

Li, Peggy Pey-yun (1985) The Sneptree - A Versatile Interconnection Network. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5194-tr-85

Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85

Schweizer, David and Abu-Mostafa, Yaser (1985) Two Theorems on Time Bounded Kolmogrov-Chaitin Complexity. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5205-tr-85

Athas, W.C. (1985) XCPL: An experimental Concurrent Programming Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5196-tr-85

Oyang, Yen-Jen (1984) HEX: A Hierarchical Circuit Extractor. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5139-tr-84

Sanouillet, Remy (1984) ASK French: A French Natural Language Syntax. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5164-tr-84

Whiting, Douglas L. (1984) Bit-Serial Reed Solomon Decoders in VLSI. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5157-tr-84

Lien, Sheue-Ling-Chang (1984) Combining Computation with Geometry. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5185-tr-85

Thompson, Bozena Henisz and Thompson, Frederick B. (1984) Customizing One's Own Interface Using English as Primary Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5165-tr-84

Lutz, Christopher (1984) Design of the Mosaic Processor. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5129-tr-84

Ho, Tai-Ping (1984) The Dialogue Designing Dialogue System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5137-tr-84

Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83

Martin, Alain J. and Burch, Jerry R. (1984) Fair Mutual Exclusion with Unfair P and V Operations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84

Ngai, John Y. (1984) The General Interconnect Problem of Integrated Circuits. Computer Science Technical Reports, 1984.5143. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5143-tr-84

Clow, Gary W. (1984) A Global Routing Algorithm for General Cells. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5127-tr-84

Ng, Tak-Kwong (1984) A Graph Model and the Embedding of MOS Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5104-tr-83

Lin, Tzu-Mu (1984) A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5133-tr-84

Chen, Wen-Chi (1984) Hierarchy of Graph Isomorphism Testing. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5140-tr-84

Gillepsie, David (1984) LOG: The Chipmunk Logic Simulator (User's Guide). California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5130-tr-84

Thompson, Bozena Henisz (1984) Linguistic Analysis of Natural Language Communication with Computers. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5128-tr-84

Dally, William J. (1984) The MOSSIM Simulation Engine Architecture and Design. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.cs-tr-5123-84

Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84

Dally, William J. and Kajiya, James T. (1984) An Object Oriented Architecture. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5168-tr-84

Martin, Alain J. (1984) The Probe: An Addition to Communication Primitives. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84

Ngai, John Y. (1984) SMART User's Guide. Computer Science Technical Reports, 1984.5118. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5118-tr-84

Ngai, John Y. (1984) Stochastic Estimation of Channel Routing Track Demand. Computer Science Technical Reports, 1984.5094. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5094-tr-84

Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5122-tr-84

Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5160-tr-84

Su, Wen King (1984) Supermesh. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5125-tr-84

Schuster, Michael (1984) Switch-Level Fault Simulation of MOS Digital Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5132-tr-84

Chiang, Chao-Lin (1984) Towards Concurrent Arithmetic: Residue Arithmetic and VLSI. Computer Science Technical Reports, 1984.5135. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5135-tr-84

Derby, Howard (1984) Using Logic Programming for Compiling APL. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5134-tr-84

Wawrzynek, John and Mead, Carver (1984) A VLSI Architecture for Sound Synthesis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5158-tr-84

Mead, Carver (1984) The Wolery. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5113-tr-84

Wawrzynek, John (1983) Memory management in the programming language ICL. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1983.5105-tr-83

Chiang, Chao-Lin and Johnsson, Lennart (1983) Residue Arithmetic and VLSI. Computer Science Technical Reports, 1983.5092. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5092-tr-83

Mead, Carver and Rem, Martin (1983) Minimum propagation delays in VLSI. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-104637505

Trimberger, Stephen (1983) Automated Performance Optimization of Custom Integrated Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5073-tr-83

Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83

Lutz, Chris and Rabin, Steve and Seitz, Charles L. et al. (1983) Design of the Mosaic Element. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5093-tr-83

Seitz, Charles L. (1983) Experiments with VLSI Ensemble Machines. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5102-tr-83

Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83

Neches, Philip M. (1983) Hardware Support for Advanced Data Management Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5082-tr-83

Papachristidis, Alexandros Christou (1983) Heterogeneous Database Access. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5136-tr-84

Johnsson, Lennart (1983) Highly Concurrent Algorithms for Solving Linear Systems of Equations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5079-tr-83

Bryant, Randall and Schuster, Mike and Whiting, Doug (1983) MOSSIM II: A Switch-Level Simulator for MOS LSI User's Manual. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5033-tr-82

Ullner, Michael K. (1983) Parallel Machines for Computer Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5112-tr-83

Lam, Jimmy (1983) RTsim: A register transfer simulator. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5081-tr-83

Bryant, Randall E. (1983) Race Detection in MOS Circuits By Ternary Simulation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5091-tr-83

Trawick, David James (1983) Robust Sentence Analysis and Habitability. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5074-tr-83

Lin, Tzu-Mu and Mead, Carver A. (1983) Signal Delay in General RC Networks with Application to Timing Simulation of Digital Integrated Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5089-tr-83

Chen, Marina Chien-mei (1983) Space-Time Algorithms: Semantics and Methodology. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5090-tr-83

Seitz, Charles L. (1983) Submicron Systems Architecture Project: Semiannual Technial Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5103-tr-83

Seitz, Charles L. (1983) Submicron Systems Architecture:Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5078-tr-83

Bryant, Randal E. (1983) Switch-Level Model and Simulator for MOS Digital Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5065-tr-83

DeBenedictis, Erik P. (1983) Techniques for Testing Integrated Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.4777-tr-82

Li, Pey-yun Peggy and Johnsson, Lennart (1983) The Tree Machine: An Evaluation of Strategies For Reducing Program Loading Time. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5084-tr-83

Athas, William C. (1983) A VLSI Combinator Reduction Engine. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5086-tr-83

Megdal, Barry Bruce (1983) VLSI Computational Structures Applied to Fingerprint Image Analysis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5015-tr-83

Schuster, Michael D. and Bryant, Randal E. (1983) Concurrent fault simulation of MOS digital circuits. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-114600956

Chen, Marina and Mead, Carver (1983) A Hierarchical Simulator Based on Formal Semantics. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031

Kajiya, James T. (1983) New techniques for ray tracing procedurally defined objects. California Institute of Technology , Pasadena, CA. doi:10.1145/800059.801137. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-112657704

Segal, Richard L. (1983) An integrative approach to engineering data and automatic project coordination. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120424-141649786

Trimberger, Stephen and Kingsley, Chris (1982) Chip assembly tools. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-105037951

Johnsson, Lennart and Cohen, Danny (1982) A Formal Derivation of Array Implementations of FFT Algorithms. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-155106097

Chan, Wan S. (1982) A new channel routing algorithm. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechAUTHORS:20120420-103600164

DeBenedictis, Erik P. and Seitz, Charles L. (1982) Testing and Structured Design. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120419-103122492

Trimberger, Stephen (1982) GIGI Terminals at Caltech. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-153232596

Mosteller, R. C. (1982) An Experimental Composition Tool. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-151722984

McNair, Richard and Miller, Monroe (1982) Bristle Blocks - Scrutinized and Analyzed. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5016-tr-82

Chen, Marina and Graham, Ronald L. and Rem, Martin (1982) A Characterization of Deadlock Free Resource Contentions. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.4684-tr-82

Johnsson, Lennart (1982) Concurrent Algorithms for the Conjugate Gradient Method. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5040-tr-82

Lang, Charles R. (1982) Concurrent, Asynchronous Garbage Collection Among Cooperating Processors. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.4724-tr-82

Kingsley, Chris (1982) EARL: An Integrated Circuit Design Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5021-tr-82

Lang, Charles Richard (1982) The Extension of Object-Oriented Languages to a Homogenous, Concurrent Architecture. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5014-tr-82

Ng, Charles H. (1982) FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5055-tr-82

Chen, Marina C. and Mead, Carver A. (1982) Formal Specification of Concurrent Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982-5042-tr-82

Choo, Young-il (1982) Hierarchical Nets: A Structured Petri Net Approach to Concurrency. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5044-tr-82

Carroll, Christopher R. (1982) Hybrid Processing. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5034-tr-82

Thompson, Bozena Henisz and Thompson, Frederick B. and Ho, Tai-Ping (1982) Knowledgeable Contexts for User Interaction. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5051-tr-82

Whitney, Telle and Hedges, Tom (1982) Pooh User's Manual. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5029-tr-82

Kajiya, James T. (1982) Ray Tracing Parametric Patches. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5017-tr-82

Whiting, Douglas L. (1982) A Self-Timed Chip Set for Microprocessor Communication. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5000-tr-82

Johnsson, Lennart and Seitz, Charles L. (1982) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5052-tr-82

Holstege, Eric J. (1982) Type Inference in a Declarationless, Object-Oriented Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5035-tr-82

Trimberger, Stephen (1982) A Comparison of MOS PLAs. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120424-143407144

Johnsson, Lennart (1982) A Computational Array for the QR-Method. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-165211870

Bryant, Randal E. and Dennis, Jack B. (1982) Concurrent Programming. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-110609720

Thompson, Bozena H. and Thompson, Frederick B. (1982) Introducing ASK, A Simple Knowledgeable System. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120418-112411895

Mead, Carver and Rem, Martin (1982) Minimum Propagation Delays in VLSI. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-103239364

Johnsson, Lennart (1982) Pipelined linear equation solvers and VLSI. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-115610622

Trimberger, Stephen and Rowson, Jim (1982) RIOT: a simple graphical assembly tool. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-110517168

Kajiya, James T. (1982) Ray tracing parametric patches. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-151015498

Whalen, Daniel S (1982) A Rectangular Area Filling Display System Architecture. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-120345912

Bryant, Randal E. (1982) Switch-Level Modeling of MOS Digital Circuits. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-112428166

Johnsson, Lennart (1982) VLSI algorithms for Doolittle's, Crout's, and Cholesky's methods. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-105611583

Martin, Alain J. (1982) The torus: an exercise in constructing a processing surface. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82

Martin, Alain J. (1981) An Axiomatic Definition of Synchronization Primitives. Acta Informatica, 16 (2). pp. 219-235. ISSN 0001-5903. doi:10.1007/BF00261260. https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82

Johnsson, Lennart and Cohen, Danny (1981) A mathematical approach to modelling the flow of data and control in computational networks. Computer Science Technical Memorandum, 1981.5120. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-102640427

Kajiya, J and Ullner, M (1981) Filtering high quality text for display on raster scan devices. Computer Science Technical Reports, 82-5018. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1982.5018-tr-82

Mosteller, R. C. (1981) RLAP version 1.0 a chip assembly tool. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1981.4332-tr-81

Johannsen, David Lawrence (1981) Silicon Compilation. Computer Science Technical Reports, 1981.4530. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4530-tr-81

Gray, Moshe (1981) The Design and Implementation of a Reticle Maker for VLSI. Computer Science Technical Reports, 1981.4299. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4299-tr-81

Segal, Richard (1981) Structure, placement and modelling. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1981.4029-tr-81

Trimberger, Stephen (1981) Combining Graphics and a Layout Language in a Single Interactive System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4281-tr-81

Yu, Kwang-I (1981) Communicative Databases. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4527-tr-81

Johnsson, Lennart and Cohen, Danny (1981) Computational Arrays for the Discrete Fourier Transform. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4168-tr-81

Lin, Tzu-Mu (1981) From Geometry to Logic. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4298-tr-81

Whitney, Telle (1981) A Hierarchical Design Rule Checker. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4320-tr-81

Rudin, Leonid (1981) Lambda Logic. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4521-tr-81

Mosteller, R. C. (1981) REST: A Leaf Cell Design System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4317-tr-81

Li, Pey-yun (1981) The Serial Log Machine. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4517-tr-81

Thompson, Bozena Henisz and Thompson, Frederick B. (1981) Shifting to a Higher Gear in a Natural Language System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4128-tr-1981

Trimberger, Stephen and Rowson, James A. and Lang, Charles R. et al. (1981) A Structured Design Methodology & Assoicated Software Tools. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4336-tr-81

Lewis, R.K. (1981) Switching Dynamics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4675-tr-81

Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81

Johnsson, Lennart and Weiser, Uri and Cohen, Danny et al. (1981) Towards a Formal Treatment of VLSI Arrays. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4191-tr-81

Whelan, Daniel S. (1981) A Versatile Ethernet Interface. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4654-tr-81

Seitz, Charles L., ed. (1981) Proceedings of the Second Caltech Conference on Very Large Scale Integration, held at the California Institute of Technology 19-21 January, 1981 ; Organized by the Caltech Computer Science Department and the Caltech Industrial Associates Office, and sponsored by Caltech Industrial Associates and the National Science Foundation. Computer Science Technical Reports. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechAUTHORS:20120502-113421018

Johnsson, Lennart (1981) Computational Arrays for Band Matrix Equations. Computer Science Technical Reports, 1981.4287. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4287-tr-81

Li, Pey-yun Peggy (1981) The Tree Machine Operating System. Computer Science Technical Memorandum, 1981.4618. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-101642081

Rem, Martin and Mead, Carver (1981) A notation for designing restoring logic circuitry in CMOS. Computer Science Technical Reports, 1981.4600. Callifornia Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4600-tr-81

Trimberger, Stephen (1980) The Proposed Sticks Standard. Computer Science Technical Reports, 1980.3380. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3880-tr-80

Johnsson, Lennart (1980) VLSI Architecture and Design. Computer Science Technical Memorandum, 1980.3857. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-110634950

Milne, George J. (1980) The representation of communication and concurrency. Computer Science Technical Reports, 1980.4088. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80

Trimberger, Stephen (1980) Two Rail Restoring Logic Blocks -- An Alternative Logic Model: Silicon Structures Project Memo # 3. Computer Science Technical Memorandum, 1980.3785. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-110935084

Trimberger, Stephen (1980) Combining graphics and layout language in a single interactive system. Computer Science Technical Reports, 1980.3794. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3794-tr-80

Demetrescu, Stefan Gabriel (1980) A VLSI Based Real-Time Hidden Surface Elimination Display System. Computer Science Technical Reports, 1980.4090. California Institute of Technology . doi:10.7907/Z9GF0RGD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4090-tr-80

Tarolli, Gary M. (1980) A Chip Assembler. Computer Science Technical Memorandum, 1980.3882. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9M61H7K. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-105425647

Buchanan, Irene (1980) Modeling and Verification in Structured Integrated Circuit Design. Computer Science Technical Reports, 1980.3642. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80

Oestreicher, Donald (1980) PLASYS: Final Report. Computer Science Technical Reports, 1980.3655. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3655-tr-80

Rowson, James Allely (1980) Understanding Hierarchical Design. Computer Science Technical Reports, 1980.3710. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BP00R2. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80

DeBenedictis, Erik P. (1980) A Preliminary Report on the Caltech ARPA Tester Project. Computer Science Technical Reports, 1980.4061. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9N014HV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4061-tr-80

Barton, Anthony Francis (1980) A Fault Tolerant Integrated Circuit Memory. Computer Science Technical Reports, 1980.3761. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3761-tr-80

Hess, Gideon David (1980) A Software Design System. Computer Science Technical Reports, 1980.3762. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9348HB7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3762-tr-80

Sproull, Robert and Lyon, Richard and Trimberger, Stephen (1980) The Caltech Intermediate Form for LSI Layout Description. Computer Science Technical Reports, 1980.2686. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.2686-tr-1980

Trimberger, Stephen (1980) A Comprehensive CIF Test Set. Computer Science Technical Reports, 1980.3352. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3352-tr-80

Browning, Sally A. (1980) The Tree Machine: A Highly Concurrent Computing Environment. Computer Science Technical Reports, 1980.3760. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96W9816. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:3760-tr-80

Locanthi, Bart N. (1980) The Homogeneous Machine. Computer Science Technical Reports, 1980.3759. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3759-tr-80

Martin, A. J. (1980) A Distributed Implementation Method for Parallel Programming. Computer Science Technical Memorandum, 1980.5045. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QZ27X4. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991

Johnsson, Lennart (1980) Gaussian Elimination on Sparse Matricies and Concurrency. Computer Science Technical Reports, 1980.4087. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4087-tr-80

Tarolli, Gary and Lang, Dick (1979) CIF2OP Instruction Manual. Computer Science Technical Reports, 1979.3357. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9765C8G. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3357-tr-79

Trimberger, Stephen (1979) CIFSYM -- CIF Symbol Handler. Computer Science Technical Reports, 1979.3253. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MK6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3253-tr-79

Efland, G. and Mosteller, R. C. (1979) Stack Data Engine. Computer Science Technical Reports, 1979.3364. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q81B2W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3364-tr-79

Lang, Dick (1979) LAP user's manual. Computer Science Technical Reports, 1979.3356. California Institute of Technology , Pasadena, CA. doi:10.7907/Z90P0X08. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3356-tr-79

Gray, J. P. and Buchanan, I. (1979) Models for Structured IC Design. Computer Science Technical Reports, 1979.3230. California Institute of Technology . doi:10.7907/Z9ZP4439. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3230-tr-79

McGrath, Ed (1979) A Physical Design Rule Description. Computer Science Technical Reports, 1979.3236. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V122RR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3236-tr-79

Lang, Charles R. (1979) Automated Wiring Analysis of Integrated Circuit Geometric Data. Computer Science Technical Reports, 1979.2891. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BZ640W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.2891-tr-79

Seiler, Larry Dean (1979) A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer. Computer Science Technical Reports, 1980.2883. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VH5KTT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.2883-tr-80

Trimberger, Stephen (1979) A Wire Oriented Mask Geometry Editor. Computer Science Technical Reports, 1979.2870. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KH0K9Q. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.2870-tr-79

Seitz, Charles L., ed. (1979) Proceedings of the Caltech Conference on Very Large Scale Integration, held at the California Institute of Technology 22 - 24 January 1979 ; Organized by the Caltech Computer Science Department and the Caltech Industrial Associates Office. Computer Science Technical Reports. No.1979.3340. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120502-110640160

Kajiya, James Thomas (1979) Toward a mathematical theory of perception. Computer Science Technical Reports, 1979.4116. California Institute of Technology , Pasadena, CA. doi:10.7907/Z99Z92V3. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120424-144344175

Johannsen, Dave (1978) Hierarchical power routing. Computer Science Technical Memorandum, 1978.2069. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94F1NP4. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.2069-tr-78

Ayres, Ronald (1978) A Language Processor and a Sample Language. Computer Science Technical Reports, 1978-2276. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9HQ3WWN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.2276-tr-78

Mead, Carver A. and Rem, Martin (1978) Cost and Performance of VLSI Computing Structures. Computer Science Technical Reports, 1978.1584. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CZ3548. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.1584-tr-78

Masumoto, Rodney Tak (1978) A 16-Bit LSI Digital Multiplier. Computer Science Technical Reports, 1978.4204. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9862DDV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.4204-tr-78

Sutherland, Ivan E. (1978) The Polygon Package. Computer Science Technical Reports, 1978.1438. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NG4NKX. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-103150565

Henisz Thompson, Bozena and Thompson, Frederick B. (1978) Rapidly Extendable Natural Language. Computer Science Technical Memorandum, 78-3975. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VM4980. https://resolver.caltech.edu/CaltechAUTHORS:20120417-143125744

Randall, David Lawrence (1970) Formal Methods in the Foundations of Science. Computer Science Technical Reports, 1970.2275. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9S46PXC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70