CSG Memos
modified: October, 2001 15:00:36
- CSG-Memo-445
-
Prabhat Jain, Srinivas Devadas, Larry Rudolph - CSG-Memo-444
- A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning
Derek Chiou, Srinivas Devadas, Josh Jacobs, Prabhat Jain, Vinson Lee, Enoch Peserico, Peter Portante, Larry Rudolph, Ed Suh, Dan Willenson July, 2001
[PDF 9 pages] , [.ps.gz 388 kB]- CSG-Memo-443
A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning Ed Suh, Larry Rudolph, Srinivas Devadas July, 2001
[PDF 25 pages] , [.ps.gz 482 kB]- CSG-Memo-442
Job-Speculative Prefetching: Eliminating Page Faults From Context Switches in Time-Shared Systems Ed Suh, Enoch Peserico, Larry Rudolph, Srinivas Devadas , June, 2001
[PDF 23 pages] , [.ps.gz 251 kB]- CSG-Memo-441
Effects of Memory Performance on Parallel Job Scheduling Ed Suh, Larry Rudolph, Srinivas Devadas, June, 2001 , January 2001.
[PDF 12 pages] , [.ps.gz 241 kB]- CSG-Memo-440
Developing and Refining an Adaptive Token-Passing Strategy Larry Rudolph, Burkhard Englert, Alex Schvartsman , June, 2001
[PDF 9 pages] , [.ps.gz 388 kB]- CSG-Memo-439
A High Performance Multiprocessor DSP System Todd C. Heirs, Larry Rudolph , May 23, 2001
[paper .pdf 214kB (60 pages)] , [paper ps.gz 817 kB]- CSG-Memo-438
Dynamic Cache Partioning for Simultaneous Multithreading Systems Edward Suh, Larry Rudolph and Srinivas Devadas , January 2001.
[ps.gz 293kB], [PDF 9 pages]- CSG-Memo-437
Analytical Cache Models with Applications to Cache Partitioning
Edward Suh, Srinivas Devadas, and Larry Rudolph, February 2001. , January 2001.
[ps.gz 1.5mb], [PDF 14 pages]- CSG-Memo-436
A Code Reordering Transformation for Improved Cache Performance
Prabhat Jain, January 2001.
[cover- ps.gz 116kB] [ps.gz 233kB] [cover- pdf 88kB] [pdf 194kB (14 pages)]- CSG-Memo-435
Software-assisted Cache Replacement Mechanisms for Embedded Systems
Prabhat Jain
[cover-ps.gz 115kB] [ps.gz 211kB] [cover-pdf 90kB] [pdf-193kB (16 pages)]- CSG-Memo-434
TBA
Larry Rudolph
[Absent]- CSG-Memo-433
Set-Associative Cache Models for Time-Shared Systems Edward Suh , January 2001.
[Absent]- CSG-Memo-432
Proofs of Correctness of Cache-Coherence Protocols
Joseph Stoy, Xiaowei Shen and Arvind. , In Proceedings of the Formal Methods Europe:Formal Methods for Increasing Software Productivity, Berlin, Germany,March 2001.
[postscript 123k] - [PDF 398 k]- CSG-Memo-431
Adaptive General Purpose Memory Hierarchies for a Changing Application Landscape Derek Chiou and Larry Rudolph , January 2000.
- CSG-Memo-430
Dynamic Cache Partitioning via Columnization
Derek Chiou, Prabhat Jain, Srinivas Devadas and Larry Rudolph, November 1999, (24 pages).
[ps.gz 252k] - [PDF 311k]- CSG-Memo-429
Synthesis of Cache Coherence Protocols
Xiaowei Shen and Arvind, November 1999.
[Absent]- CSG-Memo-428
Improving the Java Memory Model Using CRF Jan-Willem Maessen, Arvind and Xiaowei Shen , Submitted to OOPSLA 2000, (12 pages).
[PDF 127k] - [ps.gz 156k]- CSG-Memo-427
Application-Specific Memory Management for Embedded Systems
Derek Chiou, Prabhat Jain, Srinivas Devadas and Larry Rudolph, November 1999, (20 pages).
[PDF 172k] - [ps.gz 324k]- CSG-Memo-426-a
Scheduling and Synthesis of Operation-Centric Hardware Descriptions
James C. Hoe and Arvind, November 1999.
[PDF 150k] - [ps.gz 77kB]- CSG-Memo-425
A Personal Supercomputer for Climate Research James C. Hoe, Chris Hill and Alistair Adcroft , In proceedings of SuperComputing'99, November 1999, Portland, Oregon, (17 pages).
[PDF 692k] - [ps.gz 325k]- CSG-Memo-424
Deriving Superscalar Microarchitectures from Pipelined Microarchitectures James C. Hoe and Arvind , June 1999.
[Absent]- CSG-Memo-423
Universality of the CRF Model
Xiaowei Shen and Arvind , May 1999.
[Absent]- CSG-Memo-422
Micro-architecture Exploration and Synthesis via TRS's
James C. Hoe and Arvind, April 1999.
[Absent]- CSG-Memo-421A
Hardware Synthesis from Term Rewriting Systems
James C. Hoe and Arvind , In proceedings of VLSI'99, December 1999, Lisbon, Portugal, (27 pages).
[pdf 27 pages] - [gzipped 82k]- CSG-Memo-421
Hardware Synthesis from Term Rewriting Systems
James C. Hoe and Arvind, April 1999.
- CSG-Memo-420
Design and Implementation of a Multi-purpose Cluster System Network Interface Unit
Boon Ang, PhD Thesis.
- CSG-Memo-419
Using Term Rewriting Systems to Design and Verify Processors
Arvind and Xiaowei Shen, In IEEE Micro Special Issue on Modeling and Validation of Microprocessors, May/June 1999, (16 pages).
[PDF 194k] - [ps.gz 117k]- CSG-Memo-418
MPI-StarT: Delivering Network Performance to Numerical Applications
Parry Husbands and James C. Hoe, In proceedings of SuperComputing'98, November 1998, Orlando, Florida.
- CSG-Memo-417 [abstract]
Message Passing Support on StarT-Voyager
Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind, In proceedings of the 5th International Conference on High-Performance Computing (HiPC '98), 17-20 December 1998, Madras, India, (11 pages).
[PDF 112k] - [ps.gz 79k]- CSG-Memo-416 [abstract]
The StarT-Voyager Parallel System
Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind, In proceedings of International Conference on Parallel Architectures and Compilation Techniques (PACT '98), 13-17 October 1998, Paris, France, (11 pages).
[PDF 490k] - [ps.gz 112k]- CSG-Memo-415
StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues
Boon S. Ang, Derek Chiou, Daniel Rosenband, Mike Ehrlich, Larry Rudolph and Arvind, In proceedings of SuperComputing '98, November 1998, Orlando, Florida, (18 pages).
[PDF 336k] - [ps.gz 86k]- CSG-Memo-414
CACHET: An Adaptive Cache Coherence Protocol for Distributed Shared-Memory Systems
Xiaowei Shen, Arvind and Larry Rudolph, In proceedings of the 13th ACM SIGARCH International Conference on Supercomputing, June 1999, Rhodes, Greece., (14 pages).
[PDF 120k] - [gzipped 64k]- CSG-Memo-413
Commit-Reconcile and Fences (CRF): A New Memory Model for Architects and Compiler Writers Xiaowei Shen, Arvind and Larry Rudolph , In proceedings of the 26th International Symposium on Computer Architecture, May 1999, Atlanta, Georgia., (14 pages).
[PDF 140k] - [ps.gz 74k]- CSG-Memo-412
Study of Performance and Optimization of MPI Over 100BaseT Switched Ethernet Network Michael Broxton , August 1998, (21 pages).
[PDF 346k] - [ps.gz 198k]- CSG-Memo-411
Job scheduling for parallel supercomputers Larry Rudolph and D.G. Feitelson , In Encyclopedia of Computer Science and Technology, A. Kent and J. G. Williams (eds.), Vol. 38, pp. 287-314, Marcel Dekker, Inc., 1998.
- CSG-Memo-410
Do parallel Computers Really Need Optical Interconnection Networks? Larry Rudolph , In proceedings of The Fifth International Conference on Massively Parallel Processing Using Optical Interconnections, June 1998, Las Vegas, Nevada.
- CSG-Memo-409
Metrics and Benchmarking for Parallel Job Scheduling Larry Rudolph and D.G. Feitelson , Appears in Job Scheduling Strategies for Parallel Processing, Springer Verlag LNCS Volume 1459, p. 1-12, 1998.
- CSG-Memo-408 [abstract]
A TRS Model for a Modern Microprocessor Lisa Poyneer, James C. Hoe and Arvind , June 1998, (14 pages).
[postscript 262k] - [compressed 120k] - [gzipped 93k]- CSG-Memo-407
TBA
Martin Rinard, June 1998.
- CSG-Memo-406
StarT-X: A One-Man-Year Exercise in Network Interface Engineering James C. Hoe , In proceedings of Hot Interconnects VI, August 1998, Stanford, California, (12 pages).
[PDF 4601k] - [ps.gz 345k]- CSG-Memo-405 [abstract]
On Deterministic Conditional Rewriting Massimo Marchiori , December 1997, (29 pages).
[PDF 284k] - [ps.gz 116k]- CSG-Memo-404
An Adaptive Cache Coherence Protocol That Implements Sequential Consistency for DSM Systems with Multi-level Caches Xiaowei Shen and Arvind , December 1997.
- CSG-Memo-403
An Exercise in High-level Architectural Description using a Synthesizable Subset of Term Rewriting Systems James C. Hoe, Martin Rinard and Arvind , October 1997, (50 pages).
[postscript 448k] - [compressed 194k] - [gzipped 149k]- CSG-Memo-402 [abstract]
Analysis and Optimization of Explicitly Parallel Programs using the Parallel Program Graph Representation Vivek Sarkar , in Proceedings of the Tenth Workshop on Languages and Compilers for Parallel Computing, August 1997, Minneapolis, Minnesota, (21 pages).
[PDF 260k] - [ps.gz 117 k]- CSG-Memo-401 [abstract]
Arctic Switch Fabric George A. Boughton , In Proceedings of the 1997 Parallel Computing, Routing, and Communication Workshop, June 1997, Atlanta, Georgia, (9 pages).
[postscript 217k] - [compressed 77k] - [gzipped 45k]- CSG-Memo-400B
Design and Verification of Speculative Processors Xiaowei Shen and Arvind , In Proceedings of the Workshop on Formal Techniques for Hardware and Hardware-like Systems, June 1998, Marstrand, Sweden, (20 pages).
[PDF 453k] - [ps.gz 139k]- CSG-Memo-400A
Modeling and Verification of ISA Implementations Xiaowei Shen and Arvind , In Proceedings of the Australasian Computer Architecture Conference, February 1998, Perth, Australia, (14 pages).
[PDF 317k] - [ps.gz 117k]- CSG-Memo-400
Process Models Xiaowei Shen and Arvind , Not for Distribution without Authors' Permission.
- CSG-Memo-399
Implementation of the StarT-Voyager Bus Interface Units Chris Conley , Master's Thesis, (106 pages).
[PDF 499k] - [ps.gz 175k]- CSG-Memo-398A
A Methodology for Designing Correct Cache Coherence for DSM Systems Xiaowei Shen and Arvind , June 1997.
[PDF 476k] - [ps.gz 170k]- CSG-Memo-398
Specification of Memory Models and Design of Provably Correct Cache Coherence Protocols Xiaowei Shen and Arvind , June 1997, (39 pages).
[PDF 575k] - [gzipped 170k]- CSG-Memo-397
Computer Architecture Research and the Real World Arvind, Anton T. Dahbura and Alejandro Caro , April 1997, (17 pages).
[PDF 243k] - [ps.gz 109k]- CSG-Memo-396
A Novel 64 Bit Data Representation for Garbage Collection and Synchronizing Memory Alejandro Caro , April 1997, (6 pages).
[PDF 183k] - [ps.gz 66k]- CSG-Memo-395
A Lambda Calculus with Letrecs and Barriers Arvind, J.W. Maessen, R.S. Nikhil and Joe Stoy , Invited Paper at 16th FST and TCS, December 1996, Hyderabad, India, (18 pages).
[PDF 286k] - [ps.gz 115k]- CSG-Memo-394 [abstract]
Message Passing Support for Multi-grained, Multi-threading and Multi-tasking Environments Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind , November 1996, (23 pages).
[PDF 395k] - [ps.gz 228k]- CSG-Memo-393
Lambda-S: an Implicitly Parallel Lambda-Calculus with Letrec, Synchronization and Side-Effects Arvind, J.W. Maessen, R.S. Nikhil and Joe Stoy , Based on paper submitted to ICFP '97, (18 pages).
[PDF 344k] - [ps.gz 137k]- CSG-Memo-392
An NIU Architecture for Open S \& M Systems Boon Ang , November 1997, (21 pages).
[PDF 368k] - [ps.gz 174k]- CSG-Memo-391
High-level Programming for Reconfigurable Computing James C. Hoe , November 1996, (22 pages).
[PDF 328k] - [ps.gz 117k]- CSG-Memo-390 [abstract]
Transitioning from MPP to SMP: Experiences with the MIT Ocean-Atmosphere Model
Chris Hill and Andrew Shaw, February 1997, (22 pages).
[PDF 402k] - [ps.gz 116k]- CSG-Memo-389
Functional Specification of a High-Performance Network Interface Unit on a Peripheral Bus James C. Hoe , September 1996, (34 pages).
[PDF 384k] - [ps.gz 129k]- CSG-Memo-388
Pending Boon Ang , (Restricted to Internal Distribution Only).
- CSG-Memo-387 [abstract]
Message Passing Support on StarT-Voyager Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind , July 1996, (24 pages).
[PDF 444k] - [ps.gz 140k]- CSG-Memo-386
Message Passing Flow-control on StarT-Voyager Boon Ang , (Restricted to Internal Distribution Only).
- CSG-Memo-385
StarT-Voyager: Hardware Engineering Specification Boon S Ang and Derek Chiou , (Restricted to Internal Distribution Only), (184 pages).
[postscript 1553k]- CSG-Memo-384
StarT-JR: A Parallel System from Commodity Technology James C. Hoe and Mike Ehrlich , In proceedings of the 7th Transputer/Occam International Conference, November 1996, Tokyo, Japan, (19 pages).
[PDF 300k]- [ps.gz 122k]- CSG-Memo-383 [abstract]
The Future of Scientific Computing for Grand Challenge Problems Arvind, Andrew Shaw and John Marshall , June 1996, (4 pages).
[PDF 171k]- [ps.gz 35k]- CSG-Memo-382
A Multithreaded Substrate and Compilation Model for the Implicitly Parallel Language pH Arvind, Alejandro Caro, Jan-Willem Maessen and Shail Aditya , LCPC-96, (27 pages).
[PDF 416k]-[ps.gz 138k]- CSG-Memo-381 [abstract]
Performance Tuning Scientific Codes for Dataflow Execution Andrew Shaw, Arvind and R. Paul Johnson , In proceedings of PACT '96, (12 pages).
[PDF 40k]- [ps.gz 101k]- CSG-Memo-380 [abstract]
Neutral Agents: A Novel Mechanism for Interactive Simulation Alejandro Caro and Arvind , To be presented as the keynote address in the session on High Performance Computing at the 20th Army Science Conference, 24-27 June 1996, Norfolk, Virginia, (8 pages).
[PDF 214k]- [ps.gz 109k]- CSG-Memo-379
Practicing the Object Modeling Technology in a Functional Programming Framework Jack B. Dennis and Handong Wu , February 1996, (38 pages).
[PDF 247k]- [ps.gz 87k]- CSG-Memo-378 [abstract]
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation Satyan Coorg , In Proceedings of Static Analysis Symposium '95, September 1995, Glasgow, Scotland, UK, (15 pages).
[PDF 316k]- [ps.gz 109k]- CSG-Memo-377-1 [abstract]
Semantics of pH: A parallel dialect of Haskell Shail Aditya, Arvind and Jan-Willem Maessen , June 1995, (22 pages).
[PDF 294k]- [ps.gz 86k]- CSG-Memo-376 [abstract]
Static Mapping of Functional Programs: An Example in Signal Processing Jack B. Dennis , June 1995, (17 pages).
[PDF 297k]- [ps.gz 112k]- CSG-Memo-375 [abstract]
Multiprocessor Implementation of Nondeterminate Computations in a Functional Programming Framework Jack B. Dennis and Guang R. Gao , May 1995, (12 pages).
[PDF 252k]- [ps.gz 102k]- CSG-Memo-374
Normalizing Strategies for Multithreaded Interpretation and Compilation of Non-Strict Languages Shail Aditya , May 1995, (26 pages).
[PDF 309k]- [ps.gz 98k]- CSG-Memo-373 [abstract]
Arctic Routing Chip G. Andrew Boughton , In Proceedings of the 1994 University of Washington Parallel Computer Routing and Communication Workshop, May 1994, (10 pages).
[PDF 182k]- [ps.gz 57k]- CSG-Memo-372
PVM Light Weight Process Package Weihaw Chuang , December 1994, (56 pages).
[PDF 160 ]-[ps.gz 72k]- CSG-Memo-371 [abstract]
StarT-NG: Delivering Seamless Parallel Computing D. Chiou, B.S. Ang, Arvind, M.J. Beckerle, G.A. Boughton, R. Greiner, J.E. Hicks and J.C. Hoe , Published at EURO-PAR'95 Conference, August 1995, (15 pages).
[PDF 244k] - [ps.gz 106k]- CSG-Memo-370 [abstract]
Simplifying Parallel List Traversal Jan-Willem Maessen , January 1995, (11 pages).
[PDF 245k] - [ps.gz 76k]- CSG-Memo-369 [abstract]
pH Language Reference Manual, Version 1.0 R.S. Nikhil, Arvind, J. Hicks, S. Aditya, L. Augustsson, J. Maessen and Y. Zhou , January 1995, (25 pages).
[PDF 215k] - [ps.gz 73k]- CSG-Memo-368 [abstract]
A Type System for Functional Imperative Programming (Technical Summary) Shail Aditya and Satyan Coorg , July 1994, (17 pages).
[PDF 280k] - [ps.gz 83k]- CSG-Memo-367
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language Shail Aditya, Arvind and Joseph Stoy , Published at FPCA '95 Conference, June 1995, (13 pages).
[PDF 302k] - [ps.gz 97k]- CSG-Memo-366 [abstract]
Adding Fast Interrupts to Superscalar Processors Dana S. Henry , December 1994.
[PDF 302k] -[ps.gz 64k]- CSG-Memo-365 [abstract]
Issues in Building a Cache-Coherent Distributed Shared Memory Machine using Commercial SMPs Boon S. Ang, Derek Chiou and Arvind , December 1994, (20 pages).
[PDF 286k] - [ps.gz 92k]- CSG-Memo-364 [abstract]
A Comparison of Implicitly Parallel Multithreaded and Data Parallel Implementations of an Ocean Model based on the Navier-Stokes Equations
Andrew Shaw, Arvind, Kyoo-Chan Cho, Christoper Hill, R. Paul Johnson and John Marshall , Accepted to Journal of Parallel and Distributed Computing.
[PDF 309k] - [ps.gz 213k]- CSG-Memo-363 [abstract]
On Memory Models and Cache Management for Shared-Memory Multiprocessors Jack B. Dennis and Guang R. Gao , October 1994, (21 pages).
[PDF 320k] - [ps.gz 104k]- CSG-Memo-362 [abstract]
Stream Data Types for Signal Processing J. Dennis , October 1994, (22 pages).
[PDF 279k] - [ps.gz 106k]- CSG-Memo-361
Implementing Global Cache Coherence for StarT-NG Xiaowei Shen , Master's Thesis, Department of Electrical Engineering and Computer Science, MIT.
- CSG-Memo-360
Computation Structures Group Progress Report 1993-94 Y. Zhou (ed.) and G.A. Boughton (ed.) , July 1994, (33 pages).
[PDF 277k] - [ps.gz 95k]- CSG-Memo-359
Computation Structures Group Progress Report 1992-93 Y. Zhou (ed.) and G.A. Boughton (ed.) , July 1993, (31 pages).
[PDF 208k] - [ps.gz 91k]- CSG-Memo-358
Hermes: Communicating *T-NGs John Morris , LIMITED DISTRIBUTION.
- CSG-Memo-357
ACD Requirements
B.S. Ang, D. Chiou, J.C. Hoe, X.-W. Shen, J. Morris, S.K. Nandy and M.J. Beckerle , "LIMITED DISTRIBUTION", .
- CSG-Memo-356-1
In-Coherent - An Incessantly Coherent Cache Scheme for Shared Memory Multiprocessor Systems S.K. Nandy , In Proceedings of the First International Workshop on Parallel Processing, Bangalore, India, December 26-31, 1994, (8 pages).
[PDF 171k] - [ps.gz 70k]- CSG-Memo-355