Publication Title LCS Document Number Publication Author LCS Group Publication Date Subcontracted Rational SFE MIT-LCS-TM-653 Lepinski, Matthew Cryptography and Information Security 11-2-2005 MPEG-2 in a Stream Programming Language MIT-LCS-TM-652 Drake, Matthew Computer Architecture 10-22-2005 Exploiting Vector Parallelism in Software Pipelined Loops MIT-LCS-TM-651 Larsen, Sam Computer Architecture 6-3-2005 File Synchronization with Vector Time Pairs MIT-LCS-TM-650 Cox, Russ Parallel and Distributed Operating Systems 2-28-2005 Complexity of finding Nash equilibria in 0-1 bimatrix games MIT-LCS-TM-648 Abbott, Tim Cryptography and Information Security 2-8-2005 The Security Power of the Ballot Box MIT-LCS-TM-647 Lepinski, Matt Cryptography and Information Security 2-2-2005 Versatility and VersaBench: A New Metric and a Benchmark Suite for Flexible Architectures MIT-LCS-TM-646 Rabbah, Rodric M. Computer Architecture 6-14-2004 Scalar Operand Networks: Design, Implementation, and Analysis MIT-LCS-TM-645 Taylor, Michael Bedford Computer Architecture 6-8-2004 Deionizer: A Tool for Capturing and Embedding I/O Cells MIT-LCS-TM-644 Taylor, Michael Bedford Computer Architecture 6-7-2004 Can Basic ML Techniques Illuminate Rateless Erasure Codes? MIT-LCS-TM-643 Gupta, Anjali Parallel and Distributed Operating Systems 5-5-2004 A 1020-Node Modular Microphone Array and Beamformer for Intelligent Computing Spaces MIT-LCS-TM-642 Weinstein, Eugene Computer Architecture 4-14-2004 A Stream Algorithm for the SVD MIT-LCS-TM-641 Strumpen, Volker Computer Architecture 10-22-2003 Updatable Zero-Knowledge Sets MIT-LCS-TM-640 Liskov, Moses Theory of Computation 10-14-2003 Electronic Cash with Blind Deposits: How to Have No Spare Change MIT-LCS-TM-639 Liskov, Moses Theory of Computation 10-14-2003 Execution Model Enforcement Via Program Shepherding MIT-LCS-TM-638 Kiriansky, Vladimir Computer Architecture 5-20-2003 Scalable Packet Classification Using Bit Vector Aggregating and Folding MIT-LCS-TM-637 Li, Ji Advanced Network Architecture 4-17-2003 Stream Algorithms and Architecture MIT-LCS-TM-636 Henry, Hoffman Computer Architecture 3-24-2003 A Theoretical and Practical Approach to Instruction Scheduling on Spatial Architectures MIT-LCS-TM-635 S. Mirrokni, Vahab Computer Architecture 12-13-2002 Meta Optimization: Improving Compiler Heuristics with Machine Learning MIT-LCS-TM-634 Stephenson, Mark Computer Architecture 12-3-2002 Plain-Text Aware Encryption Via Public-Key Registration MIT-LCS-TM-633 Micali, Silvio Theory of Computation 11-20-2002 pStore: A Secure Peer-to-Peer Backup System MIT-LCS-TM-632 Batten, Christopher Computer Architecture 10-30-2002 Offline Authentication of Untrusted Storage MIT-LCS-TM-631 Clarke, Dwaine Computation Structures 8-23-2002 A Collision Model for Randomized Routing In Fat-Tree Networks MIT-LCS-TM-629 Strumpen, Volker Computer Architecture 7-15-2002 How to Build Scalable On-Chip ILP Networks for a Decentralized Architecture MIT-LCS-TM-628 Taylor, Michael RAW 4-17-2000 A Stream Compiler for Communication-Exposed Architectures MIT-LCS-TM-627 Gordon, Michael Computer Architecture 3-31-2002 A Note on the Stability Requirements of Adaptive Virtual Queue MIT-LCS-TM-626 Katabi, Dina Advanced Network Architecture 2-13-2002 Secure Execution Via Program Shepherding MIT-LCS-TM-625 Kiriansky, Vladimir Computer Architecture 2-4-2002 Efficient View-Dependent Sampling of Visual Hulls MIT-LCS-TM-624 Matusik, Wojciech Computer Graphics 2-1-2002 An Efficient Visual Hull Computation Algorithm MIT-LCS-TM-623 Matusik, Wojciech Computer Graphics 2-1-2002 StreamIT: A Complier for Streaming Applications MIT-LCS-TM-622 Thies, William Computer Architecture 2-12-2002 Techniques for Increasing and Detecting Memory Alignment MIT-LCS-TM-621 Larsen, Samuel Computer Architecture 11-25-2001 StreaMIT: A Language for Streaming Applications MIT-LCS-TM-620 Thies, William Computer Architecture 8-6-2001 A Software Framework for Supporting General Purpose Applications on RAW Computation Fabrics MIT-LCS-TM-619 Frank, Matthew Computer Architecture 7-20-2001 Persona: A Contextualized and Personalized Web Search MIT-LCS-TM-618 Mui, Lik Clinical Decision Making 5-1-2001 Ratings in Distributed Systems: A Bayesian Approach MIT-LCS-TM-617 Mui, Lik Clinical Decision Making 5-1-2001 Three Round Zero-Knowledge Using a Proof of Knowledge Assumption MIT-LCS-TM-616 Lepinski, Matthew Cryptography and Information Security 4-20-2001 Mutually Independent Commitment MIT-LCS-TM-615 Liskov, Moses Theory of Computation 4-9-2001 Forward-Secure Signatures with Optimal Signing and Verifying MIT-LCS-TM-614 Itkis, Gene Cryptography and Information Security 4-9-2001 A Unified Framework for Schedule and Storage Optimization MIT-LCS-TM-613 Thies, William F. Computer Architecture 11-17-2000 Availability Study of Dynamic Voting Algorithms MIT-LCS-TM-611 Ingols, Kyle Theory of Computation 11-1-2000 A General Framework for Highly Available Services based on Group Communication MIT-LCS-TM-610 Fekete, Alan Theory of Computation 11-1-2000 Concurrent/Resettable Zero-Knowledge Protocols for NP in the Public Key Model MIT-LCS-TM-609 Micali, Silvio Theory of Computation 8-14-2000 A New Self-Play Experiment in Computer Chess MIT-LCS-TM-608 Heinz, Ernst Supercomputing Technologies 5-20-2000 Systematic Testing of Multithreaded Programs MIT-LCS-TM-607 Bruening, D. Computer Architecture 5-2-2000 Softspec: Software-based Speculative Parallelism MIT-LCS-TM-606 Bruering, D. Computer Architecture 4-17-2000 Proving Correctness of a Distributed Shared Memory Implementation MIT-LCS-TM-603 Castro, M. Programming Methodology 1-4-1999 Bitwidth Analysis with Application to Silicon Compilation MIT-LCS-TM-602 Stephenson, Mark Computer Architecture 11-12-1999 Exploiting Superword Level Parallelism with Multimedia Instruction Sets MIT-LCS-TM-601 Amarasinghe, S. Computer Architecture 11-18-1999 Strength Reduction of Integer Division and Modulo Operations MIT-LCS-TM-600 Amarasinghe, Saman Computer Architecture 11-1-1999 A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm MIT-LCS-TM-597 Castro, Miguel Programming Methodology 6-1-1999 MASC: A User-Embeddable Hardware Platform and Infrastructure for Information Appliances MIT-LCS-TM-596 Chatterjee, Sandeep Clinical Decision Making 3-9-1999 Authenticated Byzantine Fault Tolerance Without Public-Key Cryptography MIT-LCS-TM-595 Castro, Miguel Programming Methodology 6-1-1999 Can Statistical Zero-Knowledge Be Made Non-Interactive? or On the Relationship of SZK and NISZK MIT-LCS-TM-594 Goldreich, Oded Theory of Computation 2-1-1999 A Client-Server Oriented for Virtually Synchronous Group Membership in WANs MIT-LCS-TM-593 Keidar, Idit Theory of Computation 6-1-1999 NAIVE - Network Aware Internet Video Encoding MIT-LCS-TM-591 Briceno, Hector Computer Graphics 4-22-1999 Dynamic Load Balancing with Group Communication MIT-LCS-TM-588 Dolev, Shlomi Theory of Computation 10-19-1999 Complexity Results for Single Machine Distance Constrained Scheduling Problems MIT-LCS-TM-587 Engels, Daniel W. Clinical Decision Making 11-1-1998 Extracting all the Randomness from a Weakly Random Source MIT-LCS-TM-585 Vadhan, Salil Theory of Computation 8-1-1998 Local Rules Modeling of Nucleation-Limited Virus Capsid Assembly MIT-LCS-TM-584 Schwartz, Russell Theory of Computation 8-1-1998 Maps: a Compiler-Managed Memory System for RAW Machines MIT-LCS-TM-583 Barua, Rajeev Computer Architecture 7-1-1998 Indolent Closure Creation MIT-LCS-TM-580 Strumpen, Volker Scientific Computing 6-1-1998 A Concrete Construction Of Computationally-Sound Checkers MIT-LCS-TM-579 Halevi, S No Group Specified 5-1-1998 More on Proofs of Knowledge MIT-LCS-TM-578 Micali, S. Theory of Computation 5-1-1998 Computationally Sound Proofs MIT-LCS-TM-577 Micali, Silvio Theory of Computation 5-1-1998 Proving Correctness of a Controller Algorithm for the RAID Level 5 System MIT-LCS-TM-576 Vaziri, Mandana Theory of Computation 5-1-1998 Signing with Partially Adversarial Hashing MIT-LCS-TM-575 Micali, Silvio Theory of Computation 2-1-1998 On the Inapproximability of the Shortest Vector in a Lattice Within Some Constant Factor MIT-LCS-TM-574 Micciancio, Danielle No Group Specified 1-1-1998 Space Time Scheduling of Instruction-Level Parallelism on a Raw Machine MIT-LCS-TM-572 Lee, Walter No Group Specified 12-3-1997 Specifying and Using a Partitionable Group Communication Service MIT-LCS-TM-570 Fekete, Alan Theory of Computation 8-1-1997 Lazy Reference Counting for Transactional Storage Systems MIT-LCS-TM-567 Castro, Miguel No Group Specified 10-1-1997 The Sensitivity of Communication Mechanisms to Bandwidth and Latency MIT-LCS-TM-562 Barua, Rajeev No Group Specified 12-1-1996 Matching and Pose Refinement with Camera Pose Estimates MIT-LCS-TM-561 Coorg, Satyan No Group Specified 1-12-1996 Light Traps MIT-LCS-TM-560 Dawson, R.J. Macg. No Group Specified 10-1-1996 Protein Folding in the Generalized Hydrophobic-Polar Model on the Triangular Lattice MIT-LCS-TM-559 Decatur, Scott E. No Group Specified 5-1-1996 A Survey of Active Network Research MIT-LCS-TM-557 Tennenhouse, D. Software Devices and Systems 9-1-1996 UDM: User Direct Messaging for General-Purpose Multiprocessing MIT-LCS-TM-556 Machknzie, K. Computer Architecture 3-1-1996 Verification of the Randomized Consensus Algorithm of Aspnes and Herlihy: a Case Study MIT-LCS-TM-555 Pogosyants, A. Theory of Computation 6-1-1997 An Oblivious Data Structure and its Applications to Cryptography MIT-LCS-TM-554 Micciancio, Daniele Theory of Computation 6-1-1996 Parameterized Types and Java MIT-LCS-TM-553 Bank, Joseph A. Programming Methodology 5-1-1996 Conservative Radiance Interpolants for Ray Tracing MIT-LCS-TM-549 Teller, Seth Computer Graphics 4-1-1996 Cilk: An Efficient Multithreaded Runtime System MIT-LCS-TM-548 Blumofe, R. D. Scientific Computing 1-1-1996 A Brief Overview of the GSM Radio Interface MIT-LCS-TM-547 Turletti, T. Software Devices and Systems 3-1-1996 A Spacially and Temporally Coherent Object Space Visibility Algorithm MIT-LCS-TM-546 Coorg, Satyan Semantics 2-1-1996 Modelling and Verification of Automated Transit systems, using Timed Automata, Invariants and Simulations MIT-LCS-TM-545 Lynch, Nancy Theory of Computation 12-1-1995 Hybrid I/O Automata MIT-LCS-TM-544 Lynch, Nancy Theory of Computation 12-1-1995 Efficient Certificate Revocation System MIT-LCS-TM-542 Micali, Silvio Theory of Computation 3-22-1996 Symmetric Alternation Captures BPP MIT-LCS-TM-541 Russell, Alexander Theory of Computation 11-1-1995 Temporally Coherent Conservative Visibility MIT-LCS-TM-540 Coorg, Satvan Semantics 11-1-1995 Guaranteed Partial Key-Escrow MIT-LCS-TM-537 Micali, Silvio Theory of Computation 8-1-1995 On the Redundancy Achieved by Huffman Codes MIT-LCS-TM-536 De Prisco, Roberto Theory of Computation 9-1-1995 The Power of Team Exploration: Two Robots Can Learn Unlabeled Directed Graphs MIT-LCS-TM-535 Bender, Michael A. Theory of Computation 9-1-1995 What are Principal Typings and What are They Good For? MIT-LCS-TM-532 Jim, Trevor Theory of Computation 8-1-1995 Rank 2 Type Systems and Recursive Definitions MIT-LCS-TM-531 Jim, Trevor Theory of Computation 8-1-1995 Charge-Based Proportional Scheduling MIT-LCS-TM-529 Maheshwari, Umesh Programming Methodology 5-1-1996 Stride Scheduling: Deterministic Proportional- Share Resource Management MIT-LCS-TM-528 Waldspurger, Carl A. No Group Specified 6-1-1995 Local Rule Switching Mechanism for Viral Shell Geometry MIT-LCS-TM-527 Berger, Bonnie Theory of Computation 6-1-1995 'C: A Language for High-Level, Efficient, and Machine-independant Dynamic Code Generation MIT-LCS-TM-526 Engler, Dawson R. No Group Specified 1-1-2000 Algorithms for Modeling and Measuring Proteins MIT-LCS-TM-525 Slonim, D. K. Theory of Computation 6-1-1995 A Case Study of Shared Memory and Message Passing: The Triangle Puzzle MIT-LCS-TM-524 Lew, A. K. Parallel and Distributed Operating Systems 1-1-1995 Virtual Infrastructure:Putting Information Infrastructure on the Technology Curve MIT-LCS-TM-523 Tennenhouse, D. Software Devices and Systems 3-1-1995 Communication-Minimal Partitioning of Parallel Loops and Data Arrays for Cache-Coherent Distributed-Memory Multiprocessor MIT-LCS-TM-522 Barua, Rajeev Computer Architecture 1-1-1995 Communication-minimal partitioning of parallel loops and data arrays for cache-coherent distributed-memory multiprocessor MIT-LCS-TM-521 Baura, Rajeev Computer Architecture 12-1-1994 Symmetric Alteration Captures BPP MIT-LCS-TM-520 Russell, Alexander Theory of Computation 11-14-1995 On the Mathematics of Virus Shell Assembly MIT-LCS-TM-519 Berger, Bonnie Theory of Computation 7-15-1994 Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications MIT-LCS-TM-518 Feteke, Alan Parallel and Distributed Operating Systems 6-1-1995 CRL: High Performance All-Software Distributed Shared Memory MIT-LCS-TM-517 Johnson, Kirk L. Computer Architecture 3-1-1995 Piecemeal Graph Exploration by a Mobile Robot MIT-LCS-TM-516 Awerbuch, Baruch Theory of Computation 1-1-1995 Using Non-interactive Proofs to Achieve Independence Efficiently and Securely MIT-LCS-TM-515 Gennaro, Rosario Theory of Computation 11-4-1994 The Use of the Domain Name System for Dynamic References in an Online Library MIT-LCS-TM-513 Alavi, Ali No Group Specified 5-16-1994 How Can We Compute with Arrays of Nanostructures? MIT-LCS-TM-512 Biafore, Michael No Group Specified 8-3-1994 The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems MIT-LCS-TM-511 Heitmeyer, Constance Theory of Computation 11-1-1994 CS Proofs MIT-LCS-TM-510 Micali, Silvio Theory of Computation 6-1-1994 An Efficient Implementation of a Hierarchical Weighted Fair Queue Packet Scheduler MIT-LCS-TM-509 Ndiaye, Oumar Advanced Network Architecture 5-1-1994 Application of Minimal Perfect Hashing in Main Memory Indexing MIT-LCS-TM-508 Ho, Yuk No Group Specified 5-1-1994 Hybrid Caching for Scalable Object Systems (Think Globally, Act Locally) MIT-LCS-TM-507 O'Toole, James Programming Methodology 4-1-1994 Opportunistic Log: Efficient Installation Reads in a Reliable Object Server MIT-LCS-TM-506 O'Toole, James Programming Methodology 4-1-1994 Coordinated Resource management in a Replicated Object Server MIT-LCS-TM-505 Ghemawat, Sanjay Programming Methodology 2-1-1994 Optimal Clock Synchronization under Different Delay Assumptions MIT-LCS-TM-504 Attiya, Hagit Theory of Computation 4-1-1994 FUGU: Implementing Translation and Protection in a Multiuser, Multimodal Multiprocessor MIT-LCS-TM-503 Mackenzie, Kenneth Computer Architecture 10-24-1994 Verifiable Secret Sharing as Secure Computation MIT-LCS-TM-502 Gennaro, Rosario Theory of Computation 3-1-1994 A Secure and Efficient Digital Signature Algorithm MIT-LCS-TM-501 Micali, Silvio Theory of Computation 4-1-1994 PAC-Learning PROLOG clauses with or without errors MIT-LCS-TM-500 Gennaro, Rosario Theory of Computation 2-1-1994 A COMPARISON OF SIMULATION TECHNIQUES AND ALGEBRAIC TECHNIQUES FOR VERIFYING CONCURRENT SYSTEMS MIT-LCS-TM-499 Lynch, Nancy Theory of Computation 11-1-1993 ANATOMY OF A MESSAGE IN THE ALEWIFE MULTIPROCESSOR MIT-LCS-TM-498 Kubiatowicz, J. No Group Specified 2-1-1993 ANALYZING MULTIPROCESSOR CACHE BEHAVIOR THROUGH DATA REFERENCE MODELING MIT-LCS-TM-497 Tsai, Jory No Group Specified 2-1-1993 Simulation Techniques for Proving Properties of Real-time Systems MIT-LCS-TM-494 Lynch, Nancy No Group Specified 11-1-1993 SOFTWARE-EXTENDED COHERENT SHARED MEMORY: PERFORMANCE AND COST MIT-LCS-TM-493 Chaiken, D No Group Specified 10-1-1993 THE RELATIVIZED RELATIONSHIP BETWEEN PROBABILISTICALLY CHECKABLE DEBATE SYSTEMS, IP, AND PSPACE MIT-LCS-TM-492 Russell, A. No Group Specified 9-1-1993 VIRTUAL WIRES: OVERCOMING PIN LIMITATIONS IN FPGA-BASED LOGIC EMULATORS MIT-LCS-TM-491 Babb, J. No Group Specified 11-1-1992 COMPILE-TIME LOOP SPLITTING FOR DISTRIBUTING MEMORY MULTIPROCESSORS MIT-LCS-TM-490 Tanguay Jr., D. No Group Specified 5-1-1993 COLUMN-ASSOCIATIVE CACHES: A TECHNIQUE FOR REDUCING THE MISS RATE OF DIRECT-MAPPED CACHES MIT-LCS-TM-489 Agarwal, A. No Group Specified 7-1-1992 MODELING MULTIPROGRAMMED CACHES MIT-LCS-TM-488 Agarwal, A. No Group Specified 10-1-1992 FORWARD AND BACKWARD SIMULATIONS PART II: TIMING-BASED SYSTEMS MIT-LCS-TM-487c Lynch, N Theory of Computation 3-1-1993 FORWARD AND BACKWARD SIMULATIONS PART I: UNTIMED SYSTEMS MIT-LCS-TM-486b Lynch, N. Theory of Computation 3-1-1993 COLUMN-ASSOCIATIVE CACHES: A TECHNIQUE FOR REDUCING THE MISS RATE OF DIRECT- MAPPED CACHES MIT-LCS-TM-484 Agarwal, A. Computer Architecture 11-1-1992 Failsafe Key Escrow Systems (Extended Abstract) MIT-LCS-TM-483 Leighton, Tom Mathematics and Computation 8-1-1994 AUTOMATIC PARTITIONING OF PARALLEL LOOPS FOR CACHE-COHERENT MULTIPROCESSORS MIT-LCS-TM-481 Agarwal, A. No Group Specified 12-1-1992 ACTION TRANSDUCERS AND TIMED AUTOMATA MIT-LCS-TM-480b Lynch, N. Parallel and Distributed Operating Systems 11-1-1992 EXPERIENCE WITH FINE-GRAIN SYNCHRONIZATION IN MIMD MACHINES FOR PRECONDITIONED CONJUGATE GRADIENT MIT-LCS-TM-479 Yeung, D. No Group Specified 10-1-1992 INTEGRATING MESSAGE-PASSING AND SHARED-MEMORY: EARLY EXPERIENCE MIT-LCS-TM-478 Kranz, D. No Group Specified 10-1-1992 HYBRID ATOMICITY FOR NESTED TRANSACTIONS MIT-LCS-TM-476 Fekete, A. No Group Specified 10-1-1992 MORE CHOICES ALLOW MORE FAULTS: SET CONSENSUS PROBLEMS IN TOTALLY ASYNCHRONOUS SYSTEMS MIT-LCS-TM-475 Chaudhuri, S. No Group Specified 9-1-1992 DRIBBLE-BACK REGISTERS: A TECHNIQUE FOR LATENCY TOLERANCE IN MULTIPROCESSORS MIT-LCS-TM-474 Soundararajan, V. No Group Specified 6-1-1992 THE INTEGRATION OF THE ORGANIZATION ENGINE AND LIBRARY 2000 MIT-LCS-TM-473 Weiss, R. No Group Specified 5-1-1992 APPROXIMATING THE MINIMUM-COST MAXIMUM FLOW IS P - COMPLETE MIT-LCS-TM-472 Stein, C. No Group Specified 6-1-1992 CLOSING THE WINDOW OF VULNERABILITY IN MULTIPHASE MEMORY TRANSACTIONS MIT-LCS-TM-471 Kubiatowicz, J. No Group Specified 6-1-1992 LOW-COST SUPPORT FOR FINE-GRAIN SYNCHRONIZATION IN MULTIPROCESSORS MIT-LCS-TM-470 Kranz, D. No Group Specified 6-1-1992 COMPILE-TIME TECHNIQUES FOR PROCESSOR ALLOCATION IN MACRO DATAFLOW GRAPHS FOR MULTIPROCESSORS MIT-LCS-TM-469 Prasanna, G. N. S. No Group Specified 6-1-1992 MEMORY ASSIGNMENT FOR MULTIPROCESSOR CACHES THROUGH GRAPH COLORING MIT-LCS-TM-465 Agarwal, A. No Group Specified 2-1-1992 HIERARCHICAL COMPILATION OF MACRO DATAFLOW GRAPHS FOR MULTIPROCESSORS WITH LOCAL MEMORY MIT-LCS-TM-464 Prasanna, G. N. S. No Group Specified 2-1-1992 THE IMPACT OF COMMUNICATION LOCALITY ON LARGE-SCALE MULTIPROCESSOR PERFORMANCE MIT-LCS-TM-463 Johnson, K. No Group Specified 2-1-1992 AN ANALYSIS OF RABIN'S RANDOMIZED MUTUAL EXCLUSION ALGORITHM: PRELIMINARY REPORT MIT-LCS-TM-462 Lynch, N. No Group Specified 12-1-1991 FAST DETERMINISTIC CONSTRUCTIONS OF LOW-DIAMETER NETWORK DECOMPOSITIONS MIT-LCS-TM-460 Berger, B. No Group Specified 12-1-1991 LINEARIZABLE COUNTING NETWORKS MIT-LCS-TM-459 Herlihy, M. No Group Specified 11-1-1991 FORWARD AND BACKWARD SIMULATIONS FOR TIMING-BASED SYSTEMS MIT-LCS-TM-458 Lynch, N. No Group Specified 11-1-1991 AN ALGORITHM FOR THE TRAMP STEAMER PROBLEM BASED ON MEAN-WEIGHT CYCLES MIT-LCS-TM-457 Ishii, A. T. No Group Specified 11-1-1991 REPLICATION IN THE HARP FILE SYSTEM MIT-LCS-TM-456 Liskov, Barbara Programming Methodology 8-1-1991 A FAST MULTIPORT MEMORY BASED ON SINGLE-PORT MEMORY CELLS MIT-LCS-TM-455 Rivest, R. No Group Specified 7-1-1991 THE MIT ALEWIFE MACHINE: A LARGE-SCALE DISTRIBUTED-MEMORY MULTIPROCESSOR MIT-LCS-TM-454 Agarwal, A. No Group Specified 6-1-1991 COST-SENSITIVE ANALYSIS OF COMMUNICATION PROTOCOLS MIT-LCS-TM-453 Awerbuch, B. No Group Specified 6-1-1991 THE COMPLEXITY OF CONTINUOUS OPTIMIZATION MIT-LCS-TM-452 Rogaway, P. No Group Specified 6-1-1991 COUNTING NETWORKS MIT-LCS-TM-451 Aspnes, J. No Group Specified 6-1-1991 APRIL: A PROCESSOR ARCHITECTURE FOR MULTIPROCESSING MIT-LCS-TM-450 Agarwal, A. No Group Specified 6-1-1991 LAZY TASK CREATION: A TECHNIQUE FOR INCREASING THE GRANULARITY OF PARALLEL PROGRAMS MIT-LCS-TM-449 Mohr, E. No Group Specified 6-1-1991 LIMITLESS DIRECTORIES: A SCALABLE CACHE COHERENCE SCHEME MIT-LCS-TM-448 Chaiken, D. No Group Specified 6-1-1991 RELIABLE COMMUNICATION OVER UNRELIABLE CHANNELS MIT-LCS-TM-447 Afek, Y. No Group Specified 9-1-1992 MULTIPROCESSOR ADDRESS TRACING AND PERFORMANCE ANALYSIS MIT-LCS-TM-446 Agarwal, A. No Group Specified 4-1-1991 AN AUTOIMMUNE MECHANISM FOR AIDS' T4 LYMPHOPENIA MIT-LCS-TM-445 Micali, S. No Group Specified 4-1-1991 THE COMPLEXITY OF DECISION VERSUS SEARCH MIT-LCS-TM-444 Bellare, M. No Group Specified 4-1-1991 AN AUTOIMMUNE MECHANISM FOR AIDS' T4 LYMPHOPENIA MIT-LCS-TM-443 Micali, S. No Group Specified 3-1-1991 ARE WAIT-FREE ALGORITHMS FAST? MIT-LCS-TM-442 Attiya, H. No Group Specified 3-1-1991 ON-LINE ALGORITHMS FOR 2-COLORING HYPERGRAPHS VIA CHIP GAMES MIT-LCS-TM-439 Aslam, J. A. No Group Specified 12-1-1990 ON THE MASSIVELY PARALLEL SOLUTION OF THE ASSIGNMENT PROBLEM MIT-LCS-TM-438 Wein, J. No Group Specified 12-1-1990 ON-LINE SCHEDULING OF PARALLEL MACHINES MIT-LCS-TM-437 Wein, J. No Group Specified 11-1-1990 BOUNDS ON THE TIME TO REACH AGREEMENT IN THE PRESENCE OF TIMING UNCERTAINTY MIT-LCS-TM-435 Attiya, H. No Group Specified 11-1-1990 THE MD4 MESSAGE DIGEST ALGORITHM MIT-LCS-TM-434 Rivest, R. L. No Group Specified 10-1-1990 RANDOMNESS-EFFICIENT SAMPLING OF ARBITRARY FUNCTIONS MIT-LCS-TM-433 Bellare, M. No Group Specified 7-1-1990 HOW TO SIGN GIVEN ANY TRAPDOOR PERMUTATION MIT-LCS-TM-432 Bellare, M. No Group Specified 6-1-1990 THE EMERGING THEORY OF AVERAGE-CASE COMPLEXITY MIT-LCS-TM-431 Schapire, R. E. No Group Specified 6-1-1990 NON-INTERACTIVE ZERO KNOWLEDGE MIT-LCS-TM-430 Blum, M. No Group Specified 5-1-1990 ATOMIC SNAPSHOTS OF SHARED MEMORY MIT-LCS-TM-429 Afek, Y. No Group Specified 5-1-1990 THE NEED FOR HEADERS: AN IMPOSSIBILITY RESULT FOR COMMUNICATION OVER UNRELIABLE CHANNELS MIT-LCS-TM-428 Fekete, A. No Group Specified 3-1-1990 MODELLING SHARED STATE IN A SHARED ACTION MODEL MIT-LCS-TM-427 Goldman, K. No Group Specified 3-1-1990 NON-OBTRUSIVE SYNCHRONIZERS MIT-LCS-TM-426 Awerbuch, B. No Group Specified 4-1-1990 AN OPTIMAL ALGORITHM FOR SYNCHRONOUS BYZANTINE AGREEMENT (replaces 425) MIT-LCS-TM-425 Feldman, P. Theory of Computation 12-1-1992 WORKSTATION SERVICES AND KERBEROS AUTHENTICATION AT PROJECT ATHENA MIT-LCS-TM-424 Davis, R. No Group Specified 3-17-1989 SHARING MEMORY ROBUSTLY IN MESSAGE-PASSING SYSTEMS MIT-LCS-TM-423 Attiya, H. No Group Specified 2-1-1990 MULTIVALUED POSSIBILITIES MAPPINGS MIT-LCS-TM-422 Lynch, N. No Group Specified 8-1-1990 A SERIALIZATION GRAPH CONSTRUCTION FOR NESTED TRANSACTIONS MIT-LCS-TM-421 Fekete, A. No Group Specified 2-1-1990 NOTES ON COMMUNITY INFORMATION SYSTEMS MIT-LCS-TM-419 Gifford, D. K. No Group Specified 12-1-1989 STOCHASTIC AN ANALYSIS OF QUALITATIVE DYNAMICS MIT-LCS-TM-418 Doyle, J. No Group Specified 12-1-1989 SYNTHESIS OF EFFICIENT DRINKING PHILOSOPHERS ALGORITHMS (Replaces 417) MIT-LCS-TM-417 Welch, J. L. No Group Specified 9-1-1992 IMPEDIMENTS TO UNIVERSAL PREFERENCE-BASED DEFAULT THEORIES MIT-LCS-TM-416 Doyle, J. No Group Specified 10-1-1989 THE STRENGTH OF WEAK LEARNABILITY MIT-LCS-TM-415 Schapire, R. E. No Group Specified 10-1-1989 LEARNING BINARY RELATIONS AND TOTAL ORDERS MIT-LCS-TM-413 Goldman, S. No Group Specified 5-1-1990 USING MAPPINGS TO PROVE TIMING PROPERTIES MIT-LCS-TM-412 Lynch, N. No Group Specified 12-1-1989 ROUTING WITH POLYNOMIAL COMMUNICATION-SPACE TRADEOFF MIT-LCS-TM-411 Awerbuch, B. No Group Specified 9-1-1989 ONLINE TRACKING OF MOBILE USERS MIT-LCS-TM-410 Awerbuch, B. No Group Specified 8-1-1989 NUCLEAR FUSION THROUGH DIMENSIONAL CONFINEMENT MIT-LCS-TM-409 Smith, M. A. No Group Specified 8-1-1989 PRIORITY ARBITRATION WITH BUSSES MIT-LCS-TM-408 Kipnis, S. No Group Specified 10-1-1989 ON THE CORRECTNESS OF ORPHAN MANAGEMENT ALGORITHMS MIT-LCS-TM-406 Herlihy, M. No Group Specified 8-1-1989 THE COMPLEXITY OF FINITE FUNCTIONS MIT-LCS-TM-405 Boppana, R. B. No Group Specified 8-1-1989 THEORY OF COMPUTATION GROUP RESEARCH SUMMARY JUNE 1988 - JULY 1989 MIT-LCS-TM-404 TOC, Group Theory of Computation 7-1-1989 TIME BOUNDS FOR REAL-TIME PROCESS CONTROL IN THE PRESENCE OF TIMING UNCERTAINTY MIT-LCS-TM-403 Attiya, H. No Group Specified 7-1-1989 VLSI THEORY AND PARALLEL SUPERCOMPUTING MIT-LCS-TM-402 Leiserson, C. E. No Group Specified 5-1-1989 HIGHLY CONCURRENT LOGICALLY SYNCHRONOUS MULTICAST MIT-LCS-TM-401 Goldman, K. J. No Group Specified 7-1-1989 AN AUTOMATA-THEORETIC MODEL FOR UNITY MIT-LCS-TM-400 Nour, M. F. No Group Specified 6-1-1989 CORRECTNESS PROOFS OF THE PETERSON-FISCHER MUTUAL EXCLUSION ALGORITHM. MIT-LCS-TM-399 Colby, C. P. No Group Specified 6-1-1989 PARALATION VIEWS: ABSTRACTIONS FOR EFFICIENT SCIENTIFIC COMPUTING ON THE CONNECTION MACHINE MIT-LCS-TM-398 Goldman, K. J. No Group Specified 6-1-1989 TEMPORAL, PROCESSOR, AND SPATIAL LOCALITY IN MULTIPROCESSOR MEMORY REFERENCES MIT-LCS-TM-397 Agarwal, A. No Group Specified 6-1-1989 ADAPTIVE BACKOFF SYNCHRONIZATION TECHNIQUES MIT-LCS-TM-396 Agarwal, A. No Group Specified 6-1-1989 EVALUATING THE PERFORMANCE OF SOFTWARE CACHE COHERENCE MIT-LCS-TM-395 Owicki, S. No Group Specified 6-1-1989 A HUNDRED IMPOSSIBILITY PROOFS FOR DISTRIBUTED COMPUTING MIT-LCS-TM-394 Lynch, N. No Group Specified 8-1-1989 BOUNDED CONCURRENT TIME-STAMP SYSTEMS ARE CONSTRUCTIBLE MIT-LCS-TM-393 Attiya, H. No Group Specified 6-1-1989 BOUNDED POLYNOMIAL RANDOMIZED CONSENSUS MIT-LCS-TM-392 Awerbuch, B. No Group Specified 6-1-1989 POLYNOMIAL END-TO-END COMMUNICATION MIT-LCS-TM-391 O'Toole, No Group Specified 5-1-1989 TYPE ABSTRACTION RULES FOR REFERENCES: A COMPARISON OF FOUR WHICH HAVE ACHIEVED NOTORIETY MIT-LCS-TM-390 Afek, Y. No Group Specified 8-1-1989 A COMPLEXITY PRESERVING RESET PROCEDURE MIT-LCS-TM-389 Kipnis, S. No Group Specified 5-1-1989 THREE METHODS FOR RANGE QUERIES IN COMPUTATIONAL GEOMETRY MIT-LCS-TM-388 Doyle, J. No Group Specified 3-1-1989 TWO DOGMAS OF KNOWLEDGE REPRESENTATION MIT-LCS-TM-387 Jouvelot, P. No Group Specified 9-1-1989 COMMUNICATION EFFECTS FOR MESSAGE-BASED CONCURRENCY MIT-LCS-TM-386 Sloan, R. No Group Specified 2-1-1989 StarT-Voyager: Hardware Engineering Specifications (Version 4.0) MIT-LCS-TM-385 Ang, Boon S. No Group Specified 3-11-1999 CHAPTER ON DISTRIBUTED COMPUTING MIT-LCS-TM-384 Wang, P. No Group Specified 2-1-1989 A SPECIAL CASE OF SECOND-ORDER STRICTNESS ANALYSIS MIT-LCS-TM-383 Weihl, W.E. No Group Specified 2-1-1989 THE IMPACT OF RECOVERY ON CONCURRENCY CONTROL MIT-LCS-TM-382 Elias, P. No Group Specified 2-1-1989 ERROR-CORRECTING CODE FOR LIST DECODING MIT-LCS-TM-381 O'Toole, J.W. No Group Specified 2-1-1989 TYPE RECONSTRUCTION WITH FIRST-CLASS POLYMORPHIC VALUES MIT-LCS-TM-380 Kilian, J. No Group Specified 5-1-1989 THE ORGANIZATION OF PERMUTATION ARCHITECTURE WITH BUSSED INTERCONNECTIONS. MIT-LCS-TM-379 Jouvelot, P. No Group Specified 1-1-1989 REASONING ABOUT CONTINUATIONS WITH CONTROL EFFECTS MIT-LCS-TM-378 No Author Available No Group Specified 1-1-1989 Theory of Computation Group Research Summary June 1987-July 1988. MIT-LCS-TM-377 Awerbuch, B. No Group Specified 1-1-1989 IMPROVED ROUTING STRATEGIES WITH SUCCINCT TABLES MIT-LCS-TM-376 Awerbuch, B. No Group Specified 12-1-1988 ON THE EFFECTS OF FEEDBACK IN DYNAMIC NETWORK PROTOCOLS MIT-LCS-TM-375 Gringi, M. No Group Specified 12-1-1988 TIGHT BOUNDS ON MINIMUM BROADCAST NETWORKS MIT-LCS-TM-374 Lynch, N. A. No Group Specified 10-1-1988 AN INTRODUCTION TO INPUT/OUTPUT AUTOMATA MIT-LCS-TM-373 Leiserson, C. E. No Group Specified 11-1-1988 RETIMING SYNCHRONOUS CIRCUITRY MIT-LCS-TM-372 Gifford, D. K. No Group Specified 10-1-1988 NATURAL RANDOM NUMBERS MIT-LCS-TM-371 Fekete, A. No Group Specified 9-1-1988 COMMUTATIVITY-BASED LOCKING FOR NESTED TRANSACTIONS MIT-LCS-TM-370 Awerbuch, B. No Group Specified 8-1-1988 MEMORY-BALANCED ROUTING STRATEGIES MIT-LCS-TM-369 Herlihy, M.P. No Group Specified 8-1-1988 HYBRID CONCURRENCY CONTROL FOR ABSTRACT DATA TYPES MIT-LCS-TM-368 Weihl, W.E. No Group Specified 8-1-1988 COMMUTATIVITY-BASED CONCURRENCY CONTROL FOR ABSTRACT DATA TYPES MIT-LCS-TM-367 Goldman, S.A. No Group Specified 8-1-1988 A SPACE EFFICIENT GREEDY TRIANGULATION ALGORITHM MIT-LCS-TM-366 Awerbuch, B. No Group Specified 7-1-1988 A TRADEOFF BETWEEN INFORMATION AND COMMUNICATION IN BROADCAST PROTOCOLS MIT-LCS-TM-365 Schaffer, R. No Group Specified 7-1-1988 ON THE CORRECTNESS OF ATOMIC MULTI-WRITER REGISTERS MIT-LCS-TM-364 Fogg, D.C. No Group Specified 6-1-1988 ASSISTING DESIGN GIVEN MULTIPLE PERFORMANCE CRITERIA MIT-LCS-TM-363 Lynch, N. No Group Specified 8-1-1988 THE THEORY OF ATOMIC TRANSACTIONS MIT-LCS-TM-362 Welch, J.L. No Group Specified 6-1-1988 A LATTICE-STRUCTURED PROOF TECHNIQUE APPLIED TO A MINIMUM SPANNING TREE ALGORITHM MIT-LCS-TM-361 Coan, B.A. No Group Specified 6-1-1988 TRANSACTION COMMIT IN A REALISTIC TIMING MODEL MIT-LCS-TM-360 Welch, J.L. No Group Specified 6-1-1988 SIMULATING SYNCHRONOUS PROCESSORS MIT-LCS-TM-359 Goldberg, A.V. No Group Specified 6-1-1988 COMBINATORIAL ALGORITHMS FOR THE GENERALIZED CIRCULATION PROBLEM MIT-LCS-TM-358 Goldberg, A.V. No Group Specified 5-1-1988 SUBLINEAR-TIME PARALLEL ALGORITHMS FOR MATCHING AND RELATED PROBLEMS MIT-LCS-TM-357 Goldberg, A. No Group Specified 7-1-1988 PARALLEL SYMMETRY-BREAKING IN SPARSE GRAPHS MIT-LCS-TM-356 Lynch, N. No Group Specified 5-1-1988 THE IMPOSSIBILITY OF IMPLEMENTING RELIABLE COMMUNICATION IN THE FACE OF CRASHES (Replaced by TM 355.D) MIT-LCS-TM-355 Awerbuch, B. No Group Specified 5-1-1988 IMPROVED ROUTING STRATEGIES WITH SUCCINCT TABLES MIT-LCS-TM-354 Meyer, A.R. No Group Specified 4-1-1988 SEMANTICAL PARADIGMS: NOTES FOR AN INVITED LECTURE MIT-LCS-TM-353 Feldmeier, D.C. No Group Specified 7-1-1988 ESTIMATING PERFORMANCE OF A GATEWAY ROUTING-TABLE CACHE MIT-LCS-TM-352 Lynch, N. No Group Specified 3-1-1988 I/O AUTOMATA: A MODEL FOR DISCRETE EVENT SYSTEMS MIT-LCS-TM-351 Awerbuch, B. No Group Specified 3-1-1988 LINEAR TIME ALGORITHM FOR MINIMUM NETWORK PARTITION MIT-LCS-TM-350 Lynch, N. A. No Group Specified 3-1-1988 A PROOF OF THE KAHN PRINCIPLE FOR INPUT/OUTPUT AUTOMATA MIT-LCS-TM-349 No Author Available No Group Specified 1-1-1988 USING NIKL IN A LARGE MEDICAL KNOWLEDGE BASE MIT-LCS-TM-348 Awerbuch, B. No Group Specified 12-1-1987 SPACE EFFICIENT DYNAMIC PROTOCOLS: PART II MIT-LCS-TM-347 Awerbuch, B. No Group Specified 12-1-1987 SPACE EFFICIENT DYNAMIC PROTOCOLS: PART I MIT-LCS-TM-346 Bloom, B. No Group Specified 12-1-1987 BISIMULATION CAN'T BE TRACED: PRELIMINARY REPORT MIT-LCS-TM-345 Meyer, A. No Group Specified 11-1-1987 TOWARDS FULLY ABSTRACT SEMANTICS FOR LOCAL VARIABLES: PRELIMINARY REPORT MIT-LCS-TM-344 Leiserson, C.E. No Group Specified 11-1-1987 A MIXED-INTEGER LINEAR PROGRAMMING PROBLEM WHICH IS EFFICIENTLY SOLVABLE MIT-LCS-TM-343 Fekete, A. No Group Specified 10-1-1987 APPROXIMATE AGREEMENT MIT-LCS-TM-342 Fekete, A. No Group Specified 9-1-1987 A MODULAR PROOF OF CORRECTNESS FOR A NETWORK SYNCHRONIZER MIT-LCS-TM-341 Fekete, A. No Group Specified 9-1-1987 NESTED TRANSACTIONS, CONFLICT-BASED LOCKING, AND DYNAMIC ATOMICITY MIT-LCS-TM-340 Quinlan, J.R. No Group Specified 9-1-1987 INFERRING DECISION TREES USING THE MINIMUM DESCRIPTION LENGTH PRINCIPLE MIT-LCS-TM-339 Fujita, T. No Group Specified 9-1-1987 MULTITHREADED PROCESSOR ARCHITECTURE FOR PARALLEL SYMBOLIC COMPUTATION MIT-LCS-TM-338 No Author Available No Group Specified 9-1-1987 THEORY OF COMPUTATION GROUP RESEARCH SUMMARY JUNE 1986-87 MIT-LCS-TM-337 Beame, P. No Group Specified 8-1-1987 LOWER BOUNDS FOR RECOGNIZING SMALL CLIQUES ON CROW PRAMS 52684108673?.,mnbgvf`19801 MIT-LCS-TM-336 Bruce, K.B. No Group Specified 8-1-1987 THE SEMANTICS OF MIRANDA'S ALGEBRAIC TYPES MIT-LCS-TM-335 Goldberg, A. V. No Group Specified 8-1-1987 FINDING MINIMUM-COST CIRCULATIONS BY CANCELING NEGATIVE CYCLES MIT-LCS-TM-334 Goldberg, A. V. No Group Specified 7-1-1987 FINDING MINIMUM-COST CIRCULATIONS BY SUCCESSIVE APPROXIMATION MIT-LCS-TM-333 Wellman, M.P. No Group Specified 7-1-1987 FORMULATION OF TRADEOFFS IN PLANNING UNDER UNCERTAINTY MIT-LCS-TM-332 Russ, T.A. No Group Specified 6-1-1987 TEMPORAL CONTROL STRUCTURE REFERENCE MANUAL MIT-LCS-TM-331 Arvind, No Group Specified 6-1-1987 TWO FUNDAMENTAL ISSUES IN MULTIPROCESSING (replaces TM-241) MIT-LCS-TM-330 Herlihy, M. No Group Specified 10-1-1987 ON THE CORRECTNESS OF ORPHAN ELIMINATION ALGORITHMS MIT-LCS-TM-329 Awerbuch, B. No Group Specified 5-1-1987 APPROXIMATING THE SIZE OF A DYNAMICALLY GROWING ASYNCHRONOUS DISTRIBUTED NETWORK MIT-LCS-TM-328 Awerbuch, B. No Group Specified 4-1-1987 ADAPTING COMMUNICATION PROTOCOLS TO DYNAMIC INPUT AND NETWORK TOPOLOGY: RESEARCH SUMMARY MIT-LCS-TM-327 Awerbuch, B. No Group Specified 5-1-1987 CONTROLLING WORST-CASE PERFORMANCE OF A COMMUNICATION PROTOCOL AND DYNAMIC RESOURCE MANAGEMENT MIT-LCS-TM-326 Awerbuch, B. No Group Specified 5-1-1987 ON THE MESSAGE COMPLEXITY OF BROADCAST: A BASIC LOWER BOUND (Extended Abstract) MIT-LCS-TM-325 Fekete, A. No Group Specified 5-1-1987 NESTED TRANSACTIONS AND READ/WRITE LOCKING MIT-LCS-TM-324 Leiserson, C.E. No Group Specified 4-1-1987 A SPACE-EFFICIENT ALGORITHM FOR FINDING THE CONNECTED COMPONENTS OF RECTANGLES IN THE PLANE MIT-LCS-TM-323 Cormen, T.H. No Group Specified 2-1-1987 EFFICIENT MULTICHIP PARTIAL CONCENTRATOR SWITCHES MIT-LCS-TM-322 Cormen, T.H. No Group Specified 2-1-1987 A HYPERCONCENTRATOR SWITCH FOR ROUTING BIT-SERIAL MESSAGES MIT-LCS-TM-321 Goldberg, A.V. No Group Specified 2-1-1987 EFFICIENT PARALLEL ALGORITHMS FOR (DELTA + 1)-COLORING AND MAXIMAL INDEPENDENT SET PROBLEMS MIT-LCS-TM-320 Leong, T-Y. No Group Specified 2-1-1987 MURMUR CLINIC: AN AUSCULTATION EXPERT SYSTEM MIT-LCS-TM-319 Leiserson, C.E. No Group Specified 1-1-1987 COMMUNICATION-EFFICIENT PARALLEL GRAPH ALGORITHMS MIT-LCS-TM-318 Bennett, C.H. No Group Specified 12-1-1986 CELLULAR AUTOMATA '86 CONFERENCE MIT-LCS-TM-317 Greif, I. No Group Specified 12-1-1986 DATA SHARING IN GROUP WORK MIT-LCS-TM-316 Goldreich, O. No Group Specified 10-1-1986 TWO REMARKS CONCERNING THE GOLDWASSER-MICALI-RIVEST SIGNATURE SCHEME MIT-LCS-TM-315 Vitanyi, P.M.B. No Group Specified 9-1-1986 ATOMIC CHAIRED REGISTER ACCESS BY ASYNCHRONOUS HARDWARE (DETAILED ABSTRACT) MIT-LCS-TM-314 No Author Available No Group Specified 10-1-1986 THEORY OF COMPUTATION RESEARCH GROUP SUMMARY, 1985-86 MIT-LCS-TM-313 Sacks, E. No Group Specified 8-1-1986 HIERARCHICAL INEQUALITY REASONING MIT-LCS-TM-312 Rivest, R.L. No Group Specified 2-1-1987 GAME TREE SEARCHING BY MIN/MAX APPROXIMATION MIT-LCS-TM-311 Szolovits, No Group Specified 9-1-1986 AN ARTIFICIAL INTELLIGENCE APPROACH TO CLINICAL DECISION MAKING MIT-LCS-TM-310 Leiserson, C.E. No Group Specified 9-1-1986 RETIMING SYNCHRONOUS CIRCUITRY MIT-LCS-TM-309 Meyer, A.R. No Group Specified 5-1-1986 FLOYD-HOARE LOGIC DEFINES SEMANTICS MIT-LCS-TM-308 Greenberg, R.I. No Group Specified 5-1-1986 RANDOMIZED ROUTING ON FAT-TREES MIT-LCS-TM-307 Vitanyi, P.M.B. No Group Specified 4-1-1986 NONSEQUENTIAL COMPUTATION AND LAWS OF NATURE MIT-LCS-TM-306 Sacks, E. No Group Specified 5-1-1986 REPRESENTING CHANGE MIT-LCS-TM-305 Kranakis, E. No Group Specified 5-1-1986 DISTRIBUTED CONTROL IN COMPUTER NETWORKS AND CROSS-SECTIONS OF COLORED MULTIDIMENSIONAL BODIES MIT-LCS-TM-304 Li, M. No Group Specified 4-1-1986 THE POWER OF THE QUEUE MIT-LCS-TM-303 Leighton, T. No Group Specified 4-1-1986 A SURVEY OF ALGORITHMS FOR INTEGRATING WAFER-SCALE SYSTOLIC ARRAYS MIT-LCS-TM-302 Elias, P. No Group Specified 5-1-1986 INTERVAL AND REGENCY-RANK SOURCE CODING: TWO ON-LINE ADAPTIVE VARIABLE-LENGTH SCHEMES MIT-LCS-TM-301 Dwork, C. No Group Specified 4-1-1986 KNOWLEDGE AND COMMON KNOWLEDGE IN A BYZANTINE ENVIRONMENT: CRASH FAILURES MIT-LCS-TM-300 Gifford, D.K. No Group Specified 7-1-1986 THE APPLICATION OF DIGITAL BROADCAST COMMUNICATION TO LARGE SCALE INFORMATION SYSTEMS MIT-LCS-TM-299 Leighton, T. No Group Specified 4-1-1986 TIGHT BOUNDS FOR MINIMAX GRID MATCHING, WITH APPLICATIONS TO THE AVERAGE CASE ANALYSIS OF ALGORITHMS MIT-LCS-TM-298 Bentley, J.L. No Group Specified 5-1-1986 A RANDOMIZED DATA STRUCTURE FOR ORDERED SETS MIT-LCS-TM-297 Margolus, N. No Group Specified 5-1-1986 CELLULAR AUTOMATA SUPERCOMPUTERS FOR FLUID DYNAMICS MODELING MIT-LCS-TM-296 Greif, I. No Group Specified 12-1-1985 ATOMIC DATA ABSTRACTIONS IN A DISTRIBUTED COLLABORATIVE EDITING SYSTEM (EXTENDED ABSTRACT) MIT-LCS-TM-295 Arvind, No Group Specified 11-1-1985 DATAFLOW ARCHITECTURES MIT-LCS-TM-294 Barrington, D.A. No Group Specified 2-1-1986 WIDTH-3 PERMUTATION BRANCHING PROGRAMS MIT-LCS-TM-293 Jain, R. No Group Specified 12-1-1985 PACKET TRAINS: MEASUREMENTS AND A NEW MODEL FOR COMPUTER NETWORK TRAFFIC MIT-LCS-TM-292 Goldberg, A.V. No Group Specified 11-1-1985 A NEW MAX-FLOW ALGORITHM MIT-LCS-TM-291 Fischer, M.J. No Group Specified 11-1-1985 DISTRIBUTED FIFO ALLOCATION OF IDENTICAL RESOURCES USING SMALL SHARED SPACE MIT-LCS-TM-290 Toffoli, T. No Group Specified 6-1-1985 THE CAM-7 MULTIPROCESSOR: A CELLULAR AUTOMATA MACHINE MIT-LCS-TM-289 Chung, J.C. No Group Specified 12-1-1985 DSCRIBE: A SCRIBE SERVER MIT-LCS-TM-288 Rivest, R.L. No Group Specified 5-1-1985 NETWORK CONTROL BY BAYESIAN BROADCAST MIT-LCS-TM-287 Hastad, J. No Group Specified 7-1-1985 IMPROVEMENTS OF YAO'S RESULTS ON PARITY CIRCUITS MIT-LCS-TM-286 Kilian, J.J. No Group Specified 9-1-1985 TWO UNDECIDABILITY RESULTS IN PROBABILISTIC AUTOMATA THEORY MIT-LCS-TM-285 Leiserson, C.E. No Group Specified 6-1-1985 A MIXED-INTEGER LINEAR PROGRAMMING PROBLEM WHICH IS EFFICIENTLY SOLVABLE MIT-LCS-TM-284 Chor, B. No Group Specified 7-1-1985 UNBIASED BITS FROM SOURCES OF WEAK RANDOMNESS AND PROBABILISTIC COMMUNICATION COMPLEXITY MIT-LCS-TM-283 Sarin, S. No Group Specified 9-1-1986 COMPUTER BASED REAL-TIME CONFERENCES MIT-LCS-TM-282 Hailperin, M. No Group Specified 7-1-1985 WHAT PRICE FOR ELIMINATING EXPRESSION SIDE-EFFECTS? MIT-LCS-TM-281 Kuipers, B. No Group Specified 6-1-1985 QUALITATIVE SIMULATION IN MEDICAL PHYSIOLOGY: A PROGRESS REPORT MIT-LCS-TM-280 Fischer, M.J. No Group Specified 6-1-1985 EASY IMPOSSIBILITY PROOFS FOR DISTRIBUTED CONSENSUS PROBLEMS MIT-LCS-TM-279 Fisher, M.J. No Group Specified 6-1-1985 PROBABILISTIC ANALYSIS OF A NETWORK RESOURCE ALLOCATION ALGORITHM MIT-LCS-TM-278 Fredrerickson, G. N. No Group Specified 6-1-1985 A GENERAL LOWER BOUND FOR ELECTING A LEADER IN A RING MIT-LCS-TM-277 Dolev, D. No Group Specified 3-1-1985 REACHING APPROXIMATE AGREEMENT IN THE PRESENCE OF FAULTS MIT-LCS-TM-276 Burns, J.E. No Group Specified 5-1-1985 THE BYZANTINE FIRING SQUAD PROBLEM MIT-LCS-TM-275 Kuipers, B. No Group Specified 4-1-1985 QUALITATIVE SIMULATION OF MECHANISMS MIT-LCS-TM-274 Berman, F. No Group Specified 4-1-1985 GENERALIZED PLANAR MATCHING MIT-LCS-TM-273 Leighton, T. No Group Specified 4-1-1985 TIGHT BOUNDS ON THE COMPLEXITY OF PARALLEL SORTING MIT-LCS-TM-272 Dershowits, N. No Group Specified 4-1-1985 PATTERNS IN TREES MIT-LCS-TM-271 Dwork, C. No Group Specified 1-1-1985 CONSENSUS IN THE PRESENCE OF PARTIAL SYNCHRONY (Preliminary Version) MIT-LCS-TM-270 Fischer, M. No Group Specified 7-1-1984 THE COLORED TICKET ALGORITHM MIT-LCS-TM-269 Awerbuch, B. No Group Specified 8-1-1983 COMPLEXITY OF NETWORK SYNCHRONIZATION MIT-LCS-TM-268 Schooler, R. No Group Specified 1-1-1985 PROPOSAL FOR A SMALL SCHEME IMPLEMENTATION MIT-LCS-TM-267 Chor, B. No Group Specified 10-1-1984 A SIMPLE AND EFFICIENT RANDOMIZED BYZANTINE AGREEMENT ALGORITHM MIT-LCS-TM-266 Lundelius, J. No Group Specified 8-1-1984 A NEW FAULT-TOLERANT ALGORITHM FOR CLOCK SYNCHRONIZATION MIT-LCS-TM-265 Sarin, S.K. No Group Specified 7-1-1984 SOFTWARE FOR INTERACTIVE ON-LINE CONFERENCES MIT-LCS-TM-264 Sirbu, M.S. No Group Specified 7-1-1984 NAMING AND DIRECTORY ISSUES IN MESSAGE TRANSFER SYSTEMS MIT-LCS-TM-263 Leighton, T. No Group Specified 7-1-1984 THREE-DIMENSIONAL CIRCUIT LAYOUTS MIT-LCS-TM-262 Zaks, S. No Group Specified 6-1-1984 OPTIMAL DISTRIBUTED ALGORITHMS FOR SORTING AND RANKING MIT-LCS-TM-261 Chor, B. No Group Specified 5-1-1984 RSA/RABIN LEAST SIGNIFICANT BITS ARE 1/2 +1/poly(logN)SECURE MIT-LCS-TM-260 Lynch, N.A. No Group Specified 5-1-1984 THE IMPACT OF SYNCHRONOUS COMMUNICATION ON THE PROBLEM OF SELECTING A LEADER IN A RING MIT-LCS-TM-259 Halpern, J.Y. No Group Specified 4-1-1984 THE SEMANTICS OF LOCAL STORAGE, OR WHAT MAKES THE FREE LIST FREE? MIT-LCS-TM-258 Dwork, C. No Group Specified 4-1-1984 ON THE SEQUENTIAL NATURE OF UNIFICATION MIT-LCS-TM-257 Goldreich, O. No Group Specified 3-1-1984 ON THE NUMBER OF CLOSE-AND-EQUAL PAIRS OF BITS IN A STRING (WITH IMPLICATIONS ON THE SECURITY OF RSA'S L.S.B.) MIT-LCS-TM-256 Bhatt, S. No Group Specified 3-1-1984 HOW TO ASSEMBLE TREE MACHINES MIT-LCS-TM-255 Feldmeier, D.C. No Group Specified 3-1-1984 EMPIRICAL ANALYSIS OF A TOKEN RING NETWORK MIT-LCS-TM-254 Chor, B. No Group Specified 1-1-1984 AN APPLICATION OF NUMBER THEORY TO THE ORGANIZATION OF RASTER GRAPHICS MEMORY MIT-LCS-TM-253 Zachos, S. No Group Specified 4-1-1984 ON BPP MIT-LCS-TM-252 Dolev, D. No Group Specified 12-1-1983 REACHING APPROXIMATE AGREEMENT IN THE PRESENCE OF FAULTS MIT-LCS-TM-251 Goldreich, O. No Group Specified 12-1-1983 ON CONCURRENT IDENTIFICATION PROTOCOLS MIT-LCS-TM-250 Leighton, F.T. No Group Specified 12-1-1983 THE MARKOV CHAIN TREE THEOREM MIT-LCS-TM-249 Leighton, F.T. No Group Specified 12-1-1983 ESTIMATING A PROBABILITY USING FINITE MEMORY MIT-LCS-TM-248 Leighton, F.T. No Group Specified 11-1-1983 PROBABILISTIC SEARCHING IN SORTED LINKED LISTS MIT-LCS-TM-247 Trakhtenbrot, B.A. No Group Specified 11-1-1983 From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview MIT-LCS-TM-246 Meyer, A.R. No Group Specified 10-1-1983 Understanding ALGOL: The View of the Recent Convert to Denotational Semantics MIT-LCS-TM-245 Goldreich, O. No Group Specified 10-1-1983 HOW TO CONSTRUCT RANDOM FUNCTIONS MIT-LCS-TM-244 Pingali, No Group Specified 11-1-1983 EFFICIENT DEMAND-DRIVEN EVALUATION (II) MIT-LCS-TM-243 Pingali, K. No Group Specified 9-1-1983 EFFICIENT DEMAND-DRIVEN EVALUATION MIT-LCS-TM-242 Arvind, No Group Specified 9-1-1983 TWO FUNDAMENTAL ISSUES IN MULTIPROCESSING: THE DATAFLOW SOLUTION (Replaced by TM 330) MIT-LCS-TM-241 Bromley, H. No Group Specified 1-1-1983 A PROGRAM FOR THERAPY OF ACID-BASE AND ELECTROLYTE DISORDERS MIT-LCS-TM-240 Sutherland, J.B. No Group Specified 6-1-1983 EVALUATION OF AN OFFICE ANALYSIS METHODOLOGY MIT-LCS-TM-239 Baker, B.S. No Group Specified 3-1-1983 AN APPROXIMATION ALGORITHM FOR MANHATTAN ROUTING MIT-LCS-TM-238 Dolev, D. No Group Specified 2-1-1983 PLANAR EMBEDDING OF PLANAR GRAPHS MIT-LCS-TM-237 Leighton, F.T. No Group Specified 2-1-1983 WAFER-SCALE INTEGRATION OF SYSTOLIC ARRAYS MIT-LCS-TM-236 Mitchell, J.C. No Group Specified 2-1-1983 THE IMPLEMENTATION OF PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES MIT-LCS-TM-235 Rivest, R. No Group Specified 2-1-1983 RANDOMIZED ENCRYPTION TECHNIQUES MIT-LCS-TM-234 Konopelski, L.J. No Group Specified 1-1-1983 IMPLEMENTING INTERNET REMOTE LOGIN ON A PERSONAL COMPUTER MIT-LCS-TM-233 Yeh, A. No Group Specified 12-1-1982 PLY: A SYSTEM OF PLAUSIBILITY INFERENCE WITH A PROBABILISTIC BASIS MIT-LCS-TM-232 Kleitman, D. No Group Specified 12-1-1982 AN ASYMPTOTICALLY OPTIMAL LAYOUT FOR THE SHUFFLE-EXCHANGE GRAPH MIT-LCS-TM-231 Shamir, A. No Group Specified 10-1-1982 EMBEDDING CRYPTOGRAPHIC TRAPDOORS IN ARBITRARY KNAPSACK SYSTEMS MIT-LCS-TM-230 Cosmadakis, S.S. No Group Specified 9-1-1982 THE COMPLEXITY OF EVALUATION RELATIONAL QUERIES MIT-LCS-TM-229 Papadimitriou, C.H.. No Group Specified 8-1-1982 TWO REMARKS ON THE POWER OF COUNTING MIT-LCS-TM-228 Leighton, F.T. No Group Specified 8-1-1982 NEW LOWER BOUND TECHNIQUES FOR VLSI MIT-LCS-TM-227 Bergstra, J. No Group Specified 8-1-1982 HOARES' LOGIC NOT COMPLETE WHEN IT COULD BE MIT-LCS-TM-226 Barber, G. No Group Specified 8-1-1982 FOUNDATIONS FOR OFFICE SEMANTICS MIT-LCS-TM-225 Barber, G. No Group Specified 7-1-1982 SUPPORTING ORGANIZATIONAL PROBLEM SOLVING WITH A WORKSTATION MIT-LCS-TM-224 diSessa, A.A. No Group Specified 7-1-1982 A PRINCIPLED DESIGN FOR AN INTEGRATED COMPUTATIONAL ENVIRONMENT MIT-LCS-TM-223 Meier zu Sieker, F. No Group Specified 7-1-1982 A TELEX GATEWAY FOR THE INTERNET MIT-LCS-TM-222 Leighton, F.T. No Group Specified 5-1-1982 LAYOUTS FOR THE SHUFFLE-EXCHANGE GRAPH BASED ON THE COMPLEX PLANE DIAGRAM MIT-LCS-TM-221 Chu, T.-A. No Group Specified 6-1-1982 CIRCUIT ANALYSIS OF SELF-TIMED ELEMENTS FOR NMOS VLSI SYSTEMS MIT-LCS-TM-220 Jouannaud, J.-P. No Group Specified 5-1-1982 RECURSIVE DECOMPOSITION ORDERING AND MULTISET ORDERINGS MIT-LCS-TM-219 Greif, I. No Group Specified 6-1-1982 COOPERATIVE OFFICE WORK, TELECONFERENCING AND CALENDAR MANAGEMENT: A COLLECTION OF PAPERS MIT-LCS-TM-218 Wright, K.D. No Group Specified 5-1-1982 A FILE TRANSFER PROGRAM FOR A PERSONAL COMPUTER MIT-LCS-TM-217 Church, K.W. No Group Specified 4-1-1982 COPING WITH SYNTACTIC AMBIGUITY OR HOW TO PUT THE BLOCK IN THE BOX ON THE TABLE MIT-LCS-TM-216 Leiserson, C.E. No Group Specified 4-1-1982 OPTIMIZING SYNCHRONOUS SYSTEMS MIT-LCS-TM-215 Meyer, A.R. No Group Specified 3-1-1982 TERMINATIONS FOR RECURSIVE PROGRAMS: COMPLETENESS AND AXIOMATIC DEFINABILITY MIT-LCS-TM-214 Greif, I. No Group Specified 3-1-1982 PCAL: A PERSONAL CALENDAR MIT-LCS-TM-213 Elias, P. No Group Specified 1-1-1982 MINIMAX OPTIMAL UNIVERSAL CODEWORD SETS MIT-LCS-TM-212 Meyer, A.R. No Group Specified 1-1-1982 A NOTE ON EQUIVALENCES AMONG LOGICS OF PROGRAMS MIT-LCS-TM-211 Greif, I. No Group Specified 12-1-1981 SOFTWARE FOR THE 'ROLES' PEOPLE PLAY MIT-LCS-TM-210 Johnson, D. No Group Specified 2-1-1982 COMPUTATIONAL COMPLEXITY AND THE TRAVELING SALESMAN PROBLEM MIT-LCS-TM-209 Cosmadakis, .S. No Group Specified 12-1-1981 THE TRAVELING SALESMAN PROBLEM WITH MANY VISITS TO FEW CITIES MIT-LCS-TM-208 Longo, G. No Group Specified 11-1-1981 POWER SET MODELS FOR LAMBDA-CALCULUS: THEORIES, EXPANSIONS, ISOMORPHISMS MIT-LCS-TM-207 Leiserson, C.E. No Group Specified 11-1-1981 OPTIMAL PLACEMENT FOR RIVER ROUTING MIT-LCS-TM-206 Kannon, R. No Group Specified 10-1-1981 CIRCUIT-SIZE LOWER BOUNDS AND NON-REDUCIBILITY TO SPARSE SETS MIT-LCS-TM-205 Halpern, J.Y. No Group Specified 10-1-1981 ON THE EXPRESSIVE POWER OF DYNAMIC LOGIC, II MIT-LCS-TM-204 Bawden, A. No Group Specified 8-1-1981 MACLISP EXTENSIONS MIT-LCS-TM-203 Saltzer, J.H. No Group Specified 7-1-1981 COMMUNICATION RING INITIALIZATION WITHOUT CENTRAL CONTROL MIT-LCS-TM-202 Meyer, A.R. No Group Specified 12-1-1981 WHAT IS A MODEL OF THE LAMBDA CALCULUS? EXPANDED VERSION MIT-LCS-TM-201 Burke, G. No Group Specified 7-1-1981 LSB MANUAL MIT-LCS-TM-200 Mayr, E.W. No Group Specified 6-1-1981 THE COMPLEXITY OF THE WORD PROBLEMS FOR COMMUTATIVE SEMIGROUPS AND POLYNOMIAL IDEALS MIT-LCS-TM-199 Halpern, J.Y. No Group Specified 6-1-1981 THE PROPOSITIONAL DYNAMIC LOGIC OF DETERMINISTIC, WELL-STRUCTURED PROGRAMS MIT-LCS-TM-198 Fredkin, E. No Group Specified 3-1-1981 CONSERVATIVE LOGIC MIT-LCS-TM-197 Bhatt, S.N. No Group Specified 5-1-1981 ON CONCENTRATION AND CONNECTION NETWORKS MIT-LCS-TM-196 Barber, G. No Group Specified 3-1-1981 RECORD OF THE WORKSHOP ON RESEARCH IN OFFICE SEMANTICS MIT-LCS-TM-195 Barendregt, H. No Group Specified 2-1-1981 RECURSION THEORETIC OPERATORS AND MORPHISMS ON NUMBERED SETS MIT-LCS-TM-194 Yannakakis, M. No Group Specified 2-1-1994 ALGEBRAIC DEPENDENCIES MIT-LCS-TM-193 Meyer, A.R. No Group Specified 2-1-1981 THE DEDUCIBILITY PROBLEM IN PROPOSITIONAL DYNAMIC LOGIC MIT-LCS-TM-192 Parikh, R. No Group Specified 2-1-1981 PROPOSITIONAL DYNAMIC LOGICS OF PROGRAMS: A SURVEY MIT-LCS-TM-191 Ben-Ari, M. No Group Specified 1-1-1981 DETERMINISTIC PROPOSITIONAL DYNAMIC LOGIC: FINITE MODELS, COMPLEXITY, AND COMPLETENESS MIT-LCS-TM-190 Mayr, E.W. No Group Specified 1-1-1981 PERSISTENCE OF VECTOR REPLACEMENT SYSTEMS IS DECIDABLE MIT-LCS-TM-189 Mayr, E.W. No Group Specified 1-1-1981 AN EFFECTIVE REPRESENTATION OF THE REACHABILITY SET OF PERSISTENT PETRI NETS MIT-LCS-TM-188 Fischer, M.J. No Group Specified 1-1-1981 W (n log n)LOWER BOUNDS ON LENGTH OF BOOLEAN FORMULAS MIT-LCS-TM-187 Szolovits, P. No Group Specified 11-1-1980 BRAND X MANUAL MIT-LCS-TM-186 Kung, H-T. No Group Specified 11-1-1980 AN OPTIMALITY THEORY OF CONCURRENCY CONTROL FOR DATABASES MIT-LCS-TM-185 Lieberman, H. No Group Specified 11-1-1980 A REAL TIME GARBAGE COLLECTOR THAT CAN RECOVER TEMPORARY STORAGE QUICKLY MIT-LCS-TM-184 Meyer, A.R. No Group Specified 10-1-1980 A NOTE ON THE LENGTH OF CRAIG'S INTERPOLANTS MIT-LCS-TM-183 Itai, A. No Group Specified 10-1-1980 HAMILTON PATHS IN GRID GRAPHS MIT-LCS-TM-182 Lipski, W. No Group Specified 10-1-1980 A FAST ALGORITHM FOR TESTING FOR SAFETY AND DETECTING DEADLOCKS IN LOCKED TRANSACTION SYSTEMS MIT-LCS-TM-181 Papadimitriou, C.H. No Group Specified 10-1-1980 A THEOREM IN DATA BASE CONCURRENCY CONTROL MIT-LCS-TM-180 Halpern, J.Y. No Group Specified 10-1-1980 AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES, II MIT-LCS-TM-179 Arvind, No Group Specified 10-1-1980 I-STRUCTURES: AN EFFICIENT DATA TYPE FOR FUNCTIONAL LANGUAGES MIT-LCS-TM-178 Sinha, M.K. No Group Specified 9-1-1980 TIMEPAD- A PERFORMANCE IMPROVING SYNCHRONIZATION MECHANISM FOR DISTRIBUTED SYSTEMS MIT-LCS-TM-177 Seaquist, C.R. No Group Specified 9-1-1980 A SEMANTICS OF SYNCHRONIZATION MIT-LCS-TM-176 Meyer, A.R. No Group Specified 9-1-1980 ON TIME VERSUS SPACE III MIT-LCS-TM-175 Arvind, No Group Specified 9-1-1980 A DATAFLOW ARCHITECTURE WITH TAGGED TOKENS MIT-LCS-TM-174 Hawkinson, L.B. No Group Specified 9-1-1980 XLMS: A LINGUISTIC MEMORY SYSTEM MIT-LCS-TM-173 Paseman, W.G. No Group Specified 9-1-1980 SOME NEW METHODS OF MUSIC SYNTHESIS MIT-LCS-TM-172 Meyer, A.R. No Group Specified 8-1-1980 WHAT IS A MODEL OF THE LAMBDA CALCULUS? MIT-LCS-TM-171 Ehrenfeucht, A. No Group Specified 8-1-1980 PUMPING LEMMAS FOR REGULAR SETS MIT-LCS-TM-170 Burke, G. No Group Specified 8-1-1980 LOOP ITERATION MACRO MIT-LCS-TM-169 Greif, I. No Group Specified 7-1-1980 PROGRAMS FOR DISTRIBUTED COMPUTING: THE CALENDAR APPLICATION MIT-LCS-TM-168 Pavelle, R. No Group Specified 7-1-1980 COMPUTER PROGRAMS FOR RESEARCH IN GRAVITATION AND DIFFERENTIAL GEOMETRY MIT-LCS-TM-167 Bryant, R.E. No Group Specified 6-1-1980 REPORT ON THE WORKSHOP ON SELF-TIMED SYSTEMS MIT-LCS-TM-166 Finseth, C.A. No Group Specified 5-1-1980 THEORY AND PRACTICE OF TEXT EDITORS OR A COOKBOOK FOR AN EMACS MIT-LCS-TM-165 Shamir, A. No Group Specified 5-1-1980 THE CRYPTOGRAPHIC SECURITY OF COMPACT KNAPSACKS- PRELIMINARY REPORT MIT-LCS-TM-164 Meyer, A.R. No Group Specified 4-1-1980 AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES: A THEORETICAL ASSESSMENT MIT-LCS-TM-163 Marcum, A.M. No Group Specified 4-1-1980 A MANAGER FOR NAMED, PERMANENT OBJECTS MIT-LCS-TM-162 Lloyd, E.L. No Group Specified 4-1-1980 CRITICAL PATH SCHEDULING OF TASK SYSTEMS WITH RESOURCE AND PROCESSOR CONSTRAINTS MIT-LCS-TM-161 Kanellakis, P.C. No Group Specified 3-1-1980 ON THE COMPUTATIONAL COMPLEXITY OF CARDINALITY CONSTRAINTS IN RELATIONAL DATABASES MIT-LCS-TM-160 Pratt, V.R. No Group Specified 3-1-1980 DYNAMIC ALGEBRAS AND THE NATURE OF INDUCTION MIT-LCS-TM-159 Stark, E.W. No Group Specified 3-1-1980 SEMAPHORE PRIMITIVES AND STARVATION-FREE MUTUAL EXCLUSION MIT-LCS-TM-158 Meyer, A.R. No Group Specified 3-1-1980 ON THE EXPRESSIVE POWER OF DYNAMIC LOGIC MIT-LCS-TM-157 Meyer, A.R. No Group Specified 2-1-1980 DEFINABILITY IN DYNAMIC LOGIC MIT-LCS-TM-156 Itai, A. No Group Specified 2-1-1980 COVERING GRAPHS BY SIMPLE CIRCUITS MIT-LCS-TM-155 Karp, R.M. No Group Specified 2-1-1980 ON LINEAR CHARACTERIZATIONS OF COMBINATORIAL OPTIMIZATION PROBLEMS MIT-LCS-TM-154 Papadimitriou, C.H. No Group Specified 2-1-1980 WORST-CASE AND PROBABILISTIC ANALYSIS OF A GEOMETRIC LOCATION PROBLEM MIT-LCS-TM-153 Papadimitriou, C.H. No Group Specified 2-1-1980 ON THE COMPLEXITY OF INTEGER PROGRAMMING MIT-LCS-TM-152 Toffoli, T. No Group Specified 2-1-1980 REVERSIBLE COMPUTING MIT-LCS-TM-151 Meyer, A.R. No Group Specified 2-1-1980 TEN THOUSAND AND ONE LOGICS OF PROGRAMMING MIT-LCS-TM-150 Pallottino, S. No Group Specified 2-1-1980 AN EFFICIENT ALGORITHM FOR DETERMINING THE LENGTH OF THE LONGEST DEAD PATH IN AN "LIFO" BRANCH-AND BOUND EXPLORATION SCH MIT-LCS-TM-149 Adelman, L.M. No Group Specified 1-1-1980 SPACE-BOUNDED SIMULATION OF MULTITAPE TURING MACHINES MIT-LCS-TM-148 Schroeppel, R. No Group Specified 1-1-1980 AT + 0(2^n/2), S = 0(2^n/4) ALGORITHM FOR CERTAIN NP-COMPLETE PROBLEMS MIT-LCS-TM-147 Aoki, D.J. No Group Specified 1-1-1980 A MACHINE LANGUAGE INSTRUCTION SET FOR A DATA FLOW PROCESSOR MIT-LCS-TM-146 Loui, M.C. No Group Specified 12-1-1979 A SPACE BOUND FOR ONE-TAPE MULTIDIMENSIONAL TURING MACHINES MIT-LCS-TM-145 Takagi, A. No Group Specified 11-1-1979 CONCURRENT AND RELIABLE UPDATES OF DISTRIBUTED DATA BASE MIT-LCS-TM-144 Leth, J.W. No Group Specified 11-1-1979 AN INTERMEDIATE FORM FOR DATA FLOW PROGRAMS MIT-LCS-TM-143 Lipski, W. No Group Specified 11-1-1979 ON DATA BASES WITH INCOMPLETE INFORMATION MIT-LCS-TM-142 Hammer, M.M. No Group Specified 10-1-1979 ON DATA BASE MANAGEMENT SYSTEM ARCHITECTURE MIT-LCS-TM-141 Szolovits, P. No Group Specified 10-1-1979 ARTIFICIAL INTELLIGENCE AND CLINICAL PROBLEM SOLVING MIT-LCS-TM-140 Martin, W.A. No Group Specified 9-1-1979 ROLES, CO-DESCRIPTORS AND THE FORMAL REPRESENTATION OF QUANTIFIED ENGLISH EXPRESSIONS MIT-LCS-TM-139 Pratt, V.R. No Group Specified 5-1-1980 DYNAMIC ALGEBRAS: EXAMPLES, CONSTRUCTIONS, APPLICATIONS MIT-LCS-TM-138 Davis, E. No Group Specified 7-1-1979 ALGORITHMS FOR SCHEDULING TASKS ON UNRELATED PROCESSORS MIT-LCS-TM-137 Misunas, D.P. No Group Specified 6-1-1979 REPORT ON THE SECOND WORKSHOP ON DATA FLOW COMPUTER AND PROGRAM ORGANIZATION MIT-LCS-TM-136 Wyleczuk, R.H. No Group Specified 6-1-1979 TIMESTAMPS AND CAPABILITY-BASED PROTECTION IN A DISTRIBUTED COMPUTER FACILITY MIT-LCS-TM-135 Shamir, A. No Group Specified 6-1-1979 HOW TO SHARE A SECRET MIT-LCS-TM-134 Loui, M.C. No Group Specified 5-1-1979 THE SPACE COMPLEXITY OF TWO PEBBLE GAMES ON TREES MIT-LCS-TM-133 Patil, R.S. No Group Specified 5-1-1979 DESIGN OF A PROGRAM FOR EXPERT DIAGNOSIS OF ACID BASE AND ELECTROLYTE DISTURBANCES MIT-LCS-TM-132 Adelman, L.M. No Group Specified 5-1-1979 TIME, SPACE AND RANDOMNESS MIT-LCS-TM-131 Greif, I. No Group Specified 4-1-1979 SPECIFYING THE SEMANTICS OF WHILE-PROGRAMS: A TUTORIAL AND CRITIQUE OF A PAPER BY HOARE AND LAUER MIT-LCS-TM-130 Shamir, A. No Group Specified 4-1-1979 ON THE CRYPTOCOMPLEXITY OF KNAPSACK SYSTEMS MIT-LCS-TM-129 Loui, M.C. No Group Specified 4-1-1979 MINIMUM REGISTER ALLOCATION IS COMPLETE IN POLYNOMIAL SPACE MIT-LCS-TM-128 Strazdas, R.J. No Group Specified 3-1-1979 A NETWORK TRAFFIC GENERATOR FOR DECNET MIT-LCS-TM-127 Meyer, A.R. No Group Specified 3-1-1979 WITH WHAT FREQUENCY ARE APPARENTLY INTRACTABLE PROBLEMS DIFFICULT? MIT-LCS-TM-126 Shamir, A. No Group Specified 2-1-1979 MENTAL POKER MIT-LCS-TM-125 Toffoli, T. No Group Specified 2-1-1979 BICONTINUOUS EXTENSIONS OF INVERTIBLE COMBINATORIAL FUNCTIONS MIT-LCS-TM-124 Perry, H.M. No Group Specified 1-1-1979 AN IMPROVED PROOF OF THE RABIN-HARTMANIS-STEARNS CONJECTURE MIT-LCS-TM-123 Jaffe, J. No Group Specified 1-1-1979 EFFICIENT SCHEDULING OF TASKS WITHOUT FULL USE OF PROCESSOR RESOURCES MIT-LCS-TM-122 Jaffe, J. No Group Specified 1-1-1979 THE EQUIVALENCE OF R.E. PROGRAMS AND DATA FLOW SCHEMES MIT-LCS-TM-121 Brock, J.D. No Group Specified 1-1-1979 OPERATIONAL SEMANTICS OF A DATA FLOW LANGUAGE MIT-LCS-TM-120 Shamir, A. No Group Specified 12-1-1978 ON THE SECURITY OF THE MERKLE-HELLMAN CRYPTOGRAPHIC SCHEME MIT-LCS-TM-119 Borkin, S.A. No Group Specified 12-1-1978 DATA MODEL EQUIVALENCE MIT-LCS-TM-118 Pratt, V.R. No Group Specified 12-1-1978 SIX LECTURES ON DYNAMIC LOGIC MIT-LCS-TM-117 Pratt, V.R. No Group Specified 12-1-1978 APPLICATIONS OF MODAL LOGIC TO PROGRAMMING MIT-LCS-TM-116 Bryant, R.E. No Group Specified 12-1-1978 CONCURRENT PROGRAMMING MIT-LCS-TM-115 Dennis, J.B. No Group Specified 10-1-1978 RESEARCH DIRECTIONS IN COMPUTER ARCHITECTURE MIT-LCS-TM-114 Pratt, V.R. No Group Specified 9-1-1978 A NEAR-OPTIMAL METHOD FOR REASONING ABOUT ACTION MIT-LCS-TM-113 Parikh, R. No Group Specified 9-1-1978 A DECIDABILITY RESULT FOR A SECOND ORDER PROCESS LOGIC MIT-LCS-TM-112 Jaffe, J.M. No Group Specified 9-1-1978 BOUNDS ON THE SCHEDULING OF TYPED TASK SYSTEMS MIT-LCS-TM-111 Jaffe, J.M. No Group Specified 9-1-1978 AN ANALYSIS OF PREEMPTIVE MULTIPROCESSOR JOB SCHEDULING MIT-LCS-TM-110 Parikh, R. No Group Specified 9-1-1978 EFFECTIVENESS MIT-LCS-TM-109 Baratz, A.E. No Group Specified 7-1-1978 AN ANALYSIS OF THE SOLOVAY AND STRASSEN TEST FOR PRIMALITY MIT-LCS-TM-108 Shamir, A. No Group Specified 7-1-1978 A FAST SIGNATURE SCHEME MIT-LCS-TM-107 Parikh, R. No Group Specified 7-1-1978 A COMPLETENESS RESULT FOR A PROPOSITIONAL DYNAMIC LOGIC MIT-LCS-TM-106 Masek, W.J. No Group Specified 7-1-1978 A FASTER ALGORITHM COMPUTING STRING EDIT DISTANCES MIT-LCS-TM-105 Jaffe, J. No Group Specified 5-1-1978 THE USE OF QUEUES IN THE PARALLEL DATA FLOW EVALUATION OF "IF-THEN-WHILE" PROGRAMS MIT-LCS-TM-104 Harel, D. No Group Specified 5-1-1978 ARITHMETICAL COMPLETENESS IN LOGICS OF PROGRAMS MIT-LCS-TM-103 Abelson, H. No Group Specified 4-1-1978 LOWER BOUNDS ON INFORMATION TRANSFER IN DISTRIBUTED COMPUTATIONS MIT-LCS-TM-102 Martin, W.A. No Group Specified 4-1-1978 DESCRIPTIONS AND THE SPECIALIZATION OF CONCEPTS MIT-LCS-TM-101 Misunas, D.P. No Group Specified 3-1-1978 A COMPUTER ARCHITECTURE FOR DATA FLOW COMPUTATION MIT-LCS-TM-100 LaPaugh, A.S. No Group Specified 3-1-1978 THE SUBGRAPH HOMEOMORPHISM PROBLEM MIT-LCS-TM-099 Harel, D. No Group Specified 2-1-1978 NONDETERMINISM IN LOGICS OF PROGRAMS MIT-LCS-TM-098 Harel, D. No Group Specified 2-1-1978 COMPUTABILITY AND COMPLETENESS IN LOGICS OF PROGRAMS MIT-LCS-TM-097 Harel, D. No Group Specified 2-1-1978 A COMPLETE AXIOMATIC SYSTEM FOR PROVING DEDUCTIONS ABOUT RECURSIVE PROGRAMS MIT-LCS-TM-096 Harel, D. No Group Specified 2-1-1978 CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QUANTIFIERS MIT-LCS-TM-095 Berez, J.M. No Group Specified 3-1-1977 A DYNAMIC DEBUGGING SYSTEM FOR MDL MIT-LCS-TM-094 Amikura, K. No Group Specified 1-1-1978 A LOGIC DESIGN FOR THE CELL BLOCK OF A DATA FLOW PROCESSOR MIT-LCS-TM-093 Misunas, D.P. No Group Specified 12-1-1977 REPORT ON THE WORKSHOP ON DATA FLOW COMPUTER AND PROGRAM ORGANIZATION MIT-LCS-TM-092 Shamir, A. No Group Specified 11-1-1977 FACTORING NUMBERS IN 0(logh) ARITHMETIC STEPS MIT-LCS-TM-091 d'Oliveira, C.R. No Group Specified 11-1-1977 AN ANALYSIS OF COMPUTER DECENTRALIZATION MIT-LCS-TM-090 Rodriguez, H. No Group Specified 10-1-1977 MEASURING USER CHARACTERISTICS ON THE MULTICS SYSTEM MIT-LCS-TM-089 Lloyd, E.L. No Group Specified 8-1-1977 ON TRIANGULATIONS OF A SET OF POINTS IN THE PLANE MIT-LCS-TM-088 Lloyd, E. L. No Group Specified 7-1-1977 ANCILLARY REPORTS: KERNEL DESIGN PROJECT MIT-LCS-TM-087 Clark, D. No Group Specified 6-1-1977 AN OVERVIEW OF OWL, A LANGUAGE FOR KNOWLEDGE REPRESENTATION MIT-LCS-TM-086 Szolovits, P. No Group Specified 6-1-1977 FINDING MINIMUM CUTSETS IN REDUCIBLE GRAPHS MIT-LCS-TM-085 Shamir, A. No Group Specified 6-1-1977 THE MUTUAL EXCLUSION PROBLEM FOR UNRELIABLE PROCESSES MIT-LCS-TM-084 Rivest, R. No Group Specified 4-1-1977 CONSTRUCTION AND ANALYSIS OF NETWORK FLOW PROBLEM WHICH FORCES KARZANOV ALGORITHM TO 0(h3) RUNNING TIME MIT-LCS-TM-083 Baratz, A. E. No Group Specified 4-1-1977 A METHOD FOR OBTAINING DIGITAL SIGNATURES AND PUBLIC-KEY CRYPTOSYSTEMS MIT-LCS-TM-082 Rivest, R. No Group Specified 4-1-1977 HARDWARE ESTIMATION OF A PROCESS' PRIMARY MEMORY REQUIREMENTS MIT-LCS-TM-081 Gifford, D. No Group Specified 1-1-1977 THE MAX FLOW ALGORITHM OF DINIC AND KARZANOV: AN EXPOSITION MIT-LCS-TM-080 Even, S. No Group Specified 12-1-1976 A SYSTEM TO PROCESS DIALOGUE: A PROGRESS REPORT MIT-LCS-TM-079 Brown, G. P. No Group Specified 10-1-1976 IMPROVING INFORMATION STORAGE RELIABILITY USING A DATA NETWORK MIT-LCS-TM-078 Benjamin, A.J. No Group Specified 10-1-1976 TASK SCHEDULING IN THE CONTROL ROBOTICS ENVIRONMENT MIT-LCS-TM-077 Bloniarz, P.A. No Group Specified 9-1-1976 A NOTE ON THE AVERAGE TIME TO COMPUTE TRANSITIVE CLOSURES MIT-LCS-TM-076 Yao, A.C. No Group Specified 9-1-1976 K+1 HEADS ARE BETTER THAN K MIT-LCS-TM-075 Malvania, N. No Group Specified 9-1-1976 THE DESIGN OF A MODULAR LABORATORY FOR CONTROL ROBOTICS MIT-LCS-TM-074 Rivest, R. No Group Specified 9-1-1976 OPTIMAL ARRANGEMENT OF KEYS IN A HASH TABLE MIT-LCS-TM-073 Ruth, G.R. No Group Specified 7-1-1976 PROTOSYSTEM I: AN AUTOMATIC PROGRAMMING SYSTEM PROTOTYPE MIT-LCS-TM-072 Rivest, R. No Group Specified 7-1-1976 ON THE WORST-CASE OF BEHAVIOR OF STRING-SEARCHING ALGORITHMS MIT-LCS-TM-071 Ruth, G.R. No Group Specified 4-1-1976 AUTOMATIC DESIGN OF DATA PROCESSING SYSTEMS MIT-LCS-TM-070 Bayer, P.J. No Group Specified 2-1-1976 IMPROVED BOUNDS ON THE COSTS OF OPTIMAL AND BALANCED BINARY SEARCH TREES MIT-LCS-TM-069 Weng, K.-S. No Group Specified 11-1-1975 STREAM-ORIENTED COMPUTATION IN RECURSIVE DATA FLOW SCHEMAS MIT-LCS-TM-068 Cardoza, E.W. No Group Specified 10-1-1975 COMPUTATIONAL COMPLEXITY OF THE WORLD PROBLEM FOR COMMUTATIVE SEMIGROUPS MIT-LCS-TM-067 Leung, C.K.C. No Group Specified 10-1-1975 FORMAL PROPERTIES OF WELL-FORMED DATA MIT-LCS-TM-066 Fischer, M.J. No Group Specified 6-1-1975 THE COMPLEXITY OF NEGATION-LIMITED NETWORKS- A BRIEF SURVEY MIT-LCS-TM-065 Weiss, R.B. No Group Specified 6-1-1975 FINDING ISOMORPH CLASSES FOR COMBINATORIAL STRUCTURES MIT-LCS-TM-064 Pless, V. No Group Specified 6-1-1975 ENCRYPTION SCHEMES FOR COMPUTER CONFIDENTIALITY MIT-LCS-TM-063 Patil, S.S. No Group Specified 5-1-1975 AN ASYNCHRONOUS LOGIC ARRAY MIT-LCS-TM-062 Dennis, J.B. No Group Specified 5-1-1975 FIRST VERSION OF A DATA FLOW PROCEDURE LANGUAGE MIT-LCS-TM-061 Weiss, R.B. No Group Specified 5-1-1975 CAMAC: GROUP MANIPULATION SYSTEM MIT-LCS-TM-060 Weiss, R.B. No Group Specified 3-1-1975 DECISION PROBLEMS FOR PETRI NETS AND VECTOR ADDITION SYSTEMS MIT-LCS-TM-059 Hack, M. No Group Specified 3-1-1975 DECIDABILITY OF EQUIVALENCE FOR A CLASS OF DATA FLOW SCHEMAS MIT-LCS-TM-058 Qualitz, J.E. No Group Specified 3-1-1975 ON BATESON'S LOGICAL LEVELS OF LEARNING MIT-LCS-TM-057 Levin, M. No Group Specified 2-1-1975 RESEARCH ON EXPERT SYSTEMS MIT-LCS-TM-056 Gorry, G.A. No Group Specified 12-1-1974 A CLASS OF BOOLEAN FUNCTIONS WITH LINEAR COMBINATORIAL COMPLEXITY MIT-LCS-TM-055 Hsieh, W.N. No Group Specified 10-1-1974 THE INHERENT COMPUTATION COMPLEXITY OF THEORIES OF ORDERED SETS: A BRIEF SURVEY MIT-LCS-TM-054 Meyer, A.R. No Group Specified 10-1-1974 MDC-PROGRAMMER: A MUDDLE-TO-DATALANGUAGE TRANSLATOR FOR INFORMATION RETRIEVAL MIT-LCS-TM-053 Bengelloun, S.A. No Group Specified 10-1-1974 COMPUTING IN LOGARITHMIC SPACE MIT-LCS-TM-052 Lind, J.C. No Group Specified 9-1-1974 AN INVESTIGATION OF CURRENT LANGUAGE SUPPORT FOR THE DATA REQUIREMENTS OF STRUCTURED PROGRAMMING MIT-LCS-TM-051 Aiello, J.M. No Group Specified 9-1-1974 AN ENCIPHERING MODULE FOR MULTICS MIT-LCS-TM-050 Benedict, G.G. No Group Specified 7-1-1974 COMPLETE CLASSIFICATION OF (24,12) AND (22,11) SELF-DUAL CODES MIT-LCS-TM-049 Pless, V. No Group Specified 6-1-1974 THE REDUCTION METHOD FOR ESTABLISHING LOWER BOUNDS ON THE NUMBER OF ADDITIONS MIT-LCS-TM-048 Kedem, Z.M. No Group Specified 6-1-1974 MATHEMATICAL FOUNDATIONS OF FLIP-FLOPS MIT-LCS-TM-047 Pless, V. No Group Specified 6-1-1974 COMBINING DIMENSIONALITY AND RATE OF GROWTH ARGUMENTS FOR ESTABLISHING LOWER BOUNDS ON THE NUMBER OF MULTIPLICATIONS MIT-LCS-TM-046 Kedem, Z.M. No Group Specified 6-1-1974 FAST ON-LINE INTEGER MULTIPLICATION MIT-LCS-TM-045 Fischer, M.J. No Group Specified 5-1-1974 SYMMETRY CODES AND THEIR INVARIANT SUBCODES MIT-LCS-TM-044 Pless, V. No Group Specified 2-1-1974 SUPER-EXPONENTIAL COMPLEXITY OF PRESBURGER ARITHMETIC MIT-LCS-TM-043 Fischer, M.J. No Group Specified 2-1-1974 ON THE COMPLEXITY OF THE THEORIES OF WEAK DIRECT PRODUCTS MIT-LCS-TM-042 Rackoff, C. No Group Specified 1-1-1974 STRING-MATCHING AND OTHER PRODUCTS MIT-LCS-TM-041 Fischer, M.J. No Group Specified 1-1-1974 AN IMPROVED OVERLAP ARGUMENT FOR ON-LINE MULTIPLICATION MIT-LCS-TM-040 Paterson, M.S. No Group Specified 1-1-1974 DISCRETE COMPUTATION: THEORY AND OPEN PROBLEMS MIT-LCS-TM-039 Meyer, A.R. No Group Specified 1-1-1974 WEAK MONADIC SECOND ORDER THEORY OF SUCCESSOR IS NOT ELEMENTARY-RECURSIVE MIT-LCS-TM-038 Meyer, A.R. No Group Specified 12-1-1973 REAL-TIME SIMULATION OF MULTIDIMENSIONAL TURING MACHINES BY STORAGE MODIFICATION MACHINES MIT-LCS-TM-037 Schonage, A. No Group Specified 12-1-1973 A USER'S GUIDE TO THE Macro CONTROL LANGUAGE MIT-LCS-TM-036 Geiger, S.P. No Group Specified 12-1-1973 AN INTERACTIVE IMPLEMENTATION OF THE TODD-COXETER ALGORITHM MIT-LCS-TM-035 Bonneau, R.J. No Group Specified 12-1-1973 POLYNOMIAL EXPONENTIATION: THE FAST FOURIER TRANSFORM REVISITED MIT-LCS-TM-034 Bonneau, R.J. No Group Specified 6-1-1973 A DECISION PROCEDURE FOR THE FIRST ORDER THEORY OF REAL ADDITION WITH ORDER MIT-LCS-TM-033 Ferrante, J. No Group Specified 5-1-1973 AN OPERATOR EMBEDDING THEOREM FOR COMPLEXITY CLASSES OF RECURSIVE FUNCTIONS MIT-LCS-TM-032 Moll, R. No Group Specified 5-1-1973 A CLASS OF FINITE COMPUTATION STRUCTURES SUPPORTING THE FAST FOURIER TRANSFORM MIT-LCS-TM-031 Bonneau, R.J. No Group Specified 3-1-1973 SIM360: A S/360 SIMULATOR MIT-LCS-TM-030 McCray, W.M. No Group Specified 10-1-1972 THE EMPTINESS PROBLEM FOR AUTOMATA ON INFINITE TREES MIT-LCS-TM-029 Hossley, R. No Group Specified 6-1-1972 CONSTRUCTION HEURISTICS FOR GEOMETRY AND A VECTOR ALGEBRA REPRESENTATION OF GEOMETRY MIT-LCS-TM-028 Wong, R. No Group Specified 6-1-1972 ECONOMY OF DESCRIPTIONS AND MINIMAL INDICES MIT-LCS-TM-027 Bagchi, A. No Group Specified 1-1-1972 HELPING PEOPLE THINK MIT-LCS-TM-025 Goldstein, R.C. No Group Specified 4-1-1971 THE MACAIMS DATA MANAGEMENT SYSTEM MIT-LCS-TM-024 Goldstein, R.C. No Group Specified 4-1-1971 THE RELATIONAL APPROACH TO THE MANAGEMENT OF DATA BASES MIT-LCS-TM-023 Strnad, A.J. No Group Specified 4-1-1971 TRANSMISSION OF INFORMATION BETWEEN A MAN-MACHINE DECISION SYSTEM AND ITS ENVIRONMENT MIT-LCS-TM-022 Wells, D.M. No Group Specified 4-1-1971 THE SUBSTANTIVE USE OF COMPUTERS FOR INTELLECTUAL ACTIVITIES MIT-LCS-TM-021 Goldstein, R.C. No Group Specified 4-1-1971 A COMPUTER MODEL OF SIMPLE FORMS OF LEARNING MIT-LCS-TM-020 Jones, T.L. No Group Specified 1-1-1971 A NEW LIST-TRACING ALGORITHM MIT-LCS-TM-019 Fenichel, R. R. No Group Specified 10-1-1970 AUTOMATIC CODE-GENERATION FROM AN OBJECT-MACHINE DESCRIPTION MIT-LCS-TM-018 Miller, P. L. No Group Specified 10-1-1970 COMPLEXITY MEASURES FOR PROGRAMMING LANGUAGES MIT-LCS-TM-017 Goodman, Leonard I. No Group Specified 9-1-1971 PSEUDO-RANDOM SEQUENCES MIT-LCS-TM-016 Bruere - Dawson, G. No Group Specified 10-1-1970 AN EXPANSION OF THE DATA STRUCTURING CAPABILITIES OF PAL MIT-LCS-TM-015 Zilles, S.N. No Group Specified 10-1-1970 SUSPENSION OF PROCESSES IN A MULTIPROCESSING COMPUTER SYSTEM MIT-LCS-TM-014 Vogt, C.M. No Group Specified 9-1-1970 USE OF HIGH LEVEL LANGUAGES FOR SYSTEMS PROGRAMMING MIT-LCS-TM-013 Graham, R.M. No Group Specified 9-1-1970 FILE MANAGEMENT AND RELATED TOPICS, JUNE 12, 1970 MIT-LCS-TM-012 Graham, R.M. No Group Specified 9-1-1970 DESCRIPTION AND FLOW CHART OF THE PDP-7/9 COMMUNICATIONS PACKAGE MIT-LCS-TM-011 Ward, P.W. No Group Specified 7-1-1970 INTERACTIVE DESIGN COORDINATION FOR THE BUILDING INDUSTRY MIT-LCS-TM-010 Jackson, J.N. No Group Specified 6-1-1970