Computer Science Technical Reports

(““)

combined from CaltechAUTHORS

• Keller, Sean; Bhargav, Siddharth S.; et el. (2014) Quantifying Near-Threshold CMOS Circuit Robustness; 10.7907/Z9M043CG
• Martin, Alain J. (2014) 25 Years Ago: The First Asynchronous Microprocessor; 10.7907/Z9QR4V3H
• 2012. Proceedings of the Caltech Conference on Very Large Scale Integration, held at the California Institute of Technology 22 - 24 January 1979 ; Organized by the Caltech Computer Science Department and the Caltech Industrial Associates Office; 10.7907/Z9FQ9TKF
• Johnsson, Lennart and Cohen, Danny (2012) A mathematical approach to modelling the flow of data and control in computational networks; 10.7907/ekw3n-6et55
• Mosteller, R. C. (2012) An Experimental Composition Tool; 10.7907/5914s-vgs06
• Bryant, Randal E. (2012) Switch-Level Modeling of MOS Digital Circuits; 10.7907/ep0h1-95z76
• Kajiya, James Thomas (2012) Toward a mathematical theory of perception; 10.7907/Z99Z92V3
• Trimberger, Stephen and Kingsley, Chris (2012) Chip assembly tools; 10.7907/qt7sw-emq77
• Trimberger, Stephen (2012) Two Rail Restoring Logic Blocks – An Alternative Logic Model: Silicon Structures Project Memo # 3; 10.7907/n4nqy-bzg25
• Tarolli, Gary M. (2012) A Chip Assembler; 10.7907/Z9M61H7K
• Martin, A. J. (2012) A Distributed Implementation Method for Parallel Programming; 10.7907/c1h76-gdn90
• Sutherland, Ivan E. (2012) The Polygon Package; 10.7907/5tba0-53c30
• Li, Pey-yun Peggy (2012) The Tree Machine Operating System; 10.7907/y072z-zf865
• Johnsson, Lennart (2012) VLSI Architecture and Design; 10.7907/bmm7d-81x26
• Henisz Thompson, Bozena and Thompson, Frederick B. (2012) Rapidly Extendable Natural Language; 10.7907/Z9VM4980
• Keller, Sean; Katelmany, Michael; et el. (2009) A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits; ISBN 9781424439331; 15th International Symposium on Advanced Research in Asynchronous Circuits and Systems : (ASYNC 2009) : proceedings : 17-19 May 2009 Chapel Hill, North Carolina, USA; IEEE Computer Society: Los Alamitos, CA; 65-76; 10.1109/ASYNC.2009.27
• Kajiya, J and Ullner, M (2008) Filtering high quality text for display on raster scan devices; 10.7907/b3bf6-tx272
• Johannsen, Dave (2008) Hierarchical power routing; 10.7907/15bcb-29638
• Mahowald, Misha (2008) VLSI analogs of neuronal visual processing: a synthesis of form and function; 10.7907/Z9CZ35CD
• Capponi, Agostino (2008) A convex optimization approach to jump nonlinear systems; 10.7907/jef7h-4ev55
• Trimberger, Stephen (2008) A Comprehensive CIF Test Set; 10.7907/jpggm-q7p79
• Rem, Martin and Mead, Carver (2008) A notation for designing restoring logic circuitry in CMOS
• Trimberger, Stephen (2008) Combining graphics and layout language in a single interactive system; 10.7907/e4ydb-23e50
• Lang, Dick (2008) LAP user’s manual; 10.7907/Z90P0X08
• Trimberger, Stephen (2008) The Proposed Sticks Standard; 10.7907/e9sf3-8qn24
• Manohar, Rajit (2008) The impact of asynchrony on computer architecture; 10.7907/kgstw-em803
• Milne, George J. (2008) The representation of communication and concurrency; 10.7907/1e41m-vq136
• Cui, Tao; Chen, Lijun; et el. (2007) Distributed Optimization in Wireless Networks Using Broadcast Advantage; 10.7907/Z9BK19BR
• Cui, Tao; Chen, Lijun; et el. (2007) Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks; 10.7907/Z9G73BP6
• Tang, A. Kevin; Simsek, Alp; et el. (2006) On the Stability of P-Matrices; 10.7907/Z96T0JNG
• Li, Ling and Abu-Mostafa, Yaser S. (2006) Data complexity in machine learning; 10.7907/Z9319SW2
• Capponi, Agostino; Chandy, Mani; et el. (2006) Predicate Signaling in Distributed Sensor Networks; 10.7907/Z9Z899D5
• Hickey, Jason and Nogin, Aleksey (2006) OMake: Designing a Scalable Build Process; 10.7907/Z9TH8JPF
• Li, Ling (2005) Perceptron learning with random coordinate descent; 10.7907/Z9PR7SZQ
• Nogin, Aleksey; Kopylov, Alexei; et el. (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings; 10.7907/1shys-d2n87
• Tang, Ao; Wang, Jiantao; et el. (2005) Equilibrium of Heterogeneous Congestion Control Protocols; 10.7907/Z9FB50XP
• Capponi, Agostino and Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes; 10.7907/Z99K487T
• Papadantonakis, Karl (2005) Design Rules for Non-Atomic Implementations of PRS; 10.7907/Z95T3HGN
• Abu-Mostafa, Yaser; Song, Xubo; et el. (2004) The Bin Model; 10.7907/Z9222RR7
• Ayres, Ronald (2003) A Language Processor and a Sample Language; 10.7907/1vv8n-mq049
• Randall, David Lawrence (2003) Formal Methods in the Foundations of Science; 10.7907/303jv-1h913
• Fink, Michael and Perona, Pietro (2003) The Full Images for Natural Knowledge Caltech Office DB; 10.7907/Z9125QMV
• Wong, Catherine G.; Martin, Alain J.; et el. (2003) An Architecture for Asynchronous FPGAs
• Wong, Catherine G.; Martin, Alain J.; et el. (2003) An Architecture for Asynchronous FPGAs; 10.7907/Z9X9288B
• Hickey, Jason; Nogin, Aleksey; et el. (2003) Formal Compiler Implementation in a Logical Framework; 10.7907/Z98K7720
• Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory; 10.7907/Z94T6GB8
• Papadantonakis, Karl (2003) Stable Production Rule Sets are Deterministic; 10.7907/Z9XS5SD9
• Papadantonakis, Karl (2003) An Asynchronous Register Bypass Transformation; 10.7907/Z9J38QHN
• Seitz, Charles L. (2003) The C Programmer’s Abbreviated Guide to Multicomputer Programming (The Short C-Guide); 10.7907/5zqrq-eme23
• Winfree, Erik (2003) Simulations of Computing by Self-Assembly; 10.7907/Z9TB14X7
• Winfree, Erik (2003) Whiplash PCR for O(1) Computing; 10.7907/Z94M92KH
• Kim, Ki Baek; Tang, Ao; et el. (2003) Design of AQM in Supporting TCP Based on the Well-Known AIMD Model; 10.7907/Z9DB7ZTC
• Barton, Anthony Francis (2003) A Fault Tolerant Integrated Circuit Memory; 10.7907/b241m-a6c87
• Hess, Gideon David (2003) A Software Design System; 10.7907/ppc1r-w4508
• Trimberger, Stephen (2003) A Wire Oriented Mask Geometry Editor; 10.7907/hgtcg-f8949
• Li, Ling; Abu-Mostafa, Yaser S.; et el. (2003) CGBoost: Conjugate Gradient in Function Space; 10.7907/yryfk-z8a36
• Fink, Michael (2003) The Full Images for Natural Knowledge Caltech Office DB; 10.7907/kj0dz-n7r20
• Buchanan, Irene (2002) Modeling and Verification in Structured Integrated Circuit Design; 10.7907/2rqxt-3qb58
• Seiler, Larry Dean (2002) A Pascal Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon Computer; 10.7907/0xxhr-k5a41
• Masumoto, Rodney Tak (2002) A 16-Bit LSI Digital Multiplier; 10.7907/7xkjj-rv082
• DeBenedictis, Erik P. (2002) A Preliminary Report on the Caltech ARPA Tester Project; 10.7907/Z9N014HV
• Lang, Charles R. (2002) Automated Wiring Analysis of Integrated Circuit Geometric Data; 10.7907/sn86y-q7468
• Tarolli, Gary and Lang, Dick (2002) CIF2OP Instruction Manual; 10.7907/ybaxw-efg09
• Johnsson, Lennart (2002) Computational Arrays for Band Matrix Equations; 10.7907/70tmd-29e82
• Locanthi, Bart N. (2002) The Homogeneous Machine; 10.7907/6cbb2-qgq58
• Hickey, Jason; Smith, Justin D.; et el. (2002) Process Migration and Transactions Using a Novel Intermediate Language; 10.7907/Z93776Q3
• Penzes, Paul Ivan (2002) Energy-Delay Complexity of Asynchronous Circuits; 10.7907/Z9DV1GVX
• Martin, Alain J.; Nyström, Mika; et el. (2002) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor; 10.7907/Z99S1P11
• Johnsson, Lennart (2002) Gaussian Elimination on Sparse Matricies and Concurrency; 10.7907/f5pmx-pnx37
• Gray, Moshe (2002) The Design and Implementation of a Reticle Maker for VLSI; 10.7907/aey19-53w60
• Gray, J. P. and Buchanan, I. (2002) Models for Structured IC Design; 10.7907/y4qag-gcv17
• Oestreicher, Donald (2002) PLASYS: Final Report; 10.7907/eehbb-vah10
• Efland, G. and Mosteller, R. C. (2002) Stack Data Engine; 10.7907/memwk-xjg39
• Rowson, James Allely (2002) Understanding Hierarchical Design; 10.7907/Z9BP00R2
• McGrath, Ed (2002) A Physical Design Rule Description; 10.7907/Z9V122RR
• Trimberger, Stephen (2002) CIFSYM – CIF Symbol Handler; 10.7907/2dcnz-we476
• Mead, Carver A. and Rem, Martin (2002) Cost and Performance of VLSI Computing Structures; 10.7907/fm4yx-3bq89
• Johannsen, David Lawrence (2002) Silicon Compilation; 10.7907/vvm2m-zpr34
• Thompson, Bozena Henisz; Thompson, Frederick B.; et el. (2002) Knowledgeable Contexts for User Interaction; 10.7907/jk9f9-zgq20
• Chiang, Chao-Lin and Johnsson, Lennart (2002) Residue Arithmetic and VLSI; 10.7907/77gav-sns10
• Oyang, Yen-Jen (2002) HEX: A Hierarchical Circuit Extractor; 10.7907/pybtk-7v669
• Ho, Tai-Ping (2002) The Dialogue Designing Dialogue System; 10.7907/1xmnk-39d34
• Chiang, Chao-Lin (2002) Towards Concurrent Arithmetic: Residue Arithmetic and VLSI; 10.7907/a8mqr-n5d15
• Kim, Ki Baek and Low, Steven H. (2002) Analysis and Design of AQM for stabilizing TCP; 10.7907/Z9T43R25
• Kim, Ki Baek and Low, Steven H. (2002) Cost of AQM in stabilizing TCP; 10.7907/84yds-ahh93
• Browning, Sally A. (2002) The Tree Machine: A Highly Concurrent Computing Environment; 10.7907/Z96W9816
• Granicz, Adam and Hickey, Jason (2002) Phobos: A front-end approach to extensible compilers (long version); 10.7907/Z9707ZFF
• Schkolne, Steven and Schröder, Peter (2002) Assembling and Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and a Lightsaber; 10.7907/Z9PC30C8
• Nayak, Ashwin and Shor, Peter (2002) On Bit-Commitment Based Quantum Coin Flipping; 10.7907/Z9BR8Q69
• Pénzes, Paul I. and Martin, Alain J. (2002) Global and local properties of asynchronous circuits optimized for energy efficiency; 10.7907/Z9FJ2DSS
• Pénzes, Paul I. (2002) The design of high performance asynchronous circuits for the Caltech MiniMIPS processor; 10.7907/Z90V89TB
• Pénzes, Paul I.; Nyströem, Mika; et el. (2002) Transistor Sizing of Energy-Delay-Efficient Circuits; 10.7907/Z9ZG6Q7T
• Bax, Eric (2002) Recurrence-Based Reductions for Inclusion and Exclusion Algorithms Applied to P Problems; 10.7907/Z9ST7MVX
• Nyström, Mika (2001) Asynchronous Pulse Logic; 10.7907/Z9TQ5ZJJ
• Zimmerman, Daniel M. (2001) Dynamic UNITY; 10.7907/Z9Q23X7V
• Martin, Alain J.; Nyströem, Mika; et el. (2001) ET^2: A Metric For Time and Energy Efficiency of Computation; 10.7907/Z9K935JZ
• Nystroem, Mika (2001) Et2 and Multi-Voltage Logic; 10.7907/Z9NZ85PT
• Nyströem, Mika (2001) Pipelined Asynchronous Cache Design; 10.7907/Z9NG4NNT
• Nyströem, Mika (2001) Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg’s Examples; 10.7907/Z9C8278M
• Papadantonakis, Karl (2001) A Theory of Constant Et² CMOS Circuits; 10.7907/Z9610X9M
• Schooler, Eve M. (2001) Why Multicast Protocols (Don’t) Scale: An Analysis of Multipoint Algorithms for Scalable Group Communication; 10.7907/Z96W982N
• Chandy, K. Mani and Foster, Ian (2001) A Deterministic Notation for Cooperating Processes; 10.7907/Z9B85664
• Bax, Eric (2001) Validation of Voting Committee; 10.7907/Z9W093X1
• Hofstee, H. Peter (2001) A problem in the regularity calculus; 10.7907/Z9RJ4GHK
• Boden, Nanette Jackson (2001) Runtime Systems for Fine-Grain Multicomputers; 10.7907/Z9QC01J3
• Demetrescu, Stefan Gabriel (2001) A VLSI Based Real-Time Hidden Surface Elimination Display System; 10.7907/gq2ej-hp229
• Fleischer, Kurt W. (2001) A Multiple-Mechanism Developmental Model for Defining Self-Organizing Geometric Structures; 10.7907/Z9513W74
• Thornley, John (2001) A Collection of Declarative Ada Example Programs; 10.7907/Z99C6VF7
• Maskit, Daniel (2001) A Compiler Algorithm for Managing Asynchronous Memory Read Completion; 10.7907/Z9Q81B3B
• Pinkstone, Donald, III (2001) A Compiler for a Subset of Modula-3; 10.7907/Z9416V3R
• Chow, Bryan; Fyfe, Andrew; et el. (2001) A Development Methodology for Concurrent Programs; 10.7907/S4MW2X
• Lee, Tak Kwan (2001) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits; 10.7907/Z9DF6P8J
• Watts, Jerrell (2001) A Practical Approach to Dynamic Load Balancing; 10.7907/Z9N014J9
• Sivilotti, Paul (2001) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language; 10.7907/Z9W95779
• Chandy, K. Mani; Dimitrov, Boris; et el. (2001) A World-Wide Distributed System Using Java and the Internet; 10.7907/Z98W3BBD
• Kirk, David B. (2001) Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks; 10.7907/Z9KW5D26
• Tierno, José Andrés (2001) An Energy-Complexity Model for VLSI; 10.7907/Z9SQ8XFM
• Chandy, K. Mani and Kesselman, Carl (2001) CC++: A Declarative Concurrent Object Oriented Programming Notation; 10.7907/Z96M34V8
• Rieffel, Marc A. (2001) Concurrent Simulations of Plasma Reactors for VLSI Manufacturing; 10.7907/Z92805N5
• Zorin, Denis N. (2001) Correction of Geometeric Perceptual Distortions in Pictures; 10.7907/Z9XG9P6S
• Tierno, Jose A. (2001) Designing Asynchronous Circuits in Gallium Arsenide; 10.7907/Z9G15XWM
• Binau, Ulla (2001) Distributed Diners: From UNITY Specification to CC++ Implementation; 10.7907/Z96H4FGD
• Carlin, Peter (2001) Distributed Linear Algebra on Networks of Workstations; 10.7907/Z9VH5KV8
• Maskit, Daniel and Taylor, Stephen (2001) Experiences in Programming the J-Machine; 10.7907/rqz0m-we595
• Manohar, Rajit (2001) Folded FIFOs; 10.7907/Z9J67DZD
• Laidlaw, David H. (2001) Geometric Model Extraction from Magnetic Resonance Volume Data; 10.7907/Z98S4MXP
• Massingill, Berna (2001) Integrating Task and Data Parallelism; 10.7907/Z9PG1PS6
• Zorin, Denis; Schröder, Peter; et el. (2001) Interpolating Subdivision for Meshes of Arbitary Topology; 10.7907/Z93B5X5W
• Tierno, Jose A. and Martin, Alain J. (2001) Low-Energy Asynchronous Memory Design; 10.7907/Z9X9289S
• Manohar, Rajit and Chandy, K. Mani (2001) Mach-Based Channel Library; 10.7907/Z9SJ1HMH
• Leino, K. Rustan M. (2001) Multicomputer Programming with Modula-3D; 10.7907/Z9F18WSP
• Xu, Jiazhao Jessie (2001) On Detection and Generation of Dead-lock free Reshuffling in the VLSI Synthesis Method; 10.7907/Z9Q23X89
• Van de Snepscheut, Jan L. A. (2001) On Lattice Theory and Program Semantics; 10.7907/Z95H7D9K
• Goldsmith, Jeff (2001) Optimized Computer-Generated Motions for Animation; 10.7907/Z9DB7ZVT
• Kryukova, Svetlana A. (2001) Parallel Programming Archetypes in Combinatorics and Optimization; 10.7907/Z91834J7
• Thornley, John (2001) Parallel Programming with Declarative Ada; 10.7907/Z9X0652T
• Thornley, John (2001) Performance of a Class of Highly-Parallel Divide-and-Conquer Algorithms; 10.7907/Z9WH2N1H
• Fleischer, Kurt (2001) Polygon Scan Conversion Derivations; 10.7907/Z9RR1W8B
• Manohar, Rajit and Martin, Alain J. (2001) Quasi-Delay-Insensitive Circuits are Turing-Complete; 10.7907/Z9H70CV1
• Sivilotti, Paolo A. G. and Chandy, K. Mani (2001) Reliable Synchronization Primitives for Java; 10.7907/Z9P55KHS
• Seitz, Charles L.; Martin, Alain J.; et el. (2001) Submicron Systems Architecture; 10.7907/4fh9g-yr824
• Hofstee, H. Peter (2001) Synchronizing Processes; 10.7907/Z9028PKT
• Maskit, Daniel; Zadik, Yair; et el. (2001) System Tools for the J-Machine; 10.7907/Z9D798FW
• Rifkin, Adam (2001) Teaching Archetypal Design with an Electronic Textbook; 10.7907/Z98G8HRM
• Seizovic, Jakov N. (2001) The Architecture and Programming of a Fine-Grain Multicomputer; 10.7907/Z9G44N9B
• Carlin, Peter; Chandy, K. Mani; et el. (2001) The Compositional C++ Language Definition; 10.7907/Z9QF8QWK
• Thornley, John (2001) The Programming Language Declarative Ada Reference Manual; 10.7907/Z97942Q7
• Leino, K. Rustan M. (2001) Towards Reliable Modular Programs; 10.7907/Z9CJ8BH1
• Chandy, K. Mani (2001) Using Triples to Reason About Concurrent Programs; 10.7907/Z94Q7S2R
• Azuma, Daniel; Lin, James; et el. (2001) A Framework for Migration of Networked Intercommunication Processes; 10.7907/Z9PG1PRR
• Ramamoorthi, Ravi; Rifkin, Adam; et el. (2001) A General Resource Reservation Framework for Scientific Computing; 10.7907/Z9DZ06BJ
• Sivilotti, Paolo A. G. (2001) A Method for the Specification, Composition, and Testing of Distributed Object Systems; 10.7907/Z91N7Z43
• Kiniry, Joseph R. (2001) A New Construct for Systems Modeling and Theory: The Kind; 10.7907/Z9G15XV5
• Zimmerman, Daniel M. (2001) A Preliminary Investigation into Dynamic Distributed Workflow; 10.7907/Z9Z31WP1
• Massingill, Berna (2001) A Structured Approach to Parallel Programming; 10.7907/Z94F1NR1
• Heirich, Alan (2001) Analysis of Scalable Algorithms for Dynamic Load Balancing and Mapping with Application to Photo-realistic Rendering; 10.7907/Z9W37TBC
• Rifkin, Adam (2001) Application Development using Compositional Performance Analysis; 10.7907/Z9348HCP
• Bax, Eric (2001) Combining Multilayer Networks to Combine Learning; 10.7907/Z9MK69XR
• Ramamoorthi, Ravi (2001) Creating Generative Models from Range Images; 10.7907/Z9V9863X
• Charpentier, Michel and Chandy, K. Mani (2001) Examples of Program Composition Illustrating the Use of Universal Properties; 10.7907/Z9ZC80WC
• Kiniry, Joseph R. (2001) IDebug: An Advanced Debugging Framework for Java; 10.7907/Z9QJ7FBR
• Kiniry, Joseph R. and Cheong, Elaine (2001) JPP: A Java Pre-Processor; 10.7907/Z9KS6PKK
• Kiniry, Joseph R. (2001) Leading to a Kind Description Language: Thoughts on Component Specification; 10.7907/Z9PV6HCF
• Çataltepe, Zehra; Abu-Mostafa, Yaser S.; et el. (2001) No Free Lunch for Early Stopping; 10.7907/Z9B8565P
• Ginis, Roman (2001) Optimal Distributed Resource Allocation; 10.7907/Z9MS3QRD
• Rifkin, Adam and Massingill, Berna (2001) Performance Analysis for Mesh and Mesh-Spectral Archetype Applications; 10.7907/Z96M34TT
• Lines, Andrew Matthew (2001) Pipelined Asynchronous Circuits; 10.7907/Z92V2D4Z
• Aldrich, Jonathan; Dooley, James; et el. (2001) Providing Easier Access to Remote Objects in Client-Server Systems; 10.7907/Z9HQ3WX3
• Zorin, Denis N. (2001) Stationary Subdivision and Multiresolution Surface Representations; 10.7907/Z9862DF9
• Schkolne, Steven and Schröder, Peter (2001) Surface Drawing; 10.7907/Z97H1GKB
• Kiniry, Joseph R. (2001) The Specification of Dynamic Distributed Component Systems; 10.7907/Z9PK0D5G
• Charpentier, Michel and Chandy, K. Mani (2001) Towards a Compositional Approach to the Design and Verification of Distributed Systems; 10.7907/Z93R0QW2
• Bax, Eric (2001) Validation of Average Error Rate Over Classifiers; 10.7907/Z90P0X25
• Laidlaw, David H.; Ahrens, Eric T.; et el. (2001) Visualizing Diffusion Tensor Images of the Mouse Spinal Cord; 10.7907/Z98C9T9V
• Pertel, Michael J. (2001) A Critique of Adaptive Routing; 10.7907/Z9R78CCZ
• Zadik, Yair and Taylor, Stephen (2001) A File System for the J-Machine; 10.7907/Z9Z03666
• Chandy, K. Mani; Kiniry, Joseph; et el. (2001) A Framework for Structured Distributed Object Computing; 10.7907/Z9JQ0Z2W
• Nicholson, Alexander (2001) A Generalization Model and Learning in Hardware; 10.7907/Z9ST7MTG
• Van de Snepscheut, Jan L. A. (2001) A LISP Programming Exercise; 10.7907/Z93F4MSW
• Maskit, Daniel (2001) A Message-Driven Programming System for Fine-Grain Multicomputers; 10.7907/Z9J38QKJ
• Ainsworth, Paul and Kryukova, Svetlana (2001) A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer; 10.7907/Z998852R
• Heirich, Alan and Taylor, Stephen (2001) A Parabolic Load Balancing Method; 10.7907/Z94T6GCQ
• Thornley, John (2001) A Parallel Programming Model with Sequential Semantics; 10.7907/Z9KD1VXF
• Pertel, Michael J. (2001) A Simple Simulator for Multicomputer Routing Networks; 10.7907/Z91J97XF
• Sivilotti, Paul A. G. and Carlin, Peter A. (2001) A Tutorial for CC++; 10.7907/Z9QN64SH
• Steele, Craig S. (2001) Affinity: A Concurrent Programming System for Multicomputers; 10.7907/Z9862DN0
• Kryukova, Svetlana; Massingill, Berna; et el. (2001) An Algorithm for Distributed Location Management in Networks of Mobile Computers; 10.7907/Z93F4MN3
• Tierno, Jose A.; Martin, Alain J.; et el. (2001) An Asynchronous Microprocessor in Gallium Arsenide; 10.7907/Z9BC3WJ5
• Zorin, Denis (2001) Ck Continuity of Subdivision Surfaces; 10.7907/Z9ZS2TH7
• Laidlaw, David H.; Fleischer, Kurt W.; et el. (2001) Classification of Material Mixtures in Volume Data for Visualization and Modeling; 10.7907/Z97S7KTR
• Chen, Min and Arvo, James (2001) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part I: Linearly-Varying Radiant Exitance; 10.7907/Z92805MQ
• Chen, Min and Arvo, James (2001) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part II: Polynomially-Varying Radiant Exitance; 10.7907/Z9XG9P5B
• Gimelshein, Sergey; Markelov, Gennady; et el. (2001) Collision Models in the Hawk DSMC Implementation; 10.7907/Z9V122TN
• Chow, Bryan (2001) Compiler Techniques for Loosely-Coupled Multi-Cluster Architectures; 10.7907/Z9T151P8
• Manohar, Rajit and Sivilotti, Paolo A. G. (2001) Composing Processes Using Modified Rely-Guarantee Specifications; 10.7907/Z9P848X3
• Chandy, K. Mani and Kesselman, Carl (2001) Compositional C++: Compositional Parallel Programming; 10.7907/Z94F1NX8
• Sanouillet, Remy D. (2001) Computer Mediated Communication; 10.7907/Z90P0X6Z
• Leino, K. Rustan M. (2001) Computing Permutation Encodings; 10.7907/Z90863BZ
• Chandy, K. Mani (2001) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation; 10.7907/0ztwa-hva90
• Zimmerman, Daniel M.; Rothstein, Brian; et el. (2001) Constructing Client-Server Multi-Player Asynchronous Networked Games Using a Single-Computer Model; 10.7907/Z9GX48K9
• Hofstee, H. Peter (2001) Constructing some Distributed Programs; 10.7907/Z9VX0DQN
• Gornowicz, Galen G.; Laidlaw, David H.; et el. (2001) De-aliasing Undersampled Volume Images for Visualization; 10.7907/Z9C53HWB
• Nielsen, Christian D. and Martin, Alain J. (2001) Delay-Insensitive Multiply-Accumulate Unit; 10.7907/Z9MG7MPP
• Chandy, K. Mani and Schooler, Eve M. (2001) Designing Directories in Distributed Systems: A Systematic Framework; 10.7907/Z9736NXN
• Ramamoorthi, Ravi; Ball, Cindy; et el. (2001) Dynamic Splines with Constraints for Animation; 10.7907/Z97D2S51
• Leino, K. Rustan M. (2001) Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers; 10.7907/Z9BZ6471
• Ramamoorthi, Ravi and Barr, Alan H. (2001) Fast Construction of Accurate Quaternion Splines; 10.7907/Z93N21D7
• Bax, Eric (2001) Improved Uniform Test Error Bounds; 10.7907/Z9959FK4
• Thornley, John (2001) Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems; 10.7907/Z9T72FGG
• Chandy, K. Mani; Manohar, Rajit; et el. (2001) Integrating Task and Data Parallelism with the Collective Communication Archetype; 10.7907/Z9222RSP
• Seizovic, Jakov N. (2001) Introduction to C+-: Submicron Systems Architecture Project; 10.7907/1vv7r-ygr82
• Fyfe, William John Andrew (2001) Invariance Hints and the VC Dimension; 10.7907/Z9765CHM
• Taubin, Gabriel (2001) Is this a Quadrisected Mesh?; 10.7907/Z9P26W4X
• Laidlaw, David H. (2001) Material Classification of Magnetic Resonance Volume Data; 10.7907/Z9ZP4490
• Van de Snepscheut, Jan L. A. (2001) Mechanized Support for Stepwise Refinement; 10.7907/Z9NV9G8H
• Pertel, Michael J. (2001) Mesh Distance Formulae; 10.7907/Z9T151VH
• Binau, Ulla (2001) Mutual Exclusion in a Token Ring in CC++; 10.7907/Z9JH3JC1
• Laidlaw, David H.; Fleischer, Kurt W.; et el. (2001) Partial-Volume Bayesian Classification of Material Mixtures in MR Volume Data using Voxel Histograms; 10.7907/Z9S75DB3
• Back, R. J. R. (2001) Predicate Transformers and Higher Order Logic; 10.7907/Z9DR2SN9
• Cook, James N. (2001) Production Rule Verification for Quasi-Delay-Insensitive Circuits; 10.7907/Z9C24TG1
• Taylor, Stephen (2001) Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project; 10.7907/Z93J3B0X
• Chandy, K. Mani (2001) Properties of Concurrent Programs; 10.7907/Z9ZS2TJP
• Van de Snepscheut, Jan L. A. (2001) Proxac: An Editor for Program Transformation; 10.7907/Z9V40S70
• Bax, Eric (2001) Recurrence-based Heuristics for the Hamiltonian Path Inclusion and Exclusion and Exclusion Algorithm; 10.7907/Z9CC0XQ0
• Back, R. J. R. (2001) Refinement Calculus, Lattices and Higher Order Logic; 10.7907/Z99021X8
• Back, R. J. R. (2001) Refinement of Parallel and Reactive Programs; 10.7907/Z957196Z
• Heirich, Alan (2001) Scalable Load Balancing by Diffusion; 10.7907/Z97M05Z6
• Leino, K. Rustan M. and Van de Snepscheut, Jan L.

1. 2001. Semantics of Exceptions; 10.7907/Z9KK98TT

• Wood, Zoë Justine (2001) Semi-Regular Mesh Extraction from Volumes; 10.7907/Z9M32SSD
• Bax, Eric (2001) Similar Classifiers and VC Error Bounds; 10.7907/Z9CZ355Q
• Magdon-Ismail, Malik and Atiya, Amir (2001) Some Results Regarding the Estimation of Densities and Random Variate Generation Using Neural Networks; 10.7907/Z9GB222G
• Seitz, Charles L.; Martin, Alain J.; et el. (2001) Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992; 10.7907/Z9WS8RF5
• Seitz, Charles L.; Martin, Alain J.; et el. (2001) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/Z9NS0RX7
• Chandy, K. Mani and Rifkin, Adam (2001) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions; 10.7907/Z9JD4TTH
• Bax, Eric (2001) Tailoring the Permanent Formula to Problem Instances; 10.7907/Z9DN433K
• Hazewindus, Pieter Johannes (2001) Testing Delay-Insensitive Circuits; 10.7907/Z9S180PP
• Bax, Eric; Çataltepe, Zehra; et el. (2001) The Central Classifier Bound - A New Error Bound for the Classifier Chosen by Early Stopping; 10.7907/Z9RB72M1
• Chandy, K. Mani and Kesselman, Carl (2001) The Derivation of Compositional Programs; 10.7907/Z9GQ6VZZ
• Massingill, Berna L. (2001) The Mesh Archetype; 10.7907/Z9ZK5DPK
• Zadik, Yair (2001) The Message Driven File System: a Network Accessible File System for Fine-Grain Message Passing Multicomputers; 10.7907/Z9TT4NZV
• Charpentier, Michel and Chandy, K. Mani (2001) Theorems about Composition; 10.7907/Z9BK19C6
• Manohar, Rajit and Leino, K. Rustan M. (2001) Theory and Use of Conditional Composition; 10.7907/Z9VD6WGD
• Martin, Alain J. (2001) Tomorrow’s Digital Hardware will be Asynchronous and Verified; 10.7907/Z9125QPR
• Chandy, K. Mani; Rifkin, Adam; et el. (2001) Webs of Archived Distributed Computations for Asynchronous Collaboration; 10.7907/Z9R78C75
• Seitz, Charles L.; Kajiya, James T.; et el. (2001) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/7fbb9-smt37
• Chen, Min (1999) Perturbation Methods for Image Synthesis; 10.7907/Z9H1300B
• Massingill, Berna L. and Chandy, K. Mani (1997) Parallel Program Archetypes; 10.7907/Z9WW7FP7
• Schooler, Eve M. (1996) A Multicast User Directory Service for Synchronous Rendezvous; 10.7907/Z9DR2SHH
• Nelson, Bradley D. (1996) Portable Graphical Tools for Concurrent Plasma Simulation; 10.7907/Z9XK8CJ6
• Davis, Gregg and Massingill, Berna L. (1996) The Mesh Archetype; 10.7907/8gkfk-x1e50
• Çataltepe, Zehra (1994) The Scheduling Problem in Learning From Hints; 10.7907/Z93T9F7B
• Palmer, Michael E. (1994) Immersing the Scientist in Data: Interactive Visualization of Unstructured Scientific Data on Concurrent Architectures; 10.7907/Z95T3HH3
• Heirich, Alan and Taylor, Stephen (1993) A Parabolic Theory of Load Balance; 10.7907/Z91R6NJD
• Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A Tutorial Introduction to Mosaic Pascal; 10.7907/7xby0-epj19
• Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular Dynamics on the Mosaic; 10.7907/Z9P8493R
• Foster, Ian and Taylor, Stephen (1992) A compiler approach to scalable concurrent program design; 10.7907/zexrd-y1267
• Seitz, Charles L. (1991) Submicron Systems Architecture Project: Semiannual Technical Report, 1 November 1991; 10.7907/ag87-bd13
• Hofstee, Peter H.; Lukkien, Johan J.; et el. (1991) A Distributed Implementation of a Task Pool; 10.7907/kfk06-0gs07
• Dyer, Lounette M. (1991) An Object-Oriented Real-Time Simulation of Music Performance Using Interactive Control; 10.7907/zw74c-qhv27
• DeWeerth, Stephen P. (1991) Analog VLSI Circuits for Sensorimotor Feedback; 10.7907/vh1z2-d4058
• Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder; 10.7907/j14fv-twh92
• Schweizer, David Lawrence (1991) Combinatorial Design of Tolerant Communicaiton Structures, with Applications to Non-Blocking Switches; 10.7907/1m6re-hga11
• Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal; 10.7907/5k9bn-2re97
• Burns, Steven M. (1991) Performance Analysis and Optimization of Asynchronous Circuits; 10.7907/6j214-6wx21
• Seitz, Charles L. (1991) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/zj9e8-agb70
• Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits; 10.7907/b9wzv-xrc02
• Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited; 10.7907/20k97-3bf71
• Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress; 10.7907/dnyzm-jnn72
• Van de Snepscheut, Jan L. A. (1991) On the Correctness of Sliding Window Protocols; 10.7907/y9k9s-g7951
• Chandy, K. Mani and Taylor, Stephen (1990) A Primer for Program Composition Notation; 10.7907/0779e-dms14
• Kalra, Devendra (1990) A Unified Framework for Constraint-Based Modeling; 10.7907/hnbeh-6xc79
• Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion; 10.7907/47710-bts58
• Judd, Stephen (1990) Characterizing NP and Measuring Instance Complexity; 10.7907/x20zh-gfr23
• Gupta, Rajiv and Kajiya, James (1990) Compiler Optimization of Array Data Storage; 10.7907/gn70b-he323
• Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits; 10.7907/gwkvs-p4122
• Lukkien, Johan J. (1990) Parallel Program Design and Generalized Weakest Preconditions; 10.7907/m8nt2-qfg47
• Burns, Steven M. and Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits; 10.7907/b11q2-j0d17
• Burns, Steven M. (1990) Performance Analysis and Optimization of Asynchronous Circuits Produced by Martin Synthesis; 10.7907/af61e-xcb42
• Lazzaro, John (1990) Silicon Models of Early Audition; 10.7907/pbj4m-7rv48
• Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/jt116-5ta41
• Seitz, Charles L. (1990) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/v28e5-nme52
• Martin, Alain J. and Hazewindus, Pieter J. (1990) Testing Delay-Insensitive Circuits; 10.7907/8274b-29b89
• Chandy, K. Mani; Taylor, Stephen; et el. (1990) The Program Composition Project; 10.7907/wemek-2ns55
• Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technical Report, 31 October 1989; 10.7907/8mrt-8661
• Seitz, Charles L. (1989) Submicron Systems Architecture Project: Semiannual Technical Report, 31 March 1989; 10.7907/9g5z-qp16
• Ngai, John Y. (1989) A Framework for Adaptive Routing in Multicomputer Networks; 10.7907/e7chj-bqp41
• Platt, John (1989) Constrained methods for Neural Networks and Computer Graphics; 10.7907/mg2s5-09955
• Rudin, Leonid I. and Osher, Stanley (1989) Feature-Oriented Image Enhancement with Shock Filters, 1; 10.7907/xmhr8-svc65
• Martin, Alain J. (1989) Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits; 10.7907/zmy86-a1w29
• Fyfe, Andrew (1989) Properties of the V-C Dimension; 10.7907/qcrp0-nbq31
• Su, Wen-King (1989) Reactive-Process Programming and Distributed Discrete-Event Simulation; 10.7907/f5pk2-1fg92
• Martin, Alain J. (1989) The Design of an Asynchronous Microprocessor; 10.7907/avec3-s7f02
• Chandy, K. Mani (1989) The Essence of Distributed Snapshots; 10.7907/jhr7a-4h585
• Martin, Alain J.; Burns, Steven M.; et el. (1989) The First Aysnchronous Microprocessor: The Test Results; 10.7907/bsky8-c6128
• Hofstee, H. Peter; Martin, Alain J.; et el. (1989) Distributed Sorting; 10.7907/zaevr-tmm71
• Boden, Nanette J. (1988) A Study of Fine-Grain Programming Using Cantor; 10.7907/j6wvk-v3p55
• Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report, 9 November 1988; 10.7907/taqe-sv59
• Seitz, Charles L. (1988) Submicron Systems Architecture Project: Semiannual Technical Report, 7 April 1988; 10.7907/h58r-df17
• Burch, Jerry R. (1988) A Comparison of Strict and Non-Strict Semantics for Lists; 10.7907/arh4z-xpv43
• Martin, Alain J. (1988) A Message-Passing Model for Highly Concurrent Computation; 10.7907/3sb8a-cvh96
• Von Herzen, Brian (1988) Applications of Surface Networks to Sampling Problems in Computer Graphics; 10.7907/s2n6p-9mp39
• Burns, Steven M. (1988) Automated Compilation of Concurrent Programs into Self-Timed Circuits; 10.7907/jfj0a-d9765
• Lyon, Richard F. and Mead, Carver A. (1988) Cochlear Hydrodynamics Demystified; 10.7907/qysdt-52n82
• Lee, Tak K. (1988) Communication Behavior of Linear Arrays of Processes; 10.7907/wza6s-ffe96
• Platt, John C. and Barr, Alan H. (1988) Constrained Differential Optimization for Neural Networks; 10.7907/jr15a-wm464
• Barzel, Ronen (1988) Controlling Rigid Bodies with Dynamic Constraints; 10.7907/74710-08838
• Dally, William J. and Seitz, Charles L. (1988) Deadlock-Free Message Routing in Multiprocessor Interconnection Networks; 10.7907/fd0yr-br438
• Judd, Stephen J. (1988) Neural Network Design and the Complexity of Learning; 10.7907/pwg41-3fs09
• Chandy, K. Mani (1988) Programming Parallel Computers; 10.7907/hm444-6zc04
• Roach, Kelly (1988) Pronouns; 10.7907/mf427-dra49
• Burns, Steven M. and Martin, Alain J. (1988) Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits; 10.7907/585wz-fra78
• Seitz, Charles L.; Seizovic, Jakov; et el. (1988) The C Programmer’s Abbreviated Guide to Multicomputer Programming; 10.7907/rfgsz-c3821
• Feinstein, David I. (1988) The Hexagonal Resistive Network and the Circular Approximation; 10.7907/grnpq-hwe43
• Seizovic, Jakov N. (1988) The Reactive Kernel; 10.7907/tk0kg-v1t93
• Chandy, K. Mani (1988) Theorems on Computations of Distributed Systems; 10.7907/k0wav-gz192
• Su, Wen-King and Seitz, Charles L. (1988) Variants of the Chandy-Misra-Bryant Distributed Discrete-Event Simulation Algorithm; 10.7907/adkn2-a6a57
• Lazzaro, J.; Ryckebusch, S.; et el. (1988) Winner-Take-All Networks of O(N) Complexity; 10.7907/32s8b-x9954
• Seitz, Charles L. (1987) Submicron Systems Architecture Project:Semiannual Technical Report, 11 November 1987; 10.7907/g11c0-z9h06
• Ngai, John Y. and Seitz, Charles L. (1987) A Framework for Adaptive Routing; 10.7907/zz7pw-v1v91
• Newton, Michael O. (1987) A High Performance Implementation of Prolog; 10.7907/gb5nw-n9z28
• Martin, Alain J. (1987) A Synthesis Method for Self-Timed VLSI Circuits; 10.7907/649ae-we761
• Athas, William C. and Seitz, Charles L. (1987) Cantor User Report: Version 2.0; 10.7907/qj2md-49633
• Chandy, K. Mani and Misra, Jay (1987) Conditional Knowledge as a Basis for Distributed Simulation; 10.7907/de5ac-j4z29
• Athas, William C. (1987) Fine Grain Concurrent Computations; 10.7907/jg9qa-dw702
• Rudin, Leonid Iakov (1987) Images, Numerical Analysis of Singularities and Shock Filters; 10.7907/4hjqw-cbd12
• Choo, Young-il (1987) Logic from Programming Language Semantics; 10.7907/hqjnh-q4z65
• Athas, William C. and Seitz, Charles

12. 1987. Multicomputers; 10.7907/4ezgd-qqg58

• Gupta, Rajiv (1987) PS: Polygon Streams: A Distributed Architecture for Incremental Computation Applied to Graphics; 10.7907/9xxrb-27j11
• Lutz, Jack H. (1987) Resource-Bounded Category and Measure in Exponential Complexity Classes; 10.7907/qny92-v6h14
• Seitz, Charles L.; Martin, Alain J.; et el. (1987) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/7cknj-w1w80
• Burns, Steven M. and Martin, Alain J. (1987) Synthesis of Self-Timed Circuits by Program Transformation; 10.7907/cgpwa-2j421
• Rem, Martin (1987) Trace Theory and Systolic Computations; 10.7907/hh9qd-3ks37
• Wawrzynek, John (1987) VLSI Concurrent Computation for Music Synthesis; 10.7907/gtdrj-zyc44
• Flaig, Charles M. (1987) VLSI Mesh Routing Systems; 10.7907/m606n-n9c89
• Tanner, John Edward (1986) Integrated optical motion detection; 10.7907/wjesy-e7m16
• Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming; 10.7907/ekp3r-95f10
• Dally, William J. (1986) A VLSI Architecture for Concurrent Data Structures; 10.7907/knehx-bb256
• Thompson, Bozena H. and Thompson, Frederick B. (1986) ASK is Transportable in Half a Dozen Ways; 10.7907/a2fhd-1w679
• Van Horn, Kevin S. (1986) An Approach to Concurrent Semantics Using Complete Traces; 10.7907/exek9-qb507
• Martin, Alain J. (1986) Compiling Communicating Processes into Delay-Insensitive VLSI Circuits; 10.7907/pnf93-qxd46
• Van Horn, Kevin S. (1986) Complete and Infinite Traces: A descriptive model of computing agents; 10.7907/4n0q1-ker87
• Dally, William J. and Seitz, Charles L. (1986) Deadlock Free Message Routing in Multiprocessor Interconnection Networks; 10.7907/vqrey-g1h07
• Thompson, Bozena H. and Thompson, Frederick B. (1986) How to get a Large Natural-language System into a Personal Computer; 10.7907/y1rmc-15488
• Poh, Hean Lee (1986) Incorporating Time in the New World of Computing Systems; 10.7907/5eqna-njg13
• Mosteller, R. C. (1986) Monte Carlo Methods for 2-D Compaction; 10.7907/dvgy9-n6514
• Martin, Alain J. (1986) On Seitz’ Arbiter; 10.7907/2gjaq-xex23
• Dally, William J. (1986) On the Performance of k-ary n-cube Interconnection Networks; 10.7907/yy2r5-k9v56
• Martin, Alain J. (1986) Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits; 10.7907/jssn5-rbp39
• Schweizer, David Lawrence (1986) Some Results on Kolmogorov-Chaitin Complexity; 10.7907/ebxvb-kn479
• Seitz, Charles L.; Kajiya, James T.; et el. (1986) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/my65t-e9565
• Seitz, Charles L.; Kajiya, James T.; et el. (1986) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/rzewj-csb10
• Li, Peggy Pey-yun and Martin, Alain J. (1986) The Sync Model: A Parallel Execution Method for Logic Programming; 10.7907/brq3w-kj598
• Dally, William J. and Seitz, Charles L. (1986) The Torus Routing Chip; 10.7907/99gpd-5kg37
• Lazzaro, John Paul (1986) anaLOG: A functional Simulator for VLSI Neural Systems; 10.7907/fjkjr-q8n93
• Newton, Michael O. (1985) A Combined Logical and Functional Programming Language; 10.7907/fyjhz-7pn58
• Martin, Alain J. (1985) A Delay-insensitive Fair Arbiter; 10.7907/cchf5-w1g63
• Martin, Alain J. (1985) A New Generalization of Dekker’s Algorithm for Mutual Exclusion; 10.7907/0qedb-76g96
• Whelan, Daniel S. (1985) ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation; 10.7907/j5rzn-fnr85
• Choo, Young-il (1985) An Inverse Limit Construction of a Domain of Infinite Lists; 10.7907/6sdg6-61m08
• Choo, Young-il (1985) Concurrency Algebra and Petri Nets; 10.7907/h2n3z-n1843
• Dally, William J. (1985) Concurrent Algorithms for the Max-Flow Problem; 10.7907/0mahg-71x38
• Whitney, Telle Elizabeth (1985) Hierarchical Composition of VLSI Circuits; 10.7907/n3r00-9p948
• Seitz, Charles L.; Frey, Alexander H.; et el. (1985) Hot Clock nMOS; 10.7907/v5fp2-q1a33
• Mjolsness, Eric (1985) Neural Networks, Pattern Recognition, and Fingerprint Hallucination; 10.7907/xktbj-10524
• Steele, Craig S. (1985) Placement of Communicating Processes on Multiprocessor Networks; 10.7907/jbjjk-eke62
• Herzen, Brain P. Von (1985) Sampling Deformed, Intersecting Surfaces with Quadtrees; 10.7907/rz0fa-mq403
• Platt, John C. (1985) Sequential Threshold Circuits; 10.7907/8fq6m-60664
• Seitz, Charles L.; Kajiya, James T.; et el. (1985) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/mrh1j-cjp65
• Dally, William J. and Seitz, Charles L. (1985) The Balanced Cube: A Concurrent Data Structure; 10.7907/2ekks-07004
• Su, Wen-King; Faucette, Reese; et el. (1985) The C Programmer’s to the COSMIC CUBE; 10.7907/0y5fm-p4m71
• Li, Peggy Pey-yun (1985) The Sneptree - A Versatile Interconnection Network; 10.7907/dmqh4-h1q41
• Schweizer, David and Abu-Mostafa, Yaser (1985) Two Theorems on Time Bounded Kolmogrov-Chaitin Complexity; 10.7907/130cy-kxs54
• Athas, W.C. (1985) XCPL: An experimental Concurrent Programming Language; 10.7907/bzp67-j7026
• Mead, Carver and Mahowald, Michelle (1984) An electronic model of the y-system of mammalian retina
• Clow, Gary W. (1984) A Global Routing Algorithm for General Cells; 10.7907/htmyg-dfv43
• Ng, Tak-Kwong (1984) A Graph Model and the Embedding of MOS Circuits; 10.7907/627fa-4gp03
• Lin, Tzu-Mu (1984) A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems; 10.7907/bvsva-f7031
• Wawrzynek, John and Mead, Carver (1984) A VLSI Architecture for Sound Synthesis; 10.7907/3d575-yvm11
• Sanouillet, Remy (1984) ASK French: A French Natural Language Syntax; 10.7907/z06ya-cw890
• Dally, William J. and Kajiya, James T. (1984) An Object Oriented Architecture; 10.7907/69pav-tep43
• Whiting, Douglas L. (1984) Bit-Serial Reed Solomon Decoders in VLSI; 10.7907/dm5cd-27p38
• Lien, Sheue-Ling-Chang (1984) Combining Computation with Geometry; 10.7907/pbcnt-e7f79
• Thompson, Bozena Henisz and Thompson, Frederick

2. 1984. Customizing One’s Own Interface Using English as Primary Language; 10.7907/t7c3k-wz682

• Lutz, Christopher (1984) Design of the Mosaic Processor; 10.7907/66k93-2rx11
• Martin, Alain J. (1984) Distributed Mutual Exclusion on a Ring of Processes; 10.7907/t0t4e-aq296
• Martin, Alain J. and Burch, Jerry R. (1984) Fair Mutual Exclusion with Unfair P and V Operations; 10.7907/8nwds-15p23
• Chen, Wen-Chi (1984) Hierarchy of Graph Isomorphism Testing; 10.7907/1hkhk-c5a29
• Gillepsie, David (1984) LOG: The Chipmunk Logic Simulator (User’s Guide); 10.7907/7y5a3-15z31
• Thompson, Bozena Henisz (1984) Linguistic Analysis of Natural Language Communication with Computers; 10.7907/bttmy-dpk72
• Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations; 10.7907/abxcf-t3r94
• Ngai, John Y. (1984) SMART User’s Guide; 10.7907/kcee5-5c393
• Ngai, John Y. (1984) Stochastic Estimation of Channel Routing Track Demand; 10.7907/vrhcf-4gn69
• Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/1t9kp-syw76
• Seitz, Charles L. (1984) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/a9jxt-8sj75
• Su, Wen King (1984) Supermesh; 10.7907/cvx89-13h67
• Schuster, Michael (1984) Switch-Level Fault Simulation of MOS Digital Circuits; 10.7907/2v8qn-vnj60
• Ngai, John Y. (1984) The General Interconnect Problem of Integrated Circuits; 10.7907/r9m1r-90t55
• Dally, William J. (1984) The MOSSIM Simulation Engine Architecture and Design; 10.7907/q3j50-era50
• Martin, Alain J. (1984) The Probe: An Addition to Communication Primitives; 10.7907/w8azk-3fk36
• Mead, Carver (1984) The Wolery; 10.7907/43z52-rx643
• Derby, Howard (1984) Using Logic Programming for Compiling APL; 10.7907/ykhp6-cps53
• Wawrzynek, John (1983) Memory management in the programming language ICL; 10.7907/2a6sq-v7d58
• Seitz, Charles L. (1983) Submicron Systems Architecture Project: Semiannual Technical Report, November 1983; 10.7907/1m0a7-t2v72
• Mead, Carver and Rem, Martin (1983) Minimum propagation delays in VLSI; 10.7907/xzm6p-fzr13
• Martin, Alain J (1983) A General Proof Rule for Procedures in Predicate Transformer Semantics; 10.7907/desx8-jhv04
• Athas, William C. (1983) A VLSI Combinator Reduction Engine; 10.7907/aw37b-hpf21
• Trimberger, Stephen (1983) Automated Performance Optimization of Custom Integrated Circuits; 10.7907/59mzv-zme04
• Lutz, Chris; Rabin, Steve; et el. (1983) Design of the Mosaic Element; 10.7907/d330h-rd686
• Seitz, Charles L. (1983) Experiments with VLSI Ensemble Machines; 10.7907/jr3ht-fgk65
• Neches, Philip M. (1983) Hardware Support for Advanced Data Management Systems; 10.7907/kzemc-wh784
• Papachristidis, Alexandros Christou (1983) Heterogeneous Database Access; 10.7907/bz4q6-yws82
• Johnsson, Lennart (1983) Highly Concurrent Algorithms for Solving Linear Systems of Equations; 10.7907/64hjx-fv005
• Bryant, Randall; Schuster, Mike; et el. (1983) MOSSIM II: A Switch-Level Simulator for MOS LSI User’s Manual; 10.7907/f0z20-29b07
• Ullner, Michael K. (1983) Parallel Machines for Computer Graphics; 10.7907/yz165-2r894
• Lam, Jimmy (1983) RTsim: A register transfer simulator; 10.7907/md9am-yev57
• Bryant, Randall E. (1983) Race Detection in MOS Circuits By Ternary Simulation; 10.7907/xabb0-k0j02
• Trawick, David James (1983) Robust Sentence Analysis and Habitability; 10.7907/rhq8x-rbx04
• Lin, Tzu-Mu and Mead, Carver A. (1983) Signal Delay in General RC Networks with Application to Timing Simulation of Digital Integrated Circuits; 10.7907/h46fc-bcr96
• Chen, Marina Chien-mei (1983) Space-Time Algorithms: Semantics and Methodology; 10.7907/96kfn-x5548
• Seitz, Charles L. (1983) Submicron Systems Architecture:Semiannual Technical Report; 10.7907/fkdg6-95f44
• Bryant, Randal E. (1983) Switch-Level Model and Simulator for MOS Digital Systems; 10.7907/bc770-dqe71
• DeBenedictis, Erik P. (1983) Techniques for Testing Integrated Circuits; 10.7907/z7svn-fvj30
• Martin, Alain J. (1983) The Design of a Self-timed Circuit for Distributed Mutual Exclusion; 10.7907/b2dbm-s0762
• Li, Pey-yun Peggy and Johnsson, Lennart (1983) The Tree Machine: An Evaluation of Strategies For Reducing Program Loading Time; 10.7907/gz4dm-3tg53
• Megdal, Barry Bruce (1983) VLSI Computational Structures Applied to Fingerprint Image Analysis; 10.7907/zjrev-96110
• Chen, Marina and Mead, Carver (1983) A Hierarchical Simulator Based on Formal Semantics; 10.7907/jz6sz-1pt23
• Segal, Richard L. (1983) An integrative approach to engineering data and automatic project coordination; 10.7907/na044-5ap49
• Schuster, Michael D. and Bryant, Randal E. (1983) Concurrent fault simulation of MOS digital circuits; 10.7907/atk7s-t0c85
• Kajiya, James T. (1983) New techniques for ray tracing procedurally defined objects; 10.1145/800059.801137
• Johnsson, Lennart and Cohen, Danny (1982) A Formal Derivation of Array Implementations of FFT Algorithms; 10.7907/4e69j-smn59
• Chan, Wan S. (1982) A new channel routing algorithm; 10.7907/xh3qe-vxx53
• DeBenedictis, Erik P. and Seitz, Charles L. (1982) Testing and Structured Design; 10.7907/mevh4-kx760
• Trimberger, Stephen (1982) GIGI Terminals at Caltech; 10.7907/3v2px-j7356
• Chen, Marina; Graham, Ronald L.; et el. (1982) A Characterization of Deadlock Free Resource Contentions; 10.7907/qjr1p-89z76
• Whiting, Douglas L. (1982) A Self-Timed Chip Set for Microprocessor Communication; 10.7907/58sa4-y8916
• McNair, Richard and Miller, Monroe (1982) Bristle Blocks - Scrutinized and Analyzed; 10.7907/n30tx-q5w18
• Johnsson, Lennart (1982) Concurrent Algorithms for the Conjugate Gradient Method; 10.7907/6a5xt-r6216
• Lang, Charles R. (1982) Concurrent, Asynchronous Garbage Collection Among Cooperating Processors; 10.7907/5kyg6-q3m53
• Kingsley, Chris (1982) EARL: An Integrated Circuit Design Language; 10.7907/h175h-mx256
• Ng, Charles H. (1982) FIFO Buffering Transceiver: A Communication Chip Set for Multiprocessor Systems; 10.7907/fsx9f-w7p68
• Chen, Marina C. and Mead, Carver A. (1982) Formal Specification of Concurrent Systems; 10.7907/kmq8e-ezn08
• Choo, Young-il (1982) Hierarchical Nets: A Structured Petri Net Approach to Concurrency; 10.7907/9z6j1-f5y09
• Carroll, Christopher R. (1982) Hybrid Processing; 10.7907/9y8yf-d2004
• Whitney, Telle and Hedges, Tom (1982) Pooh User’s Manual; 10.7907/hd624-pmr46
• Kajiya, James T. (1982) Ray Tracing Parametric Patches; 10.7907/n7akq-eye39
• Johnsson, Lennart and Seitz, Charles L. (1982) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/vwwfw-anp96
• Lang, Charles Richard (1982) The Extension of Object-Oriented Languages to a Homogenous, Concurrent Architecture; 10.7907/e6pe5-r8y26
• Holstege, Eric J. (1982) Type Inference in a Declarationless, Object-Oriented Language; 10.7907/fx4rx-1jq25
• Trimberger, Stephen (1982) A Comparison of MOS PLAs; 10.7907/xq14s-s1q18
• Johnsson, Lennart (1982) A Computational Array for the QR-Method; 10.7907/madaw-z5041
• Whalen, Daniel S (1982) A Rectangular Area Filling Display System Architecture; 10.7907/cxyxg-6ns29
• Bryant, Randal E. and Dennis, Jack B. (1982) Concurrent Programming; 10.7907/4sght-rpn64
• Thompson, Bozena H. and Thompson, Frederick B. (1982) Introducing ASK, A Simple Knowledgeable System; 10.7907/mqbwy-c8n89
• Mead, Carver and Rem, Martin (1982) Minimum Propagation Delays in VLSI; 10.7907/7w91m-s9v80
• Johnsson, Lennart (1982) Pipelined linear equation solvers and VLSI; 10.7907/en871-srv73
• Trimberger, Stephen and Rowson, Jim (1982) RIOT: a simple graphical assembly tool; 10.7907/5xs37-cnf69
• Kajiya, James T. (1982) Ray tracing parametric patches; 10.7907/gsy5a-w9850
• Martin, Alain J. (1982) The torus: an exercise in constructing a processing surface; 10.7907/cazcq-6fz54
• Johnsson, Lennart (1982) VLSI algorithms for Doolittle’s, Crout’s, and Cholesky’s methods; 10.7907/4aq2m-bnw32
• Martin, Alain J. (1981) An Axiomatic Definition of Synchronization Primitives; Acta Informatica; Vol. 16; No. 2; 219-235; 10.1007/BF00261260
• Mosteller, R. C. (1981) RLAP version 1.0 a chip assembly tool; 10.7907/cpybe-b1d47
• Segal, Richard (1981) Structure, placement and modelling; 10.7907/kq6fj-72673
• Whitney, Telle (1981) A Hierarchical Design Rule Checker; 10.7907/8jz33-x1385
• Trimberger, Stephen; Rowson, James A.; et el. (1981) A Structured Design Methodology & Assoicated Software Tools; 10.7907/n015c-49w50
• Whelan, Daniel S. (1981) A Versatile Ethernet Interface; 10.7907/990sf-1kv28
• Trimberger, Stephen (1981) Combining Graphics and a Layout Language in a Single Interactive System; 10.7907/ptds4-39139
• Yu, Kwang-I (1981) Communicative Databases; 10.7907/p23xv-bcw17
• Johnsson, Lennart and Cohen, Danny (1981) Computational Arrays for the Discrete Fourier Transform; 10.7907/n91j8-85m21
• Lin, Tzu-Mu (1981) From Geometry to Logic; 10.7907/xkcd6-vfg70
• Rudin, Leonid (1981) Lambda Logic; 10.7907/33598-ydd67
• Mosteller, R. C. (1981) REST: A Leaf Cell Design System; 10.7907/5z11w-jm163
• Thompson, Bozena Henisz and Thompson, Frederick B. (1981) Shifting to a Higher Gear in a Natural Language System; 10.7907/wgg4m-ace56
• Lewis, R.K. (1981) Switching Dynamics; 10.7907/zf009-bgw18
• Li, Pey-yun (1981) The Serial Log Machine; 10.7907/8x01d-fns56
• Lien, Sheue-Ling C. (1981) Toward a Theorem Proving Architecture; 10.7907/r0zky-s7g09
• Johnsson, Lennart; Weiser, Uri; et el. (1981) Towards a Formal Treatment of VLSI Arrays; 10.7907/gn21a-t6x26
• 1981. Proceedings of the Second Caltech Conference on Very Large Scale Integration, held at the California Institute of Technology 19-21 January, 1981 ; Organized by the Caltech Computer Science Department and the Caltech Industrial Associates Office, and sponsored by Caltech Industrial Associates and the National Science Foundation; 10.7907/svt7c-01869
• Sproull, Robert; Lyon, Richard; et el. (1980) The Caltech Intermediate Form for LSI Layout Description; 10.7907/jmrgc-2f168