Items where Collection is "CaltechCSTR"
Number of items: 473. AAbu-Mostafa, Yaser and Song, Xubo and Nicholson, Alexander et al. (2004) The Bin Model. Computer Science Technical Reports, 2004.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9222RR7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2004.002 Azuma, Daniel and Lin, James and Chun, Eugene et al. (1997) A Framework for Migration of Networked Intercommunication Processes. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PG1PRR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-21 Aldrich, Jonathan and Dooley, James and Mandelsohn, Scott et al. (1997) Providing Easier Access to Remote Objects in Client-Server Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9HQ3WX3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-20 Ainsworth, Paul and Kryukova, Svetlana (1993) A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z998852R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-36 Athas, William C. and Seitz, Charles L. (1987) Cantor User Report: Version 2.0. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5232-tr-86 Athas, William C. (1987) Fine Grain Concurrent Computations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5242-tr-87 Athas, William C. and Seitz, Charles L. (1987) Multicomputers. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5244-tr-87 Athas, W.C. (1985) XCPL: An experimental Concurrent Programming Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5196-tr-85 Athas, William C. (1983) A VLSI Combinator Reduction Engine. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5086-tr-83 Ayres, Ronald (1978) A Language Processor and a Sample Language. Computer Science Technical Reports, 1978-2276. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9HQ3WWN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.2276-tr-78 BBax, Eric (1997) Improved Uniform Test Error Bounds. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9959FK4. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-15 Bax, Eric (1997) Similar Classifiers and VC Error Bounds. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CZ355Q. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-14 Bax, Eric (1997) Validation of Voting Committee. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9W093X1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-13 Bax, Eric (1997) Combining Multilayer Networks to Combine Learning. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9MK69XR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-01 Bax, Eric and Çataltepe, Zehra and Sill, Joe (1997) The Central Classifier Bound - A New Error Bound for the Classifier Chosen by Early Stopping. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9RB72M1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-08 Bax, Eric (1997) Validation of Average Error Rate Over Classifiers. California Institute of Technology , Pasadena, CA. doi:10.7907/Z90P0X25. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-17 Bax, Eric (1996) Recurrence-Based Reductions for Inclusion and Exclusion Algorithms Applied to P Problems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ST7MVX. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-01 Bax, Eric (1996) Tailoring the Permanent Formula to Problem Instances. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DN433K. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-17 Bax, Eric (1994) Recurrence-based Heuristics for the Hamiltonian Path Inclusion and Exclusion and Exclusion Algorithm. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CC0XQ0. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-11 Binau, Ulla (1993) Distributed Diners: From UNITY Specification to CC++ Implementation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z96H4FGD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-20 Boden, Nanette Jackson (1993) Runtime Systems for Fine-Grain Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QC01J3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-10 Binau, Ulla (1992) Mutual Exclusion in a Token Ring in CC++. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JH3JC1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-11 Back, R. J. R. (1992) Predicate Transformers and Higher Order Logic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DR2SN9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-24 Back, R. J. R. (1992) Refinement Calculus, Lattices and Higher Order Logic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z99021X8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-22 Back, R. J. R. (1992) Refinement of Parallel and Reactive Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z957196Z. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-23 Burns, Steven M. (1991) Performance Analysis and Optimization of Asynchronous Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-01 Burns, Steven M. and Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18 Burns, Steven M. (1990) Performance Analysis and Optimization of Asynchronous Circuits Produced by Martin Synthesis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-12 Boden, Nanette J. (1988) A Study of Fine-Grain Programming Using Cantor. Computer Science Technical Reports, 88-11. California Institute of Technology . https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-11 Burns, Steven M. (1988) Automated Compilation of Concurrent Programs into Self-Timed Circuits. Computer Science Technical Reports, 88-02. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-02 Burch, Jerry R. (1988) A Comparison of Strict and Non-Strict Semantics for Lists. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-12 Barzel, Ronen (1988) Controlling Rigid Bodies with Dynamic Constraints. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-19 Burns, Steven M. and Martin, Alain J. (1988) Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14 Burns, Steven M. and Martin, Alain J. (1987) Synthesis of Self-Timed Circuits by Program Transformation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87 Bryant, Randall and Schuster, Mike and Whiting, Doug (1983) MOSSIM II: A Switch-Level Simulator for MOS LSI User's Manual. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5033-tr-82 Bryant, Randall E. (1983) Race Detection in MOS Circuits By Ternary Simulation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5091-tr-83 Bryant, Randal E. (1983) Switch-Level Model and Simulator for MOS Digital Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5065-tr-83 Bryant, Randal E. and Dennis, Jack B. (1982) Concurrent Programming. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-110609720 Bryant, Randal E. (1982) Switch-Level Modeling of MOS Digital Circuits. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-112428166 Buchanan, Irene (1980) Modeling and Verification in Structured Integrated Circuit Design. Computer Science Technical Reports, 1980.3642. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80 Barton, Anthony Francis (1980) A Fault Tolerant Integrated Circuit Memory. Computer Science Technical Reports, 1980.3761. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3761-tr-80 Browning, Sally A. (1980) The Tree Machine: A Highly Concurrent Computing Environment. Computer Science Technical Reports, 1980.3760. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96W9816. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:3760-tr-80 CCui, Tao and Chen, Lijun and Ho, Tracey et al. (2007) Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks. Computer Science Technical Reports, 2007.003. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G73BP6. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2007.003 Cui, Tao and Chen, Lijun and Ho, Tracey (2007) Distributed Optimization in Wireless Networks Using Broadcast Advantage. Computer Science Technical Reports, 2007.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BK19BR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2007.002 Capponi, Agostino and Chandy, Mani and Fatkullin, Ibrahim (2006) Predicate Signaling in Distributed Sensor Networks. Computer Science Technical Reports, 2006.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Z899D5. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2006.002 Capponi, Agostino and Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes. Computer Science Technical Reports, 2005.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z99K487T. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.004 Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part II: Polynomially-Varying Radiant Exitance. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XG9P5B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-04 Charpentier, Michel and Chandy, K. Mani (2000) Theorems about Composition. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BK19C6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02 Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part I: Linearly-Varying Radiant Exitance. California Institute of Technology , Pasadena, CA. doi:10.7907/Z92805MQ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-01 Charpentier, Michel and Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZC80WC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01 Chen, Min (1999) Perturbation Methods for Image Synthesis. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9H1300B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-05 Charpentier, Michel and Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93R0QW2. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02 Chandy, K. Mani and Kiniry, Joseph and Rifkin, Adam et al. (1997) A Framework for Structured Distributed Object Computing. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JQ0Z2W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-07 Chandy, K. Mani and Rifkin, Adam and Kiniry, Joseph et al. (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9R78C75. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-10 Chow, Bryan (1996) Compiler Techniques for Loosely-Coupled Multi-Cluster Architectures. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T151P8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-97-18 Chandy, K. Mani and Dimitrov, Boris and Le, Huy et al. (1996) A World-Wide Distributed System Using Java and the Internet. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98W3BBD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08 Chandy, K. Mani and Schooler, Eve M. (1996) Designing Directories in Distributed Systems: A Systematic Framework. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9736NXN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-19 Chandy, K. Mani and Rifkin, Adam (1996) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JD4TTH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-15 Chow, Bryan and Fyfe, Andrew and Maskit, Daniel et al. (1994) A Development Methodology for Concurrent Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/S4MW2X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16 Carlin, Peter (1994) Distributed Linear Algebra on Networks of Workstations. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VH5KV8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-14 Chandy, K. Mani and Manohar, Rajit and Massingill, Berna L. et al. (1994) Integrating Task and Data Parallelism with the Collective Communication Archetype. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9222RSP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-08 Chandy, K. Mani and Foster, Ian (1993) A Deterministic Notation for Cooperating Processes. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9B85664. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31 Chandy, K. Mani (1993) Properties of Concurrent Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZS2TJP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-24 Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KP8063. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29 Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z96M34V8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-01 Carlin, Peter and Chandy, K. Mani and Kesselman, Carl (1993) The Compositional C++ Language Definition. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QF8QWK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-02 Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9C24TG1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23 Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z94Q7S2R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-02 Chandy, K. Mani and Kesselman, Carl (1992) Compositional C++: Compositional Parallel Programming. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z94F1NX8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-13 Chandy, K. Mani and Kesselman, Carl (1992) The Derivation of Compositional Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9GQ6VZZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-18 Chandy, K. Mani and Taylor, Stephen (1990) A Primer for Program Composition Notation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-10 Chandy, K. Mani and Taylor, Stephen and Kesselman, Carl et al. (1990) The Program Composition Project. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-03 Chandy, K. Mani (1989) The Essence of Distributed Snapshots. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-05 Chandy, K. Mani (1988) Programming Parallel Computers. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-16 Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-06 Chandy, K. Mani and Misra, Jay (1987) Conditional Knowledge as a Basis for Distributed Simulation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5251-tr-87 Choo, Young-il (1987) Logic from Programming Language Semantics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5249-tr-87 Choo, Young-il (1985) Concurrency Algebra and Petri Nets. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5190-tr-85 Choo, Young-il (1985) An Inverse Limit Construction of a Domain of Infinite Lists. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85 Clow, Gary W. (1984) A Global Routing Algorithm for General Cells. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5127-tr-84 Chen, Wen-Chi (1984) Hierarchy of Graph Isomorphism Testing. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5140-tr-84 Chiang, Chao-Lin (1984) Towards Concurrent Arithmetic: Residue Arithmetic and VLSI. Computer Science Technical Reports, 1984.5135. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5135-tr-84 Chiang, Chao-Lin and Johnsson, Lennart (1983) Residue Arithmetic and VLSI. Computer Science Technical Reports, 1983.5092. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5092-tr-83 Chen, Marina Chien-mei (1983) Space-Time Algorithms: Semantics and Methodology. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5090-tr-83 Chen, Marina and Mead, Carver (1983) A Hierarchical Simulator Based on Formal Semantics. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031 Chan, Wan S. (1982) A new channel routing algorithm. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechAUTHORS:20120420-103600164 Chen, Marina and Graham, Ronald L. and Rem, Martin (1982) A Characterization of Deadlock Free Resource Contentions. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.4684-tr-82 Chen, Marina C. and Mead, Carver A. (1982) Formal Specification of Concurrent Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982-5042-tr-82 Choo, Young-il (1982) Hierarchical Nets: A Structured Petri Net Approach to Concurrency. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5044-tr-82 Carroll, Christopher R. (1982) Hybrid Processing. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5034-tr-82 DDavis, Gregg and Massingill, Berna L. (1996) The Mesh Archetype. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-26 DeWeerth, Stephen P. (1991) Analog VLSI Circuits for Sensorimotor Feedback. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-13 Dyer, Lounette M. (1991) An Object-Oriented Real-Time Simulation of Music Performance Using Interactive Control. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-11 Dally, William J. and Seitz, Charles L. (1988) Deadlock-Free Message Routing in Multiprocessor Interconnection Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:5231-tr-86 Dally, William J. and Seitz, Charles L. (1986) Deadlock Free Message Routing in Multiprocessor Interconnection Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5206-tr-86 Dally, William J. (1986) On the Performance of k-ary n-cube Interconnection Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5228-tr-86 Dally, William J. and Seitz, Charles L. (1986) The Torus Routing Chip. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5208-tr-86 Dally, William J. (1986) A VLSI Architecture for Concurrent Data Structures. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5209-tr-86 Dally, William J. and Seitz, Charles L. (1985) The Balanced Cube: A Concurrent Data Structure. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5174-tr-85 Dally, William J. (1985) Concurrent Algorithms for the Max-Flow Problem. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5191-tr-85 Dally, William J. (1984) The MOSSIM Simulation Engine Architecture and Design. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.cs-tr-5123-84 Dally, William J. and Kajiya, James T. (1984) An Object Oriented Architecture. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5168-tr-84 Derby, Howard (1984) Using Logic Programming for Compiling APL. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5134-tr-84 DeBenedictis, Erik P. (1983) Techniques for Testing Integrated Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.4777-tr-82 DeBenedictis, Erik P. and Seitz, Charles L. (1982) Testing and Structured Design. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120419-103122492 Demetrescu, Stefan Gabriel (1980) A VLSI Based Real-Time Hidden Surface Elimination Display System. Computer Science Technical Reports, 1980.4090. California Institute of Technology . doi:10.7907/Z9GF0RGD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4090-tr-80 DeBenedictis, Erik P. (1980) A Preliminary Report on the Caltech ARPA Tester Project. Computer Science Technical Reports, 1980.4061. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9N014HV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4061-tr-80 EEsselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular Dynamics on the Mosaic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P8493R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25 Efland, G. and Mosteller, R. C. (1979) Stack Data Engine. Computer Science Technical Reports, 1979.3364. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q81B2W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3364-tr-79 FFink, Michael (2003) The Full Images for Natural Knowledge Caltech Office DB. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.008a Fink, Michael and Perona, Pietro (2003) The Full Images for Natural Knowledge Caltech Office DB. 2003.008. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9125QMV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.008 Fleischer, Kurt (1995) Polygon Scan Conversion Derivations. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9RR1W8B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-91-12 Fleischer, Kurt W. (1995) A Multiple-Mechanism Developmental Model for Defining Self-Organizing Geometric Structures. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9513W74. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-14 Fyfe, William John Andrew (1992) Invariance Hints and the VC Dimension. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9765CHM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-20 Foster, Ian and Taylor, Stephen (1992) A compiler approach to scalable concurrent program design. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-07 Fyfe, Andrew (1989) Properties of the V-C Dimension. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-01 Feinstein, David I. (1988) The Hexagonal Resistive Network and the Circular Approximation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-07 Flaig, Charles M. (1987) VLSI Mesh Routing Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5241-tr-87 GGranicz, Adam and Hickey, Jason (2002) Phobos: A front-end approach to extensible compilers (long version). California Institute of Technology , Pasadena, CA. doi:10.7907/Z9707ZFF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.006 Ginis, Roman (1999) Optimal Distributed Resource Allocation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9MS3QRD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-08 Gornowicz, Galen G. and Laidlaw, David H. and Shan, Jerry W. et al. (1997) De-aliasing Undersampled Volume Images for Visualization. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9C53HWB. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-11 Gimelshein, Sergey and Markelov, Gennady and Rieffel, Marc (1996) Collision Models in the Hawk DSMC Implementation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V122TN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-16 Goldsmith, Jeff (1994) Optimized Computer-Generated Motions for Animation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DB7ZVT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-18 Gupta, Rajiv and Kajiya, James (1990) Compiler Optimization of Array Data Storage. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-07 Gupta, Rajiv (1987) PS: Polygon Streams: A Distributed Architecture for Incremental Computation Applied to Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.cs-tr-88-03 Gillepsie, David (1984) LOG: The Chipmunk Logic Simulator (User's Guide). California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5130-tr-84 Gray, Moshe (1981) The Design and Implementation of a Reticle Maker for VLSI. Computer Science Technical Reports, 1981.4299. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4299-tr-81 Gray, J. P. and Buchanan, I. (1979) Models for Structured IC Design. Computer Science Technical Reports, 1979.3230. California Institute of Technology . doi:10.7907/Z9ZP4439. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3230-tr-79 HHickey, Jason and Nogin, Aleksey (2006) OMake: Designing a Scalable Build Process. Computer Science Technical Reports, 2006.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TH8JPF. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2006.001 Hickey, Jason and Nogin, Aleksey and Granicz, Adam et al. (2003) Formal Compiler Implementation in a Logical Framework. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98K7720. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.002 Hickey, Jason and Smith, Justin D. and Aydemir, Brian et al. (2002) Process Migration and Transactions Using a Novel Intermediate Language. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93776Q3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.007 Heirich, Alan (1997) Analysis of Scalable Algorithms for Dynamic Load Balancing and Mapping with Application to Photo-realistic Rendering. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9W37TBC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-10 Heirich, Alan (1994) Scalable Load Balancing by Diffusion. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z97M05Z6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-04 Hofstee, H. Peter (1994) Synchronizing Processes. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9028PKT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-19 Heirich, Alan and Taylor, Stephen (1994) A Parabolic Load Balancing Method. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z94T6GCQ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-13 Heirich, Alan and Taylor, Stephen (1993) A Parabolic Theory of Load Balance. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z91R6NJD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-25 Hofstee, H. Peter (1993) A problem in the regularity calculus. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9RJ4GHK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42 Hofstee, H. Peter (1992) Constructing some Distributed Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VX0DQN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-16 Hazewindus, Pieter Johannes (1992) Testing Delay-Insensitive Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9S180PP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-14 Hofstee, Peter H. and Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) A Distributed Implementation of a Task Pool. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05 Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1989) Distributed Sorting. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06 Herzen, Brain P. Von (1985) Sampling Deformed, Intersecting Surfaces with Quadtrees. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5179-tr-85 Ho, Tai-Ping (1984) The Dialogue Designing Dialogue System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5137-tr-84 Holstege, Eric J. (1982) Type Inference in a Declarationless, Object-Oriented Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5035-tr-82 Hess, Gideon David (1980) A Software Design System. Computer Science Technical Reports, 1980.3762. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9348HB7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3762-tr-80 Henisz Thompson, Bozena and Thompson, Frederick B. (1978) Rapidly Extendable Natural Language. Computer Science Technical Memorandum, 78-3975. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VM4980. https://resolver.caltech.edu/CaltechAUTHORS:20120417-143125744 JJudd, Stephen (1990) Characterizing NP and Measuring Instance Complexity. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-11 Judd, Stephen J. (1988) Neural Network Design and the Complexity of Learning. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-20 Johnsson, Lennart (1983) Highly Concurrent Algorithms for Solving Linear Systems of Equations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5079-tr-83 Johnsson, Lennart and Cohen, Danny (1982) A Formal Derivation of Array Implementations of FFT Algorithms. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-155106097 Johnsson, Lennart (1982) Concurrent Algorithms for the Conjugate Gradient Method. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5040-tr-82 Johnsson, Lennart and Seitz, Charles L. (1982) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5052-tr-82 Johnsson, Lennart (1982) A Computational Array for the QR-Method. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-165211870 Johnsson, Lennart (1982) Pipelined linear equation solvers and VLSI. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-115610622 Johnsson, Lennart (1982) VLSI algorithms for Doolittle's, Crout's, and Cholesky's methods. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-105611583 Johnsson, Lennart and Cohen, Danny (1981) A mathematical approach to modelling the flow of data and control in computational networks. Computer Science Technical Memorandum, 1981.5120. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-102640427 Johannsen, David Lawrence (1981) Silicon Compilation. Computer Science Technical Reports, 1981.4530. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4530-tr-81 Johnsson, Lennart and Cohen, Danny (1981) Computational Arrays for the Discrete Fourier Transform. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4168-tr-81 Johnsson, Lennart and Weiser, Uri and Cohen, Danny et al. (1981) Towards a Formal Treatment of VLSI Arrays. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4191-tr-81 Johnsson, Lennart (1981) Computational Arrays for Band Matrix Equations. Computer Science Technical Reports, 1981.4287. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4287-tr-81 Johnsson, Lennart (1980) VLSI Architecture and Design. Computer Science Technical Memorandum, 1980.3857. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-110634950 Johnsson, Lennart (1980) Gaussian Elimination on Sparse Matricies and Concurrency. Computer Science Technical Reports, 1980.4087. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4087-tr-80 Johannsen, Dave (1978) Hierarchical power routing. Computer Science Technical Memorandum, 1978.2069. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94F1NP4. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.2069-tr-78 KKeller, Sean and Bhargav, Siddharth S. and Moore, Chris et al. (2014) Quantifying Near-Threshold CMOS Circuit Robustness. Computer Science Technical Reports, 2014.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9M043CG. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175 Kim, Ki Baek and Tang, Ao and Low, Steven H. (2003) Design of AQM in Supporting TCP Based on the Well-Known AIMD Model. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DB7ZTC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.001 Kim, Ki Baek and Low, Steven H. (2002) Analysis and Design of AQM for stabilizing TCP. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T43R25. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.009 Kim, Ki Baek and Low, Steven H. (2002) Cost of AQM in stabilizing TCP. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JM27M3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.008 Kiniry, Joseph R. (1999) Leading to a Kind Description Language: Thoughts on Component Specification. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PV6HCF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-04 Kiniry, Joseph R. (1998) A New Construct for Systems Modeling and Theory: The Kind. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G15XV5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-14 Kiniry, Joseph R. and Cheong, Elaine (1998) JPP: A Java Pre-Processor. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KS6PKK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-15 Kiniry, Joseph R. (1998) The Specification of Dynamic Distributed Component Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PK0D5G. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-08 Kiniry, Joseph R. (1998) IDebug: An Advanced Debugging Framework for Java. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QJ7FBR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-16 Kryukova, Svetlana and Massingill, Berna and Sanders, Beverly (1996) An Algorithm for Distributed Location Management in Networks of Mobile Computers. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MN3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-14 Kryukova, Svetlana A. (1995) Parallel Programming Archetypes in Combinatorics and Optimization. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z91834J7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-06 Kirk, David B. (1993) Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KW5D26. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-08 Kalra, Devendra (1990) A Unified Framework for Constraint-Based Modeling. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-15 Kajiya, James T. (1983) New techniques for ray tracing procedurally defined objects. California Institute of Technology , Pasadena, CA. doi:10.1145/800059.801137. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-112657704 Kingsley, Chris (1982) EARL: An Integrated Circuit Design Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5021-tr-82 Kajiya, James T. (1982) Ray Tracing Parametric Patches. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5017-tr-82 Kajiya, James T. (1982) Ray tracing parametric patches. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-151015498 Kajiya, J and Ullner, M (1981) Filtering high quality text for display on raster scan devices. Computer Science Technical Reports, 82-5018. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1982.5018-tr-82 Kajiya, James Thomas (1979) Toward a mathematical theory of perception. Computer Science Technical Reports, 1979.4116. California Institute of Technology , Pasadena, CA. doi:10.7907/Z99Z92V3. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120424-144344175 LLi, Ling and Abu-Mostafa, Yaser S. (2006) Data complexity in machine learning. Computer Science Technical Reports, 2006.003. California Institute of Technology , Pasadena, USA. doi:10.7907/Z9319SW2. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2006.004 Li, Ling (2005) Perceptron learning with random coordinate descent. Computer Science Technical Reports, 2005.005. California Institute of Technology , Pasadena, USA. doi:10.7907/Z9PR7SZQ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.006 Li, Ling and Abu-Mostafa, Yaser S. and Pratap, Amrit (2003) CGBoost: Conjugate Gradient in Function Space. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.007 Lines, Andrew Matthew (1998) Pipelined Asynchronous Circuits. California Institute of Technology , Pasadena, CA. doi:10.7907/Z92V2D4Z. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-95-21 Laidlaw, David H. and Ahrens, Eric T. and Kremers, David et al. (1998) Visualizing Diffusion Tensor Images of the Mouse Spinal Cord. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98C9T9V. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-07 Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1997) Partial-Volume Bayesian Classification of Material Mixtures in MR Volume Data using Voxel Histograms. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9S75DB3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-12 Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DF6P8J. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-07 Leino, K. Rustan M. (1995) Towards Reliable Modular Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CJ8BH1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-03 Laidlaw, David H. (1995) Geometric Model Extraction from Magnetic Resonance Volume Data. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z98S4MXP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-05 Leino, K. Rustan M. (1994) Computing Permutation Encodings. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z90863BZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-10 Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1994) Classification of Material Mixtures in Volume Data for Visualization and Modeling. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z97S7KTR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-07 Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. Computer Science Technical Reports, 1993.34. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KK98TT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34 Leino, K. Rustan M. (1993) Multicomputer Programming with Modula-3D. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9F18WSP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-15 Leino, K. Rustan M. (1992) Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BZ6471. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-26 Laidlaw, David H. (1992) Material Classification of Magnetic Resonance Volume Data. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZP4490. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-21 Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A Tutorial Introduction to Mosaic Pascal. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02 Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13 Lukkien, Johan J. (1990) Parallel Program Design and Generalized Weakest Preconditions. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-16 Lazzaro, John (1990) Silicon Models of Early Audition. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-10 Lyon, Richard F. and Mead, Carver A. (1988) Cochlear Hydrodynamics Demystified. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-04 Lee, Tak K. (1988) Communication Behavior of Linear Arrays of Processes. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-89-13 Lazzaro, J. and Ryckebusch, S. and Mahowald, M. A. et al. (1988) Winner-Take-All Networks of O(N) Complexity. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-21 Lutz, Jack H. (1987) Resource-Bounded Category and Measure in Exponential Complexity Classes. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5243-tr-87 Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5227-tr-86 Li, Peggy Pey-yun and Martin, Alain J. (1986) The Sync Model: A Parallel Execution Method for Logic Programming. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86 Lazzaro, John Paul (1986) anaLOG: A functional Simulator for VLSI Neural Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5229-tr-86 Li, Peggy Pey-yun (1985) The Sneptree - A Versatile Interconnection Network. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5194-tr-85 Lien, Sheue-Ling-Chang (1984) Combining Computation with Geometry. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5185-tr-85 Lutz, Christopher (1984) Design of the Mosaic Processor. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5129-tr-84 Lin, Tzu-Mu (1984) A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5133-tr-84 Lutz, Chris and Rabin, Steve and Seitz, Charles L. et al. (1983) Design of the Mosaic Element. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5093-tr-83 Lam, Jimmy (1983) RTsim: A register transfer simulator. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5081-tr-83 Lin, Tzu-Mu and Mead, Carver A. (1983) Signal Delay in General RC Networks with Application to Timing Simulation of Digital Integrated Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5089-tr-83 Li, Pey-yun Peggy and Johnsson, Lennart (1983) The Tree Machine: An Evaluation of Strategies For Reducing Program Loading Time. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5084-tr-83 Lang, Charles R. (1982) Concurrent, Asynchronous Garbage Collection Among Cooperating Processors. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.4724-tr-82 Lang, Charles Richard (1982) The Extension of Object-Oriented Languages to a Homogenous, Concurrent Architecture. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5014-tr-82 Lin, Tzu-Mu (1981) From Geometry to Logic. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4298-tr-81 Li, Pey-yun (1981) The Serial Log Machine. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4517-tr-81 Lewis, R.K. (1981) Switching Dynamics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4675-tr-81 Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4653-tr-81 Li, Pey-yun Peggy (1981) The Tree Machine Operating System. Computer Science Technical Memorandum, 1981.4618. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-101642081 Locanthi, Bart N. (1980) The Homogeneous Machine. Computer Science Technical Reports, 1980.3759. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3759-tr-80 Lang, Dick (1979) LAP user's manual. Computer Science Technical Reports, 1979.3356. California Institute of Technology , Pasadena, CA. doi:10.7907/Z90P0X08. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3356-tr-79 Lang, Charles R. (1979) Automated Wiring Analysis of Integrated Circuit Geometric Data. Computer Science Technical Reports, 1979.2891. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BZ640W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.2891-tr-79 MMartin, Alain J. (2014) 25 Years Ago: The First Asynchronous Microprocessor. Computer Science Technical Reports, 2014.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QR4V3H. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844 Martin, Alain J. and Nyström, Mika and Penzes, Paul et al. (2001) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor. California Institute of Technology , Pasadena, CA. doi:10.7907/Z99S1P11. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.012 Martin, Alain J. and Nyströem, Mika and Penzes, Paul (2001) ET^2: A Metric For Time and Energy Efficiency of Computation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9K935JZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.007 Magdon-Ismail, Malik and Atiya, Amir (2000) Some Results Regarding the Estimation of Densities and Random Variate Generation Using Neural Networks. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9GB222G. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.005 Manohar, Rajit (1998) The impact of asynchrony on computer architecture. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9028PJC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-12 Massingill, Berna (1997) A Structured Approach to Parallel Programming. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94F1NR1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-98-04 Massingill, Berna L. and Chandy, K. Mani (1997) Parallel Program Archetypes. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WW7FP7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-96-28 Manohar, Rajit and Sivilotti, Paolo A. G. (1996) Composing Processes Using Modified Rely-Guarantee Specifications. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P848X3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22 Maskit, Daniel (1996) A Compiler Algorithm for Managing Asynchronous Memory Read Completion. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q81B3B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-02 Massingill, Berna L. (1996) The Mesh Archetype. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZK5DPK. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-25 Manohar, Rajit and Martin, Alain J. (1995) Quasi-Delay-Insensitive Circuits are Turing-Complete. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9H70CV1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11 Manohar, Rajit (1995) Folded FIFOs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9J67DZD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-09 Manohar, Rajit and Chandy, K. Mani (1994) Mach-Based Channel Library. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SJ1HMH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-15 Manohar, Rajit and Leino, K. Rustan M. (1994) Theory and Use of Conditional Composition. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VD6WGD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12 Maskit, Daniel (1994) A Message-Driven Programming System for Fine-Grain Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9J38QKJ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-03 Massingill, Berna (1993) Integrating Task and Data Parallelism. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PG1PS6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-01 Maskit, Daniel and Taylor, Stephen (1993) Experiences in Programming the J-Machine. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z92R3PQ7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-11 Maskit, Daniel and Zadik, Yair and Taylor, Stephen (1993) System Tools for the J-Machine. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9D798FW. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-12 Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9125QPR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26 Mahowald, Misha (1992) VLSI analogs of neuronal visual processing: a synthesis of form and function. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CZ35CD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-15 Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08 Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28 Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09 Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02 Martin, Alain J. and Hazewindus, Pieter J. (1990) Testing Delay-Insensitive Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17 Martin, Alain J. (1989) The Design of an Asynchronous Microprocessor. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02 Martin, Alain J. and Burns, Steven M. and Lee, T. K. et al. (1989) The First Aysnchronous Microprocessor: The Test Results. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06 Martin, Alain J. (1989) Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01 Martin, Alain J. (1988) A Message-Passing Model for Highly Concurrent Computation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13 Martin, Alain J. (1987) A Synthesis Method for Self-Timed VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87 Martin, Alain J. (1986) Compiling Communicating Processes into Delay-Insensitive VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86 Mosteller, R. C. (1986) Monte Carlo Methods for 2-D Compaction. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5230-tr-86 Martin, Alain J. (1986) On Seitz' Arbiter. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86 Martin, Alain J. (1986) Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86 Martin, Alain J. (1985) A Delay-insensitive Fair Arbiter. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85 Mjolsness, Eric (1985) Neural Networks, Pattern Recognition, and Fingerprint Hallucination. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5198-tr-85 Martin, Alain J. (1985) A New Generalization of Dekker's Algorithm for Mutual Exclusion. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85 Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83 Martin, Alain J. and Burch, Jerry R. (1984) Fair Mutual Exclusion with Unfair P and V Operations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84 Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84 Martin, Alain J. (1984) The Probe: An Addition to Communication Primitives. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84 Mead, Carver (1984) The Wolery. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5113-tr-84 Mead, Carver and Rem, Martin (1983) Minimum propagation delays in VLSI. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-104637505 Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83 Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83 Megdal, Barry Bruce (1983) VLSI Computational Structures Applied to Fingerprint Image Analysis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5015-tr-83 Mosteller, R. C. (1982) An Experimental Composition Tool. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-151722984 McNair, Richard and Miller, Monroe (1982) Bristle Blocks - Scrutinized and Analyzed. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5016-tr-82 Mead, Carver and Rem, Martin (1982) Minimum Propagation Delays in VLSI. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-103239364 Martin, Alain J. (1982) The torus: an exercise in constructing a processing surface. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82 Martin, Alain J. (1981) An Axiomatic Definition of Synchronization Primitives. Acta Informatica, 16 (2). pp. 219-235. ISSN 0001-5903. doi:10.1007/BF00261260. https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82 Mosteller, R. C. (1981) RLAP version 1.0 a chip assembly tool. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1981.4332-tr-81 Mosteller, R. C. (1981) REST: A Leaf Cell Design System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4317-tr-81 Milne, George J. (1980) The representation of communication and concurrency. Computer Science Technical Reports, 1980.4088. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.4088-tr-80 Martin, A. J. (1980) A Distributed Implementation Method for Parallel Programming. Computer Science Technical Memorandum, 1980.5045. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QZ27X4. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991 McGrath, Ed (1979) A Physical Design Rule Description. Computer Science Technical Reports, 1979.3236. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V122RR. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3236-tr-79 Mead, Carver A. and Rem, Martin (1978) Cost and Performance of VLSI Computing Structures. Computer Science Technical Reports, 1978.1584. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9CZ3548. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.1584-tr-78 Masumoto, Rodney Tak (1978) A 16-Bit LSI Digital Multiplier. Computer Science Technical Reports, 1978.4204. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9862DDV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1978.4204-tr-78 NNogin, Aleksey and Kopylov, Alexei and Xin, Yu et al. (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings. Computer Science Technical Reports, 2005.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9K0728J. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.003 Nayak, Ashwin and Shor, Peter (2002) On Bit-Commitment Based Quantum Coin Flipping. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BR8Q69. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.004 Nyström, Mika (2001) Asynchronous Pulse Logic. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TQ5ZJJ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.011 Nicholson, Alexander (2000) A Generalization Model and Learning in Hardware. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ST7MTG. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.007 Nyströem, Mika (1999) Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg's Examples. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9C8278M. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.010 Nyströem, Mika (1997) Pipelined Asynchronous Cache Design. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NG4NNT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.009 Nelson, Bradley D. (1996) Portable Graphical Tools for Concurrent Plasma Simulation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XK8CJ6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-24 Nystroem, Mika (1995) Et2 and Multi-Voltage Logic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NZ85PT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.008 Nielsen, Christian D. and Martin, Alain J. (1992) Delay-Insensitive Multiply-Accumulate Unit. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9MG7MPP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03 Ngai, John Y. (1989) A Framework for Adaptive Routing in Multicomputer Networks. Computer Science Technical Reports, 1989-09. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-09 Ngai, John Y. and Seitz, Charles L. (1987) A Framework for Adaptive Routing. Computer Science Technical Reports, 1987-5246. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5246-tr-87 Newton, Michael O. (1987) A High Performance Implementation of Prolog. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5234-tr-86 Newton, Michael O. (1985) A Combined Logical and Functional Programming Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5172-tr-85 Ngai, John Y. (1984) The General Interconnect Problem of Integrated Circuits. Computer Science Technical Reports, 1984.5143. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5143-tr-84 Ng, Tak-Kwong (1984) A Graph Model and the Embedding of MOS Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5104-tr-83 Ngai, John Y. (1984) SMART User's Guide. Computer Science Technical Reports, 1984.5118. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5118-tr-84 Ngai, John Y. (1984) Stochastic Estimation of Channel Routing Track Demand. Computer Science Technical Reports, 1984.5094. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5094-tr-84 Neches, Philip M. (1983) Hardware Support for Advanced Data Management Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5082-tr-83 Ng, Charles H. (1982) FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5055-tr-82 OOyang, Yen-Jen (1984) HEX: A Hierarchical Circuit Extractor. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5139-tr-84 Oestreicher, Donald (1980) PLASYS: Final Report. Computer Science Technical Reports, 1980.3655. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3655-tr-80 PPapadantonakis, Karl (2005) Design Rules for Non-Atomic Implementations of PRS. Computer Science Technical Reports, 2005.001. California Institute of Technology , Pasadena, CA. doi:10.7907/Z95T3HGN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.001 Papadantonakis, Karl (2003) An Asynchronous Register Bypass Transformation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9J38QHN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.005 Papadantonakis, Karl (2003) Stable Production Rule Sets are Deterministic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XS5SD9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.003 Penzes, Paul Ivan (2002) Energy-Delay Complexity of Asynchronous Circuits. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DV1GVX. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.010 Pénzes, Paul I. and Nyströem, Mika and Martin, Alain J. (2002) Transistor Sizing of Energy-Delay-Efficient Circuits. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZG6Q7T. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.003 Pénzes, Paul I. and Martin, Alain J. (2001) Global and local properties of asynchronous circuits optimized for energy efficiency. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9FJ2DSS. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.002 Papadantonakis, Karl (2001) A Theory of Constant Et^2 CMOS Circuits. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9610X9M. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.004 Pénzes, Paul I. (1998) The design of high performance asynchronous circuits for the Caltech MiniMIPS processor. California Institute of Technology , Pasadena, CA. doi:10.7907/Z90V89TB. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.001 Pinkstone, Donald, III (1994) A Compiler for a Subset of Modula-3. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9416V3R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-17 Palmer, Michael E. (1994) Immersing the Scientist in Data: Interactive Visualization of Unstructured Scientific Data on Concurrent Architectures. California Institute of Technology , Pasadena, CA. doi:10.7907/Z95T3HH3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-06 Pertel, Michael J. (1992) A Critique of Adaptive Routing. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9R78CCZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-06 Pertel, Michael J. (1992) Mesh Distance Formulae. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T151VH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-05 Pertel, Michael J. (1992) A Simple Simulator for Multicomputer Routing Networks. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z91J97XF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-04 Platt, John (1989) Constrained methods for Neural Networks and Computer Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-07 Platt, John C. and Barr, Alan H. (1988) Constrained Differential Optimization for Neural Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-17 Poh, Hean Lee (1986) Incorporating Time in the New World of Computing Systems. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5238-tr-87 Platt, John C. (1985) Sequential Threshold Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5197.tr-85 Papachristidis, Alexandros Christou (1983) Heterogeneous Database Access. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5136-tr-84 RRifkin, Adam (1999) Application Development using Compositional Performance Analysis. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9348HCP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-96-09 Rifkin, Adam and Massingill, Berna (1998) Performance Analysis for Mesh and Mesh-Spectral Archetype Applications. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96M34TT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-96-27 Ramamoorthi, Ravi (1998) Creating Generative Models from Range Images. Computer Science Technical Reports, 1998.05. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V9863X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-05 Ramamoorthi, Ravi and Ball, Cindy and Barr, Alan H. (1997) Dynamic Splines with Constraints for Animation. California Institute of Technology , Pasadena, CA. doi:10.7907/Z97D2S51. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-03 Ramamoorthi, Ravi and Rifkin, Adam and Dimitrov, Boris et al. (1997) A General Resource Reservation Framework for Scientific Computing. CRPC-97-7. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DZ06BJ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-19 Ramamoorthi, Ravi and Barr, Alan H. (1997) Fast Construction of Accurate Quaternion Splines. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93N21D7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-04 Rieffel, Marc A. (1995) Concurrent Simulations of Plasma Reactors for VLSI Manufacturing. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z92805N5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-12 Rifkin, Adam (1993) Teaching Archetypal Design with an Electronic Textbook. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z98G8HRM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-13 Rudin, Leonid I. and Osher, Stanley (1989) Feature-Oriented Image Enhancement with Shock Filters, 1. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-03 Roach, Kelly (1988) Pronouns. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-09 Rudin, Leonid Iakov (1987) Images, Numerical Analysis of Singularities and Shock Filters. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5250-tr-87 Rem, Martin (1987) Trace Theory and Systolic Computations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5239-tr-87 Rudin, Leonid (1981) Lambda Logic. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4521-tr-81 Rem, Martin and Mead, Carver (1981) A notation for designing restoring logic circuitry in CMOS. Computer Science Technical Reports, 1981.4600. Callifornia Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4600-tr-81 Rowson, James Allely (1980) Understanding Hierarchical Design. Computer Science Technical Reports, 1980.3710. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BP00R2. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80 Randall, David Lawrence (1970) Formal Methods in the Foundations of Science. Computer Science Technical Reports, 1970.2275. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9S46PXC. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1969.2275-tr-70 SSchkolne, Steven and Schröder, Peter (2002) Assembling and Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and a Lightsaber. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9PC30C8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.005 Schooler, Eve M. (2000) Why Multicast Protocols (Don't) Scale: An Analysis of Multipoint Algorithms for Scalable Group Communication. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96W982N. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.003 Schkolne, Steven and Schröder, Peter (1999) Surface Drawing. California Institute of Technology , Pasadena, CA. doi:10.7907/Z97H1GKB. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-03 Sivilotti, Paolo A. G. (1998) A Method for the Specification, Composition, and Testing of Distributed Object Systems. California Institute of Technology , Pasadena, CA. doi:10.7907/Z91N7Z43. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-31 Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) Reliable Synchronization Primitives for Java. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P55KHS. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11 Schooler, Eve M. (1996) A Multicast User Directory Service for Synchronous Rendezvous. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9DR2SHH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-18 Sivilotti, Paul A. G. and Carlin, Peter A. (1994) A Tutorial for CC++. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9QN64SH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02 Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NS0RX7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37 Seizovic, Jakov N. (1993) Introduction to C+- (Submicron Systems Architecture Project). Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9JS9NGN. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-32 Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SJ1HNZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10 Seizovic, Jakov N. (1993) The Architecture and Programming of a Fine-Grain Multicomputer. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G44N9B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-18 Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9W95779. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21 Steele, Craig S. (1992) Affinity: A Concurrent Programming System for Multicomputers. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9862DN0. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-08 Sanouillet, Remy D. (1992) Computer Mediated Communication. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z90P0X6Z. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-30 Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1992) Submicron Systems Architecture Project : Semiannual Technical Report. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WS8RF5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17 Schweizer, David Lawrence (1991) Combinatorial Design of Tolerant Communicaiton Structures, with Applications to Non-Blocking Switches. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-09 Seitz, Charles L. (1991) Submicron Systems Architecture Project :Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-10 Seitz, Charles L. (1991) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-03 Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-05 Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-14 Su, Wen-King (1989) Reactive-Process Programming and Distributed Discrete-Event Simulation. Computer Science Technical Reports, 1989-11. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-11 Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technial Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-12 Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-04 Seitz, Charles L. and Seizovic, Jakov and Su, Wen-King (1988) The C Programmer's Abbreviated Guide to Multicomputer Programming. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-01 Seizovic, Jakov N. (1988) The Reactive Kernel. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-10 Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-05 Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:cs-tr-88-18 Su, Wen-King and Seitz, Charles L. (1988) Variants of the Chandy-Misra-Bryant Distributed Discrete-Event Simulation Algorithm. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-22 Seitz, Charles L. (1987) The C Programmer's Abbreviated Guide to Multicomputer Programming (The Short C-Guide). California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:5252-tr-87 Seitz, Charles L. (1987) Submicron Systems Architecture Project:Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5258-tr-87 Seitz, Charles L. and Martin, Alain J. and McEliece, Robert J. et al. (1987) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87 Schweizer, David Lawrence (1986) Some Results on Kolmogorov-Chaitin Complexity. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5233-tr-86 Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86 Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1986) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86 Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85 Su, Wen-King and Faucette, Reese and Seitz, Charles L. (1985) The C Programmer's to the COSMIC CUBE. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5203-tr-85 Seitz, Charles L. and Frey, Alexander H. and Mattisson, Sven et al. (1985) Hot Clock nMOS. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5177-tr-85 Steele, Craig S. (1985) Placement of Communicating Processes on Multiprocessor Networks. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5184-tr-85 Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. et al. (1985) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85 Schweizer, David and Abu-Mostafa, Yaser (1985) Two Theorems on Time Bounded Kolmogrov-Chaitin Complexity. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5205-tr-85 Sanouillet, Remy (1984) ASK French: A French Natural Language Syntax. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5164-tr-84 Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5122-tr-84 Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5160-tr-84 Su, Wen King (1984) Supermesh. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5125-tr-84 Schuster, Michael (1984) Switch-Level Fault Simulation of MOS Digital Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5132-tr-84 Seitz, Charles L. (1983) Experiments with VLSI Ensemble Machines. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5102-tr-83 Seitz, Charles L. (1983) Submicron Systems Architecture Project: Semiannual Technial Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5103-tr-83 Seitz, Charles L. (1983) Submicron Systems Architecture:Semiannual Technical Report. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5078-tr-83 Schuster, Michael D. and Bryant, Randal E. (1983) Concurrent fault simulation of MOS digital circuits. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120420-114600956 Segal, Richard L. (1983) An integrative approach to engineering data and automatic project coordination. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120424-141649786 Segal, Richard (1981) Structure, placement and modelling. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1981.4029-tr-81 Sproull, Robert and Lyon, Richard and Trimberger, Stephen (1980) The Caltech Intermediate Form for LSI Layout Description. Computer Science Technical Reports, 1980.2686. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.2686-tr-1980 Seiler, Larry Dean (1979) A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer. Computer Science Technical Reports, 1980.2883. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9VH5KTT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.2883-tr-80 Sutherland, Ivan E. (1978) The Polygon Package. Computer Science Technical Reports, 1978.1438. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NG4NKX. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-103150565 TTang, A. Kevin and Simsek, Alp and Ozdaglar, Asuman et al. (2006) On the Stability of P-Matrices. Computer Science Technical Reports, 2006.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z96T0JNG. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2006.005 Tang, Ao and Wang, Jiantao and Low, Steven H. et al. (2005) Equilibrium of Heterogeneous Congestion Control Protocols. Computer Science Technical Reports, 2005.003. Steven Low , Pasadena, CA. doi:10.7907/Z9FB50XP. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.005 Taubin, Gabriel (2000) Is this a Quadrisected Mesh? California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P26W4X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.008 Thornley, John (1996) A Parallel Programming Model with Sequential Semantics. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KD1VXF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-12 Thornley, John (1995) Performance of a Class of Highly-Parallel Divide-and-Conquer Algorithms. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WH2N1H. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-10 Tierno, José Andrés (1995) An Energy-Complexity Model for VLSI. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SQ8XFM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-02 Tierno, Jose A. and Martin, Alain J. (1994) Low-Energy Asynchronous Memory Design. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9X9289S. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21 Thornley, John (1993) Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9T72FGG. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-40 Thornley, John (1993) A Collection of Declarative Ada Example Programs. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z99C6VF7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-05 Thornley, John (1993) Parallel Programming with Declarative Ada. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9X0652T. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-03 Thornley, John (1993) The Programming Language Declarative Ada Reference Manual. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z97942Q7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-04 Tierno, Jose A. (1993) Designing Asynchronous Circuits in Gallium Arsenide. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9G15XWM. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-92-19 Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen et al. (1993) An Asynchronous Microprocessor in Gallium Arsenide. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9BC3WJ5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38 Taylor, Stephen (1993) Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z93J3B0X. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-35 Tanner, John Edward (1986) Integrated optical motion detection. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1986.5223-tr-86 Thompson, Bozena H. and Thompson, Frederick B. (1986) ASK is Transportable in Half a Dozen Ways. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5214-tr-86 Thompson, Bozena H. and Thompson, Frederick B. (1986) How to get a Large Natural-language System into a Personal Computer. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5215-tr-86 Thompson, Bozena Henisz and Thompson, Frederick B. (1984) Customizing One's Own Interface Using English as Primary Language. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5165-tr-84 Thompson, Bozena Henisz (1984) Linguistic Analysis of Natural Language Communication with Computers. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5128-tr-84 Trimberger, Stephen (1983) Automated Performance Optimization of Custom Integrated Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5073-tr-83 Trawick, David James (1983) Robust Sentence Analysis and Habitability. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5074-tr-83 Trimberger, Stephen and Kingsley, Chris (1982) Chip assembly tools. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-105037951 Trimberger, Stephen (1982) GIGI Terminals at Caltech. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120420-153232596 Thompson, Bozena Henisz and Thompson, Frederick B. and Ho, Tai-Ping (1982) Knowledgeable Contexts for User Interaction. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5051-tr-82 Trimberger, Stephen (1982) A Comparison of MOS PLAs. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120424-143407144 Thompson, Bozena H. and Thompson, Frederick B. (1982) Introducing ASK, A Simple Knowledgeable System. California Institute of Technology , Pasadena, CA. (Submitted) https://resolver.caltech.edu/CaltechAUTHORS:20120418-112411895 Trimberger, Stephen and Rowson, Jim (1982) RIOT: a simple graphical assembly tool. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120423-110517168 Trimberger, Stephen (1981) Combining Graphics and a Layout Language in a Single Interactive System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4281-tr-81 Thompson, Bozena Henisz and Thompson, Frederick B. (1981) Shifting to a Higher Gear in a Natural Language System. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4128-tr-1981 Trimberger, Stephen and Rowson, James A. and Lang, Charles R. et al. (1981) A Structured Design Methodology & Assoicated Software Tools. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4336-tr-81 Trimberger, Stephen (1980) The Proposed Sticks Standard. Computer Science Technical Reports, 1980.3380. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3880-tr-80 Trimberger, Stephen (1980) Two Rail Restoring Logic Blocks -- An Alternative Logic Model: Silicon Structures Project Memo # 3. Computer Science Technical Memorandum, 1980.3785. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-110935084 Trimberger, Stephen (1980) Combining graphics and layout language in a single interactive system. Computer Science Technical Reports, 1980.3794. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3794-tr-80 Tarolli, Gary M. (1980) A Chip Assembler. Computer Science Technical Memorandum, 1980.3882. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9M61H7K. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120418-105425647 Trimberger, Stephen (1980) A Comprehensive CIF Test Set. Computer Science Technical Reports, 1980.3352. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1980.3352-tr-80 Tarolli, Gary and Lang, Dick (1979) CIF2OP Instruction Manual. Computer Science Technical Reports, 1979.3357. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9765C8G. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3357-tr-79 Trimberger, Stephen (1979) CIFSYM -- CIF Symbol Handler. Computer Science Technical Reports, 1979.3253. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MK6. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.3253-tr-79 Trimberger, Stephen (1979) A Wire Oriented Mask Geometry Editor. Computer Science Technical Reports, 1979.2870. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KH0K9Q. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1979.2870-tr-79 UUllner, Michael K. (1983) Parallel Machines for Computer Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1983.5112-tr-83 VVan de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NV9G8H. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01 Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z95H7D9K. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19 Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V40S70. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33 Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MSW. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04 Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07 Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06 Van de Snepscheut, Jan L. A. (1991) On the Correctness of Sliding Window Protocols. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436 Von Herzen, Brian (1988) Applications of Surface Networks to Sampling Problems in Computer Graphics. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-15 Van Horn, Kevin S. (1986) An Approach to Concurrent Semantics Using Complete Traces. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5236-tr-86 Van Horn, Kevin S. (1986) Complete and Infinite Traces: A descriptive model of computing agents. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1986.5207-tr-86 WWong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.006a Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9X9288B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.006 Wood, Zoë Justine (2000) Semi-Regular Mesh Extraction from Volumes. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9M32SSD. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2000.006 Winfree, Erik (1998) Simulations of Computing by Self-Assembly. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TB14X7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.22 Winfree, Erik (1998) Whiplash PCR for O(1) Computing. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94M92KH. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.23 Watts, Jerrell (1995) A Practical Approach to Dynamic Load Balancing. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9N014J9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-13 Wawrzynek, John (1987) VLSI Concurrent Computation for Music Synthesis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1987.5247-tr-87 Whelan, Daniel S. (1985) ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5200-tr-85 Whitney, Telle Elizabeth (1985) Hierarchical Composition of VLSI Circuits. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1985.5189-tr-85 Whiting, Douglas L. (1984) Bit-Serial Reed Solomon Decoders in VLSI. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5157-tr-84 Wawrzynek, John and Mead, Carver (1984) A VLSI Architecture for Sound Synthesis. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5158-tr-84 Wawrzynek, John (1983) Memory management in the programming language ICL. California Institute of Technology , Pasadena, CA. https://resolver.caltech.edu/CaltechCSTR:1983.5105-tr-83 Whitney, Telle and Hedges, Tom (1982) Pooh User's Manual. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5029-tr-82 Whiting, Douglas L. (1982) A Self-Timed Chip Set for Microprocessor Communication. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1982.5000-tr-82 Whalen, Daniel S (1982) A Rectangular Area Filling Display System Architecture. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120419-120345912 Whitney, Telle (1981) A Hierarchical Design Rule Checker. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4320-tr-81 Whelan, Daniel S. (1981) A Versatile Ethernet Interface. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4654-tr-81 XXu, Jiazhao Jessie (1996) On Detection and Generation of Dead-lock free Reshuffling in the VLSI Synthesis Method. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q23X89. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-10 YYu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. 2003.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94T6GB8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.004 Yu, Kwang-I (1981) Communicative Databases. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1981.4527-tr-81 ZZimmerman, Daniel M. (2001) Dynamic UNITY. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Q23X7V. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2001.006 Zimmerman, Daniel M. (1998) A Preliminary Investigation into Dynamic Distributed Workflow. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Z31WP1. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-09 Zimmerman, Daniel M. and Rothstein, Brian and Kaganovich, Yevgeniy et al. (1997) Constructing Client-Server Multi-Player Asynchronous Networked Games Using a Single-Computer Model. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9GX48K9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-16 Zorin, Denis N. (1997) Stationary Subdivision and Multiresolution Surface Representations. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9862DF9. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-32 Zadik, Yair (1996) The Message Driven File System: a Network Accessible File System for Fine-Grain Message Passing Multicomputers. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TT4NZV. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-13 Zorin, Denis (1996) Ck Continuity of Subdivision Surfaces. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9ZS2TH7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-23 Zorin, Denis and Schröder, Peter and Sweldens, Wim (1996) Interpolating Subdivision for Meshes of Arbitary Topology. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93B5X5W. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-06 Zorin, Denis N. (1995) Correction of Geometeric Perceptual Distortions in Pictures. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9XG9P6S. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-22 Zadik, Yair and Taylor, Stephen (1993) A File System for the J-Machine. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9Z03666. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-27 ÇÇataltepe, Zehra and Abu-Mostafa, Yaser S. and Magdon-Ismail, Malik (1998) No Free Lunch for Early Stopping. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9B8565P. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1998.cs-tr-98-02 Çataltepe, Zehra (1994) The Scheduling Problem in Learning From Hints. Computer Science Technical Reports, 94-09. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93T9F7B. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-09 |