Publication Title LCS Document Number Publication Author LCS Group Publication Date Automatic Software Upgrades for Distributed Systems MIT-LCS-TR-1012 Ajmani, Sameer Programming Methodology 11-30-2005 Accurate and Scalable Surface Representation and Reconstruction from Images MIT-LCS-TR-1011 Zeng, Gang Computer Graphics 11-18-2005 On Field Constraint Analysis MIT-LCS-TR-1010 Wies, Thomas Computer Architecture 11-3-2005 Towards Realizing the Performance and Availability Benefits of a Global Overlay Network MIT-LCS-TR-1009 Rahul, Hariharan Networks and Mobile Systems 11-1-2005 Using Cyclic Memory Allocation to Eliminate Memory Leaks MIT-LCS-TR-1008 Nguyen, Huu Hai Computer Architecture 10-26-2005 Knowledge Flow Analysis for Security Protocols MIT-LCS-TR-1007 Torlak, Emina Software Design 10-19-2005 Victim Migration: Dynamically Adapting Between Private and Shared CMP Caches MIT-LCS-TR-1006 Zhang, MIchael Computer Architecture 10-10-2005 Automatic Software Upgrades for Distributed Systems MIT-LCS-TR-1005 Ajmani, Sameer Programming Methodology 10-6-2005 Automatic Software Upgrades for Distributed Systems (PhD thesis) MIT-LCS-TR-1004 Ajmani, Sameer Programming Methodology 10-6-2005 Secondary Structure Prediction of All-Helical Proteins Using Hidden Markov Support Vector Machines MIT-LCS-TR-1003 Gassend, B. Computation Structures 10-6-2005 Combining diagrammatic and symbolic reasoning MIT-LCS-TR-1002 Arkoudas, Konstantine Program Analysis 10-6-2005 Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol MIT-LCS-TR-1001 Canetti, Ran Theory of Distributed Systems 8-19-2005 Using Probabilistic I/O Automata to Analyze an Oblivious Transfer MIT-LCS-TR-1001a Canetti, Ran Theory of Distributed Systems 12-14-2005 Slicing the Onion: Anonymous Routing Without PKI MIT-LCS-TR-1000 Katti, Sachin Networks and Mobile Systems 8-15-2005 Self-Stabilizing Mobile Node Location Management and Message MIT-LCS-TR-999 Dolev, Shlomi Theory of Distributed Systems 8-11-2005 Implementing Probabilistically Checkable Proofs of Proximity MIT-LCS-TR-998 Bhattacharyya, Arnab Complexity Theory 8-8-2005 On Algorithms and Complexity for Sets with Cardinality Constraints MIT-LCS-TR-997 Marnette, Bruno Computer Architecture 8-3-2005 How to Construct a Correct and Scalable iBGP Configuration MIT-LCS-TR-996 Vutukuru, Mythili Networks and Mobile Systems 8-3-2005 Proving Atomicity: An Assertional Approach MIT-LCS-TR-995 Chockler, Gregory Theory of Computation 7-22-2005 Byzantine Clients Rendered Harmless MIT-LCS-TR-994 Liskov, Barbara Programming Methodology 7-21-2005 Etna: a Fault-tolerant Algorithm for Atomic Mutable DHT Data MIT-LCS-TR-993 Muthitacharoen, Athicha Parallel and Distributed Operating Systems 6-15-2005 Autonomous Virtual Mobile Nodes MIT-LCS-TR-992 Dolev, Shlomi Theory of Computation 6-15-2005 Automatic Test Factoring for Java MIT-LCS-TR-991 Saff, David Program Analysis 6-8-2005 Theoretical Analysis of Geographic Routing in Social Networks MIT-LCS-TR-990 Kumar, Ravi Theory of Computation 6-3-2005 A Region-based Architecture for Service-Providing Distributed Systems MIT-LCS-TR-989 Singh, Neha Advanced Network Architecture 5-17-2005 Efficient, Verifiable Binary Sandboxing for a CISC Architecture MIT-LCS-TR-988 McCamant, Stephen Program Analysis 5-2-2005 De-Emphasis of Distracting Image Regions Using Texture Power Maps MIT-LCS-TR-987 Su, Sara L. Computer Graphics 4-12-2005 Motion Coordination Using Virtual Nodes MIT-LCS-TR-986 Lynch, Nancy Theory of Computation 4-6-2005 On Relational Analysis of Algebraic Datatypes MIT-LCS-TR-985 Kuncak, Viktor Computer Architecture 4-5-2005 Wait-free Regular Storage from Byzantine Components MIT-LCS-TR-984 Abraham, Ittai Theory of Distributed Systems 4-5-2005 Matrix Approximation and Projective Clustering via Iterative Sampling MIT-LCS-TR-983 Rademacher, Luis Algorithms 3-29-2005 Impossibility of boosting distributed service resilience MIT-LCS-TR-982 Attie, Paul Theory of Computation 2-25-2005 Stable Policy Routing with Provider Independence MIT-LCS-TR-981 Feamster, Nick Networks and Mobile Systems 2-8-2005 Consensus in Wireless Ad Hoc Networks MIT-LCS-TR-980 Chockler, G. Theory of Computation 2-8-2005 Virtual Stationary Automata for Mobile Networks MIT-LCS-TR-979 Dolev, Shlomi Theory of Computation 1-21-2005 How Much of a Hypertree can be Captured by Windmills? MIT-LCS-TR-978 Liang, Percy Algorithms 1-3-2005 A Dynamic Data Structure for Checking Hyperacyclicity MIT-LCS-TR-977 Liang, Percy Algorithms 1-3-2005 Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses MIT-LCS-TR-976 Salcianu, Alexandru Program Analysis 12-16-2004 On Decision Procedures for Set-Value Fields MIT-LCS-TR-975 Kuncak, Viktor Computer Architecture 11-30-2004 Availability-Consistency Trade-Offs in a Fault-Tolerant Stream Processing System MIT-LCS-TR-974 Balazinska, Magdalena Networks and Mobile Systems 11-22-2004 Capacity Allocation in Wireless LANs MIT-LCS-TR-973 Tan, Godfrey Networks and Mobile Systems 11-12-2004 The Quorum Deployment Problem MIT-LCS-TR-972 Gilbert, Seth Theory of Computation 10-29-2004 Managing the 802.11 Energy/Performance Tradeoff with Machine Learning MIT-LCS-TR-971 Monteleoni, Claire Networks and Mobile Systems 10-27-2004 On Spatial Conjunction as Second-Order Logic MIT-LCS-TR-970 Kuncak, Viktor Computer Architecture 10-25-2004 Botz-4-Sale: Surviving Organized DDoS Attacks that Mimic Flash Crowds MIT-LCS-TR-969 Kandula, Srikanth Networks and Mobile Systems 10-22-2004 Eclat: Automatic Generation and Classification of Test Inputs MIT-LCS-TR-968 Pacheo, Carlos Program Analysis 10-14-2004 NIRA: A New Internet Routing Architecture MIT-LCS-TR-967 Yang, Xiaowei Advanced Network Architecture 10-14-2004 Implementing Asynchronous Distributed Systems Using the IOA Toolkit MIT-LCS-TR-966 Georgiou, Chryssis Theory of Computation 10-6-2004 On Our Experience with Modular Pluggable Analyses MIT-LCS-TR-965 Lam, Patrick Computer Architecture 10-4-2004 Comparing Network Coding with Multicommodity Flow for the k-pairs Communication Problem MIT-LCS-TR-964 Harvey, Nicholas J. 11-24-2004 EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management MIT-LCS-TR-963 Leong, Ben Programming Methodology 8-13-2004 Byzantine Fault Tolerance in Long-Lived Systems MIT-LCS-TR-962 Rodrigues, Rodrigo Programming Methodology 8-13-2004 IOA User Guide and Reference Manual MIT-LCS-TR-961 Garland, Stephen Theory of Computation 7-20-2004 Systematic Removal of Nondeterminism for Code Generation in I/O Automata MIT-LCS-TR-960 Vaziri, Mandana Theory of Computation 7-19-2004 Definition and Expansion of Composite Automata in IOA MIT-LCS-TR-959 Tauber, Joshua A. Theory of Computation 7-19-2004 An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic MIT-LCS-TR-958 Kuncak, Viktor Computer Architecture 7-19-2004 Dynamically Resizable Static CMOS Logic for Fine-Grain Leakage MIT-LCS-TR-957 Heo, Seongmoo Computer Architecture 7-12-2004 Middleboxes No Longer Considered Harmful MIT-LCS-TR-954 Walfish, Michael Networks and Mobile Systems 6-24-2004 The Architecture of MAITA: A Tool for Monitoring, Analysis, and Interpretation MIT-LCS-TR-951 Jon, Doyle Clinical Decision Making 5-18-2004 Data Structure Repair Using Goal-Directed Reasoning MIT-LCS-TR-950 Demsky, Brian Computer Architecture 5-18-2004 A Combined Pointer and Purity Analysis for Java Programs MIT-LCS-TR-949 Salcianu, Alexandru Computer Architecture 5-17-2004 Verifying the Correctness of Wide-Area Internet Routing MIT-LCS-TR-948 Feamster, Nick Networks and Mobile Systems 5-17-2004 Video Matching MIT-LCS-TR-947 Sand, Peter Computer Graphics 5-11-2004 On Verifying a File System Implementation MIT-LCS-TR-946 Arkoudas, Konstantine Computer Architecture 5-6-2004 M&M: A Passive Toolkit for Measuring, Correlating, and Tracking Path Characteristics MIT-LCS-TR-945 Katti, Sachin Networks and Mobile Systems 4-14-2004 A Quantitative Comparison of Reconfigurable, Tiled, and Conventional Architectures on Bit-level Computation MIT-LCS-TR-944 Wentzlaff, David Computer Architecture 4-13-2004 Long-Lived Rambo: Trading Knowledge for Communication MIT-LCS-TR-943 Georgiou, Chryssis Theory of Computation 4-12-2004 On Generalized Records and Spatial Conjunction in Role Logic MIT-LCS-TR-942 Kuncak, Viktor Computer Architecture 4-6-2004 Predicting Problems Caused by Component Upgrades MIT-LCS-TR-941 McCamant, Stephen Program Analysis 3-30-2004 Converting Java Programs to Use Generic Libraries MIT-LCS-TR-940 Donovan, Alan Program Analysis 3-30-2004 REED: Robust, Efficient Filtering and Event Detection in Sensor Networks MIT-LCS-TR-939 Abadi, Daniel J. 3-22-2004 Predicting Unroll Factors Using Nearest Neighbors MIT-LCS-TR-938 Stephenson, Mark 3-22-2004 Virtual Mobile Nodes for Mobile Ad Hoc Networks MIT-LCS-TR-937 Dolev, Shlomi Theory of Computation 2-26-2004 MultiChord: A Resilient Namespace Management Protocol MIT-LCS-TR-936 Lynch, Nancy Theory of Computation 2-19-2004 Enhancing Availability and Security Through Failure-Oblivious Computing MIT-LCS-TR-935 Rinard, Martin Computer Architecture 2-6-2004 Light-Weight Leases for Storage-Centric Coordination MIT-LCS-TR-934 Chockler, Gregory Theory of Computation 4-22-2004 On Modular Pluggable Analyses Using Set Interfaces MIT-LCS-TR-933 Lam, Patrick Computer Architecture 12-18-2003 Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture MIT-LCS-TR-932 Rodrigues, Rodrigo Programming Methodology 12-17-2003 Finding Longest Increasing and Common Subsequences in Streaming Data MIT-LCS-TR-931 Liben-Nowell, David 11-26-2003 The Satisfiability Threshold of Random 3-SAT Is at Least 3.52 MIT-LCS-TR-929 Hajiaghayi, MohammadTaghi Theory of Computation 11-20-2003 Efficient Specification-Assisted Error Localization and Correction MIT-LCS-TR-927 Demsky, Brian Computer Architecture 11-13-2003 Scalable Internet Routing on Topology-Independent Node Identities MIT-LCS-TR-926 Ford, Bryan 10-31-2003 On Role Logic MIT-LCS-TR-925 Kuncak, Viktor Computer Architecture 10-24-2003 Generating Trees of (Reducible) 1324-avoiding Permutations MIT-LCS-TR-924 Marinov, Darko 10-9-2003 A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership MIT-LCS-TR-920 Rodrigues, Rodrigo Programming Methodology 9-25-2003 Correlated Equilibrium Via Stable Pre-Play MIT-LCS-TR-918 Lepinski, Matthew Cryptography and Information Security 6-30-2003 The Theory of Timed I/O Automata MIT-LCS-TR-917 Kaynar, Dilsun K. Theory of Computation 8-27-2003 The Theory of Timed I/O Automata MIT-LCS-TR-917a Kaynor, Dilsun K. Theory of Computation 3-2-2005 On The Boolean Algebra of Shape Analysis Constraints MIT-LCS-TR-916 Kuncak, Viktor Computer Architecture 8-22-2003 A Reliable Broadcast Scheme for Sensor Networks MIT-LCS-TR-915 Livadas, Carolos Theory of Computation 8-11-2003 Selecting Refining and Evaluating Properties for Program Analysis MIT-LCS-TR-914 Dodoo, Nii Program Analysis 7-21-2003 Marriage, Honesty, and Stability MIT-LCS-TR-913 Immorlica, Nicole Theory of Computation 7-28-2003 Secure Program Execution Via Dynamic Information Flow Tracking MIT-LCS-TR-912 Suh, G. Edward Computation Structures 7-21-2003 New Algorithms for Load Balancing in Peer-to-Peer Systems MIT-LCS-TR-911 Karger, David Theory of Computation 7-16-2003 On the Max-Flow Min-Cut Ratio for Directed Multicommodity Flows MIT-LCS-TR-910 Hajiaghayi, MohammadTaghi Theory of Computation 7-5-2003 Bandwidth Management in Wireless Sensor Networks MIT-LCS-TR-909 Hull, Bret Networks and Mobile Systems 4-8-2003 Computer-Enforced Immutability for the Java Language MIT-LCS-TR-908 Birka, Adrian Program Analysis 6-30-2003 Compositionality for Probabilistic Automata MIT-LCS-TR-907 Lynch, Nancy Theory of Computation 6-30-2003 On a Recursive Spectral Algorithm for Clustering from Pairwide Similarities MIT-LCS-TR-906 Cheng, David Theory of Computation 5-27-2003 Subexponential Parameterized Algorithms on Graphs of Bounded Genus and H-minor-free Graphs MIT-LCS-TR-905 Demaine, Erik Theory of Computation 6-5-2003 Fixed Parameter Algorithms for Minor-Closed Graphs (of Locally Bounded Treewidth) MIT-LCS-TR-904 Demaine, Erik Theory of Computation 6-4-2003 Equivalence of Local Treewidth and Linear Local Treewidth and its Algorithmic Applications MIT-LCS-TR-903 Demaine, Erik Theory of Computation 5-29-2003 Dynamic Input/Output Automata: A Formal Model for Dynamic Systems MIT-LCS-TR-902 Attie, Paul C. Theory of Computation 7-26-2003 Snapsshots in a Distributed Persistent Object Storage System MIT-LCS-TR-901 Moh, Chuang-Hue Programming Methodology 5-27-2003 GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks MIT-LCS-TR-900a Dolev, Shlomi Theory of Computation 2-25-2004 Incremental Multiset Hash Functions and their Application to Memory Integrity Checking MIT-LCS-TR-899 Clarke, Dwaine Computation Structures 5-23-2003 A Model for Analyzing the Roles of Network and User Behavior in Congestion Control MIT-LCS-TR-898 Tay, Y.C. Parallel and Distributed Operating Systems 5-22-2003 Improving Application-level Network Services with Regions MIT-LCS-TR-897 Li, Ji Advanced Network Architecture 5-22-2003 A General Multiplexed ECN Channel and its USe for Wireless Loss Notification MIT-LCS-TR-896 Sharma, M. Networks and Mobile Systems 5-7-2003 Decoupling Congestion Control from Bandwidth Allocation Policy and its Application to High Bandwidth-Delay Product Networks MIT-LCS-TR-895 Katabi, Dina Advanced Network Architecture 5-7-2003 Sift: A MAC Protocol for Event-Driven Wireless Sensor Networks MIT-LCS-TR-894 Jamieson, Kyle Networks and Mobile Systems 5-2-2003 Anchor-Free Distributed Localization in Sensor Netowrks MIT-LCS-TR-892 Priyantha, Nissanka B. Computer Graphics 4-15-2003 System Dependence Graph Construction for Aspect-Oriented Programs MIT-LCS-TR-891 Zhao, Jianjun Computer Architecture 3-14-2003 RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks MIT-LCS-TR-890 Gilbert, Seth Theory of Computation 3-25-2003 Inference of Generic Types in Java MIT-LCS-TR-889 Donnvan, Alan Program Analysis 3-22-2003 Building Data Structures on Untrusted Peer-to-Peer Storage with Per-participant Logs MIT-LCS-TR-888 Chen, Benjie Parallel and Distributed Operating Systems 3-21-2003 Efficient Consistency Proofs on a Committed Database MIT-LCS-TR-887 Ostrovsky, Rafail Theory of Computation 2-27-2003 On the (In)security of the Fiat-Shamir Paradigm MIT-LCS-TR-886 Goldwasser, Shafi Theory of Computation 2-20-2003 Plaintext Awareness via Key Registration MIT-LCS-TR-885 Herzog, Jonathan Cryptography and Information Security 2-10-2003 REX: Secure, modular remote execution through file descriptor passing MIT-LCS-TR-884 Kaminsky, Michael Parallel and Distributed Operating Systems 1-31-2003 Secure Processor Architecture for Tamper-Evident and Private Tamper-Resistant Enviorments MIT-LCS-TR-883 Suh, G. Edward Computation Structures 1-28-2003 Efficient Web Browsing for Mobile Clients using HTTP Compression MIT-LCS-TR-882 Krashinsky, Ronny Computer Architecture 1-21-2003 Physical Random Functions MIT-LCS-TR-881 Gassend, Blaise Computation Structures 2-1-2003 Application of Hybrid I/O Automata in Safety Verification of Pitch Controller for Model Heliocopter System MIT-LCS-TR-880 Mitra, Sayan Theory of Computation 1-14-2003 On the Theory of Structural Subtyping MIT-LCS-TR-879 Kuncak, Viktor Computer Architecture 1-20-2003 Using Software-Extended Architectures for Software Simultaneous Multithreading MIT-LCS-TR-878 Witchel, Emmett Parallel and Distributed Operating Systems 12-23-2002 Boosting Fault-Tolerance in Asynchronous Message Passing Systems is Impossible MIT-LCS-TR-877 Attie, Paul Theory of Computation 12-20-2002 Economic Mechanisms for Efficient Wireless Coexistence MIT-LCS-TR-876 Aftab, Omar Advanced Network Architecture 8-24-2002 Automatic Detection and Repair of Errors in Data Structures MIT-LCS-TR-875 Demsky, Brian Computer Architecture 12-6-2002 A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information MIT-LCS-TR-874 Lam, Patrick Computer Architecture 12-5-2002 A Dynamic Primary View Group Communication Service MIT-LCS-TR-873 De Prisco, Roberto Theory of Computation 11-25-2002 Hardware Mechanisms for Memory Integrity Checking MIT-LCS-TR-872 Suh, G. Edward Computation Structures 11-18-2002 Offline Integrity Checking of Untrusted Storage MIT-LCS-TR-871 Clarke, Dwaine Computation Structures 11-15-2002 Access-Controlled Resource Discovery for Pervasive Networks MIT-LCS-TR-870 Raman, Sanjay Computation Structures 9-11-2002 A Type System for Safe Region-Based Memory Management in Real-Time Java MIT-LCS-TR-869 Salcianu, Alexandru Computer Architecture 11-18-2002 A Formal Venture into Reliable Multicast Territory MIT-LCS-TR-868 Livadas, Carolos Theory of Computation 11-5-2002 The Case for Exploiting Packet Loss Locality in Multicast Loss Recovery MIT-LCS-TR-867 Livadas, Carolos Theory of Computation 10-30-2002 Blueware: Bluetooth Simulator for ns MIT-LCS-TR-866 Tan, Godfrey Networks and Mobile Systems 10-30-2002 Tetris is Hard, Even to Approximate MIT-LCS-TR-865 Liben-Nowell, David Theory of Computation 10-21-2002 The Facility Location Problem with Concave Cost Functions MIT-LCS-TR-864 Hajiaghayi, Mohammad Taghi Theory of Computation 9-22-2002 Typestate Checking and Regular Graph Constraints MIT-LCS-TR-863 Kuncak, Viktor Computer Architecture 9-30-2002 Fault-Tolerant and 3-Dimensional Topology Control Algorithms for Wireless Ad Hoc Networks MIT-LCS-TR-862 Mirrokni, Vahab Theory of Computation 9-16-2002 Geometric Algorithms for Online Optimization MIT-LCS-TR-861 Kalai, Adam Theory of Computation 8-30-2002 Designing Traffic Profiles for Bursty Internet Traffic MIT-LCS-TR-860 Yang, Xiowei Advanced Network Architecture 8-1-2002 Scalar Operand Networks: On-chip interconnect for ILP in Partitioned Architechures MIT-LCS-TR-859 Taylor, Michael Bedford RAW 7-21-2002 Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases MIT-LCS-TR-858 Boyapati, Chandrasekhar Programming Methodology 7-19-2002 Caches and Merkle Trees for Efficient Memory Authentication MIT-LCS-TR-857 Gassend, Blaise Computation Structures 7-20-2002 Delay-Based Circuit Authentication With Application to Key Cards MIT-LCS-TR-854 Gassend, Blaise Computation Structures 6-29-2002 Safe Runtime Downcasts With Ownership Types MIT-LCS-TR-853 Boyapati, Chandrasekhar Computer Architecture 6-26-2002 Automatic Generation and Checking of Program Specifications MIT-LCS-TR-852 Nimmer, Jeremy Program Analysis 6-10-2002 Safe Lazy Software Upgrades in Object-Oriented Databases MIT-LCS-TR-851 Liskov, Barbara Programming Methodology 6-7-2002 Combining Abstraction with Byzantine Fault-Tolerance MIT-LCS-TR-850 Rodrigues, Rodrigo Programming Methodology 5-24-2001 A Scalable Byzantine Fault Tolerant Secure Domain Name Service MIT-LCS-TR-849 Ahmed, Sarah Programming Methodology 1-22-2001 Improving Test Suites via Generated Specifications MIT-LCS-TR-848 Harder, Michael Program Analysis 6-4-2002 A Trusted Third-Party Computation Service MIT-LCS-TR-847 Ajmani, Sameer Programming Methodology 5-1-2001 A Trusted Execution Platform for Multiparty Computation MIT-LCS-TR-846 Ajmani, Sameer Programming Methodology 9-1-2000 Controlled Physical Unknown Functions: Applications to Secure Smartcards and Certified Execution MIT-LCS-TR-845 Gassend, Blaise Computation Structures 6-10-2002 A Double-Pulsed Set-Conditional-Reset Flip-Flop MIT-LCS-TR-844 Ma, Albert Computer Architecture 5-1-2002 The IOA Simulator MIT-LCS-TR-843 Kaynar, Dilsum Theory of Computation 7-16-2002 Towards An Extensible Virtual Machine MIT-LCS-TR-842 Boyapati, Chandrasekhar Computer Architecture 4-29-2002 Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving MIT-LCS-TR-841 Ne Win, Toh Program Analysis 5-25-2002 Early-Delivery Dynamic Atomic Broadcast MIT-LCS-TR-840 Bar-Joseph, Ziv Theory of Computation 4-17-2002 A Type System for Preventing Data Races and Deadlocks in Java Programs MIT-LCS-TR-839 Boyapati, Chandrasekhar Computer Architecture 3-22-2002 Exponential Speedup of Fixed Parameter Algorithms K_{3,3}-minor-free or K_5-minor-free Graphs MIT-LCS-TR-838 Demaine, Erik Theory of Computation 3-18-2002 L+: Scalable Landmark Routing and Address Lookup for Multi-hop Wireless Networks MIT-LCS-TR-837 Chen, Benjie Parallel and Distributed Operating Systems 3-12-2002 Effects of Loss Rate on Ad Hoc Wireless Routing MIT-LCS-TR-836 S.J. DeCouto, Douglas Parallel and Distributed Operating Systems 3-8-2002 Write Barrier Removal by Static Analysis MIT-LCS-TR-834 Zee, Karen Computer Architecture 2-20-2002 Silicon Physical Unknown Functions and Secure Smartcards MIT-LCS-TR-833 Gassend, Blaise Computation Structures 5-13-2002 Fine-Grain Dynamic Leakage Reduction MIT-LCS-TR-832 Heo, Seongmoo Computer Architecture 1-29-2002 Leakage-Biased Domino Circuits for Dynamic Fine-Grain Leakage Reduction MIT-LCS-TR-831 Heo, Seongmoo Computer Architecture 1-29-2002 An Information-Theoretic Approach to Interest Making MIT-LCS-TR-830 Koh, Waikit Clinical Decision Making 5-1-2001 2RegionRED: a Congestion Control Mechanism for the High Speed Internet MIT-LCS-TR-829 Wang, Karen Advanced Network Architecture 12-19-2001 Inferring Congestion Sharing and Path Characteristics from Packet Interarrival Times MIT-LCS-TR-828 Katabi, Dina Advanced Network Architecture 12-6-2001 Hybrid I/O Automata MIT-LCS-TR-827 Lynch, Nancy Theory of Computation 9-28-2001 Forming Scatternets from Bluetooth Personal Area Networks MIT-LCS-TR-826 Tan, Godfrey Networks and Mobile Systems 9-20-2001 Scalable, Controlled Imagery Capture in Urban Environments MIT-LCS-TR-825 Teller, Seth Computer Graphics 9-5-2001 Location Proxies and Intermediate Node Forwarding for Practical Geographic Forwarding MIT-LCS-TR-824 De Couto, Douglas Parallel and Distributed Operating Systems 5-30-2001 Roles Are Really Great! MIT-LCS-TR-822 Kuncak, Viktor Computer Architecture 8-3-2001 On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial MIT-LCS-TR-821 Keidar, Idit Theory of Computation 5-24-2001 Using precise feedback for controlling congestion in the Internet MIT-LCS-TR-820 Katabi, Dina Advanced Network Architecture 5-1-2001 Chord: A scalable peer-to-peer lookup service for Internet applications MIT-LCS-TR-819 Stoica, Ion Parallel and Distributed Operating Systems 3-23-2001 Client Authentication on the Web MIT-LCS-TR-818 Fu, Kevin Parallel and Distributed Operating Systems 3-14-2001 Practical Byzantine Fault Tolerance MIT-LCS-TR-817 Castro, Miguel Programming Methodology 1-31-2001 Object Models, Heaps and Interpretations MIT-LCS-TR-816 Kuncak, Viktor Computer Architecture 1-8-2001 Perspectives on the Use of the Internet in Sri Lanka MIT-LCS-TR-815 Shrestha, Govinda Computer Architecture 11-20-2000 Automatic Recovery of Camera Positions in Urban Scenes MIT-LCS-TR-814 Antone, Matthew Computer Graphics 12-20-2000 Fine-Grained Failover Using Connection Migration MIT-LCS-TR-813 Snoeren, Alex Networks and Mobile Systems 11-27-2000 Programming Language Techniques for Modular Router Configurations MIT-LCS-TR-812 Kohler, Eddie Parallel and Distributed Operating Systems 8-21-2000 An Efficient Boosting Algorithm for Combining Preferences MIT-LCS-TR-811 Iyer Jr., Raj Dharmarajan Theory of Computation 8-24-1999 TrendFinder: Automated Detection of Alarmable Trends MIT-LCS-TR-809 Tsien, Christine Clinical Decision Making 6-1-2000 System Support for Bandwidth Management and Content Adaptation in Internet Applications MIT-LCS-TR-808 Andersen, David Networks and Mobile Systems 5-1-2000 An Analysis of Short-Term Fairness in Wireless Media Access Protocols MIT-LCS-TR-807 Koksal, C.E. No Group Specified 1-1-2000 TCP-friendly Congestion Control for Real-time Streaming Applications MIT-LCS-TR-806 Bansal, D. No Group Specified 5-1-2000 Distributed Cooporation in the Absence of Communication MIT-LCS-TR-804 Malewicz, Greg Theory of Computation 4-20-2000 On Building Blocks for Distributed Systems MIT-LCS-TR-803 DePrisco, Roberto Theory of Computation 4-20-2000 Cooperative Computing with Fragmentable and Mergeable Groups MIT-LCS-TR-802 Georgiou, C. Theory of Computation 1-1-2000 The Static Single Information Form MIT-LCS-TR-801 Ananian, C.S. Computer Architecture 9-3-1999 The Local Rules Dynamics Model for Self-Assembly Simulation MIT-LCS-TR-800 Schwartz, R. No Group Specified 2-1-2000 Maps: A Compiler-Managed Memory System for Software-Exposed Architectures MIT-LCS-TR-799 Barua, R. No Group Specified 1-21-2000 A Framework for Scalable Global-Anycast(GIA) MIT-LCS-TR-798 Katabi, Dina Advanced Network Architecture 1-1-2000 Alloy: A Lightweight Object Modelling Notation MIT-LCS-TR-797 Jackson, D. Software Design 2-1-2000 QoS Preserving Totally Ordered Multicast MIT-LCS-TR-796 Bar-Joseph, Ziv Theory of Computation 1-1-2000 Compositional Pointer and Escape Analysis for Multithreaded Java Programs MIT-LCS-TR-795 Rinard, M. Computer Architecture 11-19-1999 A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs MIT-LCS-TR-794 Keidar, Idit Theory of Computation 1-1-2000 Information Technology Use in Developing Countries MIT-LCS-TR-793 Shrestha, Govinda Headquarters 7-1-2000 Optimistic Virtual Synchrony MIT-LCS-TR-792 Sussman, Jeremy Theory of Computation 1-1-2000 Radiance Interpolants for Interactive Scene Editing and Ray Tracing MIT-LCS-TR-791 Bala K., No Group Specified 9-1-1999 Group Communication Specifications: A Comprehensive Study MIT-LCS-TR-790 R. Vitenberg, Theory of Computation 9-17-1999 I/O Automaton Models and Proofs for Shared-Key Communication Systems MIT-LCS-TR-789 Lynch, N. No Group Specified 8-9-1999 A Selection Model of Mortality Crossover MIT-LCS-TR-788 Mohtashemi, M. Clinical Decision Making 1-1-2000 Loop Analysis and Natural Selection MIT-LCS-TR-787 Mohtashemi, M. Clinical Decision Making 1-1-2000 Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions MIT-LCS-TR-786 Adya, A. Programming Methodology 3-1-1999 Portable High-Performance Programs MIT-LCS-TR-785 Frigo, M. Scientific Computing 6-1-1999 Immediate-Mode Ray-Casting MIT-LCS-TR-784 Teller, S.A No Group Specified 6-1-1999 Mostly-Static Decentralized Information Flow Control MIT-LCS-TR-783 Myers, A. Programming Methodology 1-1-1999 Performance Nonmonotonicities: A Case Study of the UltraSPARC Processor MIT-LCS-TR-782 Kushman, N. Scientific Computing 6-1-1998 Regions: A Scalable Infrastructure for Scoped Service Location in Ubiquitous Computing MIT-LCS-TR-781 Benedicto, K. Advanced Network Architecture 5-1-1999 Creating and Rendering Image-Based Visual Hulls MIT-LCS-TR-780 Buehler, C. No Group Specified 5-1-1999 Providing QoS Guarantees in Input Buffered Crossbar Switches with Speedup MIT-LCS-TR-779 Charney, A. Advanced Network Architecture 8-1-1998 Dynamically Reparameterized Light Fields MIT-LCS-TR-778 Isaksen, A. No Group Specified 5-1-1999 Teaching Policy to Computer Science Students MIT-LCS-TR-777 Blumenthal, Marjory S. Advanced Network Architecture 12-1-1998 Credible Compilers MIT-LCS-TR-776 Rinard, M. No Group Specified 3-10-1999 An Architecture for Intentional Name Resolution and Application-level Routing MIT-LCS-TR-775 Adjie-Winoto, William No Group Specified 2-1-1999 Service Introduction in an Active Network MIT-LCS-TR-773 Wetherall, D. No Group Specified 2-1-1999 An Integrated Congestion Management Architecture for Internet Hosts MIT-LCS-TR-771 Balakrishnan, No Group Specified 2-1-1999 Fast Place and Route Approaches for FPGAs MIT-LCS-TR-768 Tessier, Russell G. No Group Specified 2-1-1999 The Case for SRPT Scheduling in Web Servers MIT-LCS-TR-767 Harchol-Balter, Mor No Group Specified 10-23-1998 Polygonal Approximation of Voronoi Diagrams of Set of Triangles in Three Dimensions MIT-LCS-TR-766 Teichmann, Marek Computer Graphics 1-1-2000 A Model for Window Based Flow Control Packet-Switched Networks MIT-LCS-TR-765 Yang, Xiaowei No Group Specified 3-1-1998 Providing QoS Guarantees in Input Buffered Crossbar Switches with Speedup MIT-LCS-TR-764 Charny, Anna No Group Specified 9-1-1998 Fast Thread Communication and Synchronization Mechanisms for a Scalable Single Chip Multiprocessor MIT-LCS-TR-763 Keckler, Stephen William No Group Specified 6-1-1998 The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems MIT-LCS-TR-762 Garland, S.J. Theory of Computation 8-1-1998 Scalable Inter-Cluster Communications Systems for Clustered Microprocessors MIT-LCS-TR-760 Jiang, X. Computer Architecture 6-1-1998 Algorithms for Data-Race Detection in Multithreaded Programs MIT-LCS-TR-758 Cheng, G. Scientific Computing 7-1-1998 On Choosing a Task Assignment Policy for a Distributed Server System MIT-LCS-TR-757 Harchol-Balter, M. Theory of Computation 1-1-2000 Intermediation and Electronic Markets: Aggregation and Pricing in Internet Commerce MIT-LCS-TR-756 Bailey, J.P. Advanced Network Architecture 6-1-1998 Exploring Optimal Cost-Performance Designs for RAW processors MIT-LCS-TR-754 Moritz, C.A. Computer Architecture 6-1-1998 A Model for Interactive Computation: Applications to Speech Research MIT-LCS-TR-753 McCandless, M. No Group Specified 6-1-1998 The Use of Speaker Correlation Information for Automatic Speech Recognition MIT-LCS-TR-751 No Author Available Spoken Language Systems 5-1-1998 Debugging Multithreaded Programs that Incorporate User-Level Locking MIT-LCS-TR-750 Stark, A.F. Scientific Computing 5-1-1998 Cilk: Efficient Multithreaded Computing MIT-LCS-TR-749 Randall, K. Scientific Computing 5-1-1998 Bounded-Error Interactive Ray Tracing MIT-LCS-TR-748 Bala, K. No Group Specified 3-1-1998 An Efficient Virtual Network Interface in the Fugu Scalable Workstation MIT-LCS-TR-745 Mackenzie, K. No Group Specified 1-1-1998 Integrated Shared-Memory and Message-Passing Communication in the Alewife Multiprocessor MIT-LCS-TR-744 Kubiatowicz, J.D. No Group Specified 1-1-1998 Multigrain Shared Memory MIT-LCS-TR-743 Yeung, D. No Group Specified 1-1-1998 An Interactive Approach to the Identification and Extraction of Visual Events MIT-LCS-TR-742 Stasior, W. Parallel and Distributed Operating Systems 2-1-1998 Frustum Casting for Progressive, Interactive Rendering MIT-LCS-TR-740 Teller, S. No Group Specified 1-1-1998 Planning and control in stochastic domains with imperfect information MIT-LCS-TR-738 Hauskrecht, M. Clinical Decision Making 1-1-1998 Proceedings of the 1998 MIT Student Workshop on High-Performance Computing in Science and Engineering MIT-LCS-TR-737 Leiserson, C.E. No Group Specified 1-1-1998 Speech Perception Using Real-Time Phoneme Detection: The BeBe System MIT-LCS-TR-736 Sweeny, L. Spoken Language Systems 4-1-1998 Boolean Compilation of Relational Specifications MIT-LCS-TR-735 Jackson, D. Theory of Computation 1-1-1998 Parallel Communication Mechanisms for Sparse, Irregular Applications MIT-LCS-TR-733 Chong, F.T. Computer Architecture 11-1-1997 Decoding Reed Solomon Codes beyond the Error-Correction Diameter MIT-LCS-TR-732 Sudan, No Group Specified 1-1-1997 Algorithmic issues in coding theory MIT-LCS-TR-731 Sudan, No Group Specified 10-9-1997 Formal Verification of Safety-Critical Hybrid Systems MIT-LCS-TR-730 Livadas, C. No Group Specified 9-1-1997 Automatic Extraction of Textured Vertical Facades from Pose Imagery MIT-LCS-TR-729 Coorg, S. No Group Specified 1-1-1998 The Fastest Fourier Transform in the West MIT-LCS-TR-728 Frigo, M. Scientific Computing 9-1-1997 Garbage Collection in a Large, Distributed Object Store MIT-LCS-TR-727 Maheshwari, U. Programming Methodology 9-1-1997 View-based abstraction: Enhancing Maintainability and Modularity in the presence of Implementation Dependencies MIT-LCS-TR-726 Rodriguez, L.H. Mathematics and Computation 9-12-1997 Managing Scheduled Routing with a High-level Communication Language MIT-LCS-TR-725 Metcalf, C.D. Computer Architecture 8-1-1997 An Optimized Hardware Architecture and Communication Protocol for Scheduled Communication MIT-LCS-TR-724 Shoemaker, D. Computer Architecture 8-1-1997 Building an Active Node on the Internet MIT-LCS-TR-723 Murphy, D. No Group Specified 5-1-1997 Message-Driven Dynamics MIT-LCS-TR-721 Lethin, R.A. No Group Specified 7-1-1997 HULA: An Efficient Protocol for Reliable Delivery of Messages MIT-LCS-TR-720 Maheshwari, U. No Group Specified 7-1-1997 Experimental Study of Minimum Cut Algorithms MIT-LCS-TR-719 Levine, M.S. No Group Specified 5-1-1997 A Model-Based Expert System for interpretation of hemodynamic data from ICU patients MIT-LCS-TR-718 Zhao, R. No Group Specified 5-1-1997 Revisiting the Paxos Algorithm MIT-LCS-TR-717 DePrisco, R. No Group Specified 6-1-1997 Relieving Hot Spots on the World Wide Web MIT-LCS-TR-716 Panigrahy, R. No Group Specified 6-1-1997 A Random Server Model for Private Information Retrieval (or Information Theoretic PIR Avoiding Database Replication MIT-LCS-TR-715 Gertner, Y. No Group Specified 4-1-1997 Efficient distributed 1 out of n oblivious transfer MIT-LCS-TR-714 Gertner, Y. No Group Specified 4-1-1997 Fine-Grained Control of Java Applets Using a Simple Constraint Language MIT-LCS-TR-713 Mehta, N.V. Advanced Network Architecture 6-1-1997 Engineering a Global Resolution Service MIT-LCS-TR-712 Slottow, E.C. Advanced Network Architecture 6-1-1997 Modularity in the Presence of Subclassing MIT-LCS-TR-711 Stata, R. No Group Specified 4-1-1997 Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors MIT-LCS-TR-710 Sobalvarro, P.G. No Group Specified 4-1-1997 Baring it all to Software: The Raw Machine MIT-LCS-TR-709 Waingold, Elliot No Group Specified 3-1-1997 Optimism vs. Locking: A Study of Concurrency Control for Client-Server Object-Oriented Databases MIT-LCS-TR-708 Gruber, R.E. Programming Methodology 1-1-1997 Replication Control in Distributed B-Trees MIT-LCS-TR-705 Cosway, P.R. No Group Specified 2-1-1997 Learning Algorithms with Applications to Robot Navigation and Protein Folding MIT-LCS-TR-704 Singh, Mona Theory of Computation 12-1-1996 Public-Key Cryptosystems from Lattice Reduction Problems MIT-LCS-TR-703 Goldreich, O. Theory of Computation 11-1-1996 Code Importing Techniques for Fast, Safe Client/Server Access MIT-LCS-TR-702 Bank, J.A. No Group Specified 9-1-1996 The Cilk System for Parallel Multithreaded Computing MIT-LCS-TR-701 Joerg, C.F. No Group Specified 1-1-1996 On Consulting a Set of Experts and Searching MIT-LCS-TR-700 Galperin, I. Theory of Computation 9-1-1996 Partitioned Garbage Collection of a Large Object Store MIT-LCS-TR-699 Maheshwari, U. Programming Methodology 2-1-1997 A Hierarchical Feature Representation for Phonetic Classification MIT-LCS-TR-698 Chun, R.Y.T. Spoken Language Systems 3-1-1996 Shared Memory Versus Message Passing for Iterative Solution of Sparse, Irregular Problems MIT-LCS-TR-697 Chong, F.T No Group Specified 10-27-1996 The ViewStation Collected Papers II MIT-LCS-TR-696 Stasior, W. Parallel and Distributed Operating Systems 5-1-1996 Proceedings of the Sixth Annual MIT Student Workshop on Computing Technology MIT-LCS-TR-695 Frank, M.I. Scientific Computing 8-1-1996 A Study on Out-of-Volcabulary Word Modeling for a Segment-Based Keyword Spotting System MIT-LCS-TR-694 Manos, A.S. Spoken Language Systems 4-1-1996 The Computer Science Technical Report (CS-TR) Project: Considerations from the Library Perspective MIT-LCS-TR-693 Anderson, G. 6-1-1996 Efficient Garbage Collection for Large Object-Oriented Databases MIT-LCS-TR-692 Ng, T.C. Programming Methodology 5-1-1996 A Security Model for the Information Mesh MIT-LCS-TR-691 Condell, M.N. Advanced Network Architecture 6-1-1996 Learning from Imperfect Data in Theory and Practice MIT-LCS-TR-690 Slonim, D.K. Theory of Computation 5-1-1996 Encapsulated Key Escrow MIT-LCS-TR-688 Bellare, M. Theory of Computation 4-1-1996 Phonological Parsing for Bi-directional Letter-to-Sound/Sound-to-Letter Generation MIT-LCS-TR-687 Meng, H.M. Spoken Language Systems 6-1-1995 On the Structure of the Scaffolding Core of Bacteriophage T4 and Its Role in Head Length MIT-LCS-TR-686 Berger, B. Theory of Computation 1-1-1996 Correctness of Vehicle Control Systems: A Case Study MIT-LCS-TR-685 Weinberg, H.B. Theory of Computation 2-1-1996 Time-lock Puzzles and Timed-release Crypto MIT-LCS-TR-684 Rivest, R.L. Theory of Computation 2-1-1996 Adaptively Secure Multi-party Computation MIT-LCS-TR-682 Canetti, R. Theory of Computation 2-1-1996 A Theory of Clock Synchronization MIT-LCS-TR-680 Patt, B. Theory of Computation 10-1-1994 Admission Control and Routing: Theory and Practice MIT-LCS-TR-679 Gawlick, R. Theory of Computation 6-1-1995 Identifying and Merging Related Bibliographic Records MIT-LCS-TR-678 Hylton, J.A. No Group Specified 2-1-1996 Executing Multithreaded Programs Efficiently MIT-LCS-TR-677 Blumofe, R.D. Scientific Computing 9-1-1995 Modeling and Verification of Randomized Distributed Real -Time Systems MIT-LCS-TR-676 Segala, R. Theory of Computation 6-1-1996 High-Performance All-Software Distributed Shared Memory MIT-LCS-TR-674 Johnson, K.L. Computer Architecture 2-1-1996 Aurora at MIT MIT-LCS-TR-673 Clark, D.D. Advanced Network Architecture 12-1-1995 Learning and Vision Algorithms for Robot Navigation MIT-LCS-TR-671 Betke, M. Theory of Computation 6-1-1995 Decentralized Channel Management in Scalable Multihop Spread-Spectrum Packet Radio Networks MIT-LCS-TR-670 Shepard, T.J. Advanced Network Architecture 7-1-1995 Integrating Compile-time and Runtime Parallelism Management Through Revocable Thread Serialization MIT-LCS-TR-669 Maa, G.K. Computer Architecture 2-1-1995 Theta Reference Manual MIT-LCS-TR-668 Liskov, B. Programming Methodology 2-8-1995 Lottery and Stride Scheduling: Flexible Proportional-share Resource Management MIT-LCS-TR-667 Waldspurger, C.A. No Group Specified 9-1-1995 The Modified Object Buffer: A Storage Management Technique for Object-Oriented Databases MIT-LCS-TR-666 Ghemawat, S Programming Methodology 9-1-1995 Dynamic Computation Migration in Distributed Shared Memory Systems MIT-LCS-TR-665 Hsieh, No Group Specified 9-5-1995 Reactive Synchronization Algorithms for Multiprocessors MIT-LCS-TR-664 Lim, B. Computer Architecture 6-1-1995 Restricted Branching Programs and Hardware Verification MIT-LCS-TR-663 Ponzio, S.J. Theory of Computation 8-1-1995 Computationally Efficient Error-Correcting Codes and Holographic Proofs MIT-LCS-TR-662 Spielman, D.A. Theory of Computation 6-1-1995 A Comparison of Approaches to On-Line Handwritten Character Recognition MIT-LCS-TR-661 Kassel, R.H. Spoken Language Systems 5-1-1995 Proceedings of the Fifth Annual MIT Student Workshop on Scalable Computing MIT-LCS-TR-660 Chong, F.T. Scientific Computing 8-1-1995 Link Architecture for a Global Information Infrastructure MIT-LCS-TR-659 VanDyke, J.R. Advanced Network Architecture 6-1-1995 Increasing Cross-Domain Call Batching Using Promises and Batched Control Structures MIT-LCS-TR-658 Zondervan, Q.Y. Programming Methodology 6-1-1995 Noise Tolerant Algorithms for Learning and Searching MIT-LCS-TR-657 Aslam, J.A Theory of Computation 2-1-1995 Quantitative Performance Modeling of Scientific Computations MIT-LCS-TR-656 Toledo, S.A. Scientific Computing 5-1-1995 Reducing Synchronization Overhead in Parallel Simulation MIT-LCS-TR-655 Legedza, U. No Group Specified 5-1-1995 Connecting Homes to the Internet: An Engineering Cost Model of Cable vs. ISDN MIT-LCS-TR-654 Gillett, S.E. Parallel and Distributed Operating Systems 6-1-1995 An Interchange Standard and System for Browsing Digital Documents MIT-LCS-TR-653 Kass, A. No Group Specified 5-1-1995 Client Cache management in a Distributed Object Database MIT-LCS-TR-652 Day, M.S. Programming Methodology 5-1-1995 Randomness Versus Non-Determinism in Distributed Computing MIT-LCS-TR-651 Saias, A.I. Theory of Computation 10-1-1994 Speech Recognition Robustness to Microphone Variations MIT-LCS-TR-650 Chang, J.W. Spoken Language Systems 2-1-1995 Quickstep: A System for Performance Monitoring and Debugging Parallel Applications on the Alewife Multiprocessor MIT-LCS-TR-649 Mitra, S. Computer Architecture 1-1-1995 A Distributed Programming System for Media Applications MIT-LCS-TR-648 Phillips, B.M. Parallel and Distributed Operating Systems 2-1-1995 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language MIT-LCS-TR-647 Gupta, S.A. No Group Specified 2-1-1995 A Statistical Approach to Language Modelling for the ATIS Problem MIT-LCS-TR-646 Koppelman, J.D. Spoken Language Systems 2-1-1995 Synchronized MIMD Computing MIT-LCS-TR-645 Kuszmaul, B.C. Scientific Computing 5-1-1994 Mechanisms and Interfaces for Software-Extended Coherent Shared Memory MIT-LCS-TR-644 Chaiken, D. Computer Architecture 1-1-1995 Small-Depth Counting Networks and Related Topics MIT-LCS-TR-643 Klugerman, M.R. Theory of Computation 9-1-1994 Statistical Trajectory Models for Phonetic Recognition MIT-LCS-TR-642 Goldenthal, W.D. Spoken Language Systems 8-1-1994 On-Line Algorithms for Robot Navigation and Server Problems MIT-LCS-TR-641 Kleinberg, J.M Theory of Computation 5-1-1994 An Interactive Programming System for Media Computation MIT-LCS-TR-640 Wetherall, D.J. Parallel and Distributed Operating Systems 9-1-1994 Serializing Parallel Programs by Removing Redundant Computation MIT-LCS-TR-638 Ernst, M.D. Theory of Computation 8-1-1994 A Programming system for the Dynamic Manipulation of Temporally Sensitive Data MIT-LCS-TR-637 Lindblad, C.J. Parallel and Distributed Operating Systems 8-1-1994 Failsafe Key Escrow MIT-LCS-TR-636 Kilian, J. Theory of Computation 8-1-1994 A Scheme Shell MIT-LCS-TR-635 Shivers, O. No Group Specified 4-1-1994 Extending Computational Game Theory: Simultaneity, Multiple Agents, Chance and Metareasoning MIT-LCS-TR-634 Bodkin, R.J. Parallel and Distributed Operating Systems 9-1-1994 Economic Allocation of Computation Time with Computation Markets MIT-LCS-TR-633 Bogan, N.R Clinical Decision Making 8-1-1994 Time Optimal Self-Stabilizing Spanning Tree Algorithms MIT-LCS-TR-632 Aggarwal, S. Theory of Computation 1-1-1994 An Integrated Approach to Dynamic Decision Making under Uncertainty MIT-LCS-TR-631 Leong, T. Clinical Decision Making 8-1-1994 Global Partitioning of Parallel loops and Data Arrays for Caches and Distributed Memory in Multiprocessors MIT-LCS-TR-630 Barua, R.K. Computer Architecture 1-1-1994 The Development of Broadband Telecommunications Standards MIT-LCS-TR-629 Buzacott, A. Parallel and Distributed Operating Systems 6-1-1990 Using Specifications to Check Source Code MIT-LCS-TR-628 Evans, D. No Group Specified 6-1-1994 Automatic Acquisition of Language Models for Speech Recognition MIT-LCS-TR-627 McCandless, M.K. Spoken Language Systems 6-1-1994 Transaction Management for Mobile Objects Using Optimistic Concurrency Control MIT-LCS-TR-626 Adya, A Programming Methodology 7-1-1994 Host Interfacing: A Coprocessor Approach MIT-LCS-TR-625 Gautam, N.C. Parallel and Distributed Operating Systems 2-1-1993 A Safe, Efficient Object Database Interface Using Batched Futures MIT-LCS-TR-624 Bogle, P.L. Programming Methodology 7-1-1994 Time Surveying: Clock Synchronization over packet Networks MIT-LCS-TR-623 Troxel, G.D. Advanced Network Architecture 5-1-1994 Proceedings of the 1994 MIT Student Workshop on Scalable Computing MIT-LCS-TR-622 Leiserson, C. Scientific Computing 7-1-1994 Investigation of a Preemptive Network Architecture MIT-LCS-TR-621 Lefelhocz, C.J Advanced Network Architecture 5-1-1994 Knowledge-Based Trend Detection and Diagnosis MIT-LCS-TR-620 Haimowitz, I.J. Clinical Decision Making 6-1-1994 Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications MIT-LCS-TR-619 Tan, Y.M. No Group Specified 6-1-1994 Observing "True" Concurrency MIT-LCS-TR-618 Jategaonkar, L. Theory of Computation 9-1-1993 On the Cryptanalysis of Huffman Codes MIT-LCS-TR-617 Mohtashemi, M. Theory of Computation 5-1-1992 Efficient Implementation of High-Level Languages on User-Level Communications Architectures MIT-LCS-TR-616 Hsieh, W.C. Parallel and Distributed Operating Systems 5-1-1994 Cellular Automata Methods in Mathematical Physics MIT-LCS-TR-615 Smith, M.A. No Group Specified 5-1-1994 Parallel Construction of Quadtrees and Quality Triangulations MIT-LCS-TR-614 Bern, M. Theory of Computation 5-1-1994 A Geometric Approach to Parallel Hierarchical and Adaptive Computing on Unstructured Meshes MIT-LCS-TR-613 Teng, S. Theory of Computation 5-1-1994 Combinational Aspects of Geometric Graphs MIT-LCS-TR-612 Teng, S. Theory of Computation 5-1-1994 Moments of Inertia and Graph Separators MIT-LCS-TR-611 Gramban, K. Theory of Computation 5-1-1994 Approximating Center Points with Iterated Radon Points MIT-LCS-TR-610 Clarkson, K.L. Theory of Computation 5-1-1994 A Deterministic Linear Time Algorithm for Geometric Separators and its Application MIT-LCS-TR-609 Epstein, D. Theory of Computation 5-1-1994 Approximating Shortest Superstrings MIT-LCS-TR-608 Teng, S. Theory of Computation 5-1-1994 Optimal Online Scheduling of Parallel jobs with Dependencies MIT-LCS-TR-607 Feldman, A. Theory of Computation 5-1-1994 A Timing Analysis and Optimization System for Level-clocked Circuitry MIT-LCS-TR-605 Papaefthymiou, M.C. Theory of Computation 9-1-1993 Guardian Angel: Patient-Centered Health Information Systems MIT-LCS-TR-604 Szolovits, P. Clinical Decision Making 5-1-1994 Distributing Information for Collaborative Filtering on Usenet Net News MIT-LCS-TR-603 Maltz, D.A. Advanced Network Architecture 5-1-1994 The Vidboard:A Video Capture and Processing Peripheral for the ViewStation System MIT-LCS-TR-602 Adam, J.F Parallel and Distributed Operating Systems 9-1-1992 An Algorithm for Rate Allocation in a Packet-Switching Network With Feedback MIT-LCS-TR-601 Charny, A. Advanced Network Architecture 4-1-1994 Function-Based Indexing for Object-Oriented Databases MIT-LCS-TR-600 Hwang, D. Programming Methodology 2-1-1994 Fast Object Operations in a Persistent Programming System MIT-LCS-TR-599 Myers, A.C. Programming Methodology 1-1-1994 Exploiting Specifications to Improve Program Performance MIT-LCS-TR-598 Vandevoorde, M. No Group Specified 2-1-1994 Few-body Cellular Automata MIT-LCS-TR-597 Biafore, M. No Group Specified 12-1-1993 Run-time Thread Management for Large-Scale Distributed-Memory Multiprocessors MIT-LCS-TR-596 Nussbaum, D. Computer Architecture 9-1-1993 compiler analysis to implement point-to-point synchronization in parallel programs MIT-LCS-TR-595 Nguyen, J. Computer Architecture 9-1-1993 Closing the Window of Vulnerability in Multiphase memory transaction: The alewife transaction store MIT-LCS-TR-594 Kubiatowicz, J. Computer Architecture 2-1-1993 Automatic language Identification Using a Segment-Based Approach MIT-LCS-TR-593 Hazen, T. Spoken Language Systems 8-1-1993 Expander Graphs MIT-LCS-TR-591 Kahale, N. Theory of Computation 9-1-1993 The ViewStation Collected Papers MIT-LCS-TR-590 Tennenhouse, (Editor) Parallel and Distributed Operating Systems 11-1-1993 Correctness of Communications Protocols, A case Study MIT-LCS-TR-589 Søgaard-Andersen, J. Theory of Computation 11-1-1993 CORRECTNESS PROOF FOR A NETWORK SYNCHRONIZER MIT-LCS-TR-588 Devarajan, H. Theory of Computation 12-1-1993 LIVENESS IN TIMED AND UNTIMED SYSTEMS MIT-LCS-TR-587 Gawlick, R. No Group Specified 12-1-1993 VIRTUAL WIRES: OVERCOMING PIN LIMITATIONS IN FPGA-BASED LOGIC EMULATION MIT-LCS-TR-586 Babb, J. No Group Specified 11-1-1993 Reordering with Hindsight MIT-LCS-TR-585 Spiers, B. No Group Specified 10-1-1993 ON THE DESIGN OF APPROXIMATION ALGORITHMS FOR A CLASS OF GRAPH PROBLEMS MIT-LCS-TR-584 Williamson, D.P. No Group Specified 9-1-1993 SELF-STABILIZATION BY LOCAL CHECKING AND CORRECTION MIT-LCS-TR-583 Varghese, G. No Group Specified 10-1-1992 CACHE PERFORMANCE OF GARBAGE-COLLECTED PROGRAMMING LANGUAGES MIT-LCS-TR-581 Reinhold, M. No Group Specified 9-1-1993 STRUCTURED VIDEO: A DATA TYPE WITH CONTENT-BASED ACCESS MIT-LCS-TR-580 Duda, A. No Group Specified 9-1-1993 Fair Cryptosystems(Replaces TR-579.b) MIT-LCS-TR-579 Micali, S. No Group Specified 8-1-1994 A CONTENT ROUTING SYSTEM FOR DISTRIBUTED INFORMATION SYSTEMS MIT-LCS-TR-578 Sheldon, M. No Group Specified 6-1-1993 I-95 The Information Market MIT-LCS-TR-577 Tennenhouse, No Group Specified 8-1-1993 HYDI: A HYBRID SYSTEM WITH FEEDBACK FOR DIAGNOSING MULTIPLE DISORDERS MIT-LCS-TR-576 Jang, Y. No Group Specified 1-1-1993 Proceedings of the 1993 MIT Student Workshop on Supercomputing Technologies MIT-LCS-TR-575 Leiserson, C. No Group Specified 8-1-1993 DISTRIBUTED GARBAGE COLLECTION IN A CLIENT-SERVER, TRANSACTION, PERSISTENT OBJECT SYSTEM MIT-LCS-TR-574 Maheshwari, U. Programming Methodology 8-1-1993 ON LOCAL REPRESENTATIONS OF GRAPHS AND NETWORKS MIT-LCS-TR-573 Cowen, L. No Group Specified 1-1-1993 A DECOMPOSITIONAL SEARCH ALGORITHM FOR EFFICIENT DIAGNOSIS OF MULTIPLE DISORDERS MIT-LCS-TR-572 Wu, T. No Group Specified 1-1-1993 Concurrent Garbage Collection of Persistent Heaps MIT-LCS-TR-569 Nettles, S. No Group Specified 6-1-1993 LOGICAL DISK: A SIMPLE NEW APPROACH TO IMPROVING FILE SYSTEM PERFORMANCE MIT-LCS-TR-566 deJonge, W. No Group Specified 4-1-1993 AN EVALUATION OF MULTIPROCESSOR SUPPORT FOR FINE-GRAIN SYNCHRONIZATION IN PRECONDITIONED CONJUGATE GRADIENT MIT-LCS-TR-565 Yeung, D. No Group Specified 2-1-1993 THE CATEGORY OF FUNCTORS FROM STATE SHAPES TO BOTTOMLESS CPOs IS ADEQUATE FOR BLOCK STRUCTURE MIT-LCS-TR-564 Lent, A.F. No Group Specified 1-1-1993 A CONSTRUCTIVE APPROACH TO ARTIFICIAL INTELLIGENCE REEXAMINED MIT-LCS-TR-563 Ramstad, R. No Group Specified 7-1-1992 FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPING MIT-LCS-TR-562 Liskov, B. Programming Methodology 8-1-1993 A HISTORY OF CLU MIT-LCS-TR-561 Liskov, B. Programming Methodology 9-1-1993 DYNAMIC STORAGE ALLOCATION ON A MULTIPROCESSOR MIT-LCS-TR-560 Iyengar, A.K. No Group Specified 12-1-1992 VIRTUAL MEMORY FOR DATA-PARALLEL COMPUTING MIT-LCS-TR-559 Cormen, T. No Group Specified 12-1-1992 COMBINATORIAL GEOMETRIC OPTIMIZATION MIT-LCS-TR-558 Kravets, D. No Group Specified 8-1-1992 A PROCESS ALGEBRAIC VIEW OF I/O AUTOMATA MIT-LCS-TR-557 Segala, R. No Group Specified 6-1-1992 CONCURRENT TIMESTAMPING MADE SIMPLE MIT-LCS-TR-556 Gawlick, R. No Group Specified 9-1-1992 COMPILER-DIRECTED STORAGE RECLAMATION USING OBJECT LIFETIME ANALYSIS MIT-LCS-TR-555 Hicks, J.E.Jr. No Group Specified 11-1-1992 USING MULTIPLE REPRESENTATIONS FOR EFFICIENT COMMUNICATION OF ABSTRACT VALUES MIT-LCS-TR-553 Waldin III, D.D. No Group Specified 9-1-1992 MANAGING STORAGE FOR MULTITHREADED COMPUTATIONS MIT-LCS-TR-552 Blumofe, R.D. Scientific Computing 9-1-1992 PERFORMANCE ASSERTION CHECKING MIT-LCS-TR-551 Perl, S.E. No Group Specified 9-1-1992 APPROXIMATION ALGORITHMS FOR MULTICOMMODITY FLOW AND SHOP SCHEDULING PROBLEMS MIT-LCS-TR-550 Stein, C. No Group Specified 9-1-1992 WORD AND SUBWORD MODELING IN A SEGMENT-BASED HMM WORD SPOTTER USING A DATA ANALYTIC APPROACH MIT-LCS-TR-549 Marcus, J.N. No Group Specified 7-1-1992 A TIMING ANALYSIS OF LEVEL-CLOCKED CIRCUITRY MIT-LCS-TR-548 Ishii, A.T. No Group Specified 7-1-1992 COMPILATION-BASED PREFETCHING FOR MEMORY LATENCY TOLERANCE MIT-LCS-TR-547 Selvidge, C.W. No Group Specified 5-1-1992 PROCEEDINGS OF THE 1992 MIT STUDENT WORKSHOP ON VLSI AND PARALLEL SYSTEMS MIT-LCS-TR-546 Leiserson, C.E. No Group Specified 7-1-1992 Reasoning With Time Dependent Data MIT-LCS-TR-545 Russ, T. Clinical Decision Making 8-1-1991 AN ALGEBRAIC APPROACH TO THE COMPILATION AND OPERATIONAL SEMANTICS OF FUNCTIONAL LANGUAGES WITH I-STRUCTURES MIT-LCS-TR-544 Ariola, Z.M. No Group Specified 6-1-1992 ASPECT: A FORMAL SPECIFICATION LANGUAGE FOR DETECTING BUGS MIT-LCS-TR-543 Jackson, D. No Group Specified 6-1-1992 VIDEO CODING AND THE APPLICATION LEVEL FRAMING PROTOCOL ARCHITECTURE MIT-LCS-TR-542 Heybey, A. Advanced Network Architecture 6-1-1992 REPORT ON WORKSHOP ON RESEARCH IN EXPERIMENTAL COMPUTER SCIENCE MIT-LCS-TR-540 Liskov, B. Programming Methodology 6-1-1992 PIPES: LINGUISTIC SUPPORT FOR ORDERED ASYNCHRONOUS INVOCATIONS MIT-LCS-TR-539 Colbrook, A. No Group Specified 4-1-1992 mFX/DLX --- A PEDAGOGIC COMPILER MIT-LCS-TR-538 Grundman, D. No Group Specified 3-1-1992 ORGANIZATION OF SYSTEMS WITH BUSSED INTERCONNECTIONS MIT-LCS-TR-537 Kipnis, S. No Group Specified 3-1-1992 ALGORITHMS FOR EXPLORING AN UNKNOWN GRAPH MIT-LCS-TR-536 Betke, M. No Group Specified 3-1-1992 ON THE SAMPLE COMPLEXITY OF PAC-LEARNING USING RANDOM AND CHOSEN EXAMPLES MIT-LCS-TR-535 Eisenberg, B.B. No Group Specified 3-1-1992 ATOMIC INCREMENTAL GARBAGE COLLECTION AND RECOVERY FOR A LARGE STABLE HEAP MIT-LCS-TR-534 Kolodner, E.K. No Group Specified 2-1-1992 MODELING SPEAKER VARIABILITY AND IMPOSING SPEAKER CONSTRAINTS IN PHONETIC CLASSIFICATION MIT-LCS-TR-533 Niyogi, P. No Group Specified 2-1-1992 ATOMIC DATA STRUCTURES FOR PARALLEL COMPUTING MIT-LCS-TR-532 Barth, P. No Group Specified 3-1-1992 REPORT ON THE FX-91 PROGRAMMING LANGUAGE MIT-LCS-TR-531 Gifford, D.K. No Group Specified 2-1-1992 A DISTRIBUTED DATA-BALANCED DICTIONARY BASED ON THE B-LINK TREE MIT-LCS-TR-530 Johnson, T. No Group Specified 2-1-1992 THE DESIGN AND IMPLEMENTATION OF A PARALLEL PERSISTENT OBJECT SYSTEM MIT-LCS-TR-529 Heytens, M.L. No Group Specified 2-1-1992 FILE SYSTEMS WITH MULTIPLE FILE IMPLEMENTATIONS MIT-LCS-TR-528 Stata, Raymie No Group Specified 2-1-1992 ASPECTS OF A PARALLEL-ARCHITECTURE SIMULATOR MIT-LCS-TR-527 Brewer, E.A No Group Specified 2-1-1992 PREVENTING RECURSION DEADLOCK IN CONCURRENT OBJECT-ORIENTED SYSTEMS MIT-LCS-TR-526 Brewer, E.A. No Group Specified 2-1-1992 AUTOMATIC ANALYSIS OF SYSTEMS AT STEADY-STATE: HANDLING ITERATIVE DYNAMIC SYSTEMS AND PARAMETER UNCERTAINTY MIT-LCS-TR-525 Yeh, A. No Group Specified 12-1-1991 FULL ABSTRACTION AND THE CONTEXT LEMMA MIT-LCS-TR-524 Jim, T. No Group Specified 12-1-1991 THE LOGIC AND EXPRESSIBILITY OF SIMPLY-TYPED CALL-BY-VALUE AND LAZY LANGUAGES MIT-LCS-TR-523 Riecke, J.G. No Group Specified 12-1-1991 SCALABLE READER-WRITER LOCKS FOR PARALLEL SYSTEMS MIT-LCS-TR-521 Hsieh, W.C. No Group Specified 11-1-1991 STRUCTURE IN MONOTONE COMPLEXITY MIT-LCS-TR-520 Grigni, M. No Group Specified 11-1-1991 PRELUDE: A SYSTEM FOR PORTABLE PARALL MIT-LCS-TR-519 Weihl, W. No Group Specified 10-1-1991 THE REAL-TIME COST OF TIMING UNCERTAINTY: CONSENSUS AND FAILURE DETECTION MIT-LCS-TR-518 Ponzio, S. No Group Specified 11-1-1991 ALGORITHMS FOR SEARCH TREES ON MESSAGE-PASSING ARCHITECTURES MIT-LCS-TR-517 Colbrook, A. No Group Specified 9-1-1991 PROTEUS: A HIGH-PERFORMANCE PARALLEL-ARCHITECTURE SIMULATOR MIT-LCS-TR-516 Brewer, E.A. No Group Specified 9-1-1991 THE USE OF DISTINCTIVE FEATURES FOR AUTOMATIC SPEECH RECOGNITION MIT-LCS-TR-515 Meng, H. No Group Specified 9-1-1991 ALGORITHMS FOR SCHEDULING AND NETWORK PROBLEMS MIT-LCS-TR-514 Wein, J. No Group Specified 8-1-1991 PROCEEDINGS OF THE 1991 MIT STUDENT WORKSHOP ON VLSI AND PARALLEL SYSTEMS MIT-LCS-TR-513 L., C.S. No Group Specified 8-1-1991 RANDOMNESS IN INTERACTIVE PROOFS MIT-LCS-TR-512 Bellare, M. No Group Specified 8-1-1991 SECURE COMPUTATION (Preliminary Report) MIT-LCS-TR-511 Micali, S. No Group Specified 8-1-1991 AN INFORMATION-THEORETICAL APPROACH TO STUDYING PHONEME COLLOCATIONAL CONSTRAINTS MIT-LCS-TR-509 Kassel, R.H. No Group Specified 7-1-1991 EFFICIENT EMBEDDINGS AND SIMULATIONS FOR HYPERCUBIC NETWORKS MIT-LCS-TR-508 Schwabe, E.J. No Group Specified 6-1-1991 USING ABSTRACTION IN EXPLICITLY PARALLEL PROGRAMS MIT-LCS-TR-507 Yelick, Katherine No Group Specified 7-1-1991 ALGORITHMS FOR APPROXIMATE GRAPH COLORING MIT-LCS-TR-506 Blum, A. No Group Specified 6-1-1991 A HIGH-PERFORMANCE RETARGETABLE SIMULATOR FOR PARALLEL ARCHITECTURES MIT-LCS-TR-505 Dellarocas, C.N. No Group Specified 6-1-1991 KNOWLEDGE REPRESENTATION FOR SUPPORTING DECISION MODEL FORMULATION IN MEDICINE MIT-LCS-TR-504 Leong, T. No Group Specified 6-1-1991 THE ROUND COMPLEXITY OF SECURE PROTOCOLS MIT-LCS-TR-503 Rogaway, P. No Group Specified 4-1-1991 STRUCTURE DRIVEN MULTIPROCESSOR COMPILATION OF NUMERIC PROBLEMS MIT-LCS-TR-502 Prasanna, G.N.S. No Group Specified 4-1-1991 PERFORMANCE TRADEOFFS IN MULTITHREADED PROCESSORS MIT-LCS-TR-501 Agarwal, A. No Group Specified 4-1-1991 RANDOMNESS AND ROBUSTNESS IN HYPERCUBE COMPUTATION MIT-LCS-TR-500 Newman, M.J. No Group Specified 4-1-1991 ADDING FAULT-TOLERANCE TO A STATIC DATA FLOW SUPERCOMPUTER MIT-LCS-TR-499 Theobald, K.B. No Group Specified 4-1-1991 WAITING ALGORITHMS FOR SYNCHRONIZATION IN LARGE-SCALE MULTIPROCESSORS MIT-LCS-TR-498 Lim, B.H. No Group Specified 2-1-1991 AN EVALUATION OF CONCURRENT PRIORITY QUEUE ALGORITHMS MIT-LCS-TR-497 Huang, Q. No Group Specified 2-1-1991 AN IN-DEPTH ANALYSIS OF CONCURRENT B-TREE ALGORITHMS MIT-LCS-TR-496 Wang, P. No Group Specified 2-1-1991 THE SPECTRAL NORM OF FINITE FUNCTIONS MIT-LCS-TR-495 Bellare, M. No Group Specified 2-1-1991 TCP PACKET TRACE ANALYSIS MIT-LCS-TR-494 Shepard, T.J. Advanced Network Architecture 2-1-1991 THE DESIGN AND ANALYSIS OF EFFICIENT LEARNING ALGORITHMS MIT-LCS-TR-493 Schapire, R.E. No Group Specified 2-1-1991 RESULTS IN COMPUTATIONAL GEOMETRY: GEOMETRIC EMBEDDINGS AND QUERY-RETRIEVAL PROBLEMS MIT-LCS-TR-492 Hansen, M.D. No Group Specified 11-1-1990 READY SIMULATION, BISIMULATION, AND THE SEMANTICS OF CCS-LIKE LANGUAGES MIT-LCS-TR-491 Bloom, B. No Group Specified 10-1-1990 DISTRIBUTED ALGORITHM SIMULATION USING INPUT/OUTPUT AUTOMATA MIT-LCS-TR-490 Goldman, K.J. No Group Specified 9-1-1990 CACHE COHERENCE PROTOCOLS FOR LARGE-SCALE MULTIPROCESSORS MIT-LCS-TR-489 Chaiken, D.L. No Group Specified 9-1-1990 AN INCREMENTAL TYPE INFERENCE SYSTEM FOR THE PROGRAMMING LANGUAGE ID MIT-LCS-TR-488 Gupta, S.A. No Group Specified 11-1-1990 SPECIFICATION AND VERIFICATION OF REAL-TIME CONSTRAINTS IN COARSE-GRAIN DATAFLOW MIT-LCS-TR-487 Henry, D.S. No Group Specified 5-1-1991 ON RETIMING SYNCHRONOUS CIRCUITRY AND MIXED-INTEGER OPTIMIZATION MIT-LCS-TR-486 Papaefthymiou, M.C. No Group Specified 9-1-1990 CENTRAL-SERVER-BASED ORPHAN DETECTION FOR ARGUS MIT-LCS-TR-485 Markowitz, S.C. Programming Methodology 5-1-1990 LAZY REPLICATION: EXPLOITING THE SEMANTICS OF DISTRIBUTED SERVICES MIT-LCS-TR-484 Ladin, R. Programming Methodology 7-1-1990 LEARNING BINARY RELATIONS, TOTAL ORDERS, AND READ-ONCE FORMULAS MIT-LCS-TR-483 Goldman, S.A. No Group Specified 7-1-1990 DESIGN AND IMPLEMENTATION OF A PACKET SWITCHED ROUTING CHIP MIT-LCS-TR-482 Joerg, C.F. No Group Specified 12-1-1990 ON THE COMPLEXITY OF COMPUTING ALGEBRAIC FUNCTIONS MIT-LCS-TR-481 Mansour, Y. No Group Specified 9-1-1990 ARTIFICIAL INTELLIGENCE AND OPTIMIZATION SOLUTIONS TO MULTI-CRITERIA OPERATOR BINDING MIT-LCS-TR-480 Fogg, D. No Group Specified 9-1-1990 ANALYSIS OF THE HELD-KARP HEURISTIC FOR THE TRAVELING SALESMAN PROBLEM MIT-LCS-TR-479 Williamson, D.P. No Group Specified 6-1-1990 EVALUATING CASE-BASED REASONING FOR HEART FAILURE DIAGNOSIS MIT-LCS-TR-478 Aghassi, D.S. No Group Specified 6-1-1990 KNOWLEDGE AND DISTRIBUTED COMPUTATION MIT-LCS-TR-477 Tuttle, M. No Group Specified 5-1-1990 EFFICIENT AT-MOST-ONCE MESSAGES BASED ON SYNCHRONIZED CLOCKS MIT-LCS-TR-476 Liskov, B. Programming Methodology 4-1-1990 DISCONNECTED ACTIONS: AN ASYNCHRONOUS EXTENSION TO A NESTED ATOMIC ACTION SYSTEM MIT-LCS-TR-475 Ben-Zvi, B. No Group Specified 1-1-1990 A HIERARCHICAL PROOF OF AN ALGORITHM FOR DEADLOCK RECOVERY IN A SYSTEM USING REMOTE PROCEDURE CALLS MIT-LCS-TR-474 Troxel, G.D. Advanced Network Architecture 1-1-1990 AUTOMATIC REPLICATION FOR HIGHLY AVAILABLE SERVICES MIT-LCS-TR-473 Ghemawat, S. Programming Methodology 3-1-1990 IMPLEMENTATION OF AN I-STRUCTURE MEMORY CONTROLLER MIT-LCS-TR-471 Steele, K.M. No Group Specified 3-1-1990 RATE-BASED CONGESTION CONTROL IN NETWORKS WITH SMART LINKS MIT-LCS-TR-470 Heybey, A.T. No Group Specified 1-1-1990 LOCALITY IN PARALLEL COMPUTATION MIT-LCS-TR-469 Maggs, B.M. No Group Specified 9-1-1989 ML WITH EXTENDED PATTERN MATCHING AND SUBTYPES MIT-LCS-TR-468 Jategaonkar, L. No Group Specified 8-1-1989 A SCALABLE MULTIPROCESSOR ARCHITECTURE USING CARTESIAN NETWORK-RELATIVE ADDRESSING MIT-LCS-TR-467 Morrison, J.D. No Group Specified 12-1-1989 CACHE FOR MULTI-THREADED PROCESSORS ON A SPLIT-TRANSACTION BUS MIT-LCS-TR-466 Vuong-Adlerberg, I. No Group Specified 11-1-1989 ANALYSIS OF RANDOM DROP FOR GATEWAY CONGESTION CONTROL MIT-LCS-TR-465 Hashem, E.S. No Group Specified 11-1-1989 SPECULATIVE COMPUTATION IN MULTILISP MIT-LCS-TR-464 Osborne, R.B. No Group Specified 12-1-1989 SCAN PRIMITIVES AND PARALLEL VECTOR MODELS MIT-LCS-TR-463 Blelloch, G.E. No Group Specified 10-1-1989 THEORETICAL AND EXPERIMENTAL ANALYSES OF PARALLEL COMBINATORIAL ALGORITHMS MIT-LCS-TR-462 Phillips, C.A. No Group Specified 10-1-1989 GENERATING EMPATHETIC RESPONSES WITH INDIVIDUAL USER MODELS MIT-LCS-TR-461 Haimowitz, I.J. Clinical Decision Making 12-1-1989 PROBABILISTIC REASONING IN THE DOMAIN OF GENETIC COUNSELING MIT-LCS-TR-460 Harris, N.L. No Group Specified 10-1-1989 SHOULD A FUNCTION CONTINUE? MIT-LCS-TR-459 Riecke, J.G. No Group Specified 9-1-1989 TYPECHECKING IS UNDECIDABLE WHEN 'TYPE' IS A TYPE MIT-LCS-TR-458 Reinhold, M.B. No Group Specified 12-1-1989 USING CYCLES AND SCALING IN PARALLEL ALGORITHMS MIT-LCS-TR-457 Stein, C. No Group Specified 8-1-1989 EFFICIENT INTERCONNECTION SCHEMES FOR VLSI AND PARALLEL COMPUTATION MIT-LCS-TR-456 Greenberg, R.I. No Group Specified 8-1-1989 A NEW ARCHITECTURE FOR PACKET SWITCHING NETWORK PROTOCOLS MIT-LCS-TR-455 Zhang, L. Advanced Network Architecture 8-1-1989 PARATRAN: A TRANSPARENT, TRANSACTION BASED RUNTIME MECHANISM FOR PARALLEL EXECUTION OF SCHEME MIT-LCS-TR-454 Katz, M. No Group Specified 7-1-1989 OPTIMISTIC CONCURRENCY CONTROL FOR NESTED DISTRIBUTED TRANSACTIONS MIT-LCS-TR-453 Gruber, R.E. Programming Methodology 6-1-1989 A STUDY OF BACKOFF BARRIER SYNCHRONIZATION MIT-LCS-TR-452 Cherian, M.M. No Group Specified 6-1-1989 TERMINAL AREA FLIGHT PATH GENERATION USING PARALLEL CONSTRAINT PROPAGATION MIT-LCS-TR-451 Sadoune, M. No Group Specified 4-1-1991 MIT COMPUTER SCIENCE RESEARCH SYMPOSIUM, October 26-27, 1988 Copies of Speakers' Viewgraphs MIT-LCS-TR-450 No Author Available No Group Specified 7-1-1989 A SIGNAL PROCESSING LANGUAGE FOR COARSE GRAIN DATAFLOW MULTIPROCESSORS MIT-LCS-TR-449 Onanian, J.S. No Group Specified 6-1-1989 COMPUTATIONAL LEARNING THEORY: NEW MODELS AND ALGORITHM MIT-LCS-TR-448 Sloan, R.H. No Group Specified 5-1-1989 COMPLEXITY - THEORETIC ASPECTS OF INTERACTIVE PROOF SYSTEMS MIT-LCS-TR-447 Fortnow, L.J. No Group Specified 5-1-1989 MANAGING PARALLELISM AND RESOURCES IN SCIENTIFIC DATAFLOW PROGRAMS MIT-LCS-TR-446 Culler, D.E. No Group Specified 0-1-1990 ON THE COMPUTATIONAL COMPLEXITY OF TRAINING SIMPLE NEURAL NETWORKS MIT-LCS-TR-445 Blum, A. No Group Specified 5-1-1989 EFFICIENT NC ALGORITHMS FOR SET COVER WITH APPLICATIONS TO LEARNING AND GEOMETRY MIT-LCS-TR-444 Berger, B. No Group Specified 5-1-1989 ON THE EFFICIENT EXPLOITATION OF SPECULATION UNDER DATAFLOW PARADIGMS OF CONTROL MIT-LCS-TR-443 Soley, R.M. No Group Specified 5-1-1989 USING EXPERIENCE IN LEARNING AND PROBLEM SOLVING MIT-LCS-TR-441 Koton, P.K. No Group Specified 3-1-1989 PROOFS, KNOWLEDGE, AND ORACLES MIT-LCS-TR-440 Aiello, W.A. No Group Specified 2-1-1989 VERIFYING OBJECT-ORIENTED PROGRAMS THAT USE SUBTYPES MIT-LCS-TR-439 Leavens, G.T. Programming Methodology 2-1-1989 EFFICIENT LAZY DATA-STRUCTURES ON A DATAFLOW MACHINE MIT-LCS-TR-438 Heller, S.K. No Group Specified 2-1-1989 FINDING FARTHEST NEIGHBORS IN A CONVEX POLYGON AND RELATED PROBLEMS MIT-LCS-TR-437 Kravels, D. No Group Specified 1-1-1989 DATA STRUCTURES FOR REMOVING RANDOMNESS MIT-LCS-TR-436 Berger, B. No Group Specified 12-1-1988 SIMULATING (log n )-wise INDEPENDENCE IN NC MIT-LCS-TR-435 Berger, B. No Group Specified 5-1-1989 A PROGRAMMING LANGUAGE SUPPORTING FIRST-CLASS PARALLEL ENVIRONMENTS MIT-LCS-TR-434 Jagannathan, S. No Group Specified 1-1-1989 COMPUTER LITERACY EDUCATION MIT-LCS-TR-433 Rosenberg, R.L. No Group Specified 1-1-1989 IMPLEMENTATION OF A GENERAL PURPOSE DATAFLOW MULTIPROCESSOR MIT-LCS-TR-432 Papadopoulos, G.M. No Group Specified 12-1-1988 DISTRIBUTED COMMIT PROTOCOLS FOR NESTED ATOMIC ACTIONS MIT-LCS-TR-431 Perl, S.E. No Group Specified 11-1-1988 GRAPH-THEORETIC TECHNIQUES FOR PARALLEL, DISTRIBUTED, AND SEQUENTIAL COMPUTATION MIT-LCS-TR-430 Plotkin, S.A. No Group Specified 9-1-1988 NETWORK LAYER PROTOCOLS WITH BYZANTINE ROBUSTNESS MIT-LCS-TR-429 Perlman, R. No Group Specified 10-1-1988 PARALLEL DNA SEQUENCE ANALYSIS MIT-LCS-TR-428 Iyengar, A.K. No Group Specified 10-1-1988 FORMULATION OF TRADEOFFS IN PLANNING UNDER UNCERTAINTY MIT-LCS-TR-427 Wellman, M.P. No Group Specified 8-1-1988 EFFICIENT PARALLEL ALGORITHMS FOR PLANAR, CORDIAL, AND INTERVAL GRAPHS MIT-LCS-TR-426 Klein, P.N. No Group Specified 10-1-1988 CODE-MAPPING POLICIES FOR THE TAGGED-TOKEN DATAFLOW ARCHITECTURE MIT-LCS-TR-425 Maa, G.K. No Group Specified 5-1-1988 A FAULT-TOLERANT NETWORK KERNEL FOR LINDA MIT-LCS-TR-424 Xu, Andrew S. Programming Methodology 8-1-1988 VIEWSTAMPED REPLICATION FOR HIGHLY AVAILABLE DISTRIBUTED SYSTEMS MIT-LCS-TR-423 Oki, B.M. No Group Specified 8-1-1988 BOSTON COMMUNITY INFORMATION SYSTEM 1987-1988 EXPERIMENTAL TEST RESULTS MIT-LCS-TR-422 Gifford, D.K. No Group Specified 5-1-1989 FX-87 PERFORMANCE MEASUREMENTS: DATAFLOW IMPLEMENTATION MIT-LCS-TR-421 Hammel, R.T. No Group Specified 9-1-1988 POLYCHANNEL SYSTEMS FOR MASS DIGITAL COMMUNICATION MIT-LCS-TR-420 Gifford, D.K. No Group Specified 7-1-1988 COMPOSING DATA & PROCESS DESCRIPTIONS IN THE DESIGN OF SOFTWARE SYSTEMS MIT-LCS-TR-419 Jackson, D. No Group Specified 5-1-1988 A DATAFLOW/VON NEUMANN HYBRID ARCHITECTURE MIT-LCS-TR-418 Iannucci, R.A. No Group Specified 7-1-1988 SEQUENTIAL IMPLEMENTATION OF LENIENT PROGRAMMING LANGUAGES MIT-LCS-TR-417 Traub, K.R. No Group Specified 10-1-1988 AUTOMATIC QUALITATIVE ANALYSIS OF ORDINARY DIFFERENTIAL EQUATIONS USING PIECEWISE LINEAR APPROXIMATIONS MIT-LCS-TR-416 Sacks, E.P. No Group Specified 3-1-1988 PHYSICS AND COMPUTATION MIT-LCS-TR-415 Margolus, N.H. No Group Specified 3-1-1988 A HIGH-LEVEL SIGNAL PROCESSING PROGRAMMING LANGUAGE MIT-LCS-TR-414 Hicks, J. No Group Specified 3-1-1988 DIVERSITY-BASED INFERENCE OF FINITE AUTOMATA MIT-LCS-TR-413 Schapire, R.E. No Group Specified 5-1-1988 APPROXIMATION ALGORITHMS FOR THE MAXIMUM ACYCLIC SUBGRAPH PROBLEM MIT-LCS-TR-412 Berger, B. No Group Specified 9-1-1989 ELLIPTIC CURVES AND CRYPTOGRAPHY: A PSEUDORANDOM BIT GENERATOR AND OTHER TOOLS MIT-LCS-TR-411 Kaliski, B. No Group Specified 1-1-1988 CONSTRUCTING A HIGHLY-AVAILABLE LOCATION SERVICE FOR A DISTRIBUTED ENVIRONMENT MIT-LCS-TR-410 Jing-Hwa Hwang, Deborah Programming Methodology 1-1-1988 A TECHNIQUE FOR CONSTRUCTING HIGHLY-AVAILABLE SERVICES MIT-LCS-TR-409 Ladin, Rivka Programming Methodology 1-1-1988 TYPES AND EFFECTS TOWARDS THE INTEGRATION OF FUNCTIONAL AND IMPERATIVE PROGRAMMING MIT-LCS-TR-408 Lucassen, J.M. No Group Specified 8-1-1987 FX-87 REFERENCE MANUAL MIT-LCS-TR-407 Gifford, D. No Group Specified 9-1-1987 CALVIN: A RULE BASED EXPERT SYSTEM FOR IMPROVING ARRHYHMIA DETECTOR PERFORMANCE DURING NOISY ECGS MIT-LCS-TR-406 Muldrow, W.K. No Group Specified 9-1-1987 A FRAMEWORK FOR INCORPORATING ABSTRACTION MECHANISMS INTO THE LOGIC PROGRAMMING PARADIGM MIT-LCS-TR-405 Zachary, Joseph L. No Group Specified 8-1-1987 RECOVERY USING VIRTUAL MEMORY MIT-LCS-TR-404 Kolodner, E.K. No Group Specified 7-1-1987 SINGLE-LAYER WIRE ROUTING MIT-LCS-TR-403 Maley, F.M. No Group Specified 8-1-1987 MULTI-SCHEME: A PARALLEL PROCESSING SYSTEM BASED ON MIT SCHEME MIT-LCS-TR-402 Miller, J. No Group Specified 9-1-1987 RULE BASED ANALYSIS OF COMPUTER SECURITY MIT-LCS-TR-401 Baldwin, R. No Group Specified 3-1-1988 ARGUS REFERENCE MANUAL MIT-LCS-TR-400 Liskov, B. No Group Specified 11-1-1987 WALTER USER'S MANUAL (VERSION 1.0) MIT-LCS-TR-399 Gifford, D.K. No Group Specified 9-1-1987 CLIPPING SERVICE USER'S MANUAL (VERSION 1.2) MIT-LCS-TR-398 Gifford, D.K. No Group Specified 9-1-1987 BOSTON COMMUNITY INFORMATION SYSTEM -1986 EXPERIMENTAL TEST RESULTS MIT-LCS-TR-397 Gifford, D. No Group Specified 8-1-1987 KOLA: KNOWLEDGE ORGANIZATION LANGUAGE MIT-LCS-TR-396 Jang, Y. No Group Specified 10-1-1988 COMMUNICATION PATTERNS IN A SYMBOLIC MULTIPROCESSOR MIT-LCS-TR-395 Nuth, P.R. No Group Specified 6-1-1987 DYNAMIC PROGRAMMING ON GRAPHS WITH BOUNDED TREEWIDTH MIT-LCS-TR-394 Bodlaender, H.L. No Group Specified 6-1-1987 SYNTHESIS OF SELF-TIMED VLSI CIRCUITS FROM GRAPH-THEORETIC SPECIFICATIONS MIT-LCS-TR-393 Chu, T.-A. No Group Specified 6-1-1987 MAM: A SEMI-AUTOMATIC DEBUGGING TOOL FOR DISTRIBUTED PROGRAMS MIT-LCS-TR-392 Kolodney, L.K. No Group Specified 6-1-1987 EFFICIENT METHODS FOR CALCULATING MAXIMUM ENTROPY DISTRIBUTIONS MIT-LCS-TR-391 Goldman, S. No Group Specified 5-1-1987 DATA REPLICATION IN NESTED TRANSACTION SYSTEMS MIT-LCS-TR-390 Goldman, K.J. No Group Specified 5-1-1987 TEMPORAL REASONING IN MEDICAL EXPERT SYSTEMS MIT-LCS-TR-389 Kohane, I.S. No Group Specified 5-1-1987 AN EXPERT SYSTEM FOR DIAGNOSING GAIT IN CEREBRAL PALSY PATIENTS MIT-LCS-TR-388 Hirsch, D.E. No Group Specified 5-1-1987 HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS MIT-LCS-TR-387 Lynch, N.A. No Group Specified 4-1-1987 A SIMULATION ENVIRONMENT FOR SCHEMA MIT-LCS-TR-386 St.Pierre, M.A. No Group Specified 12-1-1986 DATA FLOW COMPUTER ARCHITECTURE FINAL REPORT MIT-LCS-TR-385 Dennis, J. No Group Specified 10-1-1987 REMOTE PIPES AND PROCEDURE FOR EFFICIENT DISTRIBUTED COMMUNICATION MIT-LCS-TR-384 Gifford, D. No Group Specified 10-1-1986 THE ORGANI