Subject: All Records
Number of records: 436. Cui, Tao and Lijun, Chen and Tracey, Ho and Steven, Low (2007) Opportunistic Source Coding for Data Gathering in Wireless Sensor Networks. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2007.003] Cui, Tao and Chen, Lijun and Ho, Tracey (2007) Distributed Optimization in Wireless Networks Using Broadcast Advantage. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2007.002] Tang, A. and Simsek, Alp and Ozdaglar, Asuman and Acemoglu, Daron (2006) On the Stability of P-Matrices. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2006.005] Li, Ling and Abu-Mostafa, Yaser S. (2006) Data complexity in machine learning. Technical Report. California Institute of Technology, Pasadena, USA. [CaltechCSTR:2006.004] Capponi, Agostino and Chandy, Mani and Fatkullin, Ibrahim (2006) Predicate Signaling in Distributed Sensor Networks. ICDCS 2006. Hickey, Jason and Nogin, Aleksey (2006) OMake: Designing a Scalable Build Process. In: Fundamental Approaches to Software Engineering (FASE'06), March 27-29, 2006, Vienna, Austria. Li, Ling (2005) Perceptron learning with random coordinate descent. Technical Report. California Institute of Technology, Pasadena, USA. [CaltechCSTR:2005.006] Nogin, Aleksey and Kopylov, Alexei and Xin, Yu and Hickey, Jason (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings. In: MERλIN 2005. ICFP 2005 Workshop on MEchanized Reasoning about Languages with variable biNding, September 30, 2005, Tallinn, Estonia. Tang, Ao and Wang, Jiantao and Low, Steven and Chiang, Mung (2005) Equilibrium of Heterogeneous Congestion Control Protocols. Technical Report. Steven Low. [CaltechCSTR:2005.005] Capponi, Agostino and Chandy, Mani (2005) Stream Processing Algorithms that model behavior changes. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2005.004] Papadantonakis, Karl (2005) Design Rules for Non-Atomic Implementations of PRS. Technical Report. Caltech. [CaltechCSTR:2005.001] Abu-Mostafa, Yaser and Song, Xubo and Nicholson, Alexander and Magdon-Ismail, Malik (2004) The Bin Model. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:2004.002] Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. Technical Report. California Institute of Technology. [CaltechCSTR:2003.006] Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. Technical Report. IEEE Computer Society Press. [CaltechCSTR:2003.006a] Papadantonakis, Karl (2003) An Asynchronous Register Bypass Transformation. Technical Report. California Institute of Technology. [CaltechCSTR:2003.005] Li, Ling and Abu-Mostafa, Yaser S. and Pratap, Amrit (2003) CGBoost: Conjugate Gradient in Function Space. Technical Report. California Institute of Technology. [CaltechCSTR:2003.007] Kim, Ki Baek and Tang, Ao and Low, Steven H (2003) Design of AQM in Supporting TCP Based on the Well-Known AIMD Model. Technical Report. California Institute of Technology. [CaltechCSTR:2003.001] Hickey, Jason and Nogin, Aleksey and Granicz, Adam and Aydemir, Brian (2003) Formal Compiler Implementation in a Logical Framework. Technical Report. California Institute of Technology. [caltechCSTR:2003.002] Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. Technical Report. California Institute of Technology. [caltechCSTR2003.004] Papadantonakis, Karl (2003) Stable Production Rule Sets are Deterministic. Technical Report. California Institute of Technology. [CaltechCSTR:2003.003] Fink, Michael and Perona, Pietro (2003) The Full Images for Natural Knowledge Caltech Office DB. Technical Report. California Institute of Technology. [CaltechCSTR:2003.008] Fink, Michael (2003) The Full Images for Natural Knowledge Caltech Office DB. Technical Report. California Institute of Technology. [CaltechCSTR:2003.008a] Kim, Ki Baek and Low, Steven H. (2002) Analysis and Design of AQM for stabilizing TCP. Technical Report. California Institute of Technology. [CaltechCSTR:2002.009] Schkolne, Steven and Schroder, Peter (2002) Assembling and Rearranging Digital Objects in Physical Space with Tongs, a Gluegun, and a Lightsaber. Technical Report. California Institute of Technology. [CaltechCSTR:2002.005] Kim, Ki Baek and Low, Steven H. (2002) Cost of AQM in stabilizing TCP. Technical Report. California Institute of Technology. [CaltechCSTR:2002.008] Penzes, Paul (2002) Energy-Delay Complexity of Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:2002.010] Nayak, Ashwin and Shor, Peter (2002) On bit-commitment based quantum coin flipping. Technical Report. California Institute of Technology. [CaltechCSTR:2002.004] Granicz, Adam and Hickey, Jason (2002) Phobos: A front-end approach to extensible compilers (long version). Technical Report. California Institute of Technology. [CaltechCSTR:2002.006] Hickey, Jason and Smith, Justin D. and Aydemir, Brian and Gray, Nathaniel and Granicz, Adam and Tapus, Cristian (2002) Process Migration and Transactions Using a Novel Intermediate Language. Technical Report. California Institute of Technology. [CaltechCSTR:2002.007] Penzes, Paul and Nystroem, Mika and Martin, Alain (2002) Transistor Sizing of Energy-Delay--Efficient Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:2002.003] Papadantonakis, Karl (2001) A Theory of Constant Et^2 CMOS Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:2001.004] Nystroem, Mika (2001) Asynchronous Pulse Logic. Technical Report. California Institute of Technology. [CaltechCSTR:2001.011] Zimmerman, Daniel M. (2001) Dynamic UNITY. Technical Report. California Institute of Technology. [CaltechCSTR:2001.006] Martin, Alain J. and Nystroem, Mika and Penzes, Paul (2001) ET2: A Metric For Time and Energy Efficiency of Computation. Technical Report. Kluwer Academic Publishers. [CaltechCSTR:2001.007] Penzes, Paul and Martin, Alain (2001) Global and local properties of asynchronous circuits optimized for energy efficiency. Technical Report. California Institute of Technology. [CaltechCSTR:2002.002] Martin, Alain J. and Nystroem, Mika and Penzes, Paul and Wong, Catherine (2001) Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor. Technical Report. California Institute of Technology. [CaltechCSTR:2001.012] Nicholson, Alexander (2000) A Generalization Model and Learning in Hardware. Technical Report. California Institute of Technology. [CaltechCSTR:2000.007] Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part I: Linearly-Varying Radiant Exitance. Technical Report. California Institute of Technology. [CaltechCSTR:2000.cs-tr-00-01] Chen, Min and Arvo, James (2000) Closed-Form Expressions for Irradiance from Non-Uniform Lambertian Luminaires Part II: Polynomially-Varying Radiant Exitance. Technical Report. California Institute of Technology. [CaltechCSTR:2000.cs-tr-00-04] Taubin, Gabriel (2000) Is this a Quadrisected Mesh? Technical Report. California Institute of Technology. [CaltechCSTR:2000.008] Wood, Zoe Justine (2000) Semi-Regular Mesh Extraction from Volumes. Technical Report. California Institute of Technology. [CaltechCSTR:2000.006] Magdon-Ismail, Malik and Atiya, Amir (2000) Some Results Regarding the Estimation of Densities and Random Variate Generation Using Neural Networks. Technical Report. California Institute of Technology. [CaltechCSTR:2000.005] Charpentier, Michel and Chandy, K. Mani (2000) Theorems about Composition. Technical Report. California Institute of Technology. [CaltechCSTR:2000.cs-tr-00-02] Schooler, Eve M. (2000) Why Multicast Protocols (Don't) Scale: An Analysis of Multipoint Algorithms for Scalable Group Communication. Technical Report. California Institute of Technology. [CaltechCSTR:2001.003] Rifkin, Adam (1999) Application Development using Compositional Performance Analysis. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-96-09] Charpentier, Michel and Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-01] Kiniry, Joseph R. (1999) Leading to a Kind Description Language: Thoughts on Component Specification. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-04] Ginis, Roman (1999) Optimal Distributed Resource Allocation. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-08] Chen, Min (1999) Perturbation Methods for Image Synthesis. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-05] Nystroem, Mika (1999) Solving Certain Large Instances of the Quadratic Assignment Problem: Steinberg's Examples. Technical Report. California Institute of Technology. [CaltechCSTR:2001.010] Schkolne, Steven and Schroder, Peter (1999) Surface Drawing. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-03] Charpentier, Michel and Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-02] Manohar, Rajit (1998) The impact of asynchrony on computer architecture. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1998.cs-tr-98-12] Kiniry, Joseph R. (1998) A New Construct for Systems Modeling and Theory: The Kind. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-14] Zimmerman, Daniel M. (1998) A Preliminary Investigation into Dynamic Distributed Workflow. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-09] Ramamoorthi, Ravi (1998) Creating Generative Models from Range Images. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-05] Kiniry, Joseph R. (1998) IDebug: An Advanced Debugging Framework for Java. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-16] Kiniry, Joseph R. and Cheong, Elaine (1998) JPP: A Java Pre-Processor. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-15] Cataltepe, Zehra and Abu-Mostafa, Yaser S. and Magdon-Ismail, Malik (1998) No Free Lunch for Early Stopping. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-02] Rifkin, Adam and Massingill, Berna (1998) Performance Analysis for Mesh and Mesh-Spectral Archetype Applications. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-96-27] Lines, Andrew Matthew (1998) Pipelined Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-95-21] Winfree, Erik (1998) Simulations of Computing by Self-Assembly. Technical Report. California Institute of Technology. [CaltechCSTR:1998.22] Penzes, Paul (1998) The design of high performance asynchronous circuits for the Caltech MiniMIPS processor. Technical Report. California Institute of Technology. [CaltechCSTR:2002.001] Kiniry, Joseph R. (1998) The Specification of Dynamic Distributed Component Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-08] Laidlaw, David H. and Ahrens, Eric T. and Kremers, David and Avalos, Matthew J. and Readhead, Carol and Jacobs, Russell E. (1998) Visualizing Diffusion Tensor Images of the Mouse Spinal Cord. Technical Report. California Institute of Technology. [CaltechCSTR:1998.cs-tr-98-07] Winfree, Erik (1998) Whiplash PCR for O(1) Computing. Technical Report. California Institute of Technology. [CaltechCSTR:1998.23] Azuma, Daniel and Lin, James and Chun, Eugene and Richardson, Matthew (1997) A Framework for Migration of Networked Intercommunication Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-21] Chandy, K. Mani and Kiniry, Joseph and Rifkin, Adam and Zimmerman, Daniel and Tanaka, Wesley and Weisman, Luke (1997) A Framework for Structured Distributed Object Computing. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-07] Ramamoorthi, Ravi and Rifkin, Adam and Dimitrov, Boris and Chandy, K. Mani (1997) A General Resource Reservation Framework for Scientific Computing. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-19] Sivilotti, Paolo A. G (1997) A Method for the Specification, Composition, and Testing of Distributed Object Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-31] Massingill, Berna (1997) A Structured Approach to Parallel Programming. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-98-04] Heirich, Alan (1997) Analysis of Scalable Algorithms for Dynamic Load Balancing and Mapping with Application to Photo-realistic Rendering. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-98-10] Bax, Eric (1997) Combining Multilayer Networks to Combine Learning. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-98-01] Zimmerman, Daniel M. and Rothstein, Brian and Kaganovich, Yevgeniy and Pham, Khai (1997) Constructing Client-Server Multi-Player Asynchronous Networked Games Using a Single-Computer Model. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-16] Gornowicz, Galen G. and Laidlaw, David H. and Shan, Jerry W. and Lang, Daniel B. and Dimotakis, Paul E. (1997) De-aliasing Undersampled Volume Images for Visualization. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-11] Ramamoorthi, Ravi and Ball, Cindy and Barr, Alan H. (1997) Dynamic Splines with Constraints for Animation. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-03] Ramamoorthi, Ravi and Barr, Alan H. (1997) Fast Construction of Accurate Quaternion Splines. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-04] Bax, Eric (1997) Improved Uniform Test Error Bounds. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-15] Massingill, Berna L. and Chandy, K. Mani (1997) Parallel Program Archetypes. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-96-28] Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1997) Partial-Volume Bayesian Classification of Material Mixtures in MR Volume Data using Voxel Histograms. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-12] Nystroem, Mika (1997) Pipelined Asynchronous Cache Design. Technical Report. California Institute of Technology. [CaltechCSTR:2001.009] Aldrich, Jonathan and Dooley, James and Mandelsohn, Scott and Rifkin, Adam (1997) Providing Easier Access to Remote Objects in Client-Server Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-20] Bax, Eric (1997) Similar Classifiers and VC Error Bounds. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-14] Zorin, Denis N. (1997) Stationary Subdivision and Multiresolution Surface Representations. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-32] Bax, Eric and Cataltepe, Zehra and Sill, Joe (1997) The Central Classifier Bound - A New Error Bound for the Classifier Chosen by Early Stopping. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-08] Bax, Eric (1997) Validation of Average Error Rate Over Classifiers. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-17] Bax, Eric (1997) Validation of Voting Committee. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-13] Chandy, K. Mani and Rifkin, Adam and Kiniry, Joseph and Zimmerman, Daniel (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration. Technical Report. California Institute of Technology. [CaltechCSTR:1997.cs-tr-97-10] Maskit, Daniel (1996) A Compiler Algorithm for Managing Asynchronous Memory Read Completion. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-02] Schooler, Eve M. (1996) A Multicast User Directory Service for Synchronous Rendezvous. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-18] Thornley, John (1996) A Parallel Programming Model with Sequential Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-12] Chandy, K. Mani and Dimitrov, Boris and Le, Huy and Mandelson, Jakob and Richardson, Matthew and Rifkin, Adam and Sivilotti, Paolo A. G. and Tanaka, Wesley and Weisman, Luke (1996) A World-Wide Distributed System Using Java and the Internet. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-08] Kryukova, Svetlana and Massingill, Berna and Sanders, Beverly (1996) An Algorithm for Distributed Location Management in Networks of Mobile Computers. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-14] Zorin, Denis (1996) Ck Continuity of Subdivision Surfaces. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-23] Gimelshein, Sergey and Markelov, Gennady and Rieffel, Marc (1996) Collision Models in the Hawk DSMC Implementation. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-16] Chow, Bryan (1996) Compiler Techniques for Loosely-Coupled Multi-Cluster Architectures. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-97-18] Manohar, Rajit and Sivilotti, Paolo A. G. (1996) Composing Processes Using Modified Rely-Guarantee Specifications. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-22] Chandy, K. Mani and Schooler, Eve M. (1996) Designing Directories in Distributed Systems: A Systematic Framework. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-19] Zorin, Denis and Schroder, Peter and Sweldens, Wim (1996) Interpolating Subdivision for Meshes of Arbitary Topology. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-06] Xu, Jiazhao Jessie (1996) On Detection and Generation of Dead-lock free Reshuffling in the VLSI Synthesis Method. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-10] Nelson, Bradley D. (1996) Portable Graphical Tools for Concurrent Plasma Simulation. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-24] Bax, Eric (1996) Recurrence-Based Reductions for Inclusion and Exclusion Algorithms Applied to P Problems. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-01] Sivilotti, Paolo A. G. and Chandy, K. Mani (1996) Reliable Synchronization Primitives for Java. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-11] Chandy, K. Mani and Rifkin, Adam (1996) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-15] Bax, Eric (1996) Tailoring the Permanent Formula to Problem Instances. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-17] Massingill, Berna L. (1996) The Mesh Archetype. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-25] Davis, Gregg and Massingill, Berna L. (1996) The Mesh Archetype. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-26] Zadik, Yair (1996) The Message Driven File System: a Network Accessible File System for Fine-Grain Message Passing Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1996.cs-tr-96-13] Lee, Tak Kwan (1995) A General Approach to Performance Analysis and Optimization of Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-07] Fleischer, Kurt W. (1995) A Multiple-Mechanism Developmental Model for Defining Self-Organizing Geometric Structures. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-14] Watts, Jerrell (1995) A Practical Approach to Dynamic Load Balancing. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-13] Tierno, Jose (1995) An Energy-Complexity Model for VLSI. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-02] Rieffel, Marc A. (1995) Concurrent Simulations of Plasma Reactors for VLSI Manufacturing. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-12] Zorin, Denis N. (1995) Correction of Geometeric Perceptual Distortions in Pictures. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-22] Nystroem, Mika (1995) Et2 and Multi-Voltage Logic. Technical Report. California Institute of Technology. [CaltechCSTR:2001.008] Manohar, Rajit (1995) Folded FIFOs. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-09] Laidlaw, David H. (1995) Geometric Model Extraction from Magnetic Resonance Volume Data. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-05] Kryukova, Svetlana A (1995) Parallel Programming Archetypes in Combinatorics and Optimization. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-06] Thornley, John (1995) Performance of a Class of Highly-Parallel Divide-and-Conquer Algorithms. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-10] Fleischer, Kurt (1995) Polygon Scan Conversion Derivations. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-91-12] Manohar, Rajit and Martin, Alain J. (1995) Quasi-Delay-Insensitive Circuits are Turing-Complete. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-11] Leino, K. Rustan M. (1995) Towards Reliable Modular Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1995.cs-tr-95-03] Pinkstone III, Donald (1994) A Compiler for a Subset of Modula-3. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-17] Chow, Bryan and Fyfe, Andrew and Maskit, Daniel and Taylor, Stephen and Watts, Jarrell R. and Zadik, Yair (1994) A Development Methodology for Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-16] Maskit, Daniel (1994) A Message-Driven Programming System for Fine-Grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-03] Heirich, Alan and Taylor, Stephen (1994) A Parabolic Load Balancing Method. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-13] Sivilotti, Paul A. G. and Carlin, Peter A. (1994) A Tutorial for CC++. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-02] Laidlaw, David H. and Fleischer, Kurt W. and Barr, Alan H. (1994) Classification of Material Mixtures in Volume Data for Visualization and Modeling. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-07] Leino, K. Rustan M. (1994) Computing Permutation Encodings. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-10] Carlin, Peter (1994) Distributed Linear Algebra on Networks of Workstations. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-14] Palmer, Michael E. (1994) Immersing the Scientist in Data: Interactive Visualization of Unstructured Scientific Data on Concurrent Architectures. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-06] Chandy, K. Mani and Manohar, Rajit and Massingill, Berna L. and Meiron, Daniel I. (1994) Integrating Task and Data Parallelism with the Collective Communication Archetype. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-08] Tierno, Jose A. and Martin, Alain J. (1994) Low-Energy Asynchronous Memory Design. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-21] Manohar, Rajit and Chandy, K. Mani (1994) Mach-Based Channel Library. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-15] Van de Snepsscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-01] Goldsmith, Jeff (1994) Optimized Computer-Generated Motions for Animation. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-18] Bax, Eric (1994) Recurrence-based Heuristics for the Hamiltonian Path Inclusion and Exclusion and Exclusion Algorithm. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-11] Heirich, Alan (1994) Scalable Load Balancing by Diffusion. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-04] Hofstee, H. Peter (1994) Synchronizing Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-19] Cataltepe, Zehra (1994) The Scheduling Problem in Learning From Hints. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-09] Manohar, Rajit and Leino, K. Rustan M. (1994) Theory and Use of Conditional Composition. Technical Report. California Institute of Technology. [CaltechCSTR:1994.cs-tr-94-12] Thornley, John (1993) A Collection of Declarative Ada Example Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-05] Chandy, K. Mani and Foster, Ian (1993) A Deterministic Notation for Cooperating Processes. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-31] Zadik, Yair and Taylor, Stephen (1993) A File System for the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-27] Ainsworth, Paul and Kryukova, Svetlana (1993) A Multimedia Interactive Environment Using Program Archetypes: Divide-and-Conquer. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-36] Heirich, Alan and Taylor, Stephen (1993) A Parabolic Theory of Load Balance. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-25] Hofstee, H. Peter (1993) A problem in the regularity calculus. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-42] Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-21] Kirk, David B. (1993) Accurate and Precise Computation using Analog VLSI, with Applications to Computer Graphics and Neural Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-08] Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan (1993) An Asynchronous Microprocessor in Gallium Arsenide. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-38] Chandy, K. Mani and Kesselman, Carl (1993) CC++: A Declarative Concurrent Object Oriented Programming Notation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-01] Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-29] Tierno, Jose A. (1993) Designing Asynchronous Circuits in Gallium Arsenide. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-19] Binau, Ulla (1993) Distributed Diners: From UNITY Specification to CC++ Implementation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-20] Maskit, Daniel and Taylor, Stephen (1993) Experiences in Programming the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-11] Thornley, John (1993) Integrating Functional and Imperative Parallel Programming: C++ Solutions to the Salishan Problems. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-40] Massingill, Berna (1993) Integrating Task and Data Parallelism. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-01] Seizovic, Jakov N. (1993) Introduction to C+- (Submicron Systems Architecture Project). Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-32] Leino, K. Rustan M. (1993) Multicomputer Programming with Modula-3D. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-15] Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-19] Thornley, John (1993) Parallel Programming with Declarative Ada. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-03] Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-23] Taylor, Stephen (1993) Progress Report to the Advanced Research Projects Agency on the Scalable Concurrent Programming Project. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-35] Chandy, K. Mani (1993) Properties of Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-24] Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-33] Boden, Nanette Jackson (1993) Runtime Systems for Fine-Grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-10] Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-34] Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-10] Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-37] Maskit, Daniel and Zadik, Yair and Taylor, Stephen (1993) System Tools for the J-Machine. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-12] Rifkin, Adam (1993) Teaching Archetypal Design with an Electronic Textbook. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-13] Seizovic, Jakov N. (1993) The Architecture and Programming of a Fine-Grain Multicomputer. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-18] Carlin, Peter and Chandy, K. Mani and Kesselman, Carl (1993) The Compositional C++ Language Definition. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-92-02] Thornley, John (1993) The Programming Language Declarative Ada Reference Manual. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-04] Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-26] Chandy, K. Mani (1993) Using Triples to Reason About Concurrent Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-02] Pertel, Michael J. (1992) A Critique of Adaptive Routing. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-06] Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-91-04] Pertel, Michael J. (1992) A Simple Simulator for Multicomputer Routing Networks. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-04] Lukkien, Johan J. and Van de Snepscheut, Johan L. A. (1992) A Tutorial Introduction to Mosaic Pascal. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-91-02] Steele, Craig S. (1992) Affinity: A Concurrent Programming System for Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-08] Chandy, K. Mani and Kesselman, Carl (1992) Compositional C++: Compositional Parallel Programming. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-13] Sanouillet, Remy D. (1992) Computer Mediated Communication. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-30] Hofstee, H. Peter (1992) Constructing some Distributed Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-16] Nielsen, Christian D. and Martin, Alain J. (1992) Delay-Insensitive Multiply-Accumulate Unit. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-03] Leino, K. Rustan M. (1992) Extensions to an Object Oriented Programming Language for Programming Fine-grain Multicomputers. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-26] Fyfe, William John Andrew (1992) Invariance Hints and the VC Dimension. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-20] Laidlaw, David H. (1992) Material Classification of Magnetic Resonance Volume Data. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-21] Pertel, Michael J. (1992) Mesh Distance Formulae. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-05] Esselink, Klaas and van de Snepscheut, Jan L.A. (1992) Molecular Dynamics on the Mosaic. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-25] Binau, Ulla (1992) Mutual Exclusion in a Token Ring in CC++. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-11] Back, R.J.R. (1992) Predicate Transformers and Higher Order Logic. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-24] Back, R.J.R. (1992) Refinement Calculus, Lattices and Higher Order Logic. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-22] Back, R.J.R. (1992) Refinement of Parallel and Reactive Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-23] Seitz, Charles L. and Martin, Alain and Van de Snepscheut, Jan L. A. (1992) Submicron Systems Architecture Project : Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-17] Hazewindus, Pieter Johannes (1992) Testing Delay-Insensitive Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-14] Chandy, K. Mani and Kesselman, Carl (1992) The Derivation of Compositional Programs. Technical Report. California Institute of Technology. [CaltechCSTR:1992.cs-tr-92-18] Foster, Ian and Taylor, Stephen (1992) A compiler approach to scalable concurrent program design. Technical Report. California Institute of Technology, Pasadena, CA. [CaltechCSTR:1992.cs-tr-92-07] Hofstee, Peter H. and Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) A Distributed Implementation of a Task Pool. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-05] Dyer, Lounette M. (1991) An Object-Oriented Real-Time Simulation of Music Performance Using Interactive Control. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-11] DeWeerth, Stephen P. (1991) Analog VLSI Circuits for Sensorimotor Feedback. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-13] Martin, Alain J. (1991) Asynchronous Datapaths and the Design of an Asynchronous Adder. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-08] Schweizer, David Lawrence (1991) Combinatorial Design of Tolerant Communicaiton Structures, with Applications to Non-Blocking Switches. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-09] Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-07] Burns, Steven M. (1991) Performance Analysis and Optimization of Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-01] Seitz, Charles L. (1991) Submicron Systems Architecture Project :Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-10] Seitz, Charles L. (1991) Submicron Systems Architecture: Semiannual Technical Report. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-03] Martin, Alain J. (1991) Synthesis of Asynchronous VLSI Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-93-28] Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-91-06] Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-90-13] Chandy, K. Mani and Taylor, Stephen (1990) A Primer for Program Composition Notation. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-10] Kalra, Devendra (1990) A Unified Framework for Constraint-Based Modeling. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-15] Martin, Alain J. (1990) Asynchronous Circuits for Token-Ring Mutual Exclusion. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-09] Judd, Stephen (1990) Characterizing NP and Measuring Instance Complexity. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-11] Gupta, Rajiv and Kajiya, James (1990) Compiler Optimization of Array Data Storage. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-07] Martin, Alain J. (1990) Limitations to Delay-Insensitivity in Asynchronous Circuits. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-02] Lukkien, Johan J. (1990) Parallel Program Design and Generalized Weakest Preconditions. Technical Report. California Institute of Technology. [CaltechCSTR:1990.cs-tr-90-16] Burns, Steven M. and Martin, Alain J. (1990) Performance Analysis and Optimization of Asynchronous Circuits. Technical Report. California Institut |