Technical Reports Work Products Historical Collections

LCS Technical Reports Click on the title of the document for more information. Click the column headers to sort by different fields. 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-0 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-0 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-0 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-0 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-0 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-0 Loop Analysis and Natural Selection MIT-LCS-TR-787 Mohtashemi, M. Clinical Decision Making 1-1-0 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-0 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 MIT-LCS-TR-759 Barua, R. 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-0 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 MIT-LCS-TR-752 No Author Available Spoken Language Systems 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 MIT-LCS-TR-741 Bose, V. No Group Specified 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 Not Yet Available MIT-LCS-TR-606 No Author Available No Group Specified 1-1-0 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 Not Yet Available MIT-LCS-TR-592 No Author Available No Group Specified 1-1-0 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 B (replaces 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 1 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 0-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 MIT-LCS-TR-472 Sheldon, M. No Group Specified 1-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 FOR 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 PIPE AND PROCEDURES 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 ANIMATION IN THREE DIMENSIONS 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 LANGUAGES 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 TrillingS., 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 VIMVAL 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 OBJECT 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 ALGORITHMS 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 DATABASE 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*atio MIT-LCS-TR-282 FischerM.J., No Group Specified 9-1-1982 MULTILEVEL ATOMICITY-A NEW CORRECTNESS CRITERION FOR DATABASE 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 IMPLEMENTATIONS 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 LAYOUTS 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 PROCEDURAL REFLECTION IN PROGRAMMING LANGUAGES VOLUME 1 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 DATABASES 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 FORMATTER MIT-LCS-TR-266 Good, M. No Group Specified 1-1-1981 A DATA FLOW ARCHITECTURE WITH IMPROVED ASYMPTOTIC PERFORMANCE MIT-LCS-TR-265 Thomas, R.E. No Group Specified 4-1-1981 INTERACTIVE DEBUGGING IN A DISTRIBUTED COMPUTATIONAL ENVIRONMENT 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 Turkle S., 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 STRUCTURES 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 MESSAGESe MIT-LCS-TR-234 Herlihy, M.P. No Group Specified 5-1-1980 AUTOMATIC EXTENSION OF AN AUGMENTED TRANSITION NETWORK GRAMMAR FOR MORSE CODE CONVERSATIONS 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 SERIALIZERS 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 NON-DETERMINATE DATA FLOW PROGRAMS 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--A VALUE- 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 SIMPLE CODE FOR DATAFLOW 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 MANAGER 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 LAYERED 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 UTILITY 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 Lester, 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, James 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 SYSTEM 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 Computer Science and Artificial Intelligence Laboratory (CSAIL) The Stata Center, Building 32 - 32 Vassar Street - Cambridge, MA 02139 - USA tel:+1-617-253-0073 - publications@csail.mit.edu