LCS, MIT Laboratory of Computer Science
About LCS
LCS Technical Reports

LCS Technical Memos

Events / News
Contact LCS

LCS Technical Memos

Click on the title of the document for more information and to obtain a copy. Click the column headers to sort by different fields.

For questions about LCS publications, please contact (617-258-7981).
To submit a new publication for a number, click here.

Page 1 of 12 | First Page | Previous Page | Next Page | Last PageShow 10 | 25 | 50 | 100 per page
Publication Title LCS Document Number Publication Author LCS Group Publication Date
Execution Model Enforcement Via Program ShepherdingMIT-LCS-TM-638Kiriansky, VladimirComputer Architecture5-20-2003
Scalable Packet Classification Using Bit Vector Aggregating and FoldingMIT-LCS-TM-637Li, JiAdvanced Network Architecture4-17-2003
Stream Algorithms and ArchitectureMIT-LCS-TM-636Henry, HoffmanComputer Architecture3-24-2003
A Theoretical and Practical Approach to Instruction Scheduling on Spatial ArchitecturesMIT-LCS-TM-635S. Mirrokni, VahabComputer Architecture12-13-2002
Meta Optimization: Improving Compiler Heuristics with Machine LearningMIT-LCS-TM-634Stephenson, MarkComputer Architecture12-3-2002
Plain-Text Aware Encryption Via Public-Key RegistrationMIT-LCS-TM-633Micali, SilvioTheory of Computation11-20-2002
pStore: A Secure Peer-to-Peer Backup SystemMIT-LCS-TM-632Batten, ChristopherComputer Architecture10-30-2002
Offline Authentication of Untrusted StorageMIT-LCS-TM-631Clarke, DwaineComputation Structures8-23-2002
A Collision Model for Randomized Routing In Fat-Tree NetworksMIT-LCS-TM-629Strumpen, VolkerComputer Architecture7-15-2002
How to Build Scalable On-Chip ILP Networks for a Decentralized ArchitectureMIT-LCS-TM-628Taylor, MichaelRAW4-17-2000
A Stream Compiler for Communication-Exposed ArchitecturesMIT-LCS-TM-627Gordon, MichaelComputer Architecture3-31-2002
A Note on the Stability Requirements of Adaptive Virtual QueueMIT-LCS-TM-626Katabi, DinaAdvanced Network Architecture2-13-2002
Secure Execution Via Program ShepherdingMIT-LCS-TM-625Kiriansky, VladimirComputer Architecture2-4-2002
Efficient View-Dependent Sampling of Visual HullsMIT-LCS-TM-624Matusik, WojciechComputer Graphics2-1-2002
An Efficient Visual Hull Computation AlgorithmMIT-LCS-TM-623Matusik, WojciechComputer Graphics2-1-2002
StreamIT: A Complier for Streaming ApplicationsMIT-LCS-TM-622Thies, WilliamComputer Architecture2-12-2002
Techniques for Increasing and Detecting Memory AlignmentMIT-LCS-TM-621Larsen, SamuelComputer Architecture11-25-2001
StreaMIT: A Language for Streaming ApplicationsMIT-LCS-TM-620Thies, WilliamComputer Architecture8-6-2001
A Software Framework for Supporting General Purpose Applications on RAW Computation FabricsMIT-LCS-TM-619Frank, MatthewComputer Architecture7-20-2001
Persona: A Contextualized and Personalized Web SearchMIT-LCS-TM-618Mui, LikClinical Decision Making5-1-2001
Ratings in Distributed Systems: A Bayesian ApproachMIT-LCS-TM-617Mui, LikClinical Decision Making5-1-2001
Three Round Zero-Knowledge Using a Proof of Knowledge AssumptionMIT-LCS-TM-616Lepinski, MatthewCryptography and Information Security4-20-2001
Mutually Independent CommitmentMIT-LCS-TM-615Liskov, MosesTheory of Computation4-9-2001
Forward-Secure Signatures with Optimal Signing and VerifyingMIT-LCS-TM-614Itkis, GeneCryptography and Information Security4-9-2001
A Unified Framework for Schedule and Storage OptimizationMIT-LCS-TM-613Thies, William F.Computer Architecture11-17-2000
Availability Study of Dynamic Voting AlgorithmsMIT-LCS-TM-611Ingols, KyleTheory of Computation11-1-2000
A General Framework for Highly Available Services based on Group CommunicationMIT-LCS-TM-610Fekete, AlanTheory of Computation11-1-2000
Concurrent/Resettable Zero-Knowledge Protocols for NP in the Public Key ModelMIT-LCS-TM-609Micali, SilvioTheory of Computation8-14-2000
A New Self-Play Experiment in Computer ChessMIT-LCS-TM-608Heinz, ErnstSupercomputing Technologies5-20-2000
Systematic Testing of Multithreaded ProgramsMIT-LCS-TM-607Bruening, D.Computer Architecture5-2-2000
Softspec: Software-based Speculative ParallelismMIT-LCS-TM-606Bruering, D.Computer Architecture4-17-2000
Proving Correctness of a Distributed Shared Memory ImplementationMIT-LCS-TM-603Castro, M.Programming Methodology1-4-1999
Bitwidth Analysis with Application to Silicon CompilationMIT-LCS-TM-602Stephenson, MarkComputer Architecture11-12-1999
Exploiting Superword Level Parallelism with Multimedia Instruction SetsMIT-LCS-TM-601Amarasinghe, S.Computer Architecture11-18-1999
Strength Reduction of Integer Division and Modulo OperationsMIT-LCS-TM-600Amarasinghe, SamanComputer Architecture11-1-1999
A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication AlgorithmMIT-LCS-TM-597Castro, MiguelProgramming Methodology6-1-1999
MASC: A User-Embeddable Hardware Platform and Infrastructure for Information AppliancesMIT-LCS-TM-596Chatterjee, SandeepClinical Decision Making3-9-1999
Authenticated Byzantine Fault Tolerance Without Public-Key CryptographyMIT-LCS-TM-595Castro, MiguelProgramming Methodology6-1-1999
Can Statistical Zero-Knowledge Be Made Non-Interactive? or On the Relationship of SZK and NISZKMIT-LCS-TM-594Goldreich, OdedTheory of Computation2-1-1999
A Client-Server Oriented for Virtually Synchronous Group Membership in WANsMIT-LCS-TM-593Keidar, IditTheory of Computation6-1-1999
NAIVE - Network Aware Internet Video EncodingMIT-LCS-TM-591Briceno, HectorComputer Graphics4-22-1999
Complexity Results for Single Machine Distance Constrained Scheduling ProblemsMIT-LCS-TM-587Engels, Daniel W.Clinical Decision Making11-1-1998
Extracting all the Randomness from a Weakly Random SourceMIT-LCS-TM-585Vadhan, SalilTheory of Computation8-1-1998
Local Rules Modeling of Nucleation-Limited Virus Capsid AssemblyMIT-LCS-TM-584Schwartz, RussellTheory of Computation8-1-1998
Maps: a Compiler-Managed Memory System for RAW MachinesMIT-LCS-TM-583Barua, RajeevComputer Architecture7-1-1998
Indolent Closure CreationMIT-LCS-TM-580Strumpen, VolkerScientific Computing6-1-1998
A Concrete Construction Of Computationally-Sound CheckersMIT-LCS-TM-579Halevi, SNo Group Specified5-1-1998
More on Proofs of KnowledgeMIT-LCS-TM-578Micali, S.Theory of Computation5-1-1998
Computationally Sound ProofsMIT-LCS-TM-577Micali, SilvioTheory of Computation5-1-1998
Proving Correctness of a Controller Algorithm for the RAID Level 5 SystemMIT-LCS-TM-576Vaziri, MandanaTheory of Computation5-1-1998
Page 1 of 12 | First Page | Previous Page | Next Page | Last PageShow 10 | 25 | 50 | 100 per page


MIT Laboratory for Computer Science
Email: Telephone: 617-253-5851
Revised Tuesday, 23-Jul-2002 11:11:48 EDT
Valid HTML 4.01