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 ORGANIZATION OF RESEARCH IN THE INFORMATION SCIENCES Case Studies in Japan and in the U.S. MIT-LCS-TR-383 Strauss, M.M. No Group Specified 12-1-1986 CONGESTION CONTROL IN ROUTING NETWORKS MIT-LCS-TR-382 Chien, A.A. No Group Specified 10-1-1986 CRYPTOLOGY AND VLSI (a two-part dissertation) MIT-LCS-TR-381 Sherman, A.T. No Group Specified 10-1-1986 LOGIC SIMULATION ON A MULTIPROCESSOR MIT-LCS-TR-380 Bradley, E. No Group Specified 10-1-1986 THE NOTION OF SECURITY FOR PROBABILISTIC PUBLIC KEY CRYPTOSYSTEMS MIT-LCS-TR-379 Sloan, R.H. No Group Specified 10-1-1986 MACE: A MULTIPROCESSING APPROACH TO CIRCUIT EXTRACTION MIT-LCS-TR-378 Levitin, S.M. No Group Specified 10-1-1986 LONG ATOMIC COMPUTATIONS MIT-LCS-TR-377 Ng, P. No Group Specified 10-1-1986 REPLICATION AND RECONFIGURATION IN A DISTRIBUTED MAIL REPOSITORY MIT-LCS-TR-376 Day, Mark S. Programming Methodology 4-1-1987 MODELING THE PERFORMANCE OF THE CONCERT MULTIPROCESSOR MIT-LCS-TR-375 Osborne, R.B. No Group Specified 5-1-1987 EFFICIENT GRAPH ALGORITHMS FOR SEQUENTIAL AND PARALLEL COMPUTERS MIT-LCS-TR-374 Goldberg, A.V. No Group Specified 2-1-1987 BOSTON COMMUNITY INFORMATION SYSTEM USER'S MANUAL MIT-LCS-TR-373 Segal, D.A. No Group Specified 10-1-1987 COMPACTION WITH AUTOMATIC JOG INTRODUCTION MIT-LCS-TR-372 Maley, F.M. No Group Specified 11-1-1986 A PIPELINED CODE MAPPING SCHEME FOR STATIC DATA FLOW COMPUTERS MIT-LCS-TR-371 Gao, G.R. No Group Specified 8-1-1986 A COMPILER FOR THE MIT TAGGED-TOKEN DATAFLOW ARCHITECTURE MIT-LCS-TR-370 Traub, K.R. No Group Specified 8-1-1986 PROGRAMMING SIMULTANEOUS ACTION USING COMMON KNOWLEDGE MIT-LCS-TR-369 Moses, Y. No Group Specified 2-1-1987 THE X WINDOW SYSTEM MIT-LCS-TR-368 Scheifler, R.W. No Group Specified 10-1-1986 INTRODUCTION TO THE THEORY OF NESTED TRANSACTIONS MIT-LCS-TR-367 Lynch, N.A. No Group Specified 7-1-1986 THE CLOCK DISTRIBUTION SYSTEMS OF THE MULTIPROCESSOR EMULATION FACILITY MIT-LCS-TR-366 Younis, S.G. No Group Specified 6-1-1986 ID WORLD: AN ENVIRONMENT FOR THE DEVELOPMENT OF A DATAFLOW PROGRAMS WRITTEN IN ID MIT-LCS-TR-365 Morais, D.R. No Group Specified 5-1-1986 CORRECTNESS CONDITIONS FOR HIGHLY AVAILABLE REPLICATED DATABASES MIT-LCS-TR-364 Lynch, N. No Group Specified 6-1-1986 EXPLOITING PARALLELISM IN VLSI CAD MIT-LCS-TR-363 Marantz, J.D. No Group Specified 1-1-1986 SIMULATING APPLICATIVE ARCHITECTURES ON THE CONNECTION MACHINE MIT-LCS-TR-362 Kuszmaul, B.C. No Group Specified 6-1-1986 BOUNDED WIDTH BRANCHING PROGRAMS MIT-LCS-TR-361 Barrington, D.A. No Group Specified 6-1-1986 INTELLIGENT PHYSIOLOGIC MODELING MIT-LCS-TR-360 Kunstaetter, R. No Group Specified 4-1-1986 A CATV-BASED HIGH-SPEED PACKET-SWITCHING NETWORK DESIGN MIT-LCS-TR-359 Feldmeier, D.C. No Group Specified 4-1-1986 PRIMITIVES FOR REAL-TIME MIT-LCS-TR-358 Chaing, C.J. No Group Specified 4-1-1986 COMPUTATION MANAGEMENT IN A SINGLE ADDRESS SPACE SYSTEM MIT-LCS-TR-357 Gibson, J.C. No Group Specified 1-1-1986 LOGICAL STRUCTURE FOR FUNCTIONAL LANGUAGE MIT-LCS-TR-356 Beckerle, M.J. No Group Specified 2-1-1986 DATA STRUCTURE MANAGEMENT IN A DATA FLOW COMPUTER SYSTEM MIT-LCS-TR-355 Guharoy, B. No Group Specified 5-1-1985 REMOTE EVALUATION MIT-LCS-TR-354 Stamos, J.W. No Group Specified 1-1-1986 DATA BACKUP AND RECOVERY IN A COMPUTER ARCHITECTURE FOR FUNCTIONAL MIT-LCS-TR-353 Jagannathan, S. No Group Specified 10-1-1985 BOSTON COMMUNITY INFORMATION SYSTEM USER MANUAL(Version 6.0) MIT-LCS-TR-352 LucassenJ.M., No Group Specified 4-1-1986 THE COMPLEXITY OF GRAPH LAYOUT AND CHANNEL ROUTING FOR VLSI MIT-LCS-TR-351 Bhatt, S.N. No Group Specified 2-1-1984 DESIGN AND IMPLEMENTATION OF A DISTRIBUTED PROGRAM FOR COLLABORATIVE EDITING MIT-LCS-TR-350 Seliger, R. No Group Specified 9-1-1985 BOCHSER: AN INTEGRATED SCHEME PROGRAMMING SYSTEM MIT-LCS-TR-349 Eisenberg, M.A. No Group Specified 8-1-1985 ON PLAYING WELL IN A SUM OF GAMES MIT-LCS-TR-348 Yedwab, L. No Group Specified 8-1-1985 A RELATIVE-MOTION MICROWORLD MIT-LCS-TR-347 Morecroft, L.E No Group Specified 9-1-1985 EQUATIONAL THEORIES AND DATABASE CONSTRAINTS MIT-LCS-TR-346 Cosmadakis, S.S. No Group Specified 8-1-1985 ACCESS TO INTER-ORGANIZATION COMPUTER NETWORKS MIT-LCS-TR-345 Estrin, D.L. No Group Specified 8-1-1985 A GENERALIZED APPROACH TO EQUATIONAL UNIFICATION MIT-LCS-TR-344 Yelick, K.A. No Group Specified 8-1-1985 A PROGRAM FOR GENERATING AND ANALYZING TERM REWRITING SYSTEMS MIT-LCS-TR-343 Forgaard, Randy No Group Specified 9-1-1984 FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS MIT-LCS-TR-342 Stark, E.W. No Group Specified 8-1-1984 ROUTING NETWORKS FOR PACKET COMMUNICATION SYSTEMS MIT-LCS-TR-341 Boughton, G.A. No Group Specified 8-1-1984 REASONING ABOUT PREFERENCE MODELS MIT-LCS-TR-340 Wellman, M.P. No Group Specified 5-1-1985 GENERIC SOFTWARE FOR EMULATING MULTIPROCESSOR ARCHITECTURES MIT-LCS-TR-339 Soley, R.M. No Group Specified 5-1-1985 TOWARDS A PROBLEM SOLVING SYSTEM FOR MOLECULAR GENETICS MIT-LCS-TR-338 Koton, P.A. No Group Specified 5-1-1985 A HARDWARE ASSISTED METHODOLOGY FOR VLSI DESIGN RULE CHECKING MIT-LCS-TR-337 Seiler, L.D. No Group Specified 2-1-1985 SOME IMPLICATIONS OF COMPLEXITY THEORY ON PSEUDO-RANDOM BIT GENERATION MIT-LCS-TR-336 Trilling, S. No Group Specified 1-1-1985 SYNCHRONIZING CLOCKS IN A DISTRIBUTED SYSTEM MIT-LCS-TR-335 Lundelius, J. No Group Specified 8-1-1984 AN APPROACH TO FUNCTIONAL OFFICE AUTOMATION MIT-LCS-TR-334 Zarmer, C.L. No Group Specified 4-1-1984 PARALLEL SIMULATION OF DIGITAL LSI CIRCUITS MIT-LCS-TR-333 Aronld, J.M. No Group Specified 2-1-1985 RESOURCE MANAGEMENT FOR THE TAGGED TOKEN DATAFLOW ARCHITECTURE MIT-LCS-TR-332 Culler, D.E. No Group Specified 1-1-1985 DISTRIBUTED NAME MANAGEMENT MIT-LCS-TR-331 Sollins, K.R. No Group Specified 2-1-1985 INTERACTIVE ON-LINE CONFERENCES MIT-LCS-TR-330 Sarin, S.K. No Group Specified 6-1-1984 QUALITATIVE MATHEMATICAL REASONING MIT-LCS-TR-329 Sacks, E. No Group Specified 11-1-1984 MULTIPLE INHERITANCE IN CONTEMPORARY PROGRAMMING LANGUAGES MIT-LCS-TR-328 Carnese, D.J. No Group Specified 9-1-1984 DEBUGGING DISTRIBUTED COMPUTATIONS IN A NESTED ATOMIC ACTION SYSTEM MIT-LCS-TR-327 Chiu, S.Y. No Group Specified 12-1-1984 ORPHAN DETECTION IN THE ARGUS SYSTEM MIT-LCS-TR-326 Walker, E.F. No Group Specified 5-1-1984 USING UNTYPED LAMBDA CALCULUS TO COMPUTE WITH ATOMS MIT-LCS-TR-325 Weiss, P.G. No Group Specified 2-1-1984 PARTIAL EVALUATION AS A MEANS OF LANGUAGE EXTENSIBILITY MIT-LCS-TR-324 Schooler, R. No Group Specified 8-1-1984 EFFICIENT IMPLEMENTATION OF APPLICATIVE LANGUAGES MIT-LCS-TR-323 Ackerman, W.B. No Group Specified 4-1-1984 ROUTING THE POWER AND GROUND WIRES ON A VLSI CHIP MIT-LCS-TR-322 Moulton, A.S. No Group Specified 5-1-1984 TYPE CHECKING IN VIM VAL MIT-LCS-TR-321 Kuszmaul, B.C. No Group Specified 6-1-1984 COORDINATING PEBBLE MOTION ON GRAPHS, THE DIAMETER OF PERMUTATION GROUPS, AND APPLICATIONS MIT-LCS-TR-320 Kornhauser, D.M. No Group Specified 5-1-1984 REPLICATION METHODS FOR ABSTRACT DATA TYPES MIT-LCS-TR-319 Herlihy, M.P. No Group Specified 5-1-1984 A CONSTRAINT REPRESENTATION AND EXPLANATION FACILITY FOR RENAL PHYSIOLOGY MIT-LCS-TR-318 Ashbell, I.J No Group Specified 6-1-1984 AN ABSTRACT ARCHITECTURE FOR PARALLEL GRAPH REDUCTION MIT-LCS-TR-317 Traub, K.R. No Group Specified 5-1-1984 LOOSE CONSISTENCY IN PERSONAL COMPUTER MAIL SYSTEM MIT-LCS-TR-316 Comer, M.H. No Group Specified 5-1-1984 EXTENDING BINARY BYZANTINE AGREEMENT TO MULTIVALUED BYZANTINE AGREEMENT MIT-LCS-TR-315 Coan, B.A. No Group Specified 4-1-1984 SPECIFICATION AND IMPLEMENTATION OF ATOMIC DATA TYPES MIT-LCS-TR-314 Weihl, William Edward Programming Methodology 3-1-1984 THE DESIGN AND IMPLEMENTATION OF AN ONLINE DIRECTORY ASSISTANCE SYSTEM MIT-LCS-TR-313 Koile, K. No Group Specified 12-1-1983 NAMING IN A PROGRAMMING SUPPORT ENVIRONMENT MIT-LCS-TR-312 Lancaster, J.N. No Group Specified 8-1-1983 NIL REFERENCE MANUAL MIT-LCS-TR-311 Burke, G.S. No Group Specified 1-1-1984 COHESION IN COMPUTER TEXT GENERATION: LEXICAL SUBSTITUTION MIT-LCS-TR-310 Granville, R. No Group Specified 5-1-1983 A FORMAL MODEL OF NON-DETERMINATE DATAFLOW COMPUTATION MIT-LCS-TR-309 Brock, J.D. No Group Specified 8-1-1983 RELIABLE OBJECTS STORAGE TO SUPPORT ATOMIC ACTIONS MIT-LCS-TR-308 Oki, B.M. No Group Specified 5-1-1983 PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE MIT-LCS-TR-307 Guttag, J.V. No Group Specified 10-1-1983 PADL--A PACKET ARCHITECTURE DESCRIPTION LANGUAGE: A PRELIMINARY REFERENCE MANUAL MIT-LCS-TR-306 Leung, K.C. No Group Specified 10-1-1983 A FRAMEWORK FOR SOLVING VLSI GRAPH LAYOUT PROBLEMS MIT-LCS-TR-305 Bhatt, S.N. No Group Specified 10-1-1983 SIMULATION TOOLS FOR DIGITAL LSI DESIGN MIT-LCS-TR-304 Terman, C.J. No Group Specified 9-1-1983 DYNAMIC MODULE REPLACEMENT IN A DISTRIBUTED PROGRAMMING SYSTEM MIT-LCS-TR-303 Bloom, Toby Programming Methodology 3-1-1983 A MULTIPROCESSOR EMULATION FACILITY MIT-LCS-TR-302 Arvind, No Group Specified 10-1-1983 CREATING A COMPUTER-BASED LEARNING ENVIRONMENT FOR PHYSICALLY HANDICAPPED CHILDREN MIT-LCS-TR-301 Valente, J.A. No Group Specified 9-1-1983 AN ARGUMENT FOR SOFT LAYERING OF PROTOCOLS MIT-LCS-TR-300 Cooper, G.H. No Group Specified 8-1-1983 A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS MIT-LCS-TR-299 Marie Wing, Jeannette No Group Specified 5-1-1983 VIDEO GAMES AND COMPUTER AIDED INSTRUCTION MIT-LCS-TR-298 Krugler, K. No Group Specified 6-1-1983 FUNDAMENTAL DESIGN PROBLEMS OF DISTRIBUTED SYSTEMS FOR THE HARD-REAL-TIME ENVIRONMENT MIT-LCS-TR-297 Mok, A.K. No Group Specified 6-1-1983 PHRASE-STRUCTURE PARSING: A METHOD FOR TAKING ADVANTAGE OF ALLOPHONIC CONSTRAINTS MIT-LCS-TR-296 Church, K.W. No Group Specified 6-1-1983 THE REVISED MACLISP MANUAL MIT-LCS-TR-295 Pitman, K.M. No Group Specified 6-1-1983 THE MDL PROGRAMMING ENVIRONMENT MIT-LCS-TR-294 Lebling, P.D. No Group Specified 5-1-1980 THE MDL PROGRAMMING LANGUAGE MIT-LCS-TR-293 Galley, S.W. No Group Specified 5-1-1979 THE MDL PROGRAMMING LANGUAGE PRIMER MIT-LCS-TR-292 Dornbrook, M. No Group Specified 6-1-1980 THE IMPACT OF LAYER ASSIGNMENT METHODS ON LAYOUT ALGORITHM FOR INTEGRATED CIRCUITS MIT-LCS-TR-291 Pinter, R.Y. No Group Specified 8-1-1983 AN OFFICE ANALYSIS AND DIAGNOSIS METHODOLOGY MIT-LCS-TR-290 Sutherland, J.B. No Group Specified 3-1-1983 OFFICE ANALYSIS: METHODOLOGY AND CASE STUDIES MIT-LCS-TR-289 Sirbu, M. No Group Specified 3-1-1983 ON COMPUTING GALOIS GROUPS AND ITS APPLICATION TO SOLVABILITY BY RADICALS MIT-LCS-TR-288 Laudau, S.E. No Group Specified 3-1-1983 ON BISECTING RANDOM GRAPHS MIT-LCS-TR-287 Bui, T.N. No Group Specified 3-1-1983 INTERNAL CONSISTENCY OF A DISTRIBUTED TRANSACTION SYSTEM WITH ORPHAN DETECTION MIT-LCS-TR-286 Goree, J.A. No Group Specified 1-1-1983 CONCURRENCY CONTROL FOR RESILIENT NESTED TRANSACTIONS MIT-LCS-TR-285 Lynch, N.A. No Group Specified 2-1-1983 TRANSLATING UPDATES OF RELATIONAL DATA BASE VIEWS MIT-LCS-TR-284 Cosmadakis, S.S. No Group Specified 2-1-1983 A COMPARATIVE STUDY OF COMPUTER-AIDED CLINICAL DIAGNOSIS MIT-LCS-TR-283 Sherman, H.B. No Group Specified 1-1-1981 IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY PROCESS MIT-LCS-TR-282 FischerM.J., No Group Specified 9-1-1982 MULTILEVEL ATOMICITY-A NEW CORRECTNESS CRITERION FOR DATA BASE CONCURRENCY CONTROL MIT-LCS-TR-281 Lynch, Nancy A. No Group Specified 8-1-1982 AN IMPLEMENTATION SCHEME FOR ARRAY OPERATIONS IN STATIC DATA FLOW COMPUTERS MIT-LCS-TR-280 Guang-Rong, G. No Group Specified 5-1-1982 THE DESIGN OF A MULTIPROCESSOR DEVELOPMENT SYSTEM MIT-LCS-TR-279 Anderson, T.L. No Group Specified 9-1-1982 DISPLAY MANAGEMENT IN AN INTEGRATED OFFICE MIT-LCS-TR-278 Rosenstein, L.S. No Group Specified 1-1-1982 EFFICIENT MODELING FOR SHORT CHANNEL MOS CIRCUIT SIMULATION MIT-LCS-TR-277 Johnson, M.G. No Group Specified 8-1-1982 AUTOMATIC SYNTHESIS OF IMPLEMENTATION FOR ABSTRACT DATA TYPES FROM ALGEBRAIC SPECIFICATIONS MIT-LCS-TR-276 Srivas, M.K. No Group Specified 6-1-1982 ANALYSIS AND SPECIFICATION OF OFFICE PROCEDURES MIT-LCS-TR-275 Kunuin, J.S. No Group Specified 2-1-1982 LAYOUT FOR THE SHUFFLE-EXCHANGE GRAPH AND LOWER BOUND TECHNIQUES FOR VLSI MIT-LCS-TR-274 Leighton, F.T. No Group Specified 8-1-1982 DATA COMMUNICATIONS VIA CABLE TELEVISION NETWORKS: TECHNICAL AND POLICY CONSIDERATIONS MIT-LCS-TR-273 Estrin, D.L. No Group Specified 5-1-1982 REFLECTION AND SEMANTICS IN A PROCEDURAL LANGUAGE MIT-LCS-TR-272 Smith, B.C. No Group Specified 1-1-1982 A COMPUTER SYSTEM FOR DECISION ANALYSIS IN HODGKINS DISEASE MIT-LCS-TR-271 Rutherford, C.J. No Group Specified 2-1-1982 THE DESIGN OF A ROUTING SERVICE FOR CAMPUS-WIDE INTERNET TRANSPORT MIT-LCS-TR-270 Singh, V. No Group Specified 1-1-1982 THE COMPLEXITY OF CONCURRENCY CONTROL FOR DISTRIBUTED DATA BASES MIT-LCS-TR-269 Kanellakis, P.C. No Group Specified 12-1-1981 DERIVED PAIRS, OVERLAP CLOSURES, AND REWRITE DOMINOES: NEW TOOLS FOR ANALYZING TERM REWRITING SYSTEMS MIT-LCS-TR-268 Guttag, J.V. No Group Specified 12-1-1981 CAUSAL REPRESENTATION OF PATIENT ILLNESS FOR ELECTROLYTE AND ACID-BASE DIAGNOSIS MIT-LCS-TR-267 Patil, R.S. No Group Specified 10-1-1981 AN EASE OF USE EVALUATION OF AN INTEGRATED EDITOR AND MIT-LCS-TR-266 Good, M. No Group Specified 1-1-1981 A DATA FLOW ARCHITECTURE WITH IMPROVED ASYMPTOTIC MIT-LCS-TR-265 Thomas, R.E. No Group Specified 4-1-1981 INTERACTIVE DEBUGGING IN A DISTRIBUTED COMPUTATIONAL MIT-LCS-TR-264 Schiffenbauer, R.D. No Group Specified 8-1-1981 PROPOSITIONAL DYNAMIC LOGIC OF LOOPING AND CONVERSE MIT-LCS-TR-263 Street, R.S. No Group Specified 5-1-1981 HIGH LEVEL VAL CONSTRUCTS IN A STATIC DATA FLOW MACHINE MIT-LCS-TR-262 Todd, K.W. No Group Specified 6-1-1981 PRELIMINARY ANALYSIS OF A BREADTH-FIRST PARSING ALGORITHM: THEORETICAL AND EXPERIMENTAL RESULTS MIT-LCS-TR-261 Martin, W.A. No Group Specified 6-1-1981 NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING MIT-LCS-TR-260 Moss, E.B. No Group Specified 4-1-1981 A SWITCH-LEVEL SIMULATION MODEL FOR INTEGRATED LOGIC CIRCUITS MIT-LCS-TR-259 Bryant, R.E. No Group Specified 3-1-1981 A DESIGN METHODOLOGY FOR SELF-TIME SYSTEMS MIT-LCS-TR-258 Singh, N.P. No Group Specified 2-1-1981 APPLICATION OF DATA FLOW ARCHITECTURE TO COMPUTER MUSIC SYNTHESIS MIT-LCS-TR-257 Cesari, C.A. No Group Specified 2-1-1981 SEMIAUTOMATIC TRANSLATION OF COBOL INTO HIBOL MIT-LCS-TR-256 Faust, G.G. No Group Specified 4-1-1981 PROTECTING EXTERNALLY SUPPLIED SOFTWARE IN SMALL COMPUTERS MIT-LCS-TR-255 Kent, S. No Group Specified 3-1-1981 A VERY HIGH LEVEL LANGUAGE FOR BUSINESS DATA PROCESSING MIT-LCS-TR-254 Ruth, G.R. No Group Specified 3-1-1981 AN INTEGRATED APPROACH TO FORMATTED DOCUMENT PRODUCTION MIT-LCS-TR-253 Ilson, R. No Group Specified 2-1-1981 RECOVERY OF THE SWALLOW REPOSITORY MIT-LCS-TR-252 Arens, G.C. No Group Specified 1-1-1981 PRODUCING EXPLANATIONS AND JUSTIFICATIONS OF EXPERT CONSULTING PROGRAMS MIT-LCS-TR-251 Swartout, W.R. No Group Specified 1-1-1981 FAULT TOLERANCE IN PACKET COMMUNICATION COMPUTER ARCHITECTURES MIT-LCS-TR-250 Leung, C.K.C. No Group Specified 12-1-1980 COMPUTERS AND PEOPLE: PERSONAL COMPUTATION MIT-LCS-TR-249 TurkleS., No Group Specified 12-1-1980 ALGORITHMS FOR INTEGRATED CIRCUIT LAYOUT: AN ANALYTIC APPROACH MIT-LCS-TR-248 LaPaugh, A.S. No Group Specified 11-1-1980 INTERPROCEDURAL DATA FLOW ANALYSIS IN THE PRESENCE OF POINTERS, PROCEDURE VARIABLES, AND LABEL VARIABLES MIT-LCS-TR-247 Weihl, W.E. No Group Specified 10-1-1980 A SURVEY OF THE LOGIC OF EFFECTIVE DEFINITIONS MIT-LCS-TR-246 Tiuryn, J. No Group Specified 10-1-1980 ON MEMORY LIMITATIONS IN NATURAL LANGUAGE PROCESSING MIT-LCS-TR-245 Church, K.W. No Group Specified 9-1-1980 DATA DRIVEN LOOPS MIT-LCS-TR-244 Ruth, G.R. No Group Specified 8-1-1980 MANAGEMENT OF OBJECT HISTORIES IN THE SWALLOW REPOSITORY MIT-LCS-TR-243 Svobodova, L. No Group Specified 8-1-1980 SIMULATIONS AMONG MULTIDIMENSIONAL TURING MACHINES MIT-LCS-TR-242 Loui, M.C. No Group Specified 8-1-1980 REPRESENTATION AND ANALYSIS OF REAL-TIME CONTROL STRUCTURE MIT-LCS-TR-241 Archer, R.F. No Group Specified 8-1-1980 SAFETY AND OPTIMIZATION TRANSFORMATIONS FOR DATA FLOW PROGRAMS MIT-LCS-TR-240 Montz, L.B. No Group Specified 7-1-1980 ARTWORK ANALYSIS TOOL FOR VLSI CIRCUITS MIT-LCS-TR-239 Baker, C.M. No Group Specified 6-1-1980 THE COMPLEXITY OF MONOTONE BOOLEAN FUNCTIONS AND AN ALGORITHM FOR FINDING SHORTEST PATHS ON A GRAPH MIT-LCS-TR-238 Bloniarz, P.A. No Group Specified 6-1-1980 TOWARDS A THEORY FOR ABSTRACT DATA TYPES MIT-LCS-TR-237 Kapur, D. No Group Specified 6-1-1980 SCHEDULING TASK SYSTEMS WITH RESOURCES MIT-LCS-TR-236 Lloyd, E.L. No Group Specified 5-1-1980 A CONCEPT OF INDEPENDENCE WITH APPLICATIONS IN VARIOUS FIELDS OF MATHEMATICS MIT-LCS-TR-235 Levin, L.A. No Group Specified 5-1-1980 TRANSMITTING ABSTRACT VALUES IN MESSAGES MIT-LCS-TR-234 Herlihy, M.P. No Group Specified 5-1-1980 AUTOMATIC EXTENSION OF AN AUGMENTED TRANSITION NETWORK GRAMMAR FOR MORSE CODE CONVERSATION MIT-LCS-TR-233 Kaiser, G.E. No Group Specified 4-1-1980 THE ARCHITECTURE OF AN OBJECT BASED PERSONAL COMPUTER MIT-LCS-TR-232 Luniewski, A. No Group Specified 3-1-1980 PARALLEL COMPUTATION: SYNCHRONIZATION, SCHEDULING, AND SCHEMES. MIT-LCS-TR-231 Jaffe, J.M. No Group Specified 3-1-1980 THE COMPLEXITY OF THE MAXIMUM NETWORK FLOW PROBLEM MIT-LCS-TR-230 Baratz, A.E. No Group Specified 3-1-1980 AUTOMATIC VERIFICATION OF SERIALIZES MIT-LCS-TR-229 Atkinson, R.R. No Group Specified 3-1-1980 AN ABSTRACT IMPLEMENTATION FOR A GENERALIZED DATA FLOW LANGUAGE MIT-LCS-TR-228 Weng, K.S. No Group Specified 1-1-1980 INCOMPREHENSIBLE COMPUTER SYSTEMS: KNOWLEDGE WITHOUT WISDOM MIT-LCS-TR-227 Rosenberg, R.L. No Group Specified 1-1-1980 THE EVENT BASED LANGUAGE AND ITS MULTIPLE PROCESSOR IMPLEMENTATIONS MIT-LCS-TR-226 Reuveni, A. No Group Specified 1-1-1980 CLU REFERENCE MANUAL MIT-LCS-TR-225 Liskov, B. No Group Specified 10-1-1979 DATA-STRUCTURING OPERATIONS IN CONCURRENT COMPUTATIONS MIT-LCS-TR-224 Isaman, D.L. No Group Specified 10-1-1979 TOWARD A COMPUTATIONAL THEORY OF INDIRECT SPEECH ACTS MIT-LCS-TR-223 Brown, G.P. No Group Specified 10-1-1979 REFERENCE TREE NETWORKS: VIRTUAL MACHINE AND IMPLEMENTATION MIT-LCS-TR-222 Halstead, R.H. No Group Specified 9-1-1979 ABSTRACT MODEL SPECIFICATIONS FOR DATA ABSTRACTIONS MIT-LCS-TR-221 Berzins, V.A. No Group Specified 7-1-1979 DENOTATIONAL SEMANTICS OF DETERMINATE AND NONDETERMINATE MIT-LCS-TR-220 Kosinski, P.R. No Group Specified 7-1-1979 COPYING COMPLEX STRUCTURES IN A DISTRIBUTED SYSTEM MIT-LCS-TR-219 Sollins, K.R. No Group Specified 7-1-1979 VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL MIT-LCS-TR-218 Acherman, W.B. No Group Specified 6-1-1979 STORAGE AND ACCESS COSTS FOR IMPLEMENTATIONS OF VARIABLE LENGTH LISTS MIT-LCS-TR-217 Brown, D. No Group Specified 4-1-1979 ANALYSIS OF THE CODE FOR DATA FLOW COMPUTATION MIT-LCS-TR-216 Myers, J.M. No Group Specified 5-1-1979 DISTRIBUTED COMPUTER SYSTEMS: STRUCTURE AND SEMANTICS MIT-LCS-TR-215 Svobodova, L. No Group Specified 4-1-1979 A SEMANTIC DATA BASE MODEL AND ITS ASSOCIATED STRUCTURED USER INTERFACE MIT-LCS-TR-214 McLeod, D. No Group Specified 3-1-1979 PROBABILISTIC ALGORITHM IN FINITE FIELDS MIT-LCS-TR-213 Rabin, M.O. No Group Specified 1-1-1979 DIGITALIZED SIGNATURES AND PUBLIC-KEY FUNCTIONS AS INTRACTABLE AS FACTORIZATION MIT-LCS-TR-212 Rabin, M.O. No Group Specified 1-1-1979 SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE MIT-LCS-TR-211 Bloom, T. No Group Specified 4-1-1979 SERIALIZABILITY OF CONCURRENT DATA BASE UPDATES MIT-LCS-TR-210 Papadimitriou, C.H. No Group Specified 3-1-1979 A MACHINE ARCHITECTURE TO SUPPORT AN OBJECT-ORIENTED LANGUAGE MIT-LCS-TR-209 Snyder, A. No Group Specified 3-1-1979 A MICROCOMPUTER NETWORK SIMULATION SYSTEM MIT-LCS-TR-208 Krizan, B.C. No Group Specified 2-1-1979 ROBUST CONCURRENCY CONTROL FOR A DISTRIBUTED INFORMATION SYSTEM MIT-LCS-TR-207 Montgomery, W.A. No Group Specified 1-1-1979 EQUIVALENCE PROPERTIES OF SEMANTIC DATA MODELS FOR DATA BASE SYSTEMS MIT-LCS-TR-206 Broklin, S.A. No Group Specified 1-1-1979 NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM MIT-LCS-TR-205 Reed, D.P. No Group Specified 10-1-1978 REAL-TIME CONTROL STRUCTURES FOR BLOCK DIAGRAM SCHEMATA MIT-LCS-TR-204 Teixeira, T.J. No Group Specified 8-1-1978 SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS MIT-LCS-TR-203 Laventhal, M.S. No Group Specified 7-1-1978 A FORMALIZATION OF THE STATE MACHINE SPECIFICATION TECHNIQUE MIT-LCS-TR-202 Principato, R.N. No Group Specified 7-1-1978 A DENOTATIONAL SEMANTICS OF CLU MIT-LCS-TR-201 Scheifler, R. No Group Specified 5-1-1978 LOGICS OF PROGRAMS: AXIOMATICS AND DESCRIPTIVE POWER MIT-LCS-TR-200 Harel, D. No Group Specified 5-1-1978 THE SPECIFICATION OF CODE GENERATION ALGORITHMS MIT-LCS-TR-199 Terman, C.J. No Group Specified 4-1-1978 MULTIPLE-PROCESSOR IMPLEMENTATIONS OF MESSAGE PASSING SYSTEMS MIT-LCS-TR-198 Halstead, R.H. No Group Specified 4-1-1978 ACTOR SYSTEMS FOR REAL-TIME COMPUTATION MIT-LCS-TR-197 Baker, H.G. No Group Specified 3-1-1978 FINAL REPORT OF THE MULTICS KERNEL DESIGN PROJECT MIT-LCS-TR-196 Schroeder, M.D. No Group Specified 3-1-1978 ON TIME-SPACE CLASSES AND THEIR RELATION TO THE THEORY OF REAL ADDITION MIT-LCS-TR-195 Bruss, A.R. No Group Specified 3-1-1978 ACTORS AND CONTINUOUS FUNCTIONALS MIT-LCS-TR-194 Hewitt, C. No Group Specified 2-1-1978 A FORMAL DEFINITION OF CLU MIT-LCS-TR-193 Schaffert, C. No Group Specified 1-1-1978 ATTRIBUTE PARTITIONING IN A SELF-ADAPTIVE RELATIONAL DATA BASE SYSTEM MIT-LCS-TR-192 Niamir, B. No Group Specified 1-1-1978 SPECIFICATION AND VERIFICATION TECHNIQUES FOR PARALLEL PROGRAMS BASED ON MESSAGE PASSING SEMANTICS MIT-LCS-TR-191 Yonezawa, A. No Group Specified 1-1-1978 ABSTRACT DATA TYPES IN STACK BASED LANGUAGES MIT-LCS-TR-190 Moss, E.B. No Group Specified 2-1-1978 FORMAL SPECIFICATIONS FOR PACKET COMMUNICATION SYSTEMS MIT-LCS-TR-189 Ellis, D.J. No Group Specified 11-1-1977 SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS MIT-LCS-TR-188 Bryant, R.E. No Group Specified 11-1-1977 A PROGRAM WRITER MIT-LCS-TR-187 Long, W.J. No Group Specified 11-1-1977 A STRUCTURE MEMORY FOR DATA FLOW COMPUTERS MIT-LCS-TR-186 Ackerman, W.B. No Group Specified 8-1-1977 DEADLOCK DETECTION IN COMPUTER NETWORKS MIT-LCS-TR-185 Goldman, B. No Group Specified 9-1-1977 FACILITATING INTERPROCESS COMMUNICATION IN A HETEROGENEOUS NETWORK ENVIRONMENT MIT-LCS-TR-184 Levine, P.H. No Group Specified 7-1-1977 SEMILINEAR SETS AND APPLICATIONS MIT-LCS-TR-183 Jaffe, J.M. No Group Specified 7-1-1977 A FRAMEWORK FOR PROCESSING DIALOGUE MIT-LCS-TR-182 Brown, G.P. No Group Specified 6-1-1977 THE COMPLEXITY OF THE FIN ITE CONTAINMENT PROBLEM FOR PETRI NETS MIT-LCS-TR-181 Mayr, E.W. No Group Specified 6-1-1977 A SIMPLE AND FLEXIBLE SYSTEM INITIALIZATION MECHANISM MIT-LCS-TR-180 Luniewski, A. No Group Specified 5-1-1977 NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMS MIT-LCS-TR-179 Karger, P.A. No Group Specified 5-1-1977 COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND GARBAGE COLLECTION MIT-LCS-TR-178 Bishop, P.B. No Group Specified 5-1-1977 A LAYERED VIRTUAL MEMORY MANGER MIT-LCS-TR-177 Mason, A.H. No Group Specified 5-1-1977 A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS MIT-LCS-TR-176 Swartout, W.R. No Group Specified 2-1-1977 A ROBUST ENVIRONMENT FOR PROGRAM DEVELOPMENT MIT-LCS-TR-175 Goldberg, H.J. No Group Specified 2-1-1977 A CASE STUDY OF INTERMODULE DEPENDENCIES IN A VIRTUAL MEMORY SUBSYSTEM MIT-LCS-TR-174 Hunt, D.H. No Group Specified 12-1-1976 COORDINATION OF PARALLEL PROCESSES IN THE ACTOR MODEL OF COMPUTATION MIT-LCS-TR-173 Goodman, N. No Group Specified 12-1-1976 THE REFORMULATION MODEL OF EXPERTISE MIT-LCS-TR-172 Mark, W.S. No Group Specified 12-1-1976 A MULTI-PROCESS DESIGN OF PAGING SYSTEM MIT-LCS-TR-171 Huber, A.H. No Group Specified 12-1-1976 THE LOGIC OF SYSTEMS MIT-LCS-TR-170 Furtek, F.C. No Group Specified 12-1-1976 DIAGNOSTIC PLANNING AND CANCER MANAGEMENT MIT-LCS-TR-169 Safran, C. No Group Specified 9-1-1976 SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC MIT-LCS-TR-168 Pratt, V.R. No Group Specified 9-1-1976 USING TYPE EXTENSION TO ORGANIZE VIRTUAL MEMORY MECHANISMS MIT-LCS-TR-167 Janson, P.A. No Group Specified 9-1-1976 INDEX SELECTION IN A SELF-ADAPTIVE RELATIONAL DATA BASE MANAGEMENT SYSTEM MIT-LCS-TR-166 Chan, A.Y. No Group Specified 9-1-1976 HIGH LEVEL EXPRESSION OF SEMANTIC INTEGRITY SPECIFICATIONS IN A RELATIONAL DATA BASE SYSTEM MIT-LCS-TR-165 McLeod, D. No Group Specified 9-1-1976 PROCESSOR MULTIPLEXING IN A LAYED OPERATING SYSTEM MIT-LCS-TR-164 Reed, D.P. No Group Specified 7-1-1976 A SECURE AND FLEXIBLE MODEL OF PROCESS INITIATION FOR A COMPUTER UTILITY MIT-LCS-TR-163 Montgomery, W.A. No Group Specified 6-1-1976 ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE USER-COMPUTER COMMUNICATION MIT-LCS-TR-162 Kent, S. No Group Specified 6-1-1976 DECIDABILITY QUESTIONS FOR PETRI NETS MIT-LCS-TR-161 Hack, M. No Group Specified 6-1-1976 A PROGRAM FOR THE DESIGN OF PROCUREMENT SYSTEMS MIT-LCS-TR-160 Bosyj, M. No Group Specified 5-1-1976 PETRI NET LANGUAGE MIT-LCS-TR-159 Hack, M. No Group Specified 3-1-1976 SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS MIT-LCS-TR-158 Grossman, R.W. No Group Specified 2-1-1976 A PRELIMINARY STUDY IN COMPUTER-AIDED LEGAL ANALYSIS MIT-LCS-TR-157 Meldman, J.A. No Group Specified 11-1-1975 MINIMIZING THE NAMING FACILITIES REQUIRING PROTECTION IN A COMPUTING UTILITY MIT-LCS-TR-156 Bratt, R.G. No Group Specified 9-1-1975 MECHANIZATION OF TEMPORAL KNOWLEDGE MIT-LCS-TR-155 Kahn, K.M. No Group Specified 9-1-1975 SEMANTICS OF COMMUNICATING PARALLEL PROCESSES MIT-LCS-TR-154 Grief, I. No Group Specified 9-1-1975 STRATEGY SELECTION IN MEDICAL DIAGNOSIS MIT-LCS-TR-153 Miller, P.B. No Group Specified 9-1-1975 EQUIVALENCE PROBLEMS FOR MONADIC SCHEMAS MIT-LCS-TR-152 Qualitz, J.E. No Group Specified 6-1-1975 AUTOMATIC TEST, CONFIGURATION AND REPAIR OF CELLULAR ARRAYS MIT-LCS-TR-151 Manning, F. No Group Specified 6-1-1975 A PARALLEL ASYNCHRONOUS COMPUTER ARCHITECTURE FOR DATA FLOW PROGRAMS MIT-LCS-TR-150 Rumbaugh, J.E. No Group Specified 5-1-1975 A PORTABLE COMPILER FOR THE LANGUAGE C MIT-LCS-TR-149 Snyder, A. No Group Specified 5-1-1975 PROGRAM RESTRUCTURING FOR VIRTUAL SYSTEMS MIT-LCS-TR-148 Johnson, J. No Group Specified 3-1-1975 A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOL LANGUAGE SYSTEM MIT-LCS-TR-147 VanDeVanter, M.L. No Group Specified 3-1-1975 DESIGN CRITERIA FOR A KNOWLEDGE-BASED ENGLISH LANGUAGE SYSTEM FOR MANAGEMENT: AN EXPERIMENTAL ANALYSIS MIT-LCS-TR-146 Malhotra, A. No Group Specified 2-1-1975 THE BINDING MODEL: A SEMANTIC BASE FOR MODULAR PROGRAMMING SYSTEMS MIT-LCS-TR-145 Henderson, D.A. No Group Specified 2-1-1975 THE COMPUTATIONAL COMPLEXITY OF SOME LOGICAL THEORIES MIT-LCS-TR-144 Rackoff, C. No Group Specified 2-1-1975 A DIGITALIS THERAPY ADVISOR MIT-LCS-TR-143 Silverman, H. No Group Specified 1-1-1975 SOME PROBLEMS IN GERMAN TO ENGLISH MACHINE TRANSLATION MIT-LCS-TR-142 Brown, G.P. No Group Specified 12-1-1974 THE BCPL REFERENCE MANUAL MIT-LCS-TR-141 Richards, M. No Group Specified 12-1-1974 NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS MIT-LCS-TR-140 Redell., D.D. No Group Specified 11-1-1974 SOME UPPER AND LOWER BOUNDS ON DECISION PROCEDURES IN LOGIC MIT-LCS-TR-139 Ferrante, J. No Group Specified 11-1-1974 THE HENSEL LEMMA IN ALGEBRAIC MANIPULATION MIT-LCS-TR-138 Yun, David No Group Specified 11-1-1974 NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSES MIT-LCS-TR-137 Seiferas, J. No Group Specified 9-1-1974 FUNCTIONAL DOMAINS OF APPLICATIVE LANGUAGES MIT-LCS-TR-136 Ward, S. No Group Specified 9-1-1974 THE COMPUTER CONTROL OF CHANGING PICTURES MIT-LCS-TR-135 Pfister, G.F. No Group Specified 9-1-1974 SEMANTICS OF DATA STRUCTURES AND REFERENCES MIT-LCS-TR-134 Ellis, D.J. No Group Specified 8-1-1974 THE COMPLEXITY OF DECISION PROBLEMS IN AUTOMATA THEORY AND LOGIC MIT-LCS-TR-133 Stockmeyer, L.J. No Group Specified 7-1-1974 REMOVING THE DYNAMIC LINKER FROM THE SECURITY KERNEL OF A COMPUTING UTILITY MIT-LCS-TR-132 Jason, P.A. No Group Specified 6-1-1974 MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS MIT-LCS-TR-131 Levin, M. No Group Specified 6-1-1974 ANALYSIS OF ALGORITHM IMPLEMENTATIONS MIT-LCS-TR-130 Ruth, G.R. No Group Specified 5-1-1974 USING INTERACTIVE GRAPHICS IN SIMULATING THE HOSPITAL EMERGENCY ROOM MIT-LCS-TR-129 Weissberg, R. No Group Specified 5-1-1974 THE COMPUTER UTILITY AS A MARKETPLACE FOR COMPUTER SERVICE MIT-LCS-TR-128 Frankston, R.M. No Group Specified 5-1-1974 AN EXPERIMENTAL ANALYSIS OF PROGRAM REFERENCE PATTERNS IN THE MULTICS VIRTUAL MEMORY MIT-LCS-TR-127 Greenberg, B. No Group Specified 5-1-1974 A LANGUAGE IMPLEMENTATION SYSTEM MIT-LCS-TR-126 Altman, V.E. No Group Specified 5-1-1974 A MODEL-DEBUGGING SYSTEM MIT-LCS-TR-125 Mark, W.S. No Group Specified 4-1-1974 VERIFICATION OF PROGRAMS OPERATING ON STRUCTURED DATA MIT-LCS-TR-124 Laventhal, M.S. No Group Specified 3-1-1974 INTRODUCTION TO MULTICS MIT-LCS-TR-123 Saltzer, et al No Group Specified 2-1-1974 COMPUTER AND DATA SECURITY: A COMPREHENSIVE ANNOTATED BIBLIOGRAPHY MIT-LCS-TR-122 Scherf, J.A. No Group Specified 1-1-1974 ON LOWER BOUNDS FOR SELECTION PROBLEMS MIT-LCS-TR-121 Yao, F.F. No Group Specified 3-1-1974 ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS MIT-LCS-TR-120 Ramchandani, C. No Group Specified 2-1-1974 A NEW GRAMMATICAL TRANSFORMATION INTO DETERMINISTIC TOPDOWN FORM MIT-LCS-TR-119 Hammer, M.M. No Group Specified 2-1-1974 AN ABSTRACT MODEL OF A RESEARCH INSTITUTE: SIMPLE AUTOMATIC PROGRAMMING APPROACH MIT-LCS-TR-118 Briabrin, V. No Group Specified 3-1-1974 AN INPUT/OUTPUT ARCHITECTURE FOR VIRTUAL MEMORY COMPUTER SYSTEMS MIT-LCS-TR-117 Clark, D.D. No Group Specified 1-1-1974 BACKUP AND RECOVERY OF ON-LINE INFORMATION IN A COMPUTER MIT-LCS-TR-116 Stern, J.A. No Group Specified 1-1-1974 MAKING COMPUTERS KEEP SECRETS MIT-LCS-TR-115 Rotenberg, L. No Group Specified 2-1-1974 PACKET COMMUNICATION MIT-LCS-TR-114 Metcalfe, R.M. No Group Specified 12-1-1973 ON REDUCIBILITY AMONG COMBINATORIAL PROBLEMS MIT-LCS-TR-113 Herrmann, P.P. No Group Specified 12-1-1973 SEMANTICS OF DATA BASE SYSTEMS MIT-LCS-TR-112 Hawryszkiewycz, I.T No Group Specified 12-1-1973 PRODUCTIVITY IN PARALLEL COMPUTATION SCHEMATA MIT-LCS-TR-111 Linderman, J.P. No Group Specified 12-1-1973 COMPLEXITY CLASSES OF RECURSIVE FUNCTIONS MIT-LCS-TR-110 Moll, R. No Group Specified 6-1-1973 NEAR-OPTIMAL BIN PACKING ALGORITHMS MIT-LCS-TR-109 Johnson, D. No Group Specified 6-1-1973 MATHEMATICAL FOUNDATIONS OF FORMAL LANGUAGE THEORY MIT-LCS-TR-108 Wand, M. No Group Specified 12-1-1973 STORAGE HIERARCHY SYSTEMS MIT-LCS-TR-107 Madnick, S.E. No Group Specified 4-1-1973 THE EMPTINESS AND COMPLEMENTATION PROBLEMS FOR AUTOMATA ON INFINITE TREES MIT-LCS-TR-106 Rackoff, C. No Group Specified 1-1-1973 AN ANALYSIS OF SORTING NETWORKS MIT-LCS-TR-105 Smith, B.J. No Group Specified 10-1-1972 COOPERATION OF MUTUALLY SUSPICIOUS SUBSYSTEMS IN A COMPUTER UTILITY MIT-LCS-TR-104 Schroeder, M.D. No Group Specified 9-1-1972 PERFORMANCE EVALUATION OF MULTIPROGRAMMED TIME-SHARED COMPUTER SYSTEM MIT-LCS-TR-103 Sekino, A. No Group Specified 9-1-1972 FINITE TREE AUTOMATA AND W-AUTOMATA MIT-LCS-TR-102 Hossley, R.F. No Group Specified 9-1-1972 ON THE DESIGN AND SPECIFICATION OF A COMMON BASE LANGUAGE MIT-LCS-TR-101 Dennis, J.B. No Group Specified 6-1-1972 FURTHER RESULTS ON HIERARCHIES OF CANONIC SYSTEMS MIT-LCS-TR-100 Mandl, R. No Group Specified 6-1-1972 RELATIVIZATION OF THE THEORY OF COMPUTATION COMPLEXITY MIT-LCS-TR-099 Lynch, N.A. No Group Specified 6-1-1972 BOUNDS ON POLYNOMIAL EVALUATION ALGORITHMS MIT-LCS-TR-098 Stockmeyer, L.J. No Group Specified 4-1-1972 THE COMPLEXITY OF FINITE FUNCTIONS MIT-LCS-TR-097 Vilfan, B. No Group Specified 3-1-1972 AUTONOMOUS, SYNCHRONOUS COUNTERS CONSTRUCTED ONLY OF J-K FLIP -FLOPS MIT-LCS-TR-096 Manning, F. No Group Specified 5-1-1972 ESSAYS IN ALGEBRAIC SIMPLIFICATION MIT-LCS-TR-095 Fateman, R.J. No Group Specified 4-1-1972 ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS MIT-LCS-TR-094 Hack, M. No Group Specified 2-1-1972 INDUCTION IN PROOFS ABOUT PROGRAMS MIT-LCS-TR-093 Greif, I. No Group Specified 2-1-1972 EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATION MIT-LCS-TR-092 Wang, P.S. No Group Specified 9-1-1971 A PARALLEL PROCESSING MODEL OF MUSICAL STRUCTURES MIT-LCS-TR-091 Smoliar, S.W. No Group Specified 9-1-1971 COST ANALYSIS OF DEBUGGING SYSTEMS MIT-LCS-TR-090 Lestr, B.P. No Group Specified 9-1-1971 PRIMARY ACCESS CONTROL IN LARGE-SCALE TIME-SHARED DECISION SYSTEMS MIT-LCS-TR-089 Owens, R.C. No Group Specified 7-1-1971 BOUNDS ON INFORMATION RETRIEVAL EFFICIENCY IN STATIC FILE STRUCTURES. MIT-LCS-TR-088 Welch, T.A. No Group Specified 6-1-1971 A MODEL FOR PROCESS REPRESENTATION AND SYNTHESIS MIT-LCS-TR-087 Thomas, R.H. No Group Specified 6-1-1971 DYNAMIC RECONFIGURATION IN A MODULAR COMPUTER SYSTEM MIT-LCS-TR-086 Schell, R.R. No Group Specified 6-1-1971 AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION MIT-LCS-TR-085 Miller, P.L. No Group Specified 5-1-1971 PROCEDURES AS A REPRESENTATION FOR DATA IN A COMPUTER PROGRAM FOR UNDERSTANDING NATURAL LANGUAGE MIT-LCS-TR-084 Winograd, T. No Group Specified 2-1-1971 IN-PROCESS MANUFACTURING QUALITY CONTROL MIT-LCS-TR-083 Lewin, D. No Group Specified 1-1-1971 COMPUTER ANALYSIS OF VISUAL PROPERTIES OF CURVED OBJECTS MIT-LCS-TR-082 Krakauer, L.J. No Group Specified 5-1-1971 INFORMATION PROCESSING AND TRANSMISSION IN CELLULAR AUTOMATA MIT-LCS-TR-081 Banks, E.R. No Group Specified 1-1-1971 THE CLASSROOM INFORMATION AND COMPUTING SERVICE MIT-LCS-TR-080 Clark, D.D. No Group Specified 1-1-1971 SHAPE FROM SHADING: A METHOD FOR OBTAINING THE SHAPE OF A SMOOTH OPAQUE OBJECT FROM ONE VIEW MIT-LCS-TR-079 Horn, B.K.P. No Group Specified 11-1-1970 DESIGN STRATEGIES FOR FILE SYSTEMS MIT-LCS-TR-078 Madnick, S.E. No Group Specified 10-1-1970 COMPLEXITY MEASURES FOR LANGUAGE RECOGNITION BY CANONIC SYSTEMS MIT-LCS-TR-077 Haggerty, Joseph P. No Group Specified 10-1-1970 LEARNING STRUCTURAL DESCRIPTION FROM EXAMPLES MIT-LCS-TR-076 Winston, P.H. No Group Specified 9-1-1970 DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSTEMS MIT-LCS-TR-075 Hebalkar, P.G. No Group Specified 9-1-1970 INTEGRAL CONVEX POLYHEDRA AND AN APPROACH TO INTEGRALIZATION MIT-LCS-TR-074 Edelberg, M. No Group Specified 8-1-1970 COMPUTER RECOGNITION OF PRISMATIC SOLIDS MIT-LCS-TR-073 Griffith, A.K. No Group Specified 8-1-1970 COORDINATION OF ASYNCHRONOUS EVENTS MIT-LCS-TR-072 Patil, S.S. No Group Specified 6-1-1970 A COMPUTER-CONTROLLED GRAPHICAL DISPLAY PROCESSOR MIT-LCS-TR-071 Fiasconaro, J.G. No Group Specified 6-1-1970 GENERALIZED ORGANIZATION OF LARGE DATA BASES: A SET-THEORETIC APPROACH TO RELATIONS MIT-LCS-TR-070 Fillat, A.I. No Group Specified 6-1-1970 HIERARCHICAL ASSOCIATIVE MEMORIES FOR PARALLEL COMPUTATION MIT-LCS-TR-069 Gertz, J.L. No Group Specified 6-1-1970 ECONOMIES OF SCALE IN COMPUTER USE; INITIAL TEST AND IMPLICATION A FOR THE COMPUTER UTILITY MIT-LCS-TR-068 Selwyn, L. No Group Specified 6-1-1970 CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY MIT-LCS-TR-067 Vanderbilt, D.H. No Group Specified 10-1-1969 RECOGNITION OF TOPOLOGICAL INVARIANTS BY ITERATIVE ARRAYS MIT-LCS-TR-066 Beyer, W.T. No Group Specified 10-1-1969 PRACTICAL TRANSLATORS FOR LR(K) LANGUAGES MIT-LCS-TR-065 Deremer, F.L. No Group Specified 10-1-1969 A GRAPH MODEL FOR PARALLEL COMPUTATIONS MIT-LCS-TR-064 Rodrigues, J.E. No Group Specified 9-1-1969 CASE STUDY IN INTERACTIVE GRAPHICS PROGRAMMING: A CIRCUIT DRAWING AND EDITING PROGRAM FOR USE WITH A STOR MIT-LCS-TR-063 Brackett, J. No Group Specified 10-1-1969 EPS: AN INTERACTIVE SYSTEM FOR SOLVING ELLIPTIC BOUNDARY-VALUE PROBLEMS WITH FACILITIES FOR DATA MANIPULATIO MIT-LCS-TR-062 Tillman, C.C. No Group Specified 6-1-1969 INTERACTIVE COMPUTER-MEDIATED ANIMATION MIT-LCS-TR-061 Baeker, R.M. No Group Specified 6-1-1969 A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGES MIT-LCS-TR-060 Ledgard, H.F. No Group Specified 4-1-1969 COMPUTER RECOGNITION OF THREE-DIMENSIONAL OBJECTS IN A VISUAL SCENE MIT-LCS-TR-059 Guzman-Arenas, A. No Group Specified 12-1-1968 A SIMULATOR OF MULTIPLE INTERACTIVE USERS TO DRIVE A TIME-SHARED COMPUTER SYSTEM MIT-LCS-TR-058 Greenbaum, H.J. No Group Specified 1-1-1969 LAMBDA CALCULUS MODELS OF PROGRAMMING LANGUAGES MIT-LCS-TR-057 Morris, J.H. No Group Specified 12-1-1968 AN INTEGRATED HARDWARE-SOFTWARE SYSTEM FOR COMPUTER GRAPHICS IN TIME-SHARING MIT-LCS-TR-056 Thornhill, D. No Group Specified 12-1-1968 IMPLEMENTING MULTI-PROCESS PRIMITIVES IN A MULTIPLEXED COMPUTER SYSTEM MIT-LCS-TR-055 Rappaport, R.L. No Group Specified 11-1-1968 THE GRAPH DISPLAY AS AN AID IN THE MONITORING OF A TIME-SHARED COMPUTER SYSTEM MIT-LCS-TR-054 Grochow, J.M. No Group Specified 10-1-1968 THE FLOW GRAPH SCHEMATA MODEL OF PARALLEL COMPUTATION MIT-LCS-TR-053 Slutz, D.R. No Group Specified 9-1-1968 ABSENTEE COMPUTATIONS IN A MULTIPLE-ACCESS COMPUTER SYSTEM MIT-LCS-TR-052 Deital, H.M. No Group Specified 8-1-1968 CARPS, A PROGRAM WHICH SOLVES CALCULUS WORD PROBLEMS MIT-LCS-TR-051 Charniak, E. No Group Specified 7-1-1968 RESOURCE ALLOCATION IN MULTIPROCESS COMPUTER SYSTEMS MIT-LCS-TR-050 Denning, P.J. No Group Specified 5-1-1968 A SYNCHRONOUS COMPUTATIONAL STRUCTURES MIT-LCS-TR-049 Luconi, F.L. No Group Specified 2-1-1968 INCREMENTAL SIMULATION ON A TIME-SHARED COMPUTER MIT-LCS-TR-048 Jones, M.M. No Group Specified 1-1-1968 SYMBOLIC INTEGRATION MIT-LCS-TR-047 Moses, J. No Group Specified 12-1-1967 A CANONIC TRANSLATOR MIT-LCS-TR-046 Alsop, J.W. No Group Specified 11-1-1967 ON THE SIMULATION OF DYNAMIC SYSTEMS WITH LUMPED PARAMETERS AND TIME DELAYS MIT-LCS-TR-045 Leal-Cantu, N. No Group Specified 10-1-1967 A SYSTEM FOR COMPUTER-AIDED DIAGNOSIS MIT-LCS-TR-044 Gorry, G.A. No Group Specified 9-1-1967 PROGRAM ANALYSIS BY DIGITAL COMPUTER MIT-LCS-TR-043 Wilde, D.U.. No Group Specified 8-1-1967 DESIGN AND IMPLEMENTATION OF A TABLE-DRIVEN COMPILER SYSTEM MIT-LCS-TR-042 Liu, C.L. No Group Specified 7-1-1967 SURFACES FOR COMPUTER-AIDED DESIGN OF SPACE FORMS MIT-LCS-TR-041 Coons, S.A. No Group Specified 6-1-1967 ON-LINE ANALYSIS FOR SOCIAL SCIENTISTS MIT-LCS-TR-040 Miller, J.R. No Group Specified 5-1-1967 SYNTAX-BASED ANALYTIC READING OF MUSICAL SCORES MIT-LCS-TR-039 Forte, A. No Group Specified 4-1-1967 A LOW-COST OUTPUT TERMINAL FOR TIME-SHARED COMPUTERS. MIT-LCS-TR-038 Rosenburg, R.C. No Group Specified 3-1-1967 SOME ASPECTS OF PATTERN RECOGNITION BY COMPUTER MIT-LCS-TR-037 Guzman-Arenas, A. No Group Specified 2-1-1967 SYMBOLIC MATHEMATICAL LABORATORY MIT-LCS-TR-036 Martin, W.A. No Group Specified 1-1-1967 AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION MIT-LCS-TR-035 Fenichel, R.R. No Group Specified 12-1-1966 COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSING MIT-LCS-TR-034 Van Horn, E.C. No Group Specified 11-1-1966 ADEPT. A HEURISTIC PROGRAM FOR PROVING THEOREMS OF GROUP THEORY MIT-LCS-TR-033 Norton, L.M. No Group Specified 10-1-1966 PILOT: A STEP TOWARDS MAN-COMPUTER SYMBIOSIS MIT-LCS-TR-032 Teitelman, W. No Group Specified 9-1-1966 MODELS AND DATA STRUCTURES FOR DIGITAL LOGIC SIMULATION MIT-LCS-TR-031 Smith, D.L. No Group Specified 8-1-1966 TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER MIT-LCS-TR-030 Saltzer, J.H. No Group Specified 7-1-1966 SEARCH PROCEDURES BASED ON MEASURES OF RELATEDNESS BETWEEN DOCUMENTS MIT-LCS-TR-029 Ivie, E.L. No Group Specified 6-1-1966 INPUT/OUTPUT IN TIME-SHARED, SEGMENTED, MULTIPROCESSOR SYSTEMS MIT-LCS-TR-028 Smith, A.A. No Group Specified 6-1-1966 OCAS - ON-LINE CRYPTANALYTIC AID SYSTEM MIT-LCS-TR-027 Edwards, D.J. Project MAC 5-0-1966 DESIGN OF A LOW-COST CHARACTER GENERATOR FOR REMOTE COMPUTER DISPLAYS MIT-LCS-TR-026 Cheek, T.B. No Group Specified 3-1-1966 INVESTIGATION OF AN ANALOG TECHNIQUE TO DECREASE PENTRACKING TIME IN COMPUTER DISPLAY. MIT-LCS-TR-025 Stratton, W.D. No Group Specified 3-1-1966 MAP: A SYSTEM FOR ON-LINE MATHEMATICAL ANALYSIS MIT-LCS-TR-024 Kaplow, R. No Group Specified 1-1-1966 PROGRAMMING SEMANTICS FOR MULTIPROGRAMMED COMPUTATIONS MIT-LCS-TR-023 Dennis, J.B. No Group Specified 12-1-1965 THE PRIORITY PROBLEM MIT-LCS-TR-022 Greenberger, M. No Group Specified 11-1-1965 QUEUEING MODELS FOR FILE MEMORY OPERATION MIT-LCS-TR-021 Denning, P.J.. Project MAC 10-0-1965 CALCULAID: AN ON-LINE SYSTEM FOR ALGEBRAIC COMPUTATION AND ANALYSIS MIT-LCS-TR-020 Wantman, M.E. Project MAC 9-0-1965 A HEURISTIC APPROACH TO ALTERNATE ROUTING IN A JOB SHOP MIT-LCS-TR-019 Russo, F.J. Project MAC 6-0-1965 AN ANALYSIS OF TIME-SHARED COMPUTER SYSTEMS MIT-LCS-TR-018 Scherr, A.L. Project MAC 6-0-1965 TIME SHARING ON A MULTICONSOLE COMPUTER MIT-LCS-TR-017 Samuel, A.L. Project MAC 3-0-1965 CTSS TECHNICAL NOTES MIT-LCS-TR-016 Saltzer, J.H. Project MAC 3-0-1965 USE OF CTSS IN A TEACHING ENVIRONMENT MIT-LCS-TR-014 Roos, D. Project MAC 11-0-1964 A NEW METHODOLOGY FOR COMPUTER SIMULATION MIT-LCS-TR-013 Greenberger, M. Project MAC 10-0-1964 THE MAC SYSTEM: A PROGRESS REPORT MIT-LCS-TR-012 Fano, R.M. Project MAC 10-9-1964 PROGRAM STRUCTURE IN A MULTI-ACCESS COMPUTER MIT-LCS-TR-011 Dennis, J.B. Project MAC 5-0-1964 THE OPS-1 MANUAL MIT-LCS-TR-008 Greenberger, M. Project MAC 5-1-1964 OPL-1 : AN OPEN ENDED PROGRAMMING SYSTEM WITHIN CTSS MIT-LCS-TR-007 Weizenbaum, J. Project MAC 31-1-1964 STRESS: A PROBLEM-ORIENTED LANGUAGE FOR STRUCTURAL ENGINEERING MIT-LCS-TR-006 Biggs, J.M. Project MAC 31-1-1964 VERBAL AND GRAPHICAL LANGUAGE FOR THE AED SYSTEM: A PROGRESS REPORT MIT-LCS-TR-004 Ross, D.T. Project MAC 5-0-1964 SYSTEM REQUIREMENTS FOR MULTIPLE -ACCESS, TIME-SHARED COMPUTERS MIT-LCS-TR-003 Corbato, F.J. Project MAC 5-0-1964 SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL MIT-LCS-TR-002 Raphael, B. Project MAC 6-0-1964 NATURAL LANGUAGE INPUT FOR A COMPUTER PROBLEM SOLVING SYSTEM MIT-LCS-TR-001 Bobrow, D.G Project MAC 9-0-1964