CaltechAUTHORS
  A Caltech Library Service

Items where Collection is "CaltechCSTR"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Authors | No Grouping
Number of items: 475.

Article

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

Book

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. California Institute of Technology , Pasadena, CA. http://resolver.caltech.edu/CaltechAUTHORS:20120502-113421018

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. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20120502-110640160

Report or Paper

Martin, Alain J. (2014) 25 Years Ago: The First Asynchronous Microprocessor. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844

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

Cui, Tao and Chen, Lijun and Ho, Tracey (2007) Distributed Optimization in Wireless Networks Using Broadcast Advantage. California Institute of Technology , Pasadena, CA. (Submitted) http://resolver.caltech.edu/CaltechCSTR:2007.002

Tang, A. and Simsek, Alp and Ozdaglar, Asuman et al. (2006) On the Stability of P-Matrices. California Institute of Technology , Pasadena, CA. (Submitted) http://resolver.caltech.edu/CaltechCSTR:2006.005

Li, Ling and Abu-Mostafa, Yaser S. (2006) Data complexity in machine learning. California Institute of Technology , Pasadena, USA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2006.004

Capponi, Agostino and Chandy, Mani and Fatkullin, Ibrahim (2006) Predicate Signaling in Distributed Sensor Networks. . (Submitted) http://resolver.caltech.edu/CaltechCSTR:2006.002

Hickey, Jason and Nogin, Aleksey (2006) OMake: Designing a Scalable Build Process. . (In Press) http://resolver.caltech.edu/CaltechCSTR:2006.001

Li, Ling (2005) Perceptron learning with random coordinate descent. California Institute of Technology , Pasadena, USA. (Unpublished) http://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. . (In Press) http://resolver.caltech.edu/CaltechCSTR:2005.003

Tang, Ao and Wang, Jiantao and Low, Steven et al. (2005) Equilibrium of Heterogeneous Congestion Control Protocols. Steven Low . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2005.005

Capponi, Agostino and Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes. California Institute of Technology , Pasadena, CA. (Submitted) http://resolver.caltech.edu/CaltechCSTR:2005.004

Papadantonakis, Karl (2005) Design Rules for Non-Atomic Implementations of PRS. Caltech . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2005.001

Abu-Mostafa, Yaser and Song, Xubo and Nicholson, Alexander et al. (2004) The Bin Model. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2004.002

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

Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. IEEE Computer Society Press . (In Press) http://resolver.caltech.edu/CaltechCSTR:2003.006a

Papadantonakis, Karl (2003) An Asynchronous Register Bypass Transformation. California Institute of Technology . (Unpublished) http://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) http://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 . (Unpublished) http://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 . (In Press) http://resolver.caltech.edu/CaltechCSTR:2003.002

Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/caltechCSTR:2003.004

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

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

Papadantonakis, Karl (2003) Stable Production Rule Sets are Deterministic. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2003.003

Kim, Ki Baek and Low, Steven H. (2002) Analysis and Design of AQM for stabilizing TCP. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.009

Schkolne, Steven and Schroder, Peter (2002) Assembling and Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and a Lightsaber. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.005

Kim, Ki Baek and Low, Steven H. (2002) Cost of AQM in stabilizing TCP. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.008

Penzes, Paul (2002) Energy-Delay Complexity of Asynchronous Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.010

Nayak, Ashwin and Shor, Peter (2002) On bit-commitment based quantum coin flipping. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.007

Penzes, Paul and Nystroem, Mika and Martin, Alain J. (2002) Transistor Sizing of Energy-Delay--Efficient Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.003

Nystroem, Mika (2001) Asynchronous Pulse Logic. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.011

Zimmerman, Daniel M. (2001) Dynamic UNITY. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.006

Martin, Alain J. and Nystroem, Mika and Penzes, Paul (2001) ET2: A Metric For Time and Energy Efficiency of Computation. Kluwer Academic Publishers . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.007

Penzes, Paul and Martin, Alain J. (2001) Global and local properties of asynchronous circuits optimized for energy efficiency. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.002

Martin, Alain J. and Nystroem, Mika and Penzes, Paul et al. (2001) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.012

Papadantonakis, Karl (2001) A Theory of Constant Et^2 CMOS Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.004

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 . (Unpublished) http://resolver.caltech.edu/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. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-04

Nicholson, Alexander (2000) A Generalization Model and Learning in Hardware. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2000.007

Taubin, Gabriel (2000) Is this a Quadrisected Mesh? California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2000.008

Wood, Zoe Justine (2000) Semi-Regular Mesh Extraction from Volumes. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2000.006

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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2000.005

Charpentier, Michel and Chandy, K. Mani (2000) Theorems about Composition. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/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. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.003

Rifkin, Adam (1999) Application Development using Compositional Performance Analysis. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04

Ginis, Roman (1999) Optimal Distributed Resource Allocation. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-08

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

Nystroem, Mika (1999) Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg's Examples. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.010

Schkolne, Steven and Schroder, Peter (1999) Surface Drawing. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02

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

Ramamoorthi, Ravi (1998) Creating Generative Models from Range Images. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-05

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

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

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

Cataltepe, Zehra and Abu-Mostafa, Yaser S. and Magdon-Ismail, Malik (1998) No Free Lunch for Early Stopping. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-02

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

Lines, Andrew Matthew (1998) Pipelined Asynchronous Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-95-21

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

Winfree, Erik (1998) Simulations of Computing by Self-Assembly. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.22

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

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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-07

Winfree, Erik (1998) Whiplash PCR for O(1) Computing. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1998.23

Penzes, Paul (1998) The design of high performance asynchronous circuits for the Caltech MiniMIPS processor. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2002.001

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

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

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

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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-16

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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-11

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

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

Azuma, Daniel and Lin, James and Chun, Eugene et al. (1997) A Framework for Migration of Networked Intercommunication Processes. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://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. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19

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

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

Massingill, Berna L. and Chandy, K. Mani (1997) Parallel Program Archetypes. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-12

Nystroem, Mika (1997) Pipelined Asynchronous Cache Design. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-20

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

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

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

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

Bax, Eric (1997) Validation of Voting Committee. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-13

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

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

Zorin, Denis (1996) Ck Continuity of Subdivision Surfaces. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-23

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

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

Chow, Bryan (1996) Compiler Techniques for Loosely-Coupled Multi-Cluster Architectures. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22

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

Zorin, Denis and Schroder, Peter and Sweldens, Wim (1996) Interpolating Subdivision for Meshes of Arbitary Topology. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-06

Massingill, Berna L. (1996) The Mesh Archetype. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-25

Davis, Gregg and Massingill, Berna L. (1996) The Mesh Archetype. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/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. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-13

Schooler, Eve M. (1996) A Multicast User Directory Service for Synchronous Rendezvous. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-10

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

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

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

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

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

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

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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08

Rieffel, Marc A. (1995) Concurrent Simulations of Plasma Reactors for VLSI Manufacturing. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-12

Zorin, Denis N. (1995) Correction of Geometeric Perceptual Distortions in Pictures. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-22

Tierno, Jose (1995) An Energy-Complexity Model for VLSI. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-02

Nystroem, Mika (1995) Et2 and Multi-Voltage Logic. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2001.008

Manohar, Rajit (1995) Folded FIFOs. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-09

Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-07

Laidlaw, David H. (1995) Geometric Model Extraction from Magnetic Resonance Volume Data. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-05

Fleischer, Kurt W. (1995) A Multiple-Mechanism Developmental Model for Defining Self-Organizing Geometric Structures. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-14

Kryukova, Svetlana A (1995) Parallel Programming Archetypes in Combinatorics and Optimization. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-06

Thornley, John (1995) Performance of a Class of Highly-Parallel Divide-and-Conquer Algorithms. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-10

Fleischer, Kurt (1995) Polygon Scan Conversion Derivations. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-91-12

Watts, Jerrell (1995) A Practical Approach to Dynamic Load Balancing. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-13

Manohar, Rajit and Martin, Alain J. (1995) Quasi-Delay-Insensitive Circuits are Turing-Complete. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11

Leino, K. Rustan M. (1995) Towards Reliable Modular Programs. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-03

Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1994) Classification of Material Mixtures in Volume Data for Visualization and Modeling. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-07

Pinkstone III, Donald (1994) A Compiler for a Subset of Modula-3. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-17

Leino, K. Rustan M. (1994) Computing Permutation Encodings. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-10

Chow, Bryan and Fyfe, Andrew and Maskit, Daniel et al. (1994) A Development Methodology for Concurrent Programs. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16

Carlin, Peter (1994) Distributed Linear Algebra on Networks of Workstations. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-14

Palmer, Michael E. (1994) Immersing the Scientist in Data: Interactive Visualization of Unstructured Scientific Data on Concurrent Architectures. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08

Tierno, Jose A. and Martin, Alain J. (1994) Low-Energy Asynchronous Memory Design. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21

Manohar, Rajit and Chandy, K. Mani (1994) Mach-Based Channel Library. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15

Van de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

Maskit, Daniel (1994) A Message-Driven Programming System for Fine-Grain Multicomputers. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-03

Goldsmith, Jeff (1994) Optimized Computer-Generated Motions for Animation. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-18

Heirich, Alan and Taylor, Stephen (1994) A Parabolic Load Balancing Method. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-13

Bax, Eric (1994) Recurrence-based Heuristics for the Hamiltonian Path Inclusion and Exclusion and Exclusion Algorithm. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-11

Heirich, Alan (1994) Scalable Load Balancing by Diffusion. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-04

Cataltepe, Zehra (1994) The Scheduling Problem in Learning From Hints. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-09

Hofstee, H. Peter (1994) Synchronizing Processes. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-19

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

Sivilotti, Paul A. G. and Carlin, Peter A. (1994) A Tutorial for CC++. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02

Kirk, David B. (1993) Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-08

Seizovic, Jakov N. (1993) The Architecture and Programming of a Fine-Grain Multicomputer. California Institute of Technology . (Unpublished) http://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 . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38

Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01

Thornley, John (1993) A Collection of Declarative Ada Example Programs. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-05

Carlin, Peter and Chandy, K. Mani and Kesselman, Carl (1993) The Compositional C++ Language Definition. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02

Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29

Tierno, Jose A. (1993) Designing Asynchronous Circuits in Gallium Arsenide. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-19

Chandy, K. Mani and Foster, Ian (1993) A Deterministic Notation for Cooperating Processes. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31

Binau, Ulla (1993) Distributed Diners: From UNITY Specification to CC++ Implementation. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-20

Maskit, Daniel and Taylor, Stephen (1993) Experiences in Programming the J-Machine. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-11

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

Thornley, John (1993) Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-40

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

Seizovic, Jakov N. (1993) Introduction to C+- (Submicron Systems Architecture Project). California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-32

Leino, K. Rustan M. (1993) Multicomputer Programming with Modula-3D. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15

Ainsworth, Paul and Kryukova, Svetlana (1993) A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-36

Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19

Heirich, Alan and Taylor, Stephen (1993) A Parabolic Theory of Load Balance. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-25

Thornley, John (1993) Parallel Programming with Declarative Ada. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03

Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23

Thornley, John (1993) The Programming Language Declarative Ada Reference Manual. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-04

Taylor, Stephen (1993) Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-35

Chandy, K. Mani (1993) Properties of Concurrent Programs. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24

Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33

Boden, Nanette Jackson (1993) Runtime Systems for Fine-Grain Multicomputers. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-10

Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/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. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37

Maskit, Daniel and Zadik, Yair and Taylor, Stephen (1993) System Tools for the J-Machine. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-12

Rifkin, Adam (1993) Teaching Archetypal Design with an Electronic Textbook. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-13

Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26

Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs. California Institute of Technology . (Unpublished) http://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. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21

Hofstee, H. Peter (1993) A problem in the regularity calculus. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42

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

Steele, Craig S. (1992) Affinity: A Concurrent Programming System for Multicomputers. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-08

Chandy, K. Mani and Kesselman, Carl (1992) Compositional C++: Compositional Parallel Programming. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13

Sanouillet, Remy D. (1992) Computer Mediated Communication. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-30

Hofstee, H. Peter (1992) Constructing some Distributed Programs. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-16

Pertel, Michael J. (1992) A Critique of Adaptive Routing. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-06

Nielsen, Christian D. and Martin, Alain J. (1992) Delay-Insensitive Multiply-Accumulate Unit. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03

Chandy, K. Mani and Kesselman, Carl (1992) The Derivation of Compositional Programs. California Institute of Technology . (Unpublished) http://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. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26

Fyfe, William John Andrew (1992) Invariance Hints and the VC Dimension. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-20

Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04

Laidlaw, David H. (1992) Material Classification of Magnetic Resonance Volume Data. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-21

Pertel, Michael J. (1992) Mesh Distance Formulae. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-05

Esselink, Klaas and van de Snepscheut, Jan L.A. (1992) Molecular Dynamics on the Mosaic. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25

Binau, Ulla (1992) Mutual Exclusion in a Token Ring in CC++. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-11

Back, R.J.R. (1992) Predicate Transformers and Higher Order Logic. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-24

Back, R.J.R. (1992) Refinement Calculus, Lattices and Higher Order Logic. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-22

Back, R.J.R. (1992) Refinement of Parallel and Reactive Programs. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-23

Pertel, Michael J. (1992) A Simple Simulator for Multicomputer Routing Networks. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-04

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

Hazewindus, Pieter Johannes (1992) Testing Delay-Insensitive Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-14

Lukkien, Johan J. and Van de Snepscheut, Johan L. A. (1992) A Tutorial Introduction to Mosaic Pascal. California Institute of Technology . (Unpublished) http://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. http://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-07

DeWeerth, Stephen P. (1991) Analog VLSI Circuits for Sensorimotor Feedback. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://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) http://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) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-10

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

Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436

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

Judd, Stephen (1990) Characterizing NP and Measuring Instance Complexity. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://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) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03

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

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

Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17

Kalra, Devendra (1990) A Unified Framework for Constraint-Based Modeling. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-07

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

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

Chandy, K. Mani (1989) The Essence of Distributed Snapshots. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06

Ngai, John Y. (1989) A Framework for Adaptive Routing in Multicomputer Networks. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01

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

Su, Wen-King (1989) Reactive-Process Programming and Distributed Discrete-Event Simulation. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-04

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

Burns, Steven M. (1988) Automated Compilation of Concurrent Programs into Self-Timed Circuits. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-17

Barzel, Ronen (1988) Controlling Rigid Bodies with Dynamic Constraints. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:5231-tr-86

Feinstein, David I. (1988) The Hexagonal Resistive Network and the Circular Approximation. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-20

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

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

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

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

Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14

Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87

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

Ngai, John Y. and Seitz, Charles L. (1987) A Framework for Adaptive Routing. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1987.5246-tr-87

Newton, Michael O. (1987) A High Performance Implementation of Prolog. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1987.5250-tr-87

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

Athas, William C. and Seitz, Charles L. (1987) Multicomputers. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1987.5243-tr-87

Seitz, Charles L. (1987) Submicron Systems Architecture Project:Semiannual Technical Report. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87

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

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

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

Tanner, John Edward (1986) Integrated optical motion detection. California Institute of Technology , Pasadena, CA. http://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) http://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) http://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) http://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) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1986.5238-tr-87

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

Martin, Alain J. (1986) On Seitz' Arbiter. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1986.5228-tr-86

Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86

Schweizer, David Lawrence (1986) Some Results on Kolmogorov-Chaitin Complexity. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1986.5208-tr-86

Dally, William J. (1986) A VLSI Architecture for Concurrent Data Structures. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1986.5229-tr-86

Whelan, Daniel S. (1985) ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1985.5203-tr-85

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

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

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

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

Whitney, Telle Elizabeth (1985) Hierarchical Composition of VLSI Circuits. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85

Mjolsness, Eric (1985) Neural Networks, Pattern Recognition, and Fingerprint Hallucination. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85

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

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

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

Li, Peggy Pey-yun (1985) The Sneptree - A Versatile Interconnection Network. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1985.5178-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) http://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) http://resolver.caltech.edu/CaltechCSTR:1985.5205-tr-85

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

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

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

Lien, Sheue-Ling-Chang (1984) Combining Computation with Geometry. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1984.5165-tr-84

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

Ho, Tai-Ping (1984) The Dialogue Designing Dialogue System. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84

Ngai, John Y. (1984) The General Interconnect Problem of Integrated Circuits. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1984.5143-tr-84

Clow, Gary W. (1984) A Global Routing Algorithm for General Cells. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5104-tr-83

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

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

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

Gillepsie, David (1984) LOG: The Chipmunk Logic Simulator (User's Guide). California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1984.5128-tr-84

Dally, William J. (1984) The MOSSIM Simulation Engine Architecture and Design. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1984.5168-tr-84

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

Ngai, John Y. (1984) SMART User's Guide. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1984.5118-tr-84

Ngai, John Y. (1984) Stochastic Estimation of Channel Routing Track Demand. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1984.5094-tr-84

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

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

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

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

Chiang, Chao-Lin (1984) Towards Concurrent Arithmetic: Residue Arithmetic and VLSI. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1984.5135-tr-84

Derby, Howard (1984) Using Logic Programming for Compiling APL. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1984.5158-tr-84

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

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

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

Trimberger, Stephen (1983) Automated Performance Optimization of Custom Integrated Circuits. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5093-tr-83

Seitz, Charles L. (1983) Experiments with VLSI Ensemble Machines. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83

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

Papachristidis, Alexandros Christou (1983) Heterogeneous Database Access. California Institute of Technology . (Unpublished) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5033-tr-82

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

Lam, Jimmy (1983) RTsim: A register transfer simulator. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5091-tr-83

Chiang, Chao-Lin and Johnsson, Lennart (1983) Residue Arithmetic and VLSI. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1983.5092-tr-83

Trawick, David James (1983) Robust Sentence Analysis and Habitability. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5089-tr-83

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

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

Seitz, Charles L. (1983) Submicron Systems Architecture:Semiannual Technical Report. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5065-tr-83

DeBenedictis, Erik P. (1983) Techniques for Testing Integrated Circuits. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1983.5084-tr-83

Athas, William C. (1983) A VLSI Combinator Reduction Engine. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031

Kajiya, James T. (1983) New techniques for ray tracing procedurally defined objects. California Institute of Technology , Pasadena, CA. (Submitted) http://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) http://resolver.caltech.edu/CaltechAUTHORS:20120424-141649786

Trimberger, Stephen and Kingsley, Chris (1982) Chip assembly tools. California Institute of Technology , Pasadena, CA. (Unpublished) http://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) http://resolver.caltech.edu/CaltechAUTHORS:20120420-155106097

Chan, Wan S. (1982) A new channel routing algorithm. California Institute of Technology , Pasadena, CA. http://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) http://resolver.caltech.edu/CaltechAUTHORS:20120419-103122492

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

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

McNair, Richard and Miller, Monroe (1982) Bristle Blocks - Scrutinized and Analyzed. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1982.4684-tr-82

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

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

Kingsley, Charles (1982) EARL: An Integrated Circuit Design Language. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1982.5044-tr-82

Carroll, Christopher R. (1982) Hybrid Processing. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1982.5051-tr-82

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

Kajiya, James T. (1982) Ray Tracing Parametric Patches. California Institute of Technology . (Unpublished) http://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) http://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) http://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) http://resolver.caltech.edu/CaltechCSTR:1982.5035-tr-82

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

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

Bryant, Randal E. and Dennis, Jack B. (1982) Concurrent Programming. California Institute of Technology , Pasadena, CA. (Submitted) http://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) http://resolver.caltech.edu/CaltechAUTHORS:20120418-112411895

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

Johnsson, Lennart (1982) Pipelined linear equation solvers and VLSI. California Institute of Technology , Pasadena, CA. (Unpublished) http://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) http://resolver.caltech.edu/CaltechAUTHORS:20120423-110517168

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

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

Bryant, Randal E. (1982) Switch-Level Modeling of MOS Digital Circuits. California Institute of Technology , Pasadena, CA. (Unpublished) http://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) http://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. http://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82

Kajiya, J and Ullner, M (1981) Filtering high quality text for display on raster scan devices. California Institute of Technology , Pasadena, CA. http://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. http://resolver.caltech.edu/CaltechCSTR:1981.4332-tr-81

Segal, Richard (1981) Structure, placement and modelling. California Institute of Technology , Pasadena, CA. http://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) http://resolver.caltech.edu/CaltechCSTR:1981.4281-tr-81

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

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

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

Gray, Moshe (1981) The Design and Implementation of a Reticle Maker for VLSI. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1981.4299-tr-81

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

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

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

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

Li, Pey-yun (1981) The Serial Log Machine. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1981.4128-tr-1981

Johannsen, David Lawrence (1981) Silicon Compilation. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1981.4530-tr-81

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) http://resolver.caltech.edu/CaltechCSTR:1981.4336-tr-81

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

Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. California Institute of Technology . (Unpublished) http://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) http://resolver.caltech.edu/CaltechCSTR:1981.4191-tr-81

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

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

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

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

Trimberger, Stephen (1980) The proposed Sticks Standard. California Institute of Technology , Pasadena, CA. http://resolver.caltech.edu/CaltechCSTR:1980.3880-tr-80

Johnsson, Lennart (1980) VLSI Architecture and Design. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20120418-110634950

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

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

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

Trimberger, Stephen (1980) A comprehensive CIF test set. California Institute of Technology , Pasadena, CA. http://resolver.caltech.edu/CaltechCSTR:1980.3352-tr-80

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

Trimberger, Stephen (1980) A Comprehensive CIF Test Set. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.4022-tr-80

Barton, Anthony Francis (1980) A Fault Tolerant Integrated Circuit Memory. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3761-tr-80

Johnsson, Lennart (1980) Gaussian Elimination on Sparse Matricies and Concurrency. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.4087-tr-80

Locanthi, Bart N. (1980) The Homogeneous Machine. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3759-tr-80

Buchanan, Irene (1980) Modeling and Verification in Structured Integrated Circuit Design. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80

Oestreicher, Donald (1980) PLASYS: Final Report. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3655-tr-80

Seiler, Larry (1980) A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.2883-tr-80

DeBenedictis, Erik P. (1980) A Preliminary Report on the Caltech ARPA Tester Project. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.4061-tr-80

Hess, Gideon David (1980) Software Design System. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3762-tr-80

Browning, Sally A. (1980) The Tree Machine: A Highly Concurrent Computing Environment. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:3760-tr-80

Rowson, James Allely (1980) Understanding Hierarchical Design. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80

Demetrescu, Stefan G. (1980) A VLSI based real-time hidden surface elimination display system. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.4090-tr-80

Tarolli, Gary M. (1980) A Chip Assembler. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20120418-105425647

Martin, A. J. (1980) A Distributed Implementation method for Parallel Programming. California Institute of Technology , Pasadena, CA. http://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991

Lang, Dick (1979) LAP user's manual. California Institute of Technology , Pasadena, CA. http://resolver.caltech.edu/CaltechCSTR:1979.3356-tr-79

Lang, Charles R. (1979) Automated Wiring Analysis of Integrated Circuit Geometric Data. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1979.2891-tr-79

Tarolli, Gary and Lang, Dick (1979) CIF2OP Instruction Manual. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1979.3357-tr-79

Trimberger, Stephen (1979) CIFSYM -- CIF Symbol Handler. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1979.3253-tr-79

Gray, J.P. and Buchanan, I. (1979) Models for Structured IC Design. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1979.3230-tr-79

McGrath, Ed (1979) A Physical Design Rule Description. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1979.3236-tr-79

Efland, G and Mosteller, R.C. (1979) Stack Data Engine. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1979.3364-tr-79

Trimberger, Stephen (1979) A Wire Oriented Mask Geometry Editor. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1979.2870-tr-79

Kajiya, James Thomas (1979) Toward a mathematical theory of perception. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20120424-144344175

Johannsen, Dave (1978) Hierarchical power routing. California Institute of Technology , Pasadena, CA. http://resolver.caltech.edu/CaltechCSTR:1978.2069-tr-78

Masumoto, Rodney Tak (1978) A 16-Bit LSI Digital Multiplier. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1978.4204-tr-78

Mead, Carver A. and Rem, Martin (1978) Cost and Performance of VLSI Computing Structures. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1978.1584-tr-78

Ayres, Ronald (1978) A Language Processor and a Sample Language. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1978.2276-tr-78

Sutherland, Ivan (1978) The Polygon Package. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechAUTHORS:20120418-103150565

Thompson, Bozena Henisz and Thompson, Frederick B. (1978) Rapidly Extendable Natural Language. California Institute of Technology , Pasadena, CA. http://resolver.caltech.edu/CaltechAUTHORS:20120417-143125744

Randall, David Lawrence (1969) Formal Methods in the Foundations of Science. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70

This list was generated on Sun Nov 23 05:30:05 2014 PST.