Subject: All Records
Number of records: 439. Cui, Tao and Lijun, Chen and Tracey, Ho and Steven, Low (2007) Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2007.003] Cui, Tao and Chen, Lijun and Ho, Tracey (2007) Distributed Optimization in Wireless Networks Using Broadcast Advantage. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2007.002] Tang, A. and Simsek, Alp and Ozdaglar, Asuman and Acemoglu, Daron (2006) On the Stability of P-Matrices. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2006.005] Li, Ling and Abu-Mostafa, Yaser S. (2006) Data complexity in machine learning. Technical Report. California Institute of Technology, Pasadena, USA. [CaltechCSTR:2006.004] Capponi, Agostino and Chandy, Mani and Fatkullin, Ibrahim (2006) Predicate Signaling in Distributed Sensor Networks. ICDCS 2006. Hickey, Jason and Nogin, Aleksey (2006) OMake: Designing a Scalable Build Process. In: Fundamental Approaches to Software Engineering (FASE'06), March 27-29, 2006, Vienna, Austria. Li, Ling (2005) Perceptron learning with random coordinate descent. Technical Report. California Institute of Technology, Pasadena, USA. [CaltechCSTR:2005.006] Nogin, Aleksey and Kopylov, Alexei and Xin, Yu and Hickey, Jason (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings. In: MERλIN 2005. ICFP 2005 Workshop on MEchanized Reasoning about Languages with variable biNding, September 30, 2005, Tallinn, Estonia. Tang, Ao and Wang, Jiantao and Low, Steven and Chiang, Mung (2005) Equilibrium of Heterogeneous Congestion Control Protocols. Technical Report. Steven Low. [CaltechCSTR:2005.005] Capponi, Agostino and Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2005.004] Papadantonakis, Karl (2005) Design Rules for Non-Atomic Implementations of PRS. Technical Report. Caltech. [CaltechCSTR:2005.001] Abu-Mostafa, Yaser and Song, Xubo and Nicholson, Alexander and Magdon-Ismail, Malik (2004) The Bin Model. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2004.002] Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. Technical Report. California Institute of Technology. [CaltechCSTR:2003.006] Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. Technical Report. IEEE Computer Society Press. [CaltechCSTR:2003.006a] Papadantonakis, Karl (2003) An Asynchronous Register Bypass Transformation. Technical Report. California Institute of Technology. [CaltechCSTR:2003.005] Li, Ling and Abu-Mostafa, Yaser S. and Pratap, Amrit (2003) CGBoost: Conjugate Gradient in Function Space. Technical Report. California Institute of Technology. [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. Technical Report. California Institute of Technology. [CaltechCSTR:2003.001] Hickey, Jason and Nogin, Aleksey and Granicz, Adam and Aydemir, Brian (2003) Formal Compiler Implementation in a Logical Framework. Technical Report. California Institute of Technology. [caltechCSTR:2003.002] Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. Technical Report. California Institute of Technology. [caltechCSTR2003.004] Papadantonakis, Karl (2003) Stable Production Rule Sets are Deterministic. Technical Report. California Institute of Technology. [CaltechCSTR:2003.003] Fink, Michael and Perona, Pietro (2003) The Full Images for Natural Knowledge Caltech Office DB. Technical Report. California Institute of Technology. [CaltechCSTR:2003.008] Fink, Michael (2003) The Full Images for Natural Knowledge Caltech Office DB. Technical Report. California Institute of Technology. [CaltechCSTR:2003.008a] Kim, Ki Baek and Low, Steven H. (2002) Analysis and Design of AQM for stabilizing TCP. Technical Report. California Institute of Technology. [CaltechCSTR:2002.009] Schkolne, Steven and Schroder, Peter (2002) Assembling and Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and a Lightsaber. Technical Report. California Institute of Technology. [CaltechCSTR:2002.005] Kim, Ki Baek and Low, Steven H. (2002) Cost of AQM in stabilizing TCP. Technical Report. California Institute of Technology. [CaltechCSTR:2002.008] Penzes, Paul (2002) Energy-Delay Complexity of Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:2002.010] Nayak, Ashwin and Shor, Peter (2002) On bit-commitment based quantum coin flipping. Technical Report. California Institute of Technology. [CaltechCSTR:2002.004] Granicz, Adam and Hickey, Jason (2002) Phobos: A front-end approach to extensible compilers (long version). Technical Report. California Institute of Technology. [CaltechCSTR:2002.006] Hickey, Jason and Smith, Justin D. and Aydemir, Brian and Gray, Nathaniel and Granicz, Adam and Tapus, Cristian (2002) Process Migration and Transactions Using a Novel Intermediate Language. Technical Report. California Institute of Technology. [CaltechCSTR:2002.007] Penzes, Paul and Nystroem, Mika and Martin, Alain (2002) Transistor Sizing of Energy-Delay--Efficient Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:2002.003] Papadantonakis, Karl (2001) A Theory of Constant Et^2 CMOS Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:2001.004] Nystroem, Mika (2001) Asynchronous Pulse Logic. Technical Report. California Institute of Technology. [CaltechCSTR:2001.011] Zimmerman, Daniel M. (2001) Dynamic UNITY. Technical Report. California Institute of Technology. [CaltechCSTR:2001.006] Martin, Alain J. and Nystroem, Mika and Penzes, Paul (2001) ET2: A Metric For Time and Energy Efficiency of Computation. Technical Report. Kluwer Academic Publishers. [CaltechCSTR:2001.007] Penzes, Paul and Martin, Alain (2001) Global and local properties of asynchronous circuits optimized for energy efficiency. Technical Report. California Institute of Technology. [CaltechCSTR:2002.002] Martin, Alain J. and Nystroem, Mika and Penzes, Paul and Wong, Catherine (2001) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor. Technical Report. California Institute of Technology. [CaltechCSTR:2001.012] Nicholson, Alexander (2000) A Generalization Model and Learning in Hardware. Technical Report. California Institute of Technology. [CaltechCSTR:2000.007] Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part I: Linearly-Varying Radiant Exitance. Technical Report. California Institute of Technology. [CaltechCSTR:2000.cs-tr-00-01] Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part II: Polynomially-Varying Radiant Exitance. Technical Report. California Institute of Technology. [CaltechCSTR:2000.cs-tr-00-04] Taubin, Gabriel (2000) Is this a Quadrisected Mesh? Technical Report. California Institute of Technology. [CaltechCSTR:2000.008] Wood, Zoe Justine (2000) Semi-Regular Mesh Extraction from Volumes. Technical Report. California Institute of Technology. [CaltechCSTR:2000.006] Magdon-Ismail, Malik and Atiya, Amir (2000) Some Results Regarding the Estimation of Densities and Random Variate Generation Using Neural Networks. Technical Report. California Institute of Technology. [CaltechCSTR:2000.005] Charpentier, Michel and Chandy, K. Mani (2000) Theorems about Composition. Technical Report. California Institute of Technology. [CaltechCSTR:2000.cs-tr-00-02] Schooler, Eve M. (2000) Why Multicast Protocols (Don't) Scale: An Analysis of Multipoint Algorithms for Scalable Group Communication. Technical Report. California Institute of Technology. [CaltechCSTR:2001.003] Rifkin, Adam (1999) Application Development using Compositional Performance Analysis. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-96-09] Charpentier, Michel and Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-01] Kiniry, Joseph R. (1999) Leading to a Kind Description Language: Thoughts on Component Specification. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-04] Ginis, Roman (1999) Optimal Distributed Resource Allocation. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-08] Chen, Min (1999) Perturbation Methods for Image Synthesis. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-05] Nystroem, Mika (1999) Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg's Examples. Technical Report. California Institute of Technology. [CaltechCSTR:2001.010] Schkolne, Steven and Schroder, Peter (1999) Surface Drawing. Technical Report. California Institute of Technology. [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. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-02] Manohar, Rajit (1998) The impact of asynchrony on computer architecture. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1998.cs-tr-98-12] Kiniry, Joseph R. (1998) A New Construct for Systems Modeling and Theory: The Kind. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-14] Zimmerman, Daniel M. (1998) A Preliminary Investigation into Dynamic Distributed Workflow. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-09] Ramamoorthi, Ravi (1998) Creating Generative Models from Range Images. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-05] Kiniry, Joseph R. (1998) IDebug: An Advanced Debugging Framework for Java. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-16] Kiniry, Joseph R. and Cheong, Elaine (1998) JPP: A Java Pre-Processor. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-15] Cataltepe, Zehra and Abu-Mostafa, Yaser S. and Magdon-Ismail, Malik (1998) No Free Lunch for Early Stopping. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-02] Rifkin, Adam and Massingill, Berna (1998) Performance Analysis for Mesh and Mesh-Spectral Archetype Applications. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-96-27] Lines, Andrew Matthew (1998) Pipelined Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-95-21] Winfree, Erik (1998) Simulations of Computing by Self-Assembly. Technical Report. California Institute of Technology. [CaltechCSTR:1998.22] Penzes, Paul (1998) The design of high performance asynchronous circuits for the Caltech MiniMIPS processor. Technical Report. California Institute of Technology. [CaltechCSTR:2002.001] Kiniry, Joseph R. (1998) The Specification of Dynamic Distributed Component Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-08] Laidlaw, David H. and Ahrens, Eric T. and Kremers, David and Avalos, Matthew J. and Readhead, Carol and Jacobs, Russell E. (1998) Visualizing Diffusion Tensor Images of the Mouse Spinal Cord. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-07] Winfree, Erik (1998) Whiplash PCR for O(1) Computing. Technical Report. California Institute of Technology. [CaltechCSTR:1998.23] Azuma, Daniel and Lin, James and Chun, Eugene and Richardson, Matthew (1997) A Framework for Migration of Networked Intercommunication Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-21] Chandy, K. Mani and Kiniry, Joseph and Rifkin, Adam and Zimmerman, Daniel and Tanaka, Wesley and Weisman, Luke (1997) A Framework for Structured Distributed Object Computing. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-07] Ramamoorthi, Ravi and Rifkin, Adam and Dimitrov, Boris and Chandy, K. Mani (1997) A General Resource Reservation Framework for Scientific Computing. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-19] Sivilotti, Paolo A. G (1997) A Method for the Specification, Composition, and Testing of Distributed Object Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-31] Massingill, Berna (1997) A Structured Approach to Parallel Programming. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-98-04] Heirich, Alan (1997) Analysis of Scalable Algorithms for Dynamic Load Balancing and Mapping with Application to Photo-realistic Rendering. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-98-10] Bax, Eric (1997) Combining Multilayer Networks to Combine Learning. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-98-01] Zimmerman, Daniel M. and Rothstein, Brian and Kaganovich, Yevgeniy and Pham, Khai (1997) Constructing Client-Server Multi-Player Asynchronous Networked Games Using a Single-Computer Model. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-16] Gornowicz, Galen G. and Laidlaw, David H. and Shan, Jerry W. and Lang, Daniel B. and Dimotakis, Paul E. (1997) De-aliasing Undersampled Volume Images for Visualization. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-11] Ramamoorthi, Ravi and Ball, Cindy and Barr, Alan H. (1997) Dynamic Splines with Constraints for Animation. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-03] Ramamoorthi, Ravi and Barr, Alan H. (1997) Fast Construction of Accurate Quaternion Splines. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-04] Bax, Eric (1997) Improved Uniform Test Error Bounds. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-15] Massingill, Berna L. and Chandy, K. Mani (1997) Parallel Program Archetypes. Technical Report. California Institute of Technology. [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. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-12] Nystroem, Mika (1997) Pipelined Asynchronous Cache Design. Technical Report. California Institute of Technology. [CaltechCSTR:2001.009] Aldrich, Jonathan and Dooley, James and Mandelsohn, Scott and Rifkin, Adam (1997) Providing Easier Access to Remote Objects in Client-Server Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-20] Bax, Eric (1997) Similar Classifiers and VC Error Bounds. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-14] Zorin, Denis N. (1997) Stationary Subdivision and Multiresolution Surface Representations. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-32] Bax, Eric and Cataltepe, Zehra and Sill, Joe (1997) The Central Classifier Bound - A New Error Bound for the Classifier Chosen by Early Stopping. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-08] Bax, Eric (1997) Validation of Average Error Rate Over Classifiers. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-17] Bax, Eric (1997) Validation of Voting Committee. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-13] Chandy, K. Mani and Rifkin, Adam and Kiniry, Joseph and Zimmerman, Daniel (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-10] Maskit, Daniel (1996) A Compiler Algorithm for Managing Asynchronous Memory Read Completion. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-02] Schooler, Eve M. (1996) A Multicast User Directory Service for Synchronous Rendezvous. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-18] Thornley, John (1996) A Parallel Programming Model with Sequential Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-12] Chandy, K. Mani and Dimitrov, Boris and Le, Huy and Mandelson, Jakob and Richardson, Matthew and Rifkin, Adam and Sivilotti, Paolo A. G. and Tanaka, Wesley and Weisman, Luke (1996) A World-Wide Distributed System Using Java and the Internet. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-08] Kryukova, Svetlana and Massingill, Berna and Sanders, Beverly (1996) An Algorithm for Distributed Location Management in Networks of Mobile Computers. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-14] Zorin, Denis (1996) Ck Continuity of Subdivision Surfaces. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-23] Gimelshein, Sergey and Markelov, Gennady and Rieffel, Marc (1996) Collision Models in the Hawk DSMC Implementation. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-16] Chow, Bryan (1996) Compiler Techniques for Loosely-Coupled Multi-Cluster Architectures. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-97-18] Manohar, Rajit and Sivilotti, Paolo A. G. (1996) Composing Processes Using Modified Rely-Guarantee Specifications. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-22] Chandy, K. Mani and Schooler, Eve M. (1996) Designing Directories in Distributed Systems: A Systematic Framework. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-19] Zorin, Denis and Schroder, Peter and Sweldens, Wim (1996) Interpolating Subdivision for Meshes of Arbitary Topology. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-06] Xu, Jiazhao Jessie (1996) On Detection and Generation of Dead-lock free Reshuffling in the VLSI Synthesis Method. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-10] Nelson, Bradley D. (1996) Portable Graphical Tools for Concurrent Plasma Simulation. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-24] Bax, Eric (1996) Recurrence-Based Reductions for Inclusion and Exclusion Algorithms Applied to P Problems. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-01] Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) Reliable Synchronization Primitives for Java. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-11] Chandy, K. Mani and Rifkin, Adam (1996) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-15] Bax, Eric (1996) Tailoring the Permanent Formula to Problem Instances. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-17] Massingill, Berna L. (1996) The Mesh Archetype. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-25] Davis, Gregg and Massingill, Berna L. (1996) The Mesh Archetype. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-26] Zadik, Yair (1996) The Message Driven File System: a Network Accessible File System for Fine-Grain Message Passing Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-13] Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-07] Fleischer, Kurt W. (1995) A Multiple-Mechanism Developmental Model for Defining Self-Organizing Geometric Structures. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-14] Watts, Jerrell (1995) A Practical Approach to Dynamic Load Balancing. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-13] Tierno, Jose (1995) An Energy-Complexity Model for VLSI. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-02] Rieffel, Marc A. (1995) Concurrent Simulations of Plasma Reactors for VLSI Manufacturing. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-12] Zorin, Denis N. (1995) Correction of Geometeric Perceptual Distortions in Pictures. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-22] Nystroem, Mika (1995) Et2 and Multi-Voltage Logic. Technical Report. California Institute of Technology. [CaltechCSTR:2001.008] Manohar, Rajit (1995) Folded FIFOs. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-09] Laidlaw, David H. (1995) Geometric Model Extraction from Magnetic Resonance Volume Data. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-05] Kryukova, Svetlana A (1995) Parallel Programming Archetypes in Combinatorics and Optimization. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-06] Thornley, John (1995) Performance of a Class of Highly-Parallel Divide-and-Conquer Algorithms. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-10] Fleischer, Kurt (1995) Polygon Scan Conversion Derivations. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-91-12] Manohar, Rajit and Martin, Alain J. (1995) Quasi-Delay-Insensitive Circuits are Turing-Complete. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-11] Leino, K. Rustan M. (1995) Towards Reliable Modular Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-03] Pinkstone III, Donald (1994) A Compiler for a Subset of Modula-3. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-17] Chow, Bryan and Fyfe, Andrew and Maskit, Daniel and Taylor, Stephen and Watts, Jarrell R. and Zadik, Yair (1994) A Development Methodology for Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-16] Maskit, Daniel (1994) A Message-Driven Programming System for Fine-Grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-03] Heirich, Alan and Taylor, Stephen (1994) A Parabolic Load Balancing Method. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-13] Sivilotti, Paul A. G. and Carlin, Peter A. (1994) A Tutorial for CC++. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-02] Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1994) Classification of Material Mixtures in Volume Data for Visualization and Modeling. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-07] Leino, K. Rustan M. (1994) Computing Permutation Encodings. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-10] Carlin, Peter (1994) Distributed Linear Algebra on Networks of Workstations. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-14] Palmer, Michael E. (1994) Immersing the Scientist in Data: Interactive Visualization of Unstructured Scientific Data on Concurrent Architectures. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-06] Chandy, K. Mani and Manohar, Rajit and Massingill, Berna L. and Meiron, Daniel I. (1994) Integrating Task and Data Parallelism with the Collective Communication Archetype. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-08] Tierno, Jose A. and Martin, Alain J. (1994) Low-Energy Asynchronous Memory Design. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-21] Manohar, Rajit and Chandy, K. Mani (1994) Mach-Based Channel Library. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-15] Van de Snepsscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-01] Goldsmith, Jeff (1994) Optimized Computer-Generated Motions for Animation. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-18] Bax, Eric (1994) Recurrence-based Heuristics for the Hamiltonian Path Inclusion and Exclusion and Exclusion Algorithm. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-11] Heirich, Alan (1994) Scalable Load Balancing by Diffusion. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-04] Hofstee, H. Peter (1994) Synchronizing Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-19] Cataltepe, Zehra (1994) The Scheduling Problem in Learning From Hints. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-09] Manohar, Rajit and Leino, K. Rustan M. (1994) Theory and Use of Conditional Composition. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-12] Thornley, John (1993) A Collection of Declarative Ada Example Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-05] Chandy, K. Mani and Foster, Ian (1993) A Deterministic Notation for Cooperating Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-31] Zadik, Yair and Taylor, Stephen (1993) A File System for the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-27] Ainsworth, Paul and Kryukova, Svetlana (1993) A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-36] Heirich, Alan and Taylor, Stephen (1993) A Parabolic Theory of Load Balance. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-25] Hofstee, H. Peter (1993) A problem in the regularity calculus. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-42] Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-21] Kirk, David B. (1993) Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-08] Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan (1993) An Asynchronous Microprocessor in Gallium Arsenide. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-38] Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-01] Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-29] Tierno, Jose A. (1993) Designing Asynchronous Circuits in Gallium Arsenide. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-19] Binau, Ulla (1993) Distributed Diners: From UNITY Specification to CC++ Implementation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-20] Maskit, Daniel and Taylor, Stephen (1993) Experiences in Programming the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-11] Thornley, John (1993) Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-40] Massingill, Berna (1993) Integrating Task and Data Parallelism. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-01] Seizovic, Jakov N. (1993) Introduction to C+- (Submicron Systems Architecture Project). Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-32] Leino, K. Rustan M. (1993) Multicomputer Programming with Modula-3D. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-15] Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-19] Thornley, John (1993) Parallel Programming with Declarative Ada. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-03] Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-23] Taylor, Stephen (1993) Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-35] Chandy, K. Mani (1993) Properties of Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-24] Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-33] Boden, Nanette Jackson (1993) Runtime Systems for Fine-Grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-10] Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-34] Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-10] Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-37] Maskit, Daniel and Zadik, Yair and Taylor, Stephen (1993) System Tools for the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-12] Rifkin, Adam (1993) Teaching Archetypal Design with an Electronic Textbook. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-13] Seizovic, Jakov N. (1993) The Architecture and Programming of a Fine-Grain Multicomputer. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-18] Carlin, Peter and Chandy, K. Mani and Kesselman, Carl (1993) The Compositional C++ Language Definition. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-02] Thornley, John (1993) The Programming Language Declarative Ada Reference Manual. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-04] Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-26] Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-02] Mahowald, Misha (1992) VLSI analogs of neuronal visual processing: a synthesis of form and function. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1992.cs-tr-92-15] Pertel, Michael J. (1992) A Critique of Adaptive Routing. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-06] Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-91-04] Pertel, Michael J. (1992) A Simple Simulator for Multicomputer Routing Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-04] Lukkien, Johan J. and Van de Snepscheut, Johan L. A. (1992) A Tutorial Introduction to Mosaic Pascal. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-91-02] Steele, Craig S. (1992) Affinity: A Concurrent Programming System for Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-08] Chandy, K. Mani and Kesselman, Carl (1992) Compositional C++: Compositional Parallel Programming. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-13] Sanouillet, Remy D. (1992) Computer Mediated Communication. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-30] Hofstee, H. Peter (1992) Constructing some Distributed Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-16] Nielsen, Christian D. and Martin, Alain J. (1992) Delay-Insensitive Multiply-Accumulate Unit. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-03] Leino, K. Rustan M. (1992) Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-26] Fyfe, William John Andrew (1992) Invariance Hints and the VC Dimension. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-20] Laidlaw, David H. (1992) Material Classification of Magnetic Resonance Volume Data. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-21] Pertel, Michael J. (1992) Mesh Distance Formulae. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-05] Esselink, Klaas and van de Snepscheut, Jan L.A. (1992) Molecular Dynamics on the Mosaic. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-25] Binau, Ulla (1992) Mutual Exclusion in a Token Ring in CC++. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-11] Back, R.J.R. (1992) Predicate Transformers and Higher Order Logic. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-24] Back, R.J.R. (1992) Refinement Calculus, Lattices and Higher Order Logic. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-22] Back, R.J.R. (1992) Refinement of Parallel and Reactive Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-23] Seitz, Charles L. and Martin, Alain and Van de Snepscheut, Jan L. A. (1992) Submicron Systems Architecture Project : Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-17] Hazewindus, Pieter Johannes (1992) Testing Delay-Insensitive Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-14] Chandy, K. Mani and Kesselman, Carl (1992) The Derivation of Compositional Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-18] Foster, Ian and Taylor, Stephen (1992) A compiler approach to scalable concurrent program design. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1992.cs-tr-92-07] Hofstee, Peter H. and Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) A Distributed Implementation of a Task Pool. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-05] Dyer, Lounette M. (1991) An Object-Oriented Real-Time Simulation of Music Performance Using Interactive Control. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-11] DeWeerth, Stephen P. (1991) Analog VLSI Circuits for Sensorimotor Feedback. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-13] Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-08] Schweizer, David Lawrence (1991) Combinatorial Design of Tolerant Communicaiton Structures, with Applications to Non-Blocking Switches. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-09] Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-07] Burns, Steven M. (1991) Performance Analysis and Optimization of Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-01] Seitz, Charles L. (1991) Submicron Systems Architecture Project :Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-10] Seitz, Charles L. (1991) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-03] Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-93-28] Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-06] Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-90-13] Chandy, K. Mani and Taylor, Stephen (1990) A Primer for Program Composition Notation. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-10] Kalra, Devendra (1990) A Unified Framework for Constraint-Based Modeling. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-15] Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-09] Judd, Stephen (1990) Characterizing NP and Measuring Instance Complexity. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-11] Gupta, Rajiv and Kajiya, James (1990) Compiler Optimization of Array Data Storage. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-07] Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-02] Lukkien, Johan J. (1990) Parallel Program Design and Generalized Weakest Preconditions. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-16] Burns, Steven M. and Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-18] Burns, Steven M. (1990) Performance Analysis and Optimization of Asynchronous Circuits Produced by Martin Synthesis. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-12] Lazzaro, John (1990) Silicon Models of Early Audition. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-10] Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-05] Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-14] Martin, Alain J. and Hazewindus, Pieter J. (1990) Testing Delay-Insensitive Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-17] Chandy, K. Mani and Taylor, Stephen and Kesselman, Carl and Foster, Ian (1990) The Program Composition Project. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-03] Ngai, John Y. (1989) A Framework for Adaptive Routing in Multicomputer Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-09] Platt, John (1989) Constrained methods for Neural Networks and Computer Graphics. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-07] Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheutt, Jan L. A. (1989) Distributed Sorting. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-90-06] Rudin, Leonid I. and Osher, Stanley (1989) Feature-Oriented Image Enhancement with Shock Filters, 1. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-03] Martin, Alain J. (1989) Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-01] Fyfe, Andrew (1989) Properties of the V-C Dimension. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-01] Su, Wen-King (1989) Reactive-Process Programming and Distributed Discrete-Event Simulation. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-11] Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technial Report. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-12] Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-04] Martin, Alain J. (1989) The Design of an Asynchronous Microprocessor. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-02] Chandy, K. Mani (1989) The Essence of Distributed Snapshots. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-05] Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J. (1989) The First Aysnchronous Microprocessor: The Test Results. Technical Report. California Institute of Technology. [CaltechCSTR:1989.cs-tr-89-06] Burch, Jerry R. (1988) A Comparison of Strict and Non-Strict Semantics for Lists. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-12] Martin, Alain J. (1988) A Message-Passing Model for Highly Concurrent Computation. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-13] Boden, Nanette J. (1988) A Study of Fine-Grain Programming Using Cantor. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-11] Von Herzen, Brian (1988) Applications of Surface Networks to Sampling Problems in Computer Graphics. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-15] Burns, Steven M. (1988) Automated Compilation of Concurrent Programs into Self-Timed Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-02] Lyon, Richard F. and Mead, Carver A. (1988) Cochlear Hydrodynamics Demystified. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-04] Lee, Tak K. (1988) Communication Behavior of Linear Arrays of Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-89-13] Platt, John C. and Barr, Alan H. (1988) Constrained Differential Optimization for Neural Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-17] Barzel, Ronen (1988) Controlling Rigid Bodies with Dynamic Constraints. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-19] Dally, William J. and Seitz, Charles L. (1988) Deadlock-Free Message Routing in Multiprocessor Interconnection Networks. Technical Report. California Institute of Technology. [CaltechCSTR:5231-tr-86] Judd, Stephen J. (1988) Neural Network Design and the Complexity of Learning. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-20] Chandy, K. Mani (1988) Programming Parallel Computers. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-16] Roach, Kelly (1988) Pronouns. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-09] Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:cs-tr-88-18] Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-05] Burns, Steven M. and Martin, Alain J. (1988) Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-14] Seitz, Charles L. and Seizovic, Jakov and Su, Wen-King (1988) The C Programmer's Abbreviated Guide to Multicomputer Programming. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-01] Feinstein, David I. (1988) The Hexagonal Resistive Network and the Circular Approximation. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-07] Seizovic, Jakov N. (1988) The Reactive Kernel. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-10] Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems. Technical Report. California Institute of Technology. [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. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-22] Lazzaro, J. and Ryckebusch, S. and Mahowald, M. A. and Mead, C. A. (1988) Winner-Take-All Networks of O(N) Complexity. Technical Report. California Institute of Technology. [CaltechCSTR:1988.cs-tr-88-21] Ngai, John Y. and Seitz, Charles L. (1987) A Framework for Adaptive Routing. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5246-tr-87] Newton, Michael O. (1987) A High Performance Implementation of Prolog. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5234-tr-86] Martin, Alain J. (1987) A Synthesis Method for Self-Timed VLSI Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5256-tr-87] Athas, William C. and Seitz, Charles L. (1987) Cantor User Report: Version 2.0. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5232-tr-86] Chandy, K. Mani and Misra, Jay (1987) Conditional Knowledge as a Basis for Distributed Simulation. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5251-tr-87] Athas, William C. (1987) Fine Grain Concurrent Computations. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5242-tr-87] Rudin, Leonid Iakov (1987) Images, Numerical Analysis of Singularities and Shock Filters. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5250-tr-87] Choo, Young-il (1987) Logic from Programming Language Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5249-tr-87] Athas, William C. and Seitz, Charles L. (1987) Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5244-tr-87] Gupta, Rajiv (1987) PS: Polygon Streams: A Distributed Architecture for Incremental Computation Applied to Graphics. Technical Report. California Institute of Technology. [CaltechCSTR:1987.cs-tr-88-03] Lutz, Jack H. (1987) Resource-Bounded Category and Measure in Exponential Complexity Classes. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5243-tr-87] Seitz, Charles L. (1987) Submicron Systems Architecture Project:Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5258-tr-87] Seitz, Charles L. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin (1987) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5240-tr-87] Burns, Steven M. and Martin, Alain J. (1987) Synthesis of Self-Timed Circuits by Program Transformation. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5253-tr-87] Seitz, Charles L. (1987) The C Programmer's Abbreviated Guide to Multicomputer Programming (The Short C-Guide). Technical Report. California Institute of Technology. [CaltechCSTR:5252-tr-87] Rem, Martin (1987) Trace Theory and Systolic Computations. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5239-tr-87] Wawrzynek, John (1987) VLSI Concurrent Computation for Music Synthesis. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5247-tr-87] Flaig, Charles M. (1987) VLSI Mesh Routing Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1987.5241-tr-87] Tanner, John Edward (1986) Integrated optical motion detection. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1986.5223-tr-86] Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5227-tr-86] Dally, William J. (1986) A VLSI Architecture for Concurrent Data Structures. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5209-tr-86] Van Horn, Kevin S. (1986) An Approach to Concurrent Semantics Using Complete Traces. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5236-tr-86] Lazzaro, John Paul (1986) anaLOG: A functional Simulator for VLSI Neural Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5229-tr-86] Thompson, Bozena H. and Thompson, Frederick B. (1986) ASK is Transportable in Half a Dozen Ways. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5214-tr-86] Martin, Alain J. (1986) Compiling Communicating Processes into Delay-Insensitive VLSI Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5210-tr-86] Van Horn, Kevin S. (1986) Complete and Infinite Traces: A descriptive model of computing agents. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5207-tr-86] Dally, William J. and Seitz, Charles L. (1986) Deadlock Free Message Routing in Multiprocessor Interconnection Networks. Technical Report. California Institute of Technology. [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. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5215-tr-86] Poh, Hean Lee (1986) Incorporating Time in the New World of Computing Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5238-tr-87] Mosteller, R. C. (1986) Monte Carlo Methods for 2-D Compaction. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5230-tr-86] Martin, Alain J. (1986) On Seitz' Arbiter. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5212-tr-86] Dally, William J. (1986) On the Performance of k-ary n-cube Interconnection Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5228-tr-86] Martin, Alain J. (1986) Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5211-tr-86] Schweizer, David Lawrence (1986) Some Results on Kolmogorov-Chaitin Complexity. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5233-tr-86] Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin (1986) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5235-tr-86] Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin (1986) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5220-tr-86] Li, Peggy Pey-yun and Martin, Alain J. (1986) The Sync Model: A Parallel Execution Method for Logic Programming. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5221-tr-86] Dally, William J. and Seitz, Charles L. (1986) The Torus Routing Chip. Technical Report. California Institute of Technology. [CaltechCSTR:1986.5208-tr-86] Newton, Michael O. (1985) A Combined Logical and Functional Programming Language. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5172-tr-85] Martin, Alain J. (1985) A Delay-insensitive Fair Arbiter. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5193-tr-85] Martin, Alain J. (1985) A New Generalization of Dekker's Algorithm for Mutual Exclusion. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5195-tr-85] Choo, Young-il (1985) An Inverse Limit Construction of a Domain of Infinite Lists. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5204-tr-85] Whelan, Daniel S. (1985) ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5200-tr-85] Choo, Young-il (1985) Concurrency Algebra and Petri Nets. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5190-tr-85] Dally, William J. (1985) Concurrent Algorithms for the Max-Flow Problem. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5191-tr-85] Whitney, Telle Elizabeth (1985) Hierarchical Composition of VLSI Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5189-tr-85] Seitz, Charles L. and Frey, Alexander H. and Mattisson, Sven and Rabin, Steve D. and Speck, Don A. and Snepscheut, Jan L. A. Van de (1985) Hot Clock nMOS. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5177-tr-85] Mjolsness, Eric (1985) Neural Networks, Pattern Recognition, and Fingerprint Hallucination. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5198-tr-85] Steele, Craig S. (1985) Placement of Communicating Processes on Multiprocessor Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5184-tr-85] Herzen, Brain P. Von (1985) Sampling Deformed, Intersecting Surfaces with Quadtrees. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5179-tr-85] Platt, John C. (1985) Sequential Threshold Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5197.tr-85] Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin and Van Tilborg, Henk (1985) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5178-tr-85] Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin (1985) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5202-tr-85] Dally, William J. and Seitz, Charles L. (1985) The Balanced Cube: A Concurrent Data Structure. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5174-tr-85] Su, Wen-King and Faucette, Reese and Seitz, Charles L. (1985) The C Programmer's to the COSMIC CUBE. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5203-tr-85] Li, Peggy Pey-yun (1985) The Sneptree - A Versatile Interconnection Network. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5194-tr-85] Schweizer, David and Abu-Mostafa, Yaser (1985) Two Theorems on Time Bounded Kolmogrov-Chaitin Complexity. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5205-tr-85] Athas, W.C. (1985) XCPL: An experimental Concurrent Programming Language. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5196-tr-85] Clow, Gary W. (1984) A Global Routing Algorithm for General Cells. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5127-tr-84] Ng, Tak-Kwong (1984) A Graph Model and the Embedding of MOS Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5104-tr-83] Lin, Tzu-Mu (1984) A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5133-tr-84] Wawrzynek, John and Mead, Carver (1984) A VLSI Architecture for Sound Synthesis. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5158-tr-84] Dally, William J. and Kajiya, James T. (1984) An Object Oriented Architecture. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5168-tr-84] Sanouillet, Remy (1984) ASK French: A French Natural Language Syntax. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5164-tr-84] Whiting, Douglas L. (1984) Bit-Serial Reed Solomon Decoders in VLSI. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5157-tr-84] Lien, Sheue-Ling-Chang (1984) Combining Computation with Geometry. Technical Report. California Institute of Technology. [CaltechCSTR:1985.5185-tr-85] Thompson, Bozena Henisz and Thompson, Frederick B. (1984) Customizing One's Own Interface Using English as Primary Language. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5165-tr-84] Lutz, Christopher (1984) Design of the Mosaic Processor. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5129-tr-84] Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5080-tr-83] Martin, Alain J. and Burch, Jerry R. (1984) Fair Mutual Exclusion with Unfair P and V Operations. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5148-tr-84] Oyang, Yen-Jen (1984) HEX: A Hierarchical Circuit Extractor. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5139-tr-84] Chen, Wen-Chi (1984) Hierarchy of Graph Isomorphism Testing. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5140-tr-84] Thompson, Bozena Henisz (1984) Linguistic Analysis of Natural Language Communication with Computers. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5128-tr-84] Gillepsie, David (1984) LOG: The Chipmunk Logic Simulator (User's Guide). Technical Report. California Institute of Technology. [CaltechCSTR:1984.5130-tr-84] Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5147-tr-84] Ngai, John Y. (1984) SMART User's Guide. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5118-tr-84] Ngai, John Y. (1984) Stochastic Estimation of Channel Routing Track Demand. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5094-tr-84] Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5122-tr-84] Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5160-tr-84] Su, Wen King (1984) Supermesh. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5125-tr-84] Schuster, Michael (1984) Switch-Level Fault Simulation of MOS Digital Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5132-tr-84] Ho, Tai-Ping (1984) The Dialogue Designing Dialogue System. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5137-tr-84] Ngai, John Y. (1984) The General Interconnect Problem of Integrated Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5143-tr-84] Dally, William J. (1984) The MOSSIM Simulation Engine Architecture and Design. Technical Report. California Institute of Technology. [CaltechCSTR:1984.cs-tr-5123-84] Martin, Alain J. (1984) The Probe: An Addition to Communication Primitives. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5124-tr-84] Mead, Carver (1984) The Wolery. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5113-tr-84] Chiang, Chao-Lin (1984) Towards Concurrent Arithmetic: Residue Arithmetic and VLSI. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5135-tr-84] Derby, Howard (1984) Using Logic Programming for Compiling APL. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5134-tr-84] Wawrzynek, John (1983) Memory management in the programming language ICL. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1983.5105-tr-83] Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5075-tr-83] Athas, William C. (1983) A VLSI Combinator Reduction Engine. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5086-tr-83] Trimberger, Stephen (1983) Automated Performance Optimization of Custom Integrated Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5073-tr-83] Lutz, Chris and Rabin, Steve and Seitz, Charles L. and Speck, Don (1983) Design of the Mosaic Element. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5093-tr-83] Seitz, Charles L. (1983) Experiments with VLSI Ensemble Machines. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5102-tr-83] Neches, Philip M. (1983) Hardware Support for Advanced Data Management Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5082-tr-83] Papachristidis, Alexandros Christou (1983) Heterogeneous Database Access. Technical Report. California Institute of Technology. [CaltechCSTR:1984.5136-tr-84] Johnsson, Lennart (1983) Highly Concurrent Algorithms for Solving Linear Systems of Equations. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5079-tr-83] Bryant, Randall and Schuster, Mike and Whiting, Doug (1983) MOSSIM II: A Switch-Level Simulator for MOS LSI User's Manual. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5033-tr-82] Ullner, Michael K. (1983) Parallel Machines for Computer Graphics. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5112-tr-83] Bryant, Randall E. (1983) Race Detection in MOS Circuits By Ternary Simulation. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5091-tr-83] Chiang, Chao-Lin and Johnsson, Lennart (1983) Residue Arithmetic and VLSI. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5092-tr-83] Trawick, David James (1983) Robust Sentence Analysis and Habitability. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5074-tr-83] Lam, Jimmy (1983) RTsim: A register transfer simulator. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5081-tr-83] Lin, Tzu-Mu and Mead, Carver A. (1983) Signal Delay in General RC Networks with Application to Timing Simulation of Digital Integrated Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5089-tr-83] Chen, Marina Chien-mei (1983) Space-Time Algorithms: Semantics and Methodology. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5090-tr-83] Seitz, Charles L. (1983) Submicron Systems Architecture Project: Semiannual Technial Report. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5103-tr-83] Seitz, Charles L. (1983) Submicron Systems Architecture:Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5078-tr-83] Bryant, Randal E. (1983) Switch-Level Model and Simulator for MOS Digital Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5065-tr-83] DeBenedictis, Erik P. (1983) Techniques for Testing Integrated Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1982.4777-tr-82] Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5097-tr-83] Li, Pey-yun Peggy and Johnsson, Lennart (1983) The Tree Machine: An Evaluation of Strategies For Reducing Program Loading Time. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5084-tr-83] Megdal, Barry Bruce (1983) VLSI Computational Structures Applied to Fingerprint Image Analysis. Technical Report. California Institute of Technology. [CaltechCSTR:1983.5015-tr-83] Chen, Marina and Graham, Ronald L. and Rem, Martin (1982) A Characterization of Deadlock Free Resource Contentions. Technical Report. California Institute of Technology. [CaltechCSTR:1982.4684-tr-82] Whiting, Douglas L. (1982) A Self-Timed Chip Set for Microprocessor Communication. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5000-tr-82] McNair, Richard and Miller, Monroe (1982) Bristle Blocks - Scrutinized and Analyzed. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5016-tr-82] Johnsson, Lennart (1982) Concurrent Algorithms for the Conjugate Gradient Method. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5040-tr-82] Lang, Charles R. (1982) Concurrent, Asynchronous Garbage Collection Among Cooperating Processors. Technical Report. California Institute of Technology. [CaltechCSTR:1982.4724-tr-82] Kingsley, Charles (1982) EARL: An Integrated Circuit Design Language. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5021-tr-82] Ng, Charles H. (1982) FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5055-tr-82] Chen, Marina C. and Mead, Carver A. (1982) Formal Specification of Concurrent Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1982-5042-tr-82] Choo, Young-il (1982) Hierarchical Nets: A Structured Petri Net Approach to Concurrency. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5044-tr-82] Carroll, Christopher R. (1982) Hybrid Processing. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5034-tr-82] Thompson, Bozena Henisz and Thompson, Frederick B. and Ho, Tai-Ping (1982) Knowledgeable Contexts for User Interaction. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5051-tr-82] Whitney, Telle and Hedges, Tom (1982) Pooh User's Manual. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5029-tr-82] Kajiya, James T. (1982) Ray Tracing Parametric Patches. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5017-tr-82] Johnsson, Lennart and Seitz, Charles L. (1982) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5052-tr-82] Lang, Charles Richard (1982) The Extension of Object-Oriented Languages to a Homogenous, Concurrent Architecture. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5014-tr-82] Holstege, Eric J. (1982) Type Inference in a Declarationless, Object-Oriented Language. Technical Report. California Institute of Technology. [CaltechCSTR:1982.5035-tr-82] Martin, Alain J. (1982) The torus: an exercise in constructing a processing surface. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1982.5047-tr-82] Kajiya, J and Ullner, M (1981) Filtering high quality text for display on raster scan devices. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1982.5018-tr-82] Mosteller, R. C. (1981) RLAP version 1.0 a chip assembly tool. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1981.4332-tr-81] Segal, Richard (1981) Structure, placement and modelling. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1981.4029-tr-81] Whitney, Telle (1981) A Hierarchical Design Rule Checker. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4320-tr-81] Trimberger, Stephen and Rowson, James A. and Lang, Charles R. and Gray, James P. (1981) A Structured Design Methodology & Assoicated Software Tools. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4336-tr-81] Whelan, Daniel S. (1981) A Versatile Ethernet Interface. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4654-tr-81] Trimberger, St ephen (1981) Combining Graphics and a Layout Language in a Single Interactive System. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4281-tr-81] Yu, Kwang-I (1981) Communicative Databases. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4527-tr-81] Johnsson, Lennart (1981) Computational Arrays for Band Matrix Equations. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4287-tr-81] Johnsson, Lennart and Cohen, Danny (1981) Computational Arrays for the Discrete Fourier Transform. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4168-tr-81] Lin, Tzu-Mu (1981) From Geometry to Logic. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4298-tr-81] Rudin, Leonid (1981) Lambda Logic. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4521-tr-81] Mosteller, R.C. (1981) REST: A Leaf Cell Design System. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4317-tr-81] Thompson, Bozena Henisz and Thompson, Frederick B. (1981) Shifting to a Higher Gear in a Natural Language System. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4128-tr-1981] Johannsen, David Lawrence (1981) Silicon Compilation. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4530-tr-81] Lewis, R.K. (1981) Switching Dynamics. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4675-tr-81] Gray, Moshe (1981) The Design and Implementation of a Reticle Maker for VLSI. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4299-tr-81] Li, Pey-yun (1981) The Serial Log Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4517-tr-81] Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4653-tr-81] Johnsson, Lennart and Weiser, Uri and Cohen, Danny and Davis, Alan L. (1981) Towards a Formal Treatment of VLSI Arrays. Technical Report. California Institute of Technology. [CaltechCSTR:1981.4191-tr-81] Rem, Martin and Mead, Carver (1981) A notation for designing restoring logic circuitry in CMOS. Technical Report. Callifornia Institute of Technology, Pasadena, CA. [CaltechCSTR:1981.4600-tr-81] Trimberger, Stephen (1980) The proposed Sticks Standard. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1980.3880-tr-80] Milne, George J. (1980) The representation of communication and concurrency. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1980.4088-tr-80] Trimberger, Stephen (1980) Combining graphics and layout language in a single interactive system. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1980.3794-tr-80] Trimberger, Stephen (1980) A comprehensive CIF test set. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1980.3352-tr-80] Trimberger, Stephen (1980) A Comprehensive CIF Test Set. Technical Report. California Institute of Technology. [CaltechCSTR:1980.4022-tr-80] Barton, Anthony Francis (1980) A Fault Tolerant Integrated Circuit Memory. Technical Report. California Institute of Technology. [CaltechCSTR:1980.3761-tr-80] Seiler, Larry (1980) A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer. Technical Report. California Institute of Technology. [CaltechCSTR:1980.2883-tr-80] DeBenedictis, Erik P. (1980) A Preliminary Report on the Caltech ARPA Tester Project. Technical Report. California Institute of Technology. [CaltechCSTR:1980.4061-tr-80] Demetrescu, Stefan G. (1980) A VLSI based real-time hidden surface elimination display system. Technical Report. California Institute of Technology. [CaltechCSTR:1980.4090-tr-80] Johnsson, Lennart (1980) Gaussian Elimination on Sparse Matricies and Concurrency. Technical Report. California Institute of Technology. [CaltechCSTR:1980.4087-tr-80] Buchanan, Irene (1980) Modeling and Verification in Structured Integrated Circuit Design. Technical Report. California Institute of Technology. [CaltechCSTR:1980.3642-tr-80] Oestreicher, Donald (1980) PLASYS: Final Report. Technical Report. California Institute of Technology. [CaltechCSTR:1980.3655-tr-80] Hess, Gideon David (1980) Software Design System. Technical Report. California Institute of Technology. [CaltechCSTR:1980.3762-tr-80] Sproull, Robert and Lyon, Richard and Trimberger, Stephen (1980) The Caltech Intermediate Form for LSI Layout Description. Technical Report. California Institute of Technology. [CaltechCSTR:1980.2686-tr-1980] Locanthi, Bart N. (1980) The Homogeneous Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1980.3759-tr-80] Browning, Sally A. (1980) The Tree Machine: A Highly Concurrent Computing Environment. Technical Report. California Institute of Technology. [CaltechCSTR:3760-tr-80] Rowson, James Allely (1980) Understanding Hierarchical Design. Technical Report. California Institute of Technology. [CaltechCSTR:1980.3710--tr-80] Lang, Dick (1979) LAP user's manual. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1979.3356-tr-79] McGrath, Ed (1979) A Physical Design Rule Description. Technical Report. California Institute of Technology. [CaltechCSTR:1979.3236-tr-79] Trimberger, Stephen (1979) A Wire Oriented Mask Geometry Editor. Technical Report. California Institute of Technology. [CaltechCSTR:1979.2870-tr-79] Lang, Charles R. (1979) Automated Wiring Analysis of Integrated Circuit Geometric Data. Technical Report. California Institute of Technology. [CaltechCSTR:1979.2891-tr-79] Tarolli, Gary and Lang, Dick (1979) CIF2OP Instruction Manual. Technical Report. California Institute of Technology. [CaltechCSTR:1979.3357-tr-79] Trimberger, Stephen (1979) CIFSYM -- CIF Symbol Handler. Technical Report. California Institute of Technology. [CaltechCSTR:1979.3253-tr-79] Gray, J.P. and Buchanan, I. (1979) Models for Structured IC Design. Technical Report. California Institute of Technology. [CaltechCSTR:1979.3230-tr-79] Efland, G and Mosteller, R.C. (1979) Stack Data Engine. Technical Report. California Institute of Technology. [CaltechCSTR:1979.3364-tr-79] Johannsen, Dave (1978) Hierarchical power routing. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1978.2069-tr-78] Masumoto, Rodney Tak (1978) A 16-Bit LSI Digital Multiplier. Technical Report. California Institute of Technology. [CaltechCSTR:1978.4204-tr-78] Ayres, Ronald (1978) A Language Processor and a Sample Language. Technical Report. California Institute of Technology. [CaltechCSTR:1978.2276-tr-78] Mead, Carver A. and Rem, Martin (1978) Cost and Performance of VLSI Computing Structures. Technical Report. California Institute of Technology. [CaltechCSTR:1978.1584-tr-78] Randall, David Lawrence (1969) Formal Methods in the Foundations of Science. Technical Report. California Institute of Technology. [CaltechCSTR:1969.2275-tr-70] This list was generated on Fri Nov 20 00:32:15 PST 2009. |