- Martin, Alain J. (2014) 25
Years Ago: The First Asynchronous Microprocessor; 10.7907/Z9QR4V3H
- Keller, Sean; Bhargav, Siddharth S.; et al. (2014) Quantifying
Near-Threshold CMOS Circuit Robustness; 10.7907/Z9M043CG
- Keller, Sean; Katelmany, Michael; et al. (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
- Capponi, Agostino (2008) A convex
optimization approach to jump nonlinear systems; 10.7907/jef7h-4ev55
- Cui, Tao; Chen, Lijun; et al. (2007) Opportunistic
Source Coding for Data Gathering in Wireless Sensor Networks; 10.7907/Z9G73BP6
- Cui, Tao; Chen, Lijun; et al. (2007) Distributed
Optimization in Wireless Networks Using Broadcast Advantage; 10.7907/Z9BK19BR
- Tang, A. Kevin; Simsek, Alp; et al. (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 al. (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 al. (2005) A Computational
Approach to Reflective Meta-Reasoning about Languages with Bindings;
10.7907/1shys-d2n87
- Tang, Ao; Wang, Jiantao; et al. (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 al. (2004) The Bin
Model; 10.7907/Z9222RR7
- Wong, Catherine G.; Martin, Alain J.; et al. (2003) An
Architecture for Asynchronous FPGAs
- Wong, Catherine G.; Martin, Alain J.; et al. (2003) An Architecture
for Asynchronous FPGAs; 10.7907/Z9X9288B
- Papadantonakis, Karl (2003) An Asynchronous
Register Bypass Transformation; 10.7907/Z9J38QHN
- Li, Ling; Abu-Mostafa, Yaser S.; et al. (2003) CGBoost:
Conjugate Gradient in Function Space; 10.7907/yryfk-z8a36
- Kim, Ki Baek; Tang, Ao; et al. (2003) Design of AQM
in Supporting TCP Based on the Well-Known AIMD Model; 10.7907/Z9DB7ZTC
- Hickey, Jason; Nogin, Aleksey; et al. (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
- Fink, Michael (2003) The Full
Images for Natural Knowledge Caltech Office DB; 10.7907/kj0dz-n7r20
- Fink, Michael and Perona, Pietro (2003) The Full Images
for Natural Knowledge Caltech Office DB; 10.7907/Z9125QMV
- 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
- 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
- Penzes, Paul Ivan (2002) Energy-Delay
Complexity of Asynchronous Circuits; 10.7907/Z9DV1GVX
- Nayak, Ashwin and Shor, Peter (2002) On
Bit-Commitment Based Quantum Coin Flipping; 10.7907/Z9BR8Q69
- Granicz, Adam and Hickey, Jason (2002) Phobos: A
front-end approach to extensible compilers (long version); 10.7907/Z9707ZFF
- Hickey, Jason; Smith, Justin D.; et al. (2002) Process
Migration and Transactions Using a Novel Intermediate Language; 10.7907/Z93776Q3
- Pénzes, Paul I.; Nyströem, Mika; et al. (2002) Transistor
Sizing of Energy-Delay-Efficient Circuits; 10.7907/Z9ZG6Q7T
- Martin, Alain J.; Nyström, Mika; et al. (2001) Speed and
Energy Performance of an Asynchronous MIPS R3000 Microprocessor; 10.7907/Z99S1P11
- Papadantonakis, Karl (2001) A Theory of
Constant Et² CMOS Circuits; 10.7907/Z9610X9M
- 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 al. (2001) ET^2: A Metric
For Time and Energy Efficiency of Computation; 10.7907/Z9K935JZ
- Pénzes, Paul I. and Martin, Alain J. (2001) Global and
local properties of asynchronous circuits optimized for energy
efficiency; 10.7907/Z9FJ2DSS
- Nicholson, Alexander (2000) A
Generalization Model and Learning in Hardware; 10.7907/Z9ST7MTG
- Magdon-Ismail, Malik and Atiya, Amir (2000) Some Results
Regarding the Estimation of Densities and Random Variate Generation
Using Neural Networks; 10.7907/Z9GB222G
- Chen, Min and Arvo, James (2000) Closed-Form
Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part
II: Polynomially-Varying Radiant Exitance; 10.7907/Z9XG9P5B
- Charpentier, Michel and Chandy, K. Mani (2000) Theorems
about Composition; 10.7907/Z9BK19C6
- Chen, Min and Arvo, James (2000) Closed-Form
Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part
I: Linearly-Varying Radiant Exitance; 10.7907/Z92805MQ
- Taubin, Gabriel (2000) Is this a
Quadrisected Mesh?; 10.7907/Z9P26W4X
- Wood, Zoë Justine (2000) Semi-Regular
Mesh Extraction from Volumes; 10.7907/Z9M32SSD
- Schooler, Eve M. (2000) Why Multicast
Protocols (Don’t) Scale: An Analysis of Multipoint Algorithms for
Scalable Group Communication; 10.7907/Z96W982N
- Nyströem, Mika (1999) Solving Certain
Large Instances of the Quadratic Assignment Problem: Steinberg’s
Examples; 10.7907/Z9C8278M
- Ginis, Roman (1999) Optimal
Distributed Resource Allocation; 10.7907/Z9MS3QRD
- Rifkin, Adam (1999) Application
Development using Compositional Performance Analysis; 10.7907/Z9348HCP
- Charpentier, Michel and Chandy, K. Mani (1999) Examples
of Program Composition Illustrating the Use of Universal Properties;
10.7907/Z9ZC80WC
- Kiniry, Joseph R. (1999) Leading
to a Kind Description Language: Thoughts on Component Specification;
10.7907/Z9PV6HCF
- Chen, Min (1999) Perturbation
Methods for Image Synthesis; 10.7907/Z9H1300B
- Schkolne, Steven and Schröder, Peter (1999) Surface
Drawing; 10.7907/Z97H1GKB
- Charpentier, Michel and Chandy, K. Mani (1999) Towards
a Compositional Approach to the Design and Verification of Distributed
Systems; 10.7907/Z93R0QW2
- Sivilotti, Paolo A. G. (1998) A
Method for the Specification, Composition, and Testing of Distributed
Object Systems; 10.7907/Z91N7Z43
- Kiniry, Joseph R. (1998) A New
Construct for Systems Modeling and Theory: The Kind; 10.7907/Z9G15XV5
- Kiniry, Joseph R. and Cheong, Elaine (1998) JPP: A
Java Pre-Processor; 10.7907/Z9KS6PKK
- Rifkin, Adam and Massingill, Berna (1998) Performance
Analysis for Mesh and Mesh-Spectral Archetype Applications; 10.7907/Z96M34TT
- Winfree, Erik (1998) Simulations of
Computing by Self-Assembly; 10.7907/Z9TB14X7
- Kiniry, Joseph R. (1998) The
Specification of Dynamic Distributed Component Systems; 10.7907/Z9PK0D5G
- Zimmerman, Daniel M. (1998) A
Preliminary Investigation into Dynamic Distributed Workflow; 10.7907/Z9Z31WP1
- Pénzes, Paul I. (1998) The design of
high performance asynchronous circuits for the Caltech MiniMIPS
processor; 10.7907/Z90V89TB
- Ramamoorthi, Ravi (1998) Creating
Generative Models from Range Images; 10.7907/Z9V9863X
- Manohar, Rajit (1998) The
impact of asynchrony on computer architecture; 10.7907/kgstw-em803
- Çataltepe, Zehra; Abu-Mostafa, Yaser S.; et al. (1998) No Free
Lunch for Early Stopping; 10.7907/Z9B8565P
- Kiniry, Joseph R. (1998) IDebug:
An Advanced Debugging Framework for Java; 10.7907/Z9QJ7FBR
- Lines, Andrew Matthew (1998) Pipelined
Asynchronous Circuits; 10.7907/Z92V2D4Z
- Laidlaw, David H.; Ahrens, Eric T.; et al. (1998) Visualizing
Diffusion Tensor Images of the Mouse Spinal Cord; 10.7907/Z98C9T9V
- Winfree, Erik (1998) Whiplash PCR for
O(1) Computing; 10.7907/Z94M92KH
- Massingill, Berna (1997) A
Structured Approach to Parallel Programming; 10.7907/Z94F1NR1
- Bax, Eric (1997) Improved
Uniform Test Error Bounds; 10.7907/Z9959FK4
- Zimmerman, Daniel M.; Rothstein, Brian; et al. (1997) Constructing
Client-Server Multi-Player Asynchronous Networked Games Using a
Single-Computer Model; 10.7907/Z9GX48K9
- Bax, Eric (1997) Similar
Classifiers and VC Error Bounds; 10.7907/Z9CZ355Q
- Bax, Eric (1997) Validation
of Voting Committee; 10.7907/Z9W093X1
- Heirich, Alan (1997) Analysis
of Scalable Algorithms for Dynamic Load Balancing and Mapping with
Application to Photo-realistic Rendering; 10.7907/Z9W37TBC
- Bax, Eric (1997) Combining
Multilayer Networks to Combine Learning; 10.7907/Z9MK69XR
- Azuma, Daniel; Lin, James; et al. (1997) A
Framework for Migration of Networked Intercommunication Processes;
10.7907/Z9PG1PRR
- Chandy, K. Mani; Kiniry, Joseph; et al. (1997) A
Framework for Structured Distributed Object Computing; 10.7907/Z9JQ0Z2W
- Ramamoorthi, Ravi; Rifkin, Adam; et al. (1997) A
General Resource Reservation Framework for Scientific Computing; 10.7907/Z9DZ06BJ
- Ramamoorthi, Ravi; Ball, Cindy; et al. (1997) Dynamic
Splines with Constraints for Animation; 10.7907/Z97D2S51
- Massingill, Berna L. and Chandy, K. Mani (1997) Parallel
Program Archetypes; 10.7907/Z9WW7FP7
- Laidlaw, David H.; Fleischer, Kurt W.; et al. (1997) Partial-Volume
Bayesian Classification of Material Mixtures in MR Volume Data using
Voxel Histograms; 10.7907/Z9S75DB3
- Nyströem, Mika (1997) Pipelined
Asynchronous Cache Design; 10.7907/Z9NG4NNT
- Aldrich, Jonathan; Dooley, James; et al. (1997) Providing
Easier Access to Remote Objects in Client-Server Systems; 10.7907/Z9HQ3WX3
- Zorin, Denis N. (1997) Stationary
Subdivision and Multiresolution Surface Representations; 10.7907/Z9862DF9
- Bax, Eric; Çataltepe, Zehra; et al. (1997) The
Central Classifier Bound - A New Error Bound for the Classifier Chosen
by Early Stopping; 10.7907/Z9RB72M1
- Bax, Eric (1997) Validation
of Average Error Rate Over Classifiers; 10.7907/Z90P0X25
- Chandy, K. Mani; Rifkin, Adam; et al. (1997) Webs of
Archived Distributed Computations for Asynchronous Collaboration; 10.7907/Z9R78C75
- Gornowicz, Galen G.; Laidlaw, David H.; et al. (1997) De-aliasing
Undersampled Volume Images for Visualization; 10.7907/Z9C53HWB
- Ramamoorthi, Ravi and Barr, Alan H. (1997) Fast
Construction of Accurate Quaternion Splines; 10.7907/Z93N21D7
- Gimelshein, Sergey; Markelov, Gennady; et al. (1996) Collision
Models in the Hawk DSMC Implementation; 10.7907/Z9V122TN
- Chow, Bryan (1996) Compiler
Techniques for Loosely-Coupled Multi-Cluster Architectures; 10.7907/Z9T151P8
- Manohar, Rajit and Sivilotti, Paolo A. G. (1996) Composing
Processes Using Modified Rely-Guarantee Specifications; 10.7907/Z9P848X3
- Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) Reliable
Synchronization Primitives for Java; 10.7907/Z9P55KHS
- Chandy, K. Mani; Dimitrov, Boris; et al. (1996) A
World-Wide Distributed System Using Java and the Internet; 10.7907/Z98W3BBD
- Zadik, Yair (1996) The
Message Driven File System: a Network Accessible File System for
Fine-Grain Message Passing Multicomputers; 10.7907/Z9TT4NZV
- Bax, Eric (1996) Recurrence-Based
Reductions for Inclusion and Exclusion Algorithms Applied to P
Problems; 10.7907/Z9ST7MVX
- Maskit, Daniel (1996) A
Compiler Algorithm for Managing Asynchronous Memory Read Completion;
10.7907/Z9Q81B3B
- Schooler, Eve M. (1996) A
Multicast User Directory Service for Synchronous Rendezvous; 10.7907/Z9DR2SHH
- Thornley, John (1996) A
Parallel Programming Model with Sequential Semantics; 10.7907/Z9KD1VXF
- Kryukova, Svetlana; Massingill, Berna; et al. (1996) An
Algorithm for Distributed Location Management in Networks of Mobile
Computers; 10.7907/Z93F4MN3
- Zorin, Denis (1996) Ck
Continuity of Subdivision Surfaces; 10.7907/Z9ZS2TH7
- Chandy, K. Mani and Schooler, Eve M. (1996) Designing
Directories in Distributed Systems: A Systematic Framework; 10.7907/Z9736NXN
- Zorin, Denis; Schröder, Peter; et al. (1996) Interpolating
Subdivision for Meshes of Arbitary Topology; 10.7907/Z93B5X5W
- Xu, Jiazhao Jessie (1996) On
Detection and Generation of Dead-lock free Reshuffling in the VLSI
Synthesis Method; 10.7907/Z9Q23X89
- Nelson, Bradley D. (1996) Portable
Graphical Tools for Concurrent Plasma Simulation; 10.7907/Z9XK8CJ6
- Chandy, K. Mani and Rifkin, Adam (1996) Systematic
Composition of Objects in Distributed Internet Applications: Processes
and Sessions; 10.7907/Z9JD4TTH
- Bax, Eric (1996) Tailoring
the Permanent Formula to Problem Instances; 10.7907/Z9DN433K
- Massingill, Berna L. (1996) The
Mesh Archetype; 10.7907/Z9ZK5DPK
- Davis, Gregg and Massingill, Berna L. (1996) The
Mesh Archetype; 10.7907/8gkfk-x1e50
- Manohar, Rajit and Martin, Alain J. (1995) Quasi-Delay-Insensitive
Circuits are Turing-Complete; 10.7907/Z9H70CV1
- Fleischer, Kurt (1995) Polygon
Scan Conversion Derivations; 10.7907/Z9RR1W8B
- Watts, Jerrell (1995) A
Practical Approach to Dynamic Load Balancing; 10.7907/Z9N014J9
- Thornley, John (1995) Performance
of a Class of Highly-Parallel Divide-and-Conquer Algorithms; 10.7907/Z9WH2N1H
- Manohar, Rajit (1995) Folded
FIFOs; 10.7907/Z9J67DZD
- Kryukova, Svetlana A. (1995) Parallel
Programming Archetypes in Combinatorics and Optimization; 10.7907/Z91834J7
- Fleischer, Kurt W. (1995) A
Multiple-Mechanism Developmental Model for Defining Self-Organizing
Geometric Structures; 10.7907/Z9513W74
- Lee, Tak Kwan (1995) A
General Approach to Performance Analysis and Optimization of
Asynchronous Circuits; 10.7907/Z9DF6P8J
- Nystroem, Mika (1995) Et2 and
Multi-Voltage Logic; 10.7907/Z9NZ85PT
- Leino, K. Rustan M. (1995) Towards
Reliable Modular Programs; 10.7907/Z9CJ8BH1
- Tierno, José Andrés (1995) An
Energy-Complexity Model for VLSI; 10.7907/Z9SQ8XFM
- Rieffel, Marc A. (1995) Concurrent
Simulations of Plasma Reactors for VLSI Manufacturing; 10.7907/Z92805N5
- Zorin, Denis N. (1995) Correction
of Geometeric Perceptual Distortions in Pictures; 10.7907/Z9XG9P6S
- Laidlaw, David H. (1995) Geometric
Model Extraction from Magnetic Resonance Volume Data; 10.7907/Z98S4MXP
- Heirich, Alan (1994) Scalable
Load Balancing by Diffusion; 10.7907/Z97M05Z6
- Hofstee, H. Peter (1994) Synchronizing
Processes; 10.7907/Z9028PKT
- Chow, Bryan; Fyfe, Andrew; et al. (1994) A
Development Methodology for Concurrent Programs; 10.7907/S4MW2X
- Carlin, Peter (1994) Distributed
Linear Algebra on Networks of Workstations; 10.7907/Z9VH5KV8
- Manohar, Rajit and Chandy, K. Mani (1994) Mach-Based
Channel Library; 10.7907/Z9SJ1HMH
- Manohar, Rajit and Leino, K. Rustan M. (1994) Theory
and Use of Conditional Composition; 10.7907/Z9VD6WGD
- Pinkstone, Donald, III (1994) A
Compiler for a Subset of Modula-3; 10.7907/Z9416V3R
- Leino, K. Rustan M. (1994) Computing
Permutation Encodings; 10.7907/Z90863BZ
- Maskit, Daniel (1994) A
Message-Driven Programming System for Fine-Grain Multicomputers; 10.7907/Z9J38QKJ
- Laidlaw, David H.; Fleischer, Kurt W.; et al. (1994) Classification
of Material Mixtures in Volume Data for Visualization and Modeling;
10.7907/Z97S7KTR
- Bax, Eric (1994) Recurrence-based
Heuristics for the Hamiltonian Path Inclusion and Exclusion and
Exclusion Algorithm; 10.7907/Z9CC0XQ0
- Çataltepe, Zehra (1994) The
Scheduling Problem in Learning From Hints; 10.7907/Z93T9F7B
- Sivilotti, Paul A. G. and Carlin, Peter A. (1994) A
Tutorial for CC++; 10.7907/Z9QN64SH
- Heirich, Alan and Taylor, Stephen (1994) A
Parabolic Load Balancing Method; 10.7907/Z94T6GCQ
- Palmer, Michael E. (1994) Immersing
the Scientist in Data: Interactive Visualization of Unstructured
Scientific Data on Concurrent Architectures; 10.7907/Z95T3HH3
- Chandy, K. Mani; Manohar, Rajit; et al. (1994) Integrating
Task and Data Parallelism with the Collective Communication
Archetype; 10.7907/Z9222RSP
- Tierno, Jose A. and Martin, Alain J. (1994) Low-Energy
Asynchronous Memory Design; 10.7907/Z9X9289S
- Van de Snepscheut, Jan L. A. (1994) Mechanized
Support for Stepwise Refinement; 10.7907/Z9NV9G8H
- Goldsmith, Jeff (1994) Optimized
Computer-Generated Motions for Animation; 10.7907/Z9DB7ZVT
- Thornley, John (1993) Integrating
Functional and Imperative Parallel Programming: C++ Solutions to the
Salishan Problems; 10.7907/Z9T72FGG
- Rifkin, Adam (1993) Teaching
Archetypal Design with an Electronic Textbook; 10.7907/Z98G8HRM
- Seitz, Charles L.; Martin, Alain J.; et al. (1993) Submicron
Systems Architecture: Semiannual Technical Report; 10.7907/Z9NS0RX7
- Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics
of Exceptions; 10.7907/Z9KK98TT
- Seizovic, Jakov N. (1993) Introduction
to C+-: Submicron Systems Architecture Project; 10.7907/1vv7r-ygr82
- Chandy, K. Mani and Foster, Ian (1993) A
Deterministic Notation for Cooperating Processes; 10.7907/Z9B85664
- Chandy, K. Mani (1993) Properties
of Concurrent Programs; 10.7907/Z9ZS2TJP
- Leino, K. Rustan M. (1993) Multicomputer
Programming with Modula-3D; 10.7907/Z9F18WSP
- Binau, Ulla (1993) Distributed
Diners: From UNITY Specification to CC++ Implementation; 10.7907/Z96H4FGD
- Chandy, K. Mani (1993) Conjunctive
Predicate Transformers for Reasoning about Concurrent Computation;
10.7907/0ztwa-hva90
- Massingill, Berna (1993) Integrating
Task and Data Parallelism; 10.7907/Z9PG1PS6
- Maskit, Daniel and Taylor, Stephen (1993) Experiences
in Programming the J-Machine; 10.7907/rqz0m-we595
- Maskit, Daniel; Zadik, Yair; et al. (1993) System
Tools for the J-Machine; 10.7907/Z9D798FW
- Thornley, John (1993) A
Collection of Declarative Ada Example Programs; 10.7907/Z99C6VF7
- Thornley, John (1993) Parallel
Programming with Declarative Ada; 10.7907/Z9X0652T
- Thornley, John (1993) The
Programming Language Declarative Ada Reference Manual; 10.7907/Z97942Q7
- Seitz, Charles L.; Martin, Alain J.; et al. (1993) Submicron
Systems Architecture; 10.7907/4fh9g-yr824
- Tierno, Jose A. (1993) Designing
Asynchronous Circuits in Gallium Arsenide; 10.7907/Z9G15XWM
- Chandy, K. Mani and Kesselman, Carl (1993) CC++: A
Declarative Concurrent Object Oriented Programming Notation; 10.7907/Z96M34V8
- Carlin, Peter; Chandy, K. Mani; et al. (1993) The
Compositional C++ Language Definition; 10.7907/Z9QF8QWK
- 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; Vol. 1993:0008; 10.7907/Z9KW5D26
- Boden, Nanette Jackson (1993) Runtime
Systems for Fine-Grain Multicomputers; 10.7907/Z9QC01J3
- Tierno, Jose A.; Martin, Alain J.; et al. (1993) An
Asynchronous Microprocessor in Gallium Arsenide; 10.7907/Z9BC3WJ5
- Seizovic, Jakov N. (1993) The
Architecture and Programming of a Fine-Grain Multicomputer; 10.7907/Z9G44N9B
- Zadik, Yair and Taylor, Stephen (1993) A File
System for the J-Machine; 10.7907/Z9Z03666
- Ainsworth, Paul and Kryukova, Svetlana (1993) A
Multimedia Interactive Environment Using Program Archetypes:
Divide-and-Conquer; 10.7907/Z998852R
- Heirich, Alan and Taylor, Stephen (1993) A
Parabolic Theory of Load Balance; 10.7907/Z91R6NJD
- Sivilotti, Paul (1993) A
Verified Integration of Imperative Parallel Programming Paradigms in an
Object-Oriented Language; 10.7907/Z9W95779
- Hofstee, H. Peter (1993) A
problem in the regularity calculus; 10.7907/Z9RJ4GHK
- Van de Snepscheut, Jan L. A. (1993) On
Lattice Theory and Program Semantics; 10.7907/Z95H7D9K
- Cook, James N. (1993) Production
Rule Verification for Quasi-Delay-Insensitive Circuits; 10.7907/Z9C24TG1
- Taylor, Stephen (1993) Progress
Report to the Advanced Research Projects Agency on the Scalable
Concurrent Programming Project; 10.7907/Z93J3B0X
- Van de Snepscheut, Jan L. A. (1993) Proxac:
An Editor for Program Transformation; 10.7907/Z9V40S70
- Martin, Alain J. (1993) Tomorrow’s
Digital Hardware will be Asynchronous and Verified; 10.7907/Z9125QPR
- Chandy, K. Mani (1993) Using
Triples to Reason About Concurrent Programs; 10.7907/Z94Q7S2R
- Seitz, Charles L.; Martin, Alain J.; et al. (1992) Submicron
Systems Architecture Project : Semiannual Technical Report, 1 July
1992; 10.7907/Z9WS8RF5
- Pertel, Michael J. (1992) A
Critique of Adaptive Routing; 10.7907/Z9R78CCZ
- Fyfe, William John Andrew (1992) Invariance
Hints and the VC Dimension; 10.7907/Z9765CHM
- Mahowald, Misha (1992) VLSI
analogs of neuronal visual processing: a synthesis of form and
function; 10.7907/Z9CZ35CD
- Pertel, Michael J. (1992) Mesh
Distance Formulae; 10.7907/Z9T151VH
- Pertel, Michael J. (1992) A
Simple Simulator for Multicomputer Routing Networks; 10.7907/Z91J97XF
- Van de Snepscheut, Jan L. A. (1992) A LISP
Programming Exercise; 10.7907/Z93F4MSW
- Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A
Tutorial Introduction to Mosaic Pascal; 10.7907/7xby0-epj19
- Steele, Craig S. (1992) Affinity:
A Concurrent Programming System for Multicomputers; 10.7907/Z9862DN0
- Chandy, K. Mani and Kesselman, Carl (1992) Compositional
C++: Compositional Parallel Programming; 10.7907/Z94F1NX8
- Sanouillet, Remy D. (1992) Computer
Mediated Communication; 10.7907/Z90P0X6Z
- Hofstee, H. Peter (1992) Constructing
some Distributed Programs; 10.7907/Z9VX0DQN
- Nielsen, Christian D. and Martin, Alain J. (1992) Delay-Insensitive
Multiply-Accumulate Unit; 10.7907/Z9MG7MPP
- Leino, K. Rustan M. (1992) Extensions
to an Object Oriented Programming Language for Programming Fine-grain
Multicomputers; 10.7907/Z9BZ6471
- Laidlaw, David H. (1992) Material
Classification of Magnetic Resonance Volume Data; 10.7907/Z9ZP4490
- Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular
Dynamics on the Mosaic; 10.7907/Z9P8493R
- Binau, Ulla (1992) Mutual
Exclusion in a Token Ring in CC++; 10.7907/Z9JH3JC1
- Back, R. J. R. (1992) Predicate
Transformers and Higher Order Logic; 10.7907/Z9DR2SN9
- Back, R. J. R. (1992) Refinement
Calculus, Lattices and Higher Order Logic; 10.7907/Z99021X8
- Back, R. J. R. (1992) Refinement
of Parallel and Reactive Programs; 10.7907/Z957196Z
- Hazewindus, Pieter Johannes (1992) Testing
Delay-Insensitive Circuits; 10.7907/Z9S180PP
- Chandy, K. Mani and Kesselman, Carl (1992) The
Derivation of Compositional Programs; 10.7907/Z9GQ6VZZ
- 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 al. (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 al. (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 al. (1989) The
First Aysnchronous Microprocessor: The Test Results; 10.7907/bsky8-c6128
- Hofstee, H. Peter; Martin, Alain J.; et al. (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 al. (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 al. (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 L. (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 al. (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
- Seitz, Charles L. (1987) The C
Programmer’s Abbreviated Guide to Multicomputer Programming (The Short
C-Guide); 10.7907/5zqrq-eme23
- 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 al. (1986) Submicron
Systems Architecture: Semiannual Technical Report; 10.7907/rzewj-csb10
- Seitz, Charles L.; Kajiya, James T.; et al. (1986) Submicron
Systems Architecture: Semiannual Technical Report; 10.7907/my65t-e9565
- 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
- Seitz, Charles L.; Kajiya, James T.; et al. (1985) Submicron
Systems Architecture: Semiannual Technical Report; 10.7907/7fbb9-smt37
- 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 al. (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 al. (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 al. (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
- Whiting, Douglas L. (1984) Bit-Serial
Reed Solomon Decoders in VLSI; 10.7907/dm5cd-27p38
- Mead, Carver and Mahowald, Michelle (1984) An
electronic model of the y-system of mammalian retina
- Oyang, Yen-Jen (1984) HEX: A
Hierarchical Circuit Extractor; 10.7907/pybtk-7v669
- 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
- Lien, Sheue-Ling-Chang (1984) Combining
Computation with Geometry; 10.7907/pbcnt-e7f79
- Thompson, Bozena Henisz and Thompson, Frederick B. (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
- Ho, Tai-Ping (1984) The
Dialogue Designing Dialogue System; 10.7907/1xmnk-39d34
- 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
- Chiang, Chao-Lin (1984) Towards
Concurrent Arithmetic: Residue Arithmetic and VLSI; 10.7907/a8mqr-n5d15
- 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
- Chiang, Chao-Lin and Johnsson, Lennart (1983) Residue
Arithmetic and VLSI; 10.7907/77gav-sns10
- 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
- Athas, William C. (1983) A VLSI
Combinator Reduction Engine; 10.7907/aw37b-hpf21
- Martin, Alain J (1983) A
General Proof Rule for Procedures in Predicate Transformer
Semantics; 10.7907/desx8-jhv04
- Trimberger, Stephen (1983) Automated
Performance Optimization of Custom Integrated Circuits; 10.7907/59mzv-zme04
- Lutz, Chris; Rabin, Steve; et al. (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 al. (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
- Trimberger, Stephen and Kingsley, Chris (1982) Chip
assembly tools; 10.7907/qt7sw-emq77
- 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
- Mosteller, R. C. (1982) An
Experimental Composition Tool; 10.7907/5914s-vgs06
- Chen, Marina; Graham, Ronald L.; et al. (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
- Thompson, Bozena Henisz; Thompson, Frederick B.; et al. (1982) Knowledgeable
Contexts for User Interaction; 10.7907/jk9f9-zgq20
- 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
- Bryant, Randal E. (1982) Switch-Level
Modeling of MOS Digital Circuits; 10.7907/ep0h1-95z76
- 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
- Johnsson, Lennart and Cohen, Danny (1981) A
mathematical approach to modelling the flow of data and control in
computational networks; 10.7907/ekw3n-6et55
- Martin, Alain J. (1981) An
Axiomatic Definition of Synchronization Primitives; Acta
Informatica; Vol. 16; No. 2; 219-235; 10.1007/BF00261260
- Kajiya, J and Ullner, M (1981) Filtering
high quality text for display on raster scan devices; 10.7907/b3bf6-tx272
- Mosteller, R. C. (1981) RLAP
version 1.0 a chip assembly tool; 10.7907/cpybe-b1d47
- Johannsen, David Lawrence (1981) Silicon
Compilation; 10.7907/vvm2m-zpr34
- Segal, Richard (1981) Structure,
placement and modelling; 10.7907/kq6fj-72673
- Gray, Moshe (1981) The
Design and Implementation of a Reticle Maker for VLSI; 10.7907/aey19-53w60
- Whitney, Telle (1981) A
Hierarchical Design Rule Checker; 10.7907/8jz33-x1385
- Trimberger, Stephen; Rowson, James A.; et al. (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 al. (1981) Towards
a Formal Treatment of VLSI Arrays; 10.7907/gn21a-t6x26
- 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
- Rem, Martin and Mead, Carver (1981) A
notation for designing restoring logic circuitry in CMOS
- Johnsson, Lennart (1981) Computational
Arrays for Band Matrix Equations; 10.7907/70tmd-29e82
- Li, Pey-yun Peggy (1981) The
Tree Machine Operating System; 10.7907/y072z-zf865
- Trimberger, Stephen (1980) The
Proposed Sticks Standard; 10.7907/e9sf3-8qn24
- Johnsson, Lennart (1980) VLSI
Architecture and Design; 10.7907/bmm7d-81x26
- Milne, George J. (1980) The
representation of communication and concurrency; 10.7907/1e41m-vq136
- Trimberger, Stephen (1980) Two
Rail Restoring Logic Blocks – An Alternative Logic Model: Silicon
Structures Project Memo # 3; 10.7907/n4nqy-bzg25
- Trimberger, Stephen (1980) Combining
graphics and layout language in a single interactive system; 10.7907/e4ydb-23e50
- Demetrescu, Stefan Gabriel (1980) A VLSI
Based Real-Time Hidden Surface Elimination Display System; 10.7907/gq2ej-hp229
- Tarolli, Gary M. (1980) A
Chip Assembler; 10.7907/Z9M61H7K
- Buchanan, Irene (1980) Modeling
and Verification in Structured Integrated Circuit Design; 10.7907/2rqxt-3qb58
- Oestreicher, Donald (1980) PLASYS:
Final Report; 10.7907/eehbb-vah10
- Rowson, James Allely (1980) Understanding
Hierarchical Design; 10.7907/Z9BP00R2
- DeBenedictis, Erik P. (1980) A
Preliminary Report on the Caltech ARPA Tester Project; 10.7907/Z9N014HV
- Barton, Anthony Francis (1980) A Fault
Tolerant Integrated Circuit Memory; 10.7907/b241m-a6c87
- Hess, Gideon David (1980) A
Software Design System; 10.7907/ppc1r-w4508
- Sproull, Robert; Lyon, Richard; et al. (1980) The
Caltech Intermediate Form for LSI Layout Description; 10.7907/jmrgc-2f168
- Trimberger, Stephen (1980) A
Comprehensive CIF Test Set; 10.7907/jpggm-q7p79
- Browning, Sally A. (1980) The Tree
Machine: A Highly Concurrent Computing Environment; 10.7907/Z96W9816
- Locanthi, Bart N. (1980) The
Homogeneous Machine; 10.7907/6cbb2-qgq58
- Martin, A. J. (1980) A
Distributed Implementation Method for Parallel Programming; 10.7907/c1h76-gdn90
- Johnsson, Lennart (1980) Gaussian
Elimination on Sparse Matricies and Concurrency; 10.7907/f5pmx-pnx37
- Tarolli, Gary and Lang, Dick (1979) CIF2OP
Instruction Manual; 10.7907/ybaxw-efg09
- Trimberger, Stephen (1979) CIFSYM –
CIF Symbol Handler; 10.7907/2dcnz-we476
- Efland, G. and Mosteller, R. C. (1979) Stack
Data Engine; 10.7907/memwk-xjg39
- Lang, Dick (1979) LAP
user’s manual; 10.7907/Z90P0X08
- Gray, J. P. and Buchanan, I. (1979) Models
for Structured IC Design; 10.7907/y4qag-gcv17
- McGrath, Ed (1979) A
Physical Design Rule Description; 10.7907/Z9V122RR
- Lang, Charles R. (1979) Automated
Wiring Analysis of Integrated Circuit Geometric Data; 10.7907/sn86y-q7468
- Seiler, Larry Dean (1979) A Pascal
Machine Architecture Implemented in Bristle Blocks, a Prototype Silicon
Computer; 10.7907/0xxhr-k5a41
- Trimberger, Stephen (1979) A Wire
Oriented Mask Geometry Editor; 10.7907/hgtcg-f8949
- 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
- Kajiya, James Thomas (1979) Toward
a mathematical theory of perception; 10.7907/Z99Z92V3
- Johannsen, Dave (1978) Hierarchical
power routing; 10.7907/15bcb-29638
- Ayres, Ronald (1978) A
Language Processor and a Sample Language; 10.7907/1vv8n-mq049
- Mead, Carver A. and Rem, Martin (1978) Cost and
Performance of VLSI Computing Structures; 10.7907/fm4yx-3bq89
- Masumoto, Rodney Tak (1978) A 16-Bit
LSI Digital Multiplier; 10.7907/7xkjj-rv082
- Henisz Thompson, Bozena and Thompson, Frederick B. (1978) Rapidly
Extendable Natural Language; 10.7907/Z9VM4980
- Sutherland, Ivan E. (1978) The
Polygon Package; 10.7907/5tba0-53c30
- Randall, David Lawrence (1970) Formal
Methods in the Foundations of Science; 10.7907/303jv-1h913