|
CSG Memos This is a compilation of CSG memos from 1964 to 1992. This list will be added to in the future. All memos are in pdf form. If you have questions, please send email to sally@csail.mit.edu Machine Structures Group - Memo No. 1 MAC-M-137, 1964 A MAchine Structure for Dynamic Storage Allocation by J. B. Dennis Memo No. 1 Machine Structures Group - Memo No. 2 MAC-M-143, 1964 Research Program in Machine Structure by J. B. Dennis Memo No. 2 Machine Structures Group - Memo No. 3 MAC-M-151, 1964 Study of Requirements for Highly Interactive Typewriter Communication with a Multi Access Computer by J. B. Dennis Memo No. 3 Machine Structures Group - Memo No. 4 MAC-M-163, June 11, 1964 A Processor Design: MAP-1 by Earl C. Van Horn Memo No. 4 Machine Structures Group - Memo No. 5 MAC-M-186, 1964 A Note on Asynchronous Parallel Processing by H. Witsenhausen Memo No. 5 Machine Structures Group - Memo No. 6 MAC-M-181 - October 1964 Nesting and Recursion of Procedures in a Segmented Memory by J. B. Dennis, E. C. Van Horn Memo No. 6 Machine Structures Group - Memo No. 7 MAC-M-188 - October 1964 Automatic Scheduling of Priority Processes by J. B. Dennis Memo No. 7 Machine Structures Group - Memo No. 8 MAC-M-189 - September 1964 An Example of Intersphere Communication and Asynchronous Parallel Processing-- Typewriter Console Message Handling by Protected Service Routines by J. B. Dennis Memo No. 8 Machine Structures Group - Memo No. 9 MAC-M-200, 1964 Processes, Spheres of Protection and Independent Computations by Earl C. Van Horn Memo No. 9 Machine Structures Group - Memo No. 10 Project MAC - November 1965 Techniques for Manipulating Regular Expressions by Robert McNaughton Memo No. 10 Machine Structures Group - Memo No. 11 Project MAC - April 1965 Preliminary Description of Multi-Process Automaton of Type A by Earl C. Van Horn Memo No. 11 Machine Structures Group - Memo No. 12 Project MAC - April 1965 Veitch's Theorem by Robert McNaughton Memo No. 12 Computation Structures Group - Memo No. 21 MIT-Project MAC - A Statistical Model For Console Behavior In Multiuser Computers by Jjorge E. Rodriguez Memo No. 21 Machine Structures Group - Memo No. 22 Electronic Systems Laboratory - March 1966 Analysis and Transformation of Computational Processes by Peter J. Dennison Memo No. 22 Machine Structures Group - Memo No. 23 Project MAC - March 1966 Parenthesis Grammars by Robert McNaughton Memo No. 23 Machine Structures Group - Memo No. 24 MAC-M-401 - March 1966 Memory Allocation in Multiprogrammed Computers by Peter J. Denning Memo No. 24 Machine Structures Group - Memo No. 25 Project MAC - December 1966 On the Equivalence of Two Asynchronous Computataion Description Schemes by Fred L.Luconi Memo No. 25 Machine Structures Group - Memo No. 26 MAC-M-403 - 1967 Effects of Scheduling on File Memory Operations by Peter J. Denning Memo No. 26 (revised) Computation Structures Group - Memo No. 27 Project MAC - February 1967 The Design and Transformation of Asynchronous Computational Structures (Part 1 - Completely Deterministic Structure Graphs) by Fred Luconi Memo No. 27 Computation Structures Group - Memo No. 28 Project MAC Generalized Package Notation by Fred Luconi Memo No. 28 Computation Structures Group - Memo No. 29 196?? A Simple Proof of the Correspondence Theorem by Peter J. Denning, Jack B. Dennis Memo No. 29 Computation Structures Group - Memo No. 30 MIT-Project MAC - The Design and Transformation of Asynchronous Computational Structures (Part II - Output Deterministic Structure Graphs). by Fred Luconi Memo No. 30 Computation Structures Group - Memo No. 31 MIT-Project MAC - July, 1967 Resource Allocation in a Computer Utility by Peter J. Denning Memo No. 31 Computation Structures Group - Memo No. 32 MIT-Project MAC - MAC-M-409 Programming Generality, Parallelism and Computer Architecture. by Jack B. Dennis Memo No. 32 Computation Structures Group - Memo No. 33-1 LCS - January, 1978 An Anomaly in the Specifications of Nondeterminate Packet Systems by J. Dean Brock and William B. Ackerman Memo No. 33-1 Computation Structures Group - Memo No. 36 January 13, 1969 Future Trends in Time Sharing Systems by Jack B. Dennis Memo No. 36 Computation Structures Group - Memo No. 36-1 June 23, 1969 Future Trends in Time-Sharing Systems by Jack B. Dennis Memo No. 36-1 Computation Structures Group - Memo No. 39 Date?? Experimental Data for the Working Set Model by Lawrence Seligman Memo No. 39 Computation Structures Group - Memo No. 40 May, 1969 Macro-modular Circuit Design by Suhas S. Patil Memo No. 40 Computation Structures Group - Memo No. 42 May 1969 n-server m-user Arbiter bySuhas S. Patil Memo No. 42 Computation Structures Group - Memo No. 45 January, 1970 Coordinated Sharing of Resources in Asynchronous Systems byPrakash Hebalkar Memo No. 45 Computation Structures Group - Memo No. 46 April, 1970 Some Structural Properties of Demand Graphs by Prakash G. Hebalkar Memo No. 46 Computation Structures Group - Memo No. 48 April 1970 Deadlock Avoidance in Multi-resource Systems by Prakash G. Hebalkar Memo No. 48 Computation Structures Group - Memo No. 49 March 27, 1970 Information Flow in State Machines Anatol Holt and Fred Commoner Memo No. 49 Computation Structures Group - Memo No. 50 April, 1970 Proposed Research in Computation Structures by Jack B. Dennis Memo No. 50 Computation Structures Group - Memo No. 51 September, 1970 Informal Outline of a Theory of Parallel Computation Schemata for Simple Algorithms. by Jack B. Dennis Memo No. 51 Computation Structures Group - Memo No. 52 October, 1970 On the Exchange of Information by Jack B. Dennis Memo No. 52 Computation Structures Group - Memo No. 53-1 January, 1972 Compuatation Structures Group - Progress Report 1969-70 Memo No. 53-1 Computation Structures Group - Memo No. 54 January 1971 Speed Independent Asynchronous Circuits by Jack B. Dennis and Suhas S. Patil Memo No. 54 Computation Structures Group - Memo No. 55 January 1971 Sharing in J. B. Dennis' Programming Generality, Parallelism, and Computer Architecture by Paul J. Fox Memo No. 55 Computation Structures Group - Memo No. 56 February 1971 Asynchronous Arbiters by William W. Plummer Memo No. 56 Computation Structures Group - Memo No. 58 February 1971 An Interpreter for a Foundation Program Language: First Version by Jack B. Dennis, Paul J. Fox Memo No. 58 Computation Structures Group - Memo No. 59 March 1971 Surveillance Mechanisms in a Secure Computer Utility by Leo J. Rotenberg Memo No. 59 Computation Structures Group - Memo No. 60 July 1971 (Corrected November 1971) On the Design and SPecification of a Common Base Language by Jack B. Dennis Memo No. 60 Computation Structures Group - Memo No. 61 August 1971 ON the Number of Bits Required to IMplement An Associative Memory by Robert M. Fano Memo No. 61 Computation Structures Group - Memo No. 62 October 1971 A Look at "The Controlled Execution of Parallel Programs Operation on Structured Data" by Ian Campbell-Grant by Paul J. Fox Memo No. 62 Computation Structures Group - Memo No. 63 November 1971 Management of Names in a Computer System by Jack B. Dennis Memo No. 63 Computation Structures Group - Memo No. 64 January 1972 Computation Structures Group - Progress Report 1970-71 Memo No. 64 Computation Structures Group - Memo No. 65-1 June 1972 Concurrency in Software Sytems by Jack B. Dennis Memo No. 65-1 Computation Structures Group - Memo No. 66 January 1972 Translation of a Block Structured Language Into the Common Base Language by Edward Flinker Memo No. 66 Computation Structures Group - Memo No. 67 April 1972 (Revised June 1972) Forward Acting n x m Arbiter by Suhas S. Patil Memo No. 67 Computation Structures Group - Memo No. 68 May 1972 Petri Nets and Languages by Henry Baker Memo No. 68 Computation Structures Group - Memo No. 69 June 1972 The Design and Construction of Software Systems by Jack B. Dennis Memo No. 69 Computation Structures Group - Memo No. 70 June 1972 Modularity by Jack B. Dennis Memo No. 70 Computation Structures Group - Memo No. 71 October 1972 The Description and Realization of Digital Systems by S. S. Patil and J. B. Dennis Memo No. 71 Computation Structures Group - Memo No. 72 October 1972 An Approach to Proving the Correctness of Data Base Operations by Igor T. Hawryszkiewycz, Jack B. Dennis Memo No. 72 Computation Structures Group - Memo No. 73 December 1972 CIrcuit Implementation of Petri Nets by Suhas S. Patil Memo No. 73 Computation Structures Group - Memo No. 74 February 1973 A Contour Model Evaluator for X-Calculus Expressions by S. Nimal Amerasinghe and D. Austin Henderson, Jr. Memo No. 74 Computation Structures Group - Memo No. 75-1 February 1974 Bibliography on the Semantics of Programming Languages by Steven Zilles Memo No. 75-1 Computation Structures Group - Memo No. 76 April 1973 A Base Language Evaluator for X-Calculus Expressions by D. Austin Henderson, Jr. and S. Nimal Amerasinghe Memo No. 76 Computation Structures Group - Memo No. 77 April 1973 Computation Structures group - Progress Report 1971-72 by Steven Zilles Memo No. 77 Computation Structures Group - Memo No. 78-1 June 1974 Extended Stata-Machine Allocatable Nets (ESMA), an extension of Free Choice Petri net results by Michael Hack Memo No. 78-1 Computation Structures Group - Memo No. 79 July 1973 Rabin's Proof of the Undecidability of the Reachability Set Inclusion Problem of Vector Addition Systems by Henry G. Baker, Jr. Memo No. 79 Computation Structures Group - Memo No. 80 May 1973 SPIL: A Language for System Design and Implementation by Barbara H. Liskov Memo No. 80 Computation Structures Group - Memo No. 81-1 September 1973 Introduction to Data Flow Schemas by Jack B. Dennis, John B. Fosseen Memo No. 81-1 Computation Structures Group - Memo No. 82 Becky Clark A Speed-Independent Implementation of Data Flow Schemas June 1973 Memo No. 82 Computation Structures Group - Memo No. 83 June 1973 The Flow of Lattice Diagrams (or What's an S-Expression Like You Doing in a Lattice Like This?) by Mike Van De Vanter Memo No. 83 Computation Structures Group - Memo No. 83 June 1973 The Flow of Lattice Diagrams (or What's an S-Expression Like You Doing in a Lattice Like This?) by Mike Van De Vanter Memo No. 83 Computation Structures Group - Memo No. 84 June 1973 Translation of a Block Structured Language With Non-Local Go To Statements and Label Variables to the Base Language by Nimal Amerasinghe Memo No. 84 Computation Structures Group - Memo No. 85 June 1973 The Semantic Specification of SNOBOL in the Common Base Language by Caleb Drake Memo No. 85 Computation Structures Group - Memo No. 86 August 1973 Asynchronous Push-Down Stacks by Frederick C. Furtek Memo No. 86 Computation Structures Group - Memo No. 87 August 1973 Translation of Simula 67 Into the Common Base Language by Philippe Coueignoux, Philippe Janson Memo No. 87 Computation Structures Group - Memo No. 88 September 1973 An Approach to Abstraction by Barbara Liskov, Stephen Zilles Memo No. 88 Computation Structures Group - Memo No. 90 October 1973 A Semantics for Structured Programs by D. Austin Henderson, Jr. Memo No. 90 Computation Structures Group - Memo No. 91 October 1973 Synchronizers and Arbiters by Suhas S. Patil Memo No. 91 Computation Structures Group - Memo No. 92 October 1973 The Current Challenge to Computer System Architects by Jack B. Dennis Memo No. 92 Computation Structures Group - Memo No. 94 December 1973 A Petri Net Version of Rabin's Undecidability Proof for Vector Addition Systems by Michel Hack Memo No. 94 Computation Structures Group - Memo No. 95 March 1974 Decision Problems for Petri Nets and Vector Addition Systems by Michel Hack Memo No. 95 Computation Structures Group - Memo No. 96 January 1974 Computation Structures Group - Progress Report 1972-73 Memo No. 96 Computation Structures Group - Memo No. 97 February 1974 Proposed Research on Semantic Foundations for Structured Programming Part II of a Proposal to NSF for Further Research in Computation Structures by Jack B. Dennis, Barbara H. Liskov Memo No. 97 Computation Structures Group - Memo No. 98 February 1974 Proposed Research on Concurrent Systems Part III of a Proposal to NSF for FUrther Research in Computation Structures by Suhas S. Patil Memo No. 98 Computation Structures Group - Memo No. 99 March 1975 Decidability of Equivalence for a Class of Data Flow Schemas by Joseph E. Qualitz Memo No. 99 Computation Structures Group - Memo No. 101 August 1974 The Design of a Highly Parallel Computer for Signal Processing Applications by Jack B. Dennis, David P. Misunas Memo No. 101 Computation Structures Group - Memo No. 103 June 1974 Bounded and Unbounded Delay Synchronizers and Arbiters by Suhas S. Patil Memo No. 103 Computation Structures Group - Memo No. 104 August 1974 Data-Flow Computer Architecture by Jack B. Dennis, David P. Misunas, P. S. Thiagrarjan Memo No. 104 Computation Structures Group - Memo No. 107 August 1974 The Recursive Equivalence of the Reachability Problem and the Liveliness Problem for Petri Nets and Vector Addition Systems by Michael Hack Memo No. 107 Computation Structures Group - Memo No. 108 November 1974 A Computer Architecture for Highly Parallel Signal Processing by Jack B. Dennis, David P. Misunas Memo No. 108 Computation Structures Group - Memo No. 109-1 October 1974 On Storage Management for Advanced Programming Languages by Jack B. Dennis Memo No. 109-1 Computation Structures Group - Memo No. 110 September 1974 Proofs of Correctness of Dataflor Programs by Joseph E. Stoy Memo No. 110 Computation Structures Group - Memo No. 111-1 February 1975 An Asynchronous Logic Array by Suhas S. Patil Memo No. 111-1 Computation Structures Group - Memo No. 112-1 November 1974 A Note on CLU by Barbara Liskov Memo No. 112-1 Computation Structures Group - Memo No. 113 March 1975 Decidability of Equivalence for Two Classes of Iteration Schemas by Joseph E. Qualitz Memo No. 113 Computation Structures Group - Memo No. 115 February 1975 Performance of an Elementary Data-Flow Processor by David P. Misunas Memo No. 115 Computation Structures Group - Memo No. 116 February 1975 Deadlock Avoidance in a Data-Flow Architecture by David P. Misunas Memo No. 116 Computation Structures Group - Memo No. 117 March 1975 Specification Techniques for Data Abstractions by Barbara H. Liskov and Stephen N. Zilles Memo No. 117 Computation Structures Group - Memo No. 118 March 1975 Reducibility of the Equivalence Proglem for Multi-tape Automata to the Equivalence Problem for Independent Location Iteration Schemas by Joseph E. Qualitz Memo No. 118 Computation Structures Group - Memo No. 119 March 1975 Three Exerpts from the 1973-74 Project MAC Progress Report: I: Algebraic Specification of Data Types (S. N. Zilles) - pg. 1 II: The Binding Model (D. A. Henderson) - pg. 13 III: Data Flow Computer Architecture (J. B. Dennis and J. E. Rumbaugh) - pg. 24 Memo No. 119 Computation Structures Group - Memo No. 120 March 1975 Micro-Control for Parallel Asynchronous Computers by Suhas S. Patil Memo No. 120 Computation Structures Group - Memo No. 121 April 1975 The Equality Problem for Vector Addition Systems is Undecidable by Michel Hack Memo No. 121 Computation Structures Group - Memo No. 122 April 1975 Cellular Arrays for Asynchronous Control by Suhas S. Patil Memo No. 122 Computation Structures Group - Memo No. 123 April 1975 A New Approach to Petri Nets by Frederick Furtek Memo No. 123 Computation Structures Group - Memo No. 124 June 1975 Petri Net Languages by Michael Hack Memo No. 124 Computation Structures Group - Memo No. 125 June 1975 An Examination of a Proposed Mathematical Semantics Specification for SNOBOL4 by Stephen T. Kent Memo No. 125 Computation Structures Group - Memo No. 126 July 1975 On Structured Digital Systems by Suhas Patil Memo No. 126 Computation Structures Group - Memo No. 127-1 August 1975, Revised November 1975 A Computer Simulation Facility for Packet Communication Architecture by Clement K. C. Leung, David P. Misunas, Andrij Neczwid, Jack B. Dennis Memo No. 127-1 Computation Structures Group - Memo No. 128-1 September 1976 Performance Analysis of a Data-Flow Processor by David P. MIsunas Memo No. 128-1 Computation Structures Group - Memo No. 129 August 1975 Structure Processing in a Data-Flow Computer by David P. MIsunas Memo No. 129 Computation Structures Group - Memo No. 130 August 1975 Packet Communication Architecture by Jack B. Dennis Memo No. 130 Computation Structures Group - Memo No. 131 September 1975 An Example of Programming With Abstract Data Types by Jack B. Dennis Memo No. 131 Computation Structures Group - Memo No. 132 October 1975 Proposed Research on Architectural Principles for Large Memory Systems by J. B. Dennis Memo No. 132 Computation Structures Group - Memo No. 133 October 1975 An Asynchronous Model of a Small Computer by Harold Goldberg Memo No. 133 Computation Structures Group - Memo No. 134-1 January 1977 (Revised June 1979) A highly Parallel Processor Using a Data Flow Machine Language by Jack B. Dennis, Clement K. Leung, David P. Misunas< Memo No. 134-1 Computation Structures Group - Memo No. 134-2 January 1977 (Revised - June 1979, Revised - June 1980) A highly Parallel Processor Using a Data Flow Machine Language by Jack B. Dennis, Clement K. Leung, David P. Misunas Memo No. 134-2 Computation Structures Group - Memo No. 135 December 1975 Mathematical Semantics and Data Flow Programming by Paul R. Kosinski Memo No. 135 Computation Structures Group - Memo No. 136 February 1976 An Introduction to CLU by Barbara H. Liskov Memo No. 136 Computation Structures Group - Memo No. 137 April 1976 An Access Control Facility for Programming Languages by Anita K. Jones Memo No. 137 Computation Structures Group - Memo No. 138-1 May 1976 Implementation Schemes for Data Flow Procedures by Glen Seth Miranker Memo No. 138-1 Computation Structures Group - Memo No. 139-1 June 1976 An Analysis of Inline Substitution for a Structured Programming Language by Robert Scheifler Memo No. 139-1 Computation Structures Group - Memo No. 140 July 1976 Computer Architecture and the Cost of Software by Jack B. Dennis Memo No. 140 Computation Structures Group - Memo No. 141-1 April 1977 An Appraisal of Program Specifications by Barbara H. Liskov, Valdis Berzins Memo No. 141-1 Computation Structures Group - Memo No. 142 1976 Error Detection and Recovery in a Data-Flow Computer by David P. Misunas Memo No. 142 Computation Structures Group - Memo No. 143 September 1976 Proving Packet Communications Architectures Correct by Glen Setha Miranker Memo No. 143 Computation Structures Group - Memo No. 144 August 1977 Abstract Mechanisms in CLU by Barbara Liskov, Alan Snyder, Russell Atkinson, and Craig Schaffert Memo No. 144 Computation Structures Group - Memo No. 145 January 1977 The Synchronizer Problem by Glen Seth Miranker Memo No. 145 Computation Structures Group - Memo No. 146-1 June 1977 A Language Extension for Expressing Constraints on Data Access by Anita K. Jones, Barbara H. Liskov Memo No. 146-1 Computation Structures Group - Memo No. 147 May 1977 Application of Data Flow Computation to the Weather Problem by Jack B. Dennis, Ken D. S. Weng Memo No. 147 Computation Structures Group - Memo No. 148-2 June 1978 Concurrent Programming by Randal E. Bryant, Jack B. Dennis Memo No. 148-2 Computation Structures Group - Memo No. 149 June 1977 A Portable Compiler by Alan Snyder Memo No. 149 Computation Structures Group - Memo No. 150 Progress Report 1975-76 Programming Methodology Group - Progress Report 1975-76 Memo No. 150 Computation Structures Group - Memo No. 151 August 1977 Analysis of Structures for Packet Communication by Robert G. Jacobsen, David P. Misunas Memo No. 151 Computation Structures Group - Memo No. 152 September 1977 Opening Remarks (To the IFIP Working Conference on Formal Description of Programming Concepts) by Jack Dennis Memo No. 152 Computation Structures Group - Memo No. 153-1 November 1977 Denotational and Axiomatic Definitions for Path Expressions by Valdis Berzins, Deepak Kapur Memo No. 153-1 Computation Structures Group - Memo No. 154 November 1977 CLU Information Package by Robert W. Scheifler, Alan Snyder Memo No. 154 Computation Structures Group - Memo No. 155-3 November 1979, IEEE Transaction sof Software Engineering Exception Handling in CLU by Barbara H. Liskov, Alan Snyder Memo No. 155-3 Computation Structures Group - Memo No. 156 January 1978 A Structure Controller for Data Flow Computers by William B. Ackerman Memo No. 156 Computation Structures Group - Memo No. 157 December 1977 A Straightforward Denotational Semantics for Non-Determinate Data Flow P by Paul R. Kosinski Memo No. 157 Computation Structures Group - Memo No. 158-1 22 June 1978 Data Model Equivalance by Sheldon A. Borkin Memo No. 158-1 Computation Structures Group - Memo No. 159 March 1978 Data Flow Computer Performance for the GISS Weather Model by David R. Nadler Memo No. 159 Computation Structures Group - Memo No. 160 May 1978 Data Flow Computer Architecture (Research Proposal SUbmitted to the Department of Energy) Memo No. 160 Computation Structures Group - Memo No. 161 July 1978 CLU Reference Manual by Barbara Liskov, Eliot Moss, Craig Schaffer, Bob Scheifler, Alan Snyder Memo No. 161 Computation Structures Group - Memo No. 162 July 1978 Design of an On-line Byte-level Pipelined Arithmetic Processor by Arif M. Feridun Memo No. 162 Computation Structures Group - Memo No. 163 July 1978 Analysis of Structures for Packet Sorting Networks by Robert G. Jacobsen Memo No. 163 Computation Structures Group - Memo No. 164 July 1978 The Design of an Artitration Network for a Data-Flow Processor by mary E. McNally Memo No. 164 Computation Structures Group - Memo No. 165 July 1978 A Structure Processing Facility for Data Flow Computers by William B. Ackerman Memo No. 165 Computation Structures Group - Memo No. 166 August 1978 Practical Benefits of Research in Programming Methodology by Barbara Liskov Memo No. 166 Computation Structures Group - Memo No. 167 October 1978 Aspects of Implementing CLU by Russell Atkinson, Barbara Liskov, Robert Scheifler Memo No. 167 Computation Structures Group - Memo No. 168 October 1978 Computation Structures Group Progress Report 1974-1975 Memo No. 168 Computation Structures Group - Memo No. 169 October 1978 Computation Structures Group Progress Reposrt 1975-1976 Memo No. 169 Computation Structures Group - Memo No. 170 October 1978 Computation Structures Group Progress Report 1976-1977 Memo No. 170 Computation Structures Group - Memo No. 171 October 1978 Semantics of Distributed COmputing Progress Report of the Distributed Systems Group 1977 - 1978 by D. G. Clark, I. Greif, B. LIskov, L. Svobodova Memo No. 171 Computation Structures Group - Memo No. 172-1 June 1980 Consistent Semantics for a Data Flow Language by J. Dean Brock Memo No. 172-1 Computation Structures Group - Memo No. 172 January 1979 Consistent Semantics for a Data Flow Language by J. Dean Brock Memo No. 172 Computation Structures Group - Memo No. 173 February 1979 Computation Structures Group Progress Report July 1, 1977 - June 31, 1978 Memo No. 173 Computation Structures Group - Memo No. 174 March 1979 Data Flow Computer Architecture (Research Proposal Submitted to the National Science Foundation) Memo No. 174 Computation Structures Group - Memo No. 176 March 1986 A Processor Module for Data Flow Computer Development Memo No. 176 Computation Structures Group - Memo No. 177 Date?? Title? Memo No. 177 Computation Structures Group - Memo No. 177-1 May 25, 1979 (Revised June 1981) Data Flow Languages by William Ackerman Memo No. 177-1 Computation Structures Group - Memo No. 178 January 1980 Design Considerations for a Partial Differential Equation Machine by Arvind, Randal E. Bryant Memo No. 178 Computation Structures Group - Memo No. 179-1 June 1979 (Revised January 1980) Expressiveness of the Operation Set of a Data Abstraction by Deepak Kapur, Srivas Mandayam Memo No. 179-1 Computation Structures Group - Memo No. 180 An Abstract Implementation for Concurrent Computation With Streams by Jack B. Dennis, Ken Weng Memo No. 180 Computation Structures Group - Memo No. 181 July 1979 Translation and Optimization of Data Flow Programs by J. Dean Brock, Lynn B. Montz Memo No. 181 Computation Structures Group - Memo No. 182 July 1979 Simulation on a Distributed System by Randal E. Bryant Memo No. 182 Computation Structures Group - Memo No. 183-1 August 1979 (Revised December 1979) The Varieties of Data Flow Computers by Jack B. Dennis Memo No. 183-1 Computation Structures Group - Memo No. 184 September 1979 Modular Program Construction Using Abstractions by Barbara Liskov Memo No. 184 Computation Structures Group - Memo No. 185 October 1979 ADL: An Architecture Description Langauge for Packet Communication Systems by Clement K-C Leung Memo No. 185 Computation Structures Group - Memo No. 186 November 1979 Programming Methodology Group Progress Report 1978-79 Memo No. 186 Computation Structures Group - Memo No. 188 January 1980 Data Flow Computing The VAL Language by James R. McGraw Memo No. 188 Computation Structures Group - Memo No. 189 February 1980 Notes on Using TOPS-20 by Eugene Stark Memo No. 189 Computation Structures Group - Memo No. 190 February 1980 Computation Structures Group Progress Report July 1, 1978 - June 30, 1979 by Jack B. Dennis Memo No. 190 Computation Structures Group - Memo No. 191 February 1980 Building Block for Data Flow Prototypes by Jack B. Dennis, G. Andrew Boughton, Clement K. C. Leung Memo No. 191 Computation Structures Group - Memo No. 192-1 20 October 1980 Packet Communication Microprocessor Programming Manual by William B. Ackerman Memo No. 192-1 Computation Structures Group - Memo No. 193 June 1980 Structuring the Fast Fourier Transform for Data Flow Computation by Arnold Chien Memo No. 193 Computation Structures Group - Memo No. 194 June 1980 Semaphore Primitives and Starvation-free Mutual Exclusion by Eugene W. Stark Memo No. 194 Computation Structures Group - Memo No. 195 June 1980 Implementation of Arithmetic for the Data Flow Machine Processing Unit by RIchard Tucket Memo No. 195 Computation Structures Group - Memo No. 196 July 1980 Design of a Fault-tolerant Packet Communication Computer Architecture by Clement Leung, Jack B. Dennis Memo No. 196 Computation Structures Group - Memo No. 197 July 1980 A VLSI Implementation of a Two by Two Racket Router by Paul S. Ries Memo No. 197 Computation Structures Group - Memo No. 198 July 1980 Data Flow Computer Architecture by William B. Ackerman Memo No. 198 Computation Structures Group - Memo No. 199 September 1980 The Development of a Prototype Router: Design, Implementation, and Test Procedures by Joel Lilienkamp Memo No. 199 Computation Structures Group - Memo No. 201-1 October 1980 On Linguistic Support for Distributed Programs by Barbara Liskov Memo No. 201-1 Computation Structures Group - Memo No. 203 February 1981 Computation Structures Group - Progress Report 1979-80 Memo No. 203 Computation Structures Group - Memo No. 205-1 February 1981 (Revised June 1981) A Multiple Processor Dataflow Machine That Supports Generalized Procedures by Arvind, Vinod Kathail Memo No. 205-1 Computation Structures Group - Memo No. 206 February 1981 Scenarios: A Model of Non-determiniate Computation by J. Dean Brock, WIlliam B. Ackerman Memo No. 206 Computation Structures Group - Memo No. 207 1981?? An Operational Semantics for a Language with Early Completion Data Structures by Jack B. Dennis Memo No. 207 Computation Structures Group - Memo No. 208 July 1981 An Interperter for Instruction Cells by Kenneth W. Todd Memo No. 208 Computation Structures Group - Memo No. 210-1 November 1981 (Revised August 1982) Guardians and Actions: Linguistic Support for Robust, Distributed Programs by Barbara Liskov, Robert Scheifler Memo No. 210-1 Computation Structures Group - Memo No. 211 11 December 1981 Idsys Manual by Keshav Pingali, Vinod Kathail Memo No. 211 Computation Structures Group - Memo No. 212 10 December 1981 Instruction Set Definition for a Tagged-Token Data Flow Machine by Arvind, Robert A. Iannucci Memo No. 212 Computation Structures Group - Memo No. 212-3-1 12 October 1983 Addendum to the INstruction Set Definition for a Tagged-Token Data Flow Machine by Vinod Kathail Memo No. 212-3-1 Computation Structures Group - Memo No. 213 March 1982 A Data Flow Supercomputer by Jack B. Dennis, Guang-Rong Gao, Kenneth W. Todd Memo No. 213 Computation Structures Group - Memo No. 214-1 March 1982 (Revised March 1983) A Test Strategy for Packet Switching Networks by Willie Y-P. Lim Memo No. 214-1 Computation Structures Group - Memo No. 215 March 1982 High Performance Data Flow Computers by Jack B. Dennis Memo No. 215 Computation Structures Group - Memo No. 216-1 April 1982 (Revised October 1982) A Design Strategy for Testable Self-timed Systems by Tam-Anh Chu Memo No. 216-1 Computation Structures Group - Memo No. 217 June 1982 Streams and Managers by Arvind, J. Dean Brock Memo No. 217 Computation Structures Group - Memo No. 218 June 1982 Implementation Strategies for a Tagged-Token Data Flow Machine by Robert A. Iannucci Memo No. 218 Computation Structures Group - Memo No. 219 12 December 1981 (Revised 15 October 1982) A Methodology for Debugging Data Flow Programs by Nena B. Bauman, Robert A. Iannucci Memo No. 219 Computation Structures Group - Memo No. 220 October 1982 Packet Communication Switch for a Multiporcessor Computer Architecture Emulation Facility by Robert A. Iannucci Memo No. 220 Computation Structures Group - Memo No. 221 October 1982 PADL - A Packet Architecture Description Language by Willie Y-P Lim, Clement K. C. Leung Memo No. 221 Computation Structures Group - Memo No. 222 November 1982 The MIT Data Flow Engineering Model by Jack B. Dennis, Willie Y-P LIm, William B. Ackerman Memo No. 222 Computation Structures Group - Memo No. 223 December 1982 Specfication and Implementation of Resilient, Atomic Data Types by William Weihl, Barbara Liskov Memo No. 223 Computation Structures Group - Memo No. 224 January 1983 Locating Migratory Objects in an Internet by Cecelia E. Henderson Memo No. 224 Computation Structures Group - Memo No. 225 March 1983 High Speed Data Flow Computer Architecture for the Solution of the Navier-Stokes Equations by Jack B. Dennis Memo No. 225 Computation Structures Group - Memo No. 226 6 April 1983 A Critique of Multiprocessing von Neumann Style by Arvind, Robert A. Iannucci Memo No. 226 Computation Structures Group - Memo No. 226-2 27 July 1983 Two FUndamental Issue in Multiprocessing: the Data Flow Solution by Arvind, Robert A. Iannucci Memo No. 226-2 Computation Structures Group - Memo No. 226-3 7 August 1985 Two FUndamental Issues in Multiprocessing: The Dataflow Solution by Arvind, Robert A. Iannucci Memo No. 226-3 Computation Structures Group - Memo No. 226-6 May 5, 1987 Two Fundamental Issues in Multiprocessing by Arvind, Robert A. Iannucci Memo No. 226-6 Computation Structures Group - Memo No. 227 May 1983 Type Checking In Generalized VAL by Timothy Peacock Memo No. 227 Computation Structures Group - Memo No. 228 June 1983 Data-dependent Concurrency Control and Recovery (Extended Abstract) by William E. Weihl Memo No. 228 Computation Structures Group - Memo No. 229-1 28 September 1983 Why Dataflow Architectures by Arvind, David E. Culler Memo No. 229-1 Computation Structures Group - Memo No. 229 7 July 1983 Tagged Token Dataflow Architecture by Arvind, David E. Culler Memo No. 229 Computation Structures Group - Memo No. 230 11 October 1983 Design of a Memory Controller for the MIT Tagged Token Dataflow Machine by Steven K. Heller, Arvind Memo No. 230 Computation Structures Group - Memo No. 231 1983?? The Programmer's Apprentice: Knowledge Based Program Editing by Richard C. Waters Memo No. 231 Computation Structures Group - Memo No. 233 September 1984 Maximum Pipelining of Array Operations on Static Data Flow Machine by Jack B. Dennis, Gao Guang Rong Memo No. 233 Computation Structures Group - Memo No. 234 February 1984 A Parser for the Langauge PADL by James Edward Holderle Memo No. 234 Computation Structures Group - Memo No. 234 February 1984 A Parser for the Langauge PADL by James Edward Holderle Memo No. 234 Computation Structures Group - Memo No. 235 12 January 1984 The VAL Intermediate Graph Format by William B. Ackerman Memo No. 235 Computation Structures Group - Memo No. 236 February 1983 The Design, Implementation and Testing of a Self-timed Two by Two Packet Router by Tam-Anh Chu Memo No. 236 Computation Structures Group - Memo No. 237 Last updated: March 22, 1984 A Primer for the Lisp Machine by Bhaskar Guharoy Memo No. 237 Computation Structures Group - Memo No. 239 23 May 1984 An I-Structure Memory Controller (ISMC) by Steven K. Heller Memo No. 239 Computation Structures Group - Memo No. 240 August 1984 A Design Methodology for Stoppable Clock Systems by Willie Y-P Lim Memo No. 240 Computation Structures Group - Memo No. 241 10 October 1984 A Third Opinion on Data Flow Machines and Languages by Richard Mark Soley Memo No. 241 Computation Structures Group - Memo No. 242 December 1984 Design of a CMOS Self-timed Two by Two Packet Router by Tam-Anh Chu Memo No. 242 Computation Structures Group - Memo No. 243 January 1982 FP 1:5: Backus' FP with Higher Order Functions by Arvind, J. Dean Brock, Keshav K. Pengali Memo No. 243 Computation Structures Group - Memo No. 244 3 December 1984 Final Report: Program Decomposition for Multiple Processor Machines by Arvind, David E. Culler Memo No. 244 Computation Structures Group - Memo No. 245 December 1984 Functional Languages and Architecture Progress Report for 1983-84 Memo No. 245 Computation Structures Group - Memo No. 246 February 28, 1985 Computational Structures Progress Report for 1983-84 Memo No. 246 Computation Structures Group - Memo No. 247 May 1986 The Design of a VLSI Self-timed Ring Buffer Using Signal Transition Graphs by Tam-Anh Chu Memo No. 247 Computation Structures Group - Memo No. 248 Version of February 7, 1986 ID Compiler User's Manual by Steve Heller, KEn Traub Memo No. 248 Computation Structures Group - Memo No. 249 July 9, 1985 Practical Polymorphism by Rishiyur S. Nikhil Memo No. 249 Computation Structures Group - Memo No. 250 March 1, 1985 Tagged-Token Dataflow Architecture Simulation Facility User's Manual by Stephen A. Brobst Memo No. 250 Computation Structures Group - Memo No. 252-1 September 1985 Funtional Languages and Architectures Progress Report - 1984-85 Memo No. 252-1 Computation Structures Group - Memo No. 252 June 1985 (revised March 1986) Computation Structures Group Progress Report 1984-85 Memo No. 252 Computation Structures Group - Memo No. 253 8 July 1985 Directed Cube Networks: A Practical Investigation by Steve Heller Memo No. 253 Computation Structures Group - Memo No. 254 June 1985 A Maximally Pipelined Tridiagonal Linear Equation Solver by Guang R. Gao Memo No. 254 Computation Structures Group - Memo No. 255 September 1984 VLOE: A VAL Language-oriented Editor by Steven C. Markoweitz Memo No. 255 Computation Structures Group - Memo No. 256 December 1985 Fixpoint Equations and Dataflow by Keshav K. Pingali Memo No. 256 Computation Structures Group - Memo No. 257 October 11, 1985 Managing Resources in a Parallel Machine by Arvind, David E. Culler Memo No. 257 Computation Structures Group - Memo No. 258 July 1984 An Introduction to the Lambda Calculus by Keshav Pingali, Vinod Kathail Memo No. 258 Computation Structures Group - Memo No. 259 14 November 1985 Functional Databases, Functional Languages by Rishiyur S. Nikhil Memo No. 259 Computation Structures Group - Memo No. 259 (Revised) November 14, 1985 Revised July 15, 1987 Functional Databases, Functional Languages by Rishiyur S. NIkhil Memo No. 259 (Revised) Computation Structures Group - Memo No. 260 February 1986 A Comparison of Two Signal System Architectures for a Static Dataflow Machine by David M. Marcovitz Memo No. 260 Computation Structures Group - Memo No. 261 Version of March 24, 1986 A Dataflow Compiler Substrate by Ken Traub Memo No. 261 Computation Structures Group - Memo No. 261-1 March 27, 1991 A Dataflow Compiler Substrate Revised Version 002 by Ken Traub Revised: James Hicks and Shail Aditya Memo No. 261-1 Computation Structures Group - Memo No. 262 May 1986 Loop Unfolding for a Static Dataflow Machine by Edward H. Gornish Memo No. 262 Computation Structures Group - Memo No. 263 August 1986 Computation Structures Group 1985-86 Progress Report Memo No. 263 Computation Structures Group - Memo No. 265 July 23, 1986 Id Nouveau by Rishiyur S. Nikhil, Keshav Pingali, Arvind Memo No. 265 Computation Structures Group - Memo No. 266 June 1986 Id World: User's Manual by Dinarte R. Morais Memo No. 266 Computation Structures Group - Memo No. 267 1 October 1986 Hot Spots in Routing Networks by Andrew A. Chien Memo No. 267 Computation Structures Group - Memo No. 268 1 October 1986 Structure Referencing in the Tagged Token Dataflow Architecture (An Initial Investigaion) by Andrew A.Chien Memo No. 268 Computation Structures Group - Memo No. 269 February 1987 (Revised: March 1989) I-structures: Data Structures for Parallel Computing by Arvind, Rishiyur S. Nikhil, Keshav K. Pingali Memo No. 269 Computation Structures Group - Memo No. 270 February 12, 1987 An Engineering Implementation of the TTDA by Gregory M. Papadopoulos Memo No. 270 Computation Structures Group - Memo No. 271 June 20, 1988 Executing a Program on the MIT Tagged-Token Dataflow Architecture by Arvind, Rishiyur S. Nikhil Memo No. 271 Computation Structures Group - Memo No. 272 March 1987 (Revised February 1988) Future Scientific Programming on Parallel Machines by Arvind, Kattamuri Ekanadham Memo No. 272 Computation Structures Group - Memo No. 273 July 1987 SIMPLE: Part 1 An Excercise in future Scientific Programming by Kattamuri Ekanadham, Arvind Memo No. 273 Computation Structures Group - Memo No. 274 June 1987 Computation Structures Group Progress Report 1986-87 Memo No. 274 Computation Structures Group - Memo No. 275 March 7, 1988 Toward a Dataflow / von Neumann Hybrid Architecture by Robert A. Iannucci Memo No. 275 Computation Structures Group - Memo No. 276 December 7, 1987 The Semantics of Update in a Functional Database Programming Language by Rishiyur S. Nikhil Memo No. 276 Computation Structures Group - Memo No. 277 December 15, 1987 Implicit Serialization in Dataflow Programs: Input/Outpiut in Id by Richard Mark Soley Memo No. 277 Computation Structures Group - Memo No. 278 June 1988 The PRice of Asynchronous Parallelism: An Analysis of Dataflow Architectures by Arvind, David E. Culler, Kattamuri Ekanadham Memo No. 278 Computation Structures Group - Memo No. 279 March 1988 (Revised June 1988) Assessing the Benefits of Fine-grained Parallelism in Dataflow Programs by Arvind, David E. Culler, Gino K. Maa Memo No. 279 Computation Structures Group - Memo No. 281 December, 1987 Evaluation of the MIT Tagged-Token Dataflow Architecture by Arvind, Gino Maa, Stephen Brobst Memo No. 281 Computation Structures Group - Memo No. 282 January 1988 Summary of 1987 Dataflow Workshop in Japan by Akihiko Konagaya, Translator Memo No. 282 Computation Structures Group - Memo No. 283 March 1, 1988 The Monsoon Processing Element Architecture Reference by Gregory M. Papadopoulos Memo No. 283 Computation Structures Group - Memo No. 284-2 July 15, 1991 ID Language Reference Manual - Version 90.1 by Rishiyur S. Nikhil Memo No. 284 Computation Structures Group - Memo No. 285 March 25, 1988 Project Dataflow by Arvind, Michael L. Dertouzos, Rishiyur S. Nikhil, Gregory M. Papadopoulos Memo No. 285 Computation Structures Group - Memo No. 287 May 1988 Programming Generality and Parallel COmputers by Arvind, S. K.Heller, and R. S. Nikhil Memo No. 287 Computation Structures Group - Memo No. 288 Date?? CSG Progress Report? by Arvind, J. B. Dennis, R. S. Nikhil Memo No. 288 Computation Structures Group - Memo No. 289 July 13, 1988 Virtual Memory on a Datafow Computer by Kenneth M. Steele, Richard Mark Soley Memo No. 289 Computation Structures Group - Memo No. 290 August 29, 1988 The Network Interface Unit (NIU) for the Monsoon Dataflow Processor by Franz Hutner Memo No. 290 Computation Structures Group - Memo No. 291 October 1988 Compilateion as Partitioning: A new Approach to Compiling Non-Strict Functional Languages by Kenneth R. Traub Memo No. 291 Computation Structures Group - Memo No. 292 March 30, 1989 Can dataflow subsume von Neumann computing? by Rishiyur S. Nikhil, Arvind Memo No. 292 Computation Structures Group - Memo No. 294 March 1989 Supporting State-Sensitive Computation Dataflow System by Paul S. Barth, Rishiyur S. Nikhil Memo No. 294 Computation Structures Group - Memo No. 295 June 1989 P-TAC: A Parallel Intermediate Language by Zena M. Ariola, Arvind Memo No. 295 Computation Structures Group - Memo No. 297 June 1989 Design and Implementation of MINT: A Monsoon Dataflow Simulator by Andrew Shaw Memo No. 297 Computation Structures Group - Memo No. 298 June 1989 Design and Implementation of a High-speed by John Santoro Memo No. 298 Computation Structures Group - Memo No. 299 June 1989 A Reverse Compiler: by Derek Chiou Memo No. 299 Computation Structures Group - Memo No. 300 June 15, 1989 Computation Structures Group Memo No. 300 Computation Structures Group - Memo No. 302 July 7, 1989 A Dataflow Approach to General-purpose by Arvind, Rishiyur S. Nikhil Memo No. 302 Computation Structures Group - Memo No. 303 October 27, 1989 Program Development and Performance by Gregory M. Papadopoulos Memo No. 303 Computation Structures Group - Memo No. 304 October 27, 1989 Parallel Characteristics of Sequence Alignment Algorithms by Arun K. Iyengar Memo No. 304 Computation Structures Group - Memo No. 304 October 27, 1989 Parallel Characteristics of Sequence Alignment Algorithms by Arun K. Iyengar Memo No. 304 Computation Structures Group - Memo No. 305 February 8, 1990 Id: a language with implicit parallelism by Rishiyur S. Nikhil, Arvind Memo No. 305 Computation Structures Group - Memo No. 306 March 20, 1990 Monsoon: An Explicit TOken Store Architecture by Gregory M. Papadopoulos, David E. Culler Memo No. 306 Computation Structures Group - Memo No. 307 April 1990 Tests for Monsoon Instruction Subset 0 by Jonathan Young Memo No. 307 Computation Structures Group - Memo No. 307-1 September 11, 1990 Test for Monsoon Instruction Subset 1 by Jonathan Young Memo No. 307-1 Computation Structures Group - Memo No. 308 June 5, 1990 An Abstract Description of a Monsoon-like ETS interpreter by Rishiyur S. Nikhil, Arvind Memo No. 308 Computation Structures Group - Memo No. 309 June 1, 1990 Computation Structures Group, Progress Report July 1, 1989 to June 30, 1990 Memo No. 309 Computation Structures Group - Memo No. 310 June 27, 1990 Id Compiler Back End for ETS and Monsoon by James Hicks Memo No. 310 Computation Structures Group - Memo No. 311 November 10, 1990 ID Run-time System by Stephen Brobst, James Hicks, Gregory Papadopoulos, Jonathan Young Memo No. 311 Computation Structures Group - Memo No. 312 June 8, 1990 The Explicit Token Store by David E. Culler, Gregory M. Papadopoulos Memo No. 312 Computation Structures Group - Memo No. 313 July 30, 1990 The Parallel Programming Language ID and its COmpilation for Parallel Machines by Rishiyur S. Nikhil Memo No. 313 Computation Structures Group - Memo No. 314 July 17, 1990 Notes on Automatic Parallelization by Rishiyur S. Nikhil Memo No. 314 Computation Structures Group - Memo No. 315 23 July 1990 Revised 1 November 1990 COmpilation of Id: a subset of Id by Zena M. Ariola, Arvind Memo No. 315 Computation Structures Group - Memo No. 315 (Draft) 24 July 1990 Compilation of Id: a subset of Id by Zena M. Ariola, Arvind Memo No. 305 (Draft) Computation Structures Group - Memo No. 316 August 2, 1990 The Evolution of Dataflow Architectures from Static Dataflow to P-RISC by Arvind, Stephen Brobst Memo No. 316 Computation Structures Group - Memo No. 318 September 21, 1990 Two-Phase Transactions by Jonathan Young Memo No. 318 Computation Structures Group - Memo No. 319 September 21, 1990 Context Management in the ID Run Time System by Jonathan Young Memo No. 319 Computation Structures Group - Memo No. 320 December 21, 1990 Exploiting Parallelism in the Implementation of AGNA, a Persistent Programming System by Rishiyur S. Nikhil and Michael L. Heytens Memo No. 320 Computation Structures Group - Memo No. 321 December 13, 1990, November, 1991, October 19, 1993 Notes on the COnfulence Property of Terms Reweriting Systems and the X-Calculus by Zena M. Ariola Memo No. 321 Computation Structures Group - Memo No. 322 10 December 1990 A Syntactic APproach to Program Transformation by Zena M. Ariola, Arvind Memo No. 322 Computation Structures Group - Memo No. 323 (Draft) 1990 COntextual Rewriting Systems by Zena M. Ariola, Arvind Memo No. 323 (Draft) Computation Structures Group - Memo No. 323-1 1990 COntextual Rewriting Systems by Zena M. Ariola, Arvind Memo No. 323-1 Computation Structures Group - Memo No. 324 December 23, 1990 Multiprocessor Packaging by George A. Boughton Memo No. 324 Computation Structures Group - Memo No. 325 January 5, 1991 *T: a Killer Micro for a Brave New World by Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind Memo No. 325 Computation Structures Group - Memo No. 325-1 November 15, 1991 *T: A Multithreaded Massively Parallel Architecture by Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind Memo No. 325-1 Computation Structures Group - Memo No. 325-2 MArch 5, 1992 **T: A Multithreaded Massively Parallel Architecture by Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind Memo No. 325-2 Computation Structures Group - Memo No. 326 March 10, 1991 List COmprehensions in AGNA, a Parallel Persistent Object System by Michael L. Heytens and Rishiyur S. Nikhil Memo No. 326 Computation Structures Group - Memo No. 327 March 18, 1991 M-StructuresL Extending a Parallel, Non-strict, Functional Language with State by PAul S. Barth, Rishiyur S. Nikhil, Arvind Memo No. 327 Computation Structures Group - Memo No. 328 May 7, 1991 An Introduction to the Id Compiler by Boon S. Ang, Alejandro Caro, Stephen Glim, and Andrew Shaw Memo No. 328 Computation Structures Group - Memo No. 329 June 6, 1991 Incremental Polymorphism by Shail Aditya, Rishiyur S. Nikhil Memo No. 329 Computation Structures Group - Memo No. 330 March 1991 Multithreading: A Revisionist View Of Dataflow Architectures by Gregory M. Papadopoulos, Jenneth R. Traub Memo No. 330 Computation Structures Group - Memo No. 331 June 11, 1991 The Network Interface Chip by Dana S. Henry, Christopher F. Joerg Memo No. 331 Computation Structures Group - Memo No. 333 March 18, 1991 Dataflow Programming Languages by Rishiyur S. Nikhil Memo No. 333 Computation Structures Group - Memo No. 334 (Draft) January 6, 1992 Monsoon Id World, Uder's Guide - Version 002 by R. Paul Johnson Memo No. 334 Computation Structures Group - Memo No. 335 AUgust 10, 1991 Interleaving and Hashing for Start System by Tetsuhide Senta Memo No. 335 Computation Structures Group - Memo No. 336 May 1991 Object Projection Automata: Exploiting Weak Typing by Lennart Augustsson, R. Paul Johnson, John Morris Memo No. 336 Computation Structures Group - Memo No. 337 July 1, 1990 to June 30, 1991 Computation Structures Group - Progress Report Memo No. 337 Computation Structures Group - Memo No. 338 January 1991 Overview of the Monsoon Project by Kenneth R. Traub, Gregory M. Papadopolous, Michael J. Beckerle, Jamey E. Hicks, Jonathan Young Memo No. 338 Computation Structures Group - Memo No. 339 January 5, 1991 Test and Validation fo rMOnsoon Processing Elements by Michael J. Beckerle and Gregory M. Papadopoulos Memo No. 339 Computation Structures Group - Memo No. 340 January 1991 The Monsoon Interconection Network by Christopher Joerg, George A. Boughton Memo No. 340 Computation Structures Group - Memo No. 341 23 September 1991 Compilation of Id by Zena M. Ariola and Arvind Memo No. 341 Computation Structures Group - Memo No. 342 March 16, 1992 A Tightly-Coupled Processor-Network Interface by Christopher F. Joerg, Dana S. Henry Memo No. 342 |