CSAIL Publications and Digital Archive header
bullet Technical Reports bullet Work Products bullet Historical Collections bullet

link to publications.csail.mit.edu link to www.csail.mit.edu horizontal line

   


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
The Use of Speaker Correlation Information for Automatic Speech RecognitionMIT-LCS-TR-751No Author AvailableSpoken Language Systems5-1-1998
MIT-LCS-TR-752No Author AvailableSpoken Language Systems6-1-1998
Not Yet AvailableMIT-LCS-TR-592No Author AvailableNo Group Specified1-1-0
Not Yet AvailableMIT-LCS-TR-606No Author AvailableNo Group Specified1-1-0
MIT COMPUTER SCIENCE RESEARCH SYMPOSIUM, October 26-27, 1988 Copies of Speakers' ViewgraphsMIT-LCS-TR-450No Author AvailableNo Group Specified7-1-1989
REED: Robust, Efficient Filtering and Event Detection in Sensor NetworksMIT-LCS-TR-939Abadi, Daniel J.3-22-2004
Wait-free Regular Storage from Byzantine ComponentsMIT-LCS-TR-984Abraham, IttaiTheory of Distributed Systems4-5-2005
VAL--A VALUE- ORIENTED ALGORITHMIC LANGUAGE: PRELIMINARY REFERENCE MANUALMIT-LCS-TR-218Acherman, W.B.No Group Specified6-1-1979
EFFICIENT IMPLEMENTATION OF APPLICATIVE LANGUAGESMIT-LCS-TR-323Ackerman, W.B.No Group Specified4-1-1984
A STRUCTURE MEMORY FOR DATA FLOW COMPUTERSMIT-LCS-TR-186Ackerman, W.B.No Group Specified8-1-1977
The Vidboard:A Video Capture and Processing Peripheral for the ViewStation SystemMIT-LCS-TR-602Adam, J.FParallel and Distributed Operating Systems9-1-1992
An Architecture for Intentional Name Resolution and Application-level RoutingMIT-LCS-TR-775Adjie-Winoto, WilliamNo Group Specified2-1-1999
Transaction Management for Mobile Objects Using Optimistic Concurrency ControlMIT-LCS-TR-626Adya, AProgramming Methodology7-1-1994
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed TransactionsMIT-LCS-TR-786Adya, A.Programming Methodology3-1-1999
Economic Mechanisms for Efficient Wireless CoexistenceMIT-LCS-TR-876Aftab, OmarAdvanced Network Architecture8-24-2002
PERFORMANCE TRADEOFFS IN MULTITHREADED PROCESSORSMIT-LCS-TR-501Agarwal, A.No Group Specified4-1-1991
Time Optimal Self-Stabilizing Spanning Tree AlgorithmsMIT-LCS-TR-632Aggarwal, S.Theory of Computation1-1-1994
EVALUATING CASE-BASED REASONING FOR HEART FAILURE DIAGNOSISMIT-LCS-TR-478Aghassi, D.S.No Group Specified6-1-1990
A Scalable Byzantine Fault Tolerant Secure Domain Name ServiceMIT-LCS-TR-849Ahmed, SarahProgramming Methodology1-22-2001
PROOFS, KNOWLEDGE, AND ORACLESMIT-LCS-TR-440Aiello, W.A.No Group Specified2-1-1989
Automatic Software Upgrades for Distributed Systems (PhD thesis)MIT-LCS-TR-1004Ajmani, SameerProgramming Methodology10-6-2005
Automatic Software Upgrades for Distributed SystemsMIT-LCS-TR-1005Ajmani, SameerProgramming Methodology10-6-2005
Automatic Software Upgrades for Distributed SystemsMIT-LCS-TR-1012Ajmani, SameerProgramming Methodology11-30-2005
A Trusted Execution Platform for Multiparty ComputationMIT-LCS-TR-846Ajmani, SameerProgramming Methodology9-1-2000
A Trusted Third-Party Computation ServiceMIT-LCS-TR-847Ajmani, SameerProgramming Methodology5-1-2001
A CANONIC TRANSLATORMIT-LCS-TR-046Alsop, J.W.No Group Specified11-1-1967
A LANGUAGE IMPLEMENTATION SYSTEMMIT-LCS-TR-126Altman, V.E.No Group Specified5-1-1974
The Static Single Information FormMIT-LCS-TR-801Ananian, C.S.Computer Architecture9-3-1999
System Support for Bandwidth Management and Content Adaptation in Internet ApplicationsMIT-LCS-TR-808Andersen, DavidNetworks and Mobile Systems5-1-2000
The Computer Science Technical Report (CS-TR) Project: Considerations from the Library PerspectiveMIT-LCS-TR-693Anderson, G.6-1-1996
THE DESIGN OF A MULTIPROCESSOR DEVELOPMENT SYSTEMMIT-LCS-TR-279Anderson, T.L.No Group Specified9-1-1982
Automatic Recovery of Camera Positions in Urban ScenesMIT-LCS-TR-814Antone, MatthewComputer Graphics12-20-2000
REPRESENTATION AND ANALYSIS OF REAL-TIME CONTROL STRUCTURESMIT-LCS-TR-241Archer, R.F.No Group Specified8-1-1980
RECOVERY OF THE SWALLOW REPOSITORYMIT-LCS-TR-252Arens, G.C.No Group Specified1-1-1981
AN ALGEBRAIC APPROACH TO THE COMPILATION AND OPERATIONAL SEMANTICS OF FUNCTIONAL LANGUAGES WITH I-STRUCTURESMIT-LCS-TR-544Ariola, Z.M.No Group Specified6-1-1992
Combining diagrammatic and symbolic reasoningMIT-LCS-TR-1002Arkoudas, KonstantineProgram Analysis10-6-2005
On Verifying a File System ImplementationMIT-LCS-TR-946Arkoudas, KonstantineComputer Architecture5-6-2004
PARALLEL SIMULATION OF DIGITAL LSI CIRCUITSMIT-LCS-TR-333Aronld, J.M.No Group Specified2-1-1985
A MULTIPROCESSOR EMULATION FACILITYMIT-LCS-TR-302Arvind, No Group Specified10-1-1983
A CONSTRAINT REPRESENTATION AND EXPLANATION FACILITY FOR RENAL PHYSIOLOGYMIT-LCS-TR-318Ashbell, I.JNo Group Specified6-1-1984
Noise Tolerant Algorithms for Learning and SearchingMIT-LCS-TR-657Aslam, J.ATheory of Computation2-1-1995
AUTOMATIC VERIFICATION OF SERIALIZERSMIT-LCS-TR-229Atkinson, R.R.No Group Specified3-1-1980
Boosting Fault-Tolerance in Asynchronous Message Passing Systems is ImpossibleMIT-LCS-TR-877Attie, PaulTheory of Computation12-20-2002
Impossibility of boosting distributed service resilienceMIT-LCS-TR-982Attie, PaulTheory of Computation2-25-2005
Dynamic Input/Output Automata: A Formal Model for Dynamic SystemsMIT-LCS-TR-902Attie, Paul C.Theory of Computation7-26-2003
VIRTUAL WIRES: OVERCOMING PIN LIMITATIONS IN FPGA-BASED LOGIC EMULATIONMIT-LCS-TR-586Babb, J.No Group Specified11-1-1993
INTERACTIVE COMPUTER-MEDIATED ANIMATIONMIT-LCS-TR-061Baeker, R.M.No Group Specified6-1-1969
Intermediation and Electronic Markets: Aggregation and Pricing in Internet CommerceMIT-LCS-TR-756Bailey, J.P.Advanced Network Architecture6-1-1998
ARTWORK ANALYSIS TOOL FOR VLSI CIRCUITSMIT-LCS-TR-239Baker, C.M.No Group Specified6-1-1980
ACTOR SYSTEMS FOR REAL-TIME COMPUTATIONMIT-LCS-TR-197Baker, H.G.No Group Specified3-1-1978
Bounded-Error Interactive Ray TracingMIT-LCS-TR-748Bala, K.No Group Specified3-1-1998
Radiance Interpolants for Interactive Scene Editing and Ray TracingMIT-LCS-TR-791Bala K., No Group Specified9-1-1999
An Integrated Congestion Management Architecture for Internet HostsMIT-LCS-TR-771Balakrishnan, No Group Specified2-1-1999
Availability-Consistency Trade-Offs in a Fault-Tolerant Stream Processing SystemMIT-LCS-TR-974Balazinska, MagdalenaNetworks and Mobile Systems11-22-2004
RULE BASED ANALYSIS OF COMPUTER SECURITYMIT-LCS-TR-401Baldwin, R.No Group Specified3-1-1988
Code Importing Techniques for Fast, Safe Client/Server AccessMIT-LCS-TR-702Bank, J.A.No Group Specified9-1-1996
INFORMATION PROCESSING AND TRANSMISSION IN CELLULAR AUTOMATAMIT-LCS-TR-081Banks, E.R.No Group Specified1-1-1971
TCP-friendly Congestion Control for Real-time Streaming ApplicationsMIT-LCS-TR-806Bansal, D.No Group Specified5-1-2000
QoS Preserving Totally Ordered MulticastMIT-LCS-TR-796Bar-Joseph, ZivTheory of Computation1-1-2000
Early-Delivery Dynamic Atomic BroadcastMIT-LCS-TR-840Bar-Joseph, ZivTheory of Computation4-17-2002
THE COMPLEXITY OF THE MAXIMUM NETWORK FLOW PROBLEMMIT-LCS-TR-230Baratz, A.E.No Group Specified3-1-1980
BOUNDED WIDTH BRANCHING PROGRAMSMIT-LCS-TR-361Barrington, D.A.No Group Specified6-1-1986
ATOMIC DATA STRUCTURES FOR PARALLEL COMPUTINGMIT-LCS-TR-532Barth, P.No Group Specified3-1-1992
MIT-LCS-TR-759Barua, R.Computer Architecture6-1-1998
Maps: A Compiler-Managed Memory System for Software-Exposed ArchitecturesMIT-LCS-TR-799Barua, R.No Group Specified1-21-2000
Global Partitioning of Parallel loops and Data Arrays for Caches and Distributed Memory in MultiprocessorsMIT-LCS-TR-630Barua, R.K.Computer Architecture1-1-1994
LOGICAL STRUCTURE FOR FUNCTIONAL LANGUAGESMIT-LCS-TR-356Beckerle, M.J.No Group Specified2-1-1986
THE SPECTRAL NORM OF FINITE FUNCTIONSMIT-LCS-TR-495Bellare, M.No Group Specified2-1-1991
RANDOMNESS IN INTERACTIVE PROOFSMIT-LCS-TR-512Bellare, M.No Group Specified8-1-1991
Encapsulated Key EscrowMIT-LCS-TR-688Bellare, M.Theory of Computation4-1-1996
DISCONNECTED ACTIONS: AN ASYNCHRONOUS EXTENSION TO A NESTED ATOMIC ACTION SYSTEMMIT-LCS-TR-475Ben-Zvi, B.No Group Specified1-1-1990
Regions: A Scalable Infrastructure for Scoped Service Location in Ubiquitous ComputingMIT-LCS-TR-781Benedicto, K.Advanced Network Architecture5-1-1999
APPROXIMATION ALGORITHMS FOR THE MAXIMUM ACYCLIC SUBGRAPH PROBLEMMIT-LCS-TR-412Berger, B.No Group Specified9-1-1989
On the Structure of the Scaffolding Core of Bacteriophage T4 and Its Role in Head LengthMIT-LCS-TR-686Berger, B.Theory of Computation1-1-1996
SIMULATING (log n )-wise INDEPENDENCE IN NCMIT-LCS-TR-435Berger, B.No Group Specified5-1-1989
DATA STRUCTURES FOR REMOVING RANDOMNESSMIT-LCS-TR-436Berger, B.No Group Specified12-1-1988
EFFICIENT NC ALGORITHMS FOR SET COVER WITH APPLICATIONS TO LEARNING AND GEOMETRYMIT-LCS-TR-444Berger, B.No Group Specified5-1-1989
Parallel Construction of Quadtrees and Quality TriangulationsMIT-LCS-TR-614Bern, M.Theory of Computation5-1-1994
ABSTRACT MODEL SPECIFICATIONS FOR DATA ABSTRACTIONSMIT-LCS-TR-221Berzins, V.A.No Group Specified7-1-1979
ALGORITHMS FOR EXPLORING AN UNKNOWN GRAPHMIT-LCS-TR-536Betke, M.No Group Specified3-1-1992
Learning and Vision Algorithms for Robot NavigationMIT-LCS-TR-671Betke, M.Theory of Computation6-1-1995
RECOGNITION OF TOPOLOGICAL INVARIANTS* BY ITERATIVE ARRAYSMIT-LCS-TR-066Beyer, W.T.No Group Specified10-1-1969
A FRAMEWORK FOR SOLVING VLSI GRAPH LAYOUT PROBLEMSMIT-LCS-TR-305Bhatt, S.N.No Group Specified10-1-1983
THE COMPLEXITY OF GRAPH LAYOUT AND CHANNEL ROUTING FOR VLSIMIT-LCS-TR-351Bhatt, S.N.No Group Specified2-1-1984
Implementing Probabilistically Checkable Proofs of ProximityMIT-LCS-TR-998Bhattacharyya, ArnabComplexity Theory8-8-2005
Few-body Cellular AutomataMIT-LCS-TR-597Biafore, M.No Group Specified12-1-1993
STRESS: A PROBLEM-ORIENTED LANGUAGE FOR STRUCTURAL ENGINEERINGMIT-LCS-TR-006Biggs, J.M.Project MAC31-1-1964
Computer-Enforced Immutability for the Java LanguageMIT-LCS-TR-908Birka, AdrianProgram Analysis6-30-2003
COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND GARBAGE COLLECTIONMIT-LCS-TR-178Bishop, P.B.No Group Specified5-1-1977
SCAN PRIMITIVES AND PARALLEL VECTOR MODELSMIT-LCS-TR-463Blelloch, G.E.No Group Specified10-1-1989
THE COMPLEXITY OF MONOTONE BOOLEAN FUNCTIONS AND AN ALGORITHM FOR FINDING SHORTEST PATHS ON A GRAPHMIT-LCS-TR-238Bloniarz, P.A.No Group Specified6-1-1980
READY SIMULATION, BISIMULATION, AND THE SEMANTICS OF CCS-LIKE LANGUAGESMIT-LCS-TR-491Bloom, B.No Group Specified10-1-1990
SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGEMIT-LCS-TR-211Bloom, T.No Group Specified4-1-1979
DYNAMIC MODULE REPLACEMENT IN A DISTRIBUTED PROGRAMMING SYSTEMMIT-LCS-TR-303Bloom, TobyProgramming Methodology3-1-1983
ALGORITHMS FOR APPROXIMATE GRAPH COLORINGMIT-LCS-TR-506Blum, A.No Group Specified6-1-1991
ON THE COMPUTATIONAL COMPLEXITY OF TRAINING SIMPLE NEURAL NETWORKSMIT-LCS-TR-445Blum, A.No Group Specified5-1-1989
Teaching Policy to Computer Science StudentsMIT-LCS-TR-777Blumenthal, Marjory S.Advanced Network Architecture12-1-1998
MANAGING STORAGE FOR MULTITHREADED COMPUTATIONSMIT-LCS-TR-552Blumofe, R.D.Scientific Computing9-1-1992
Executing Multithreaded Programs EfficientlyMIT-LCS-TR-677Blumofe, R.D.Scientific Computing9-1-1995
NATURAL LANGUAGE INPUT FOR A COMPUTER PROBLEM SOLVING SYSTEMMIT-LCS-TR-001Bobrow, D.GProject MAC9-0-1964
Extending Computational Game Theory: Simultaneity, Multiple Agents, Chance and MetareasoningMIT-LCS-TR-634Bodkin, R.J.Parallel and Distributed Operating Systems9-1-1994
DYNAMIC PROGRAMMING ON GRAPHS WITH BOUNDED TREEWIDTHMIT-LCS-TR-394Bodlaender, H.L.No Group Specified6-1-1987
Economic Allocation of Computation Time with Computation MarketsMIT-LCS-TR-633Bogan, N.RClinical Decision Making8-1-1994
A Safe, Efficient Object Database Interface Using Batched FuturesMIT-LCS-TR-624Bogle, P.L.Programming Methodology7-1-1994
MIT-LCS-TR-741Bose, V.No Group Specified2-1-1998
A PROGRAM FOR THE DESIGN OF PROCUREMENT SYSTEMSMIT-LCS-TR-160Bosyj, M.No Group Specified5-1-1976
ROUTING NETWORKS FOR PACKET COMMUNICATION SYSTEMSMIT-LCS-TR-341Boughton, G.A.No Group Specified8-1-1984
A Type System for Preventing Data Races and Deadlocks in Java ProgramsMIT-LCS-TR-839Boyapati, ChandrasekharComputer Architecture3-22-2002
Towards An Extensible Virtual MachineMIT-LCS-TR-842Boyapati, ChandrasekharComputer Architecture4-29-2002
Safe Runtime Downcasts With Ownership TypesMIT-LCS-TR-853Boyapati, ChandrasekharComputer Architecture6-26-2002
Ownership Types and Safe Lazy Upgrades in Object-Oriented DatabasesMIT-LCS-TR-858Boyapati, ChandrasekharProgramming Methodology7-19-2002
CASE STUDY IN INTERACTIVE GRAPHICS PROGRAMMING: A CIRCUIT DRAWING AND EDITING PROGRAM FOR USE WITH A STORMIT-LCS-TR-063Brackett, J.No Group Specified10-1-1969
LOGIC SIMULATION ON A MULTIPROCESSORMIT-LCS-TR-380Bradley, E.No Group Specified10-1-1986
MINIMIZING THE NAMING FACILITIES REQUIRING PROTECTION IN A COMPUTING UTILITYMIT-LCS-TR-156Bratt, R.G.No Group Specified9-1-1975
ASPECTS OF A PARALLEL-ARCHITECTURE SIMULATORMIT-LCS-TR-527Brewer, E.ANo Group Specified2-1-1992
PROTEUS: A HIGH-PERFORMANCE PARALLEL-ARCHITECTURE SIMULATORMIT-LCS-TR-516Brewer, E.A.No Group Specified9-1-1991
PREVENTING RECURSION DEADLOCK IN CONCURRENT OBJECT-ORIENTED SYSTEMSMIT-LCS-TR-526Brewer, E.A.No Group Specified2-1-1992
AN ABSTRACT MODEL OF A RESEARCH INSTITUTE: SIMPLE AUTOMATIC PROGRAMMING APPROACHMIT-LCS-TR-118Briabrin, V.No Group Specified3-1-1974
A FORMAL MODEL OF NON-DETERMINATE DATAFLOW COMPUTATIONMIT-LCS-TR-309Brock, J.D.No Group Specified8-1-1983
EQUIVALENCE PROPERTIES OF SEMANTIC DATA MODELS FOR DATA BASE SYSTEMSMIT-LCS-TR-206Broklin, S.A.No Group Specified1-1-1979
STORAGE AND ACCESS COSTS FOR IMPLEMENTATIONS OF VARIABLE - LENGTH LISTSMIT-LCS-TR-217Brown, D.No Group Specified4-1-1979
TOWARD A COMPUTATIONAL THEORY OF INDIRECT SPEECH ACTSMIT-LCS-TR-223Brown, G.P.No Group Specified10-1-1979
SOME PROBLEMS IN GERMAN TO ENGLISH MACHINE TRANSLATIONMIT-LCS-TR-142Brown, G.P.No Group Specified12-1-1974
A FRAMEWORK FOR PROCESSING DIALOGUEMIT-LCS-TR-182Brown, G.P.No Group Specified6-1-1977
ON TIME-SPACE CLASSES AND THEIR RELATION TO THE THEORY OF REAL ADDITIONMIT-LCS-TR-195Bruss, A.R.No Group Specified3-1-1978
A SWITCH-LEVEL SIMULATION MODEL FOR INTEGRATED LOGIC CIRCUITSMIT-LCS-TR-259Bryant, R.E.No Group Specified3-1-1981
SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMSMIT-LCS-TR-188Bryant, R.E.No Group Specified11-1-1977
Creating and Rendering Image-Based Visual HullsMIT-LCS-TR-780Buehler, C.No Group Specified5-1-1999
ON BISECTING RANDOM GRAPHSMIT-LCS-TR-287Bui, T.N.No Group Specified3-1-1983
NIL REFERENCE MANUALMIT-LCS-TR-311Burke, G.S.No Group Specified1-1-1984
The Development of Broadband Telecommunications StandardsMIT-LCS-TR-629Buzacott, A.Parallel and Distributed Operating Systems6-1-1990
Adaptively Secure Multi-party ComputationMIT-LCS-TR-682Canetti, R.Theory of Computation2-1-1996
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer ProtocolMIT-LCS-TR-1001Canetti, RanTheory of Distributed Systems8-19-2005
Using Probabilistic I/O Automata to Analyze an Oblivious TransferMIT-LCS-TR-1001aCanetti, RanTheory of Distributed Systems12-14-2005
MULTIPLE INHERITANCE IN CONTEMPORARY PROGRAMMING LANGUAGESMIT-LCS-TR-328Carnese, D.J.No Group Specified9-1-1984
Practical Byzantine Fault ToleranceMIT-LCS-TR-817Castro, MiguelProgramming Methodology1-31-2001
APPLICATION OF DATA FLOW ARCHITECTURE TO COMPUTER MUSIC SYNTHESISMIT-LCS-TR-257Cesari, C.A.No Group Specified2-1-1981
Mechanisms and Interfaces for Software-Extended Coherent Shared MemoryMIT-LCS-TR-644Chaiken, D.Computer Architecture1-1-1995
CACHE COHERENCE PROTOCOLS FOR LARGE-SCALE MULTIPROCESSORSMIT-LCS-TR-489Chaiken, D.L.No Group Specified9-1-1990
PRIMITIVES FOR REAL-TIME ANIMATION IN THREE DIMENSIONSMIT-LCS-TR-358Chaing, C.J.No Group Specified4-1-1986
INDEX SELECTION IN A SELF-ADAPTIVE RELATIONAL DATA BASE MANAGEMENT SYSTEMMIT-LCS-TR-166Chan, A.Y.No Group Specified9-1-1976
Speech Recognition Robustness to Microphone VariationsMIT-LCS-TR-650Chang, J.W.Spoken Language Systems2-1-1995
Providing QoS Guarantees in Input Buffered Crossbar Switches with SpeedupMIT-LCS-TR-779Charney, A.Advanced Network Architecture8-1-1998
CARPS, A PROGRAM WHICH SOLVES CALCULUS WORD PROBLEMSMIT-LCS-TR-051Charniak, E.No Group Specified7-1-1968
An Algorithm for Rate Allocation in a Packet-Switching Network With FeedbackMIT-LCS-TR-601Charny, A.Advanced Network Architecture4-1-1994
Providing QoS Guarantees in Input Buffered Crossbar Switches with SpeedupMIT-LCS-TR-764Charny, AnnaNo Group Specified9-1-1998
DESIGN OF A LOW-COST CHARACTER GENERATOR FOR REMOTE COMPUTER DISPLAYSMIT-LCS-TR-026Cheek, T.B.No Group Specified3-1-1966
L+: Scalable Landmark Routing and Address Lookup for Multi-hop Wireless NetworksMIT-LCS-TR-837Chen, BenjieParallel and Distributed Operating Systems3-12-2002
Building Data Structures on Untrusted Peer-to-Peer Storage with Per-participant LogsMIT-LCS-TR-888Chen, BenjieParallel and Distributed Operating Systems3-21-2003
On a Recursive Spectral Algorithm for Clustering from Pairwide SimilaritiesMIT-LCS-TR-906Cheng, DavidTheory of Computation5-27-2003
Algorithms for Data-Race Detection in Multithreaded ProgramsMIT-LCS-TR-758Cheng, G.Scientific Computing7-1-1998
A STUDY OF BACKOFF BARRIER SYNCHRONIZATIONMIT-LCS-TR-452Cherian, M.M.No Group Specified6-1-1989
CONGESTION CONTROL IN ROUTING NETWORKSMIT-LCS-TR-382Chien, A.A.No Group Specified10-1-1986
DEBUGGING DISTRIBUTED COMPUTATIONS IN A NESTED ATOMIC ACTION SYSTEMMIT-LCS-TR-327Chiu, S.Y.No Group Specified12-1-1984
Consensus in Wireless Ad Hoc NetworksMIT-LCS-TR-980Chockler, G.Theory of Computation2-8-2005
Light-Weight Leases for Storage-Centric Coordination MIT-LCS-TR-934Chockler, GregoryTheory of Computation4-22-2004
Proving Atomicity: An Assertional ApproachMIT-LCS-TR-995Chockler, GregoryTheory of Computation7-22-2005
Shared Memory Versus Message Passing for Iterative Solution of Sparse, Irregular ProblemsMIT-LCS-TR-697Chong, F.TNo Group Specified10-27-1996
Parallel Communication Mechanisms for Sparse, Irregular ApplicationsMIT-LCS-TR-733Chong, F.T.Computer Architecture11-1-1997
Proceedings of the Fifth Annual MIT Student Workshop on Scalable ComputingMIT-LCS-TR-660Chong, F.T.Scientific Computing8-1-1995
SYNTHESIS OF SELF-TIMED VLSI CIRCUITS FROM GRAPH-THEORETIC SPECIFICATIONSMIT-LCS-TR-393Chu, T.-A.No Group Specified6-1-1987
A Hierarchical Feature Representation for Phonetic ClassificationMIT-LCS-TR-698Chun, R.Y.T.Spoken Language Systems3-1-1996
ON MEMORY LIMITATIONS IN NATURAL LANGUAGE PROCESSINGMIT-LCS-TR-245Church, K.W.No Group Specified9-1-1980
PHRASE-STRUCTURE PARSING: A METHOD FOR TAKING ADVANTAGE OF ALLOPHONIC CONSTRAINTSMIT-LCS-TR-296Church, K.W.No Group Specified6-1-1983
THE CLASSROOM INFORMATION AND COMPUTING SERVICEMIT-LCS-TR-080Clark, D.D.No Group Specified1-1-1971
AN INPUT/OUTPUT ARCHITECTURE FOR VIRTUAL MEMORY COMPUTER SYSTEMSMIT-LCS-TR-117Clark, D.D.No Group Specified1-1-1974
Aurora at MITMIT-LCS-TR-673Clark, D.D.Advanced Network Architecture12-1-1995
Offline Integrity Checking of Untrusted StorageMIT-LCS-TR-871Clarke, DwaineComputation Structures11-15-2002
Incremental Multiset Hash Functions and their Application to Memory Integrity CheckingMIT-LCS-TR-899Clarke, DwaineComputation Structures5-23-2003
Approximating Center Points with Iterated Radon PointsMIT-LCS-TR-610Clarkson, K.L.Theory of Computation5-1-1994
EXTENDING BINARY BYZANTINE AGREEMENT TO MULTIVALUED BYZANTINE AGREEMENTMIT-LCS-TR-315Coan, B.A.No Group Specified4-1-1984
ALGORITHMS FOR SEARCH TREES ON MESSAGE-PASSING ARCHITECTURESMIT-LCS-TR-517Colbrook, A.No Group Specified9-1-1991
PIPES: LINGUISTIC SUPPORT FOR ORDERED ASYNCHRONOUS INVOCATIONSMIT-LCS-TR-539Colbrook, A.No Group Specified4-1-1992
LOOSE CONSISTENCY IN PERSONAL COMPUTER MAIL SYSTEMMIT-LCS-TR-316Comer, M.H.No Group Specified5-1-1984
A Security Model for the Information MeshMIT-LCS-TR-691Condell, M.N.Advanced Network Architecture6-1-1996
SURFACES FOR COMPUTER-AIDED DESIGN OF SPACE FORMSMIT-LCS-TR-041Coons, S.A.No Group Specified6-1-1967
AN ARGUMENT FOR SOFT LAYERING OF PROTOCOLSMIT-LCS-TR-300Cooper, G.H.No Group Specified8-1-1983
Automatic Extraction of Textured Vertical Facades from Pose ImageryMIT-LCS-TR-729Coorg, S.No Group Specified1-1-1998
SYSTEM REQUIREMENTS FOR MULTIPLE -ACCESS, TIME-SHARED COMPUTERSMIT-LCS-TR-003Corbato, F.J.Project MAC5-0-1964
VIRTUAL MEMORY FOR DATA-PARALLEL COMPUTINGMIT-LCS-TR-559Cormen, T.No Group Specified12-1-1992
TRANSLATING UPDATES OF RELATIONAL DATABASE VIEWSMIT-LCS-TR-284Cosmadakis, S.S.No Group Specified2-1-1983
EQUATIONAL THEORIES AND DATABASE CONSTRAINTSMIT-LCS-TR-346Cosmadakis, S.S.No Group Specified8-1-1985
Replication Control in Distributed B-TreesMIT-LCS-TR-705Cosway, P.R.No Group Specified2-1-1997
ON LOCAL REPRESENTATIONS OF GRAPHS AND NETWORKSMIT-LCS-TR-573Cowen, L.No Group Specified1-1-1993
RESOURCE MANAGEMENT FOR THE TAGGED TOKEN DATAFLOW ARCHITECTUREMIT-LCS-TR-332Culler, D.E.No Group Specified1-1-1985
MANAGING PARALLELISM AND RESOURCES IN SCIENTIFIC DATAFLOW PROGRAMSMIT-LCS-TR-446Culler, D.E.No Group Specified0-1-1990
Client Cache management in a Distributed Object DatabaseMIT-LCS-TR-652Day, M.S.Programming Methodology5-1-1995
REPLICATION AND RECONFIGURATION IN A DISTRIBUTED MAIL REPOSITORYMIT-LCS-TR-376Day, Mark S.Programming Methodology4-1-1987
Location Proxies and Intermediate Node Forwarding for Practical Geographic ForwardingMIT-LCS-TR-824De Couto, DouglasParallel and Distributed Operating Systems5-30-2001
A Dynamic Primary View Group Communication ServiceMIT-LCS-TR-873De Prisco, RobertoTheory of Computation11-25-2002
ABSENTEE COMPUTATIONS IN A MULTIPLE-ACCESS COMPUTER SYSTEMMIT-LCS-TR-052Deital, H.M.No Group Specified8-1-1968
LOGICAL DISK: A SIMPLE NEW APPROACH TO IMPROVING FILE SYSTEM PERFORMANCEMIT-LCS-TR-566deJonge, W.No Group Specified4-1-1993
A HIGH-PERFORMANCE RETARGETABLE SIMULATOR FOR PARALLEL ARCHITECTURESMIT-LCS-TR-505Dellarocas, C.N.No Group Specified6-1-1991
Exponential Speedup of Fixed Parameter Algorithms K_{3,3}-minor-free or K_5-minor-free GraphsMIT-LCS-TR-838Demaine, ErikTheory of Computation3-18-2002
Equivalence of Local Treewidth and Linear Local Treewidth and its Algorithmic ApplicationsMIT-LCS-TR-903Demaine, ErikTheory of Computation5-29-2003
Fixed Parameter Algorithms for Minor-Closed Graphs (of Locally Bounded Treewidth)MIT-LCS-TR-904Demaine, ErikTheory of Computation6-4-2003
Subexponential Parameterized Algorithms on Graphs of Bounded Genus and H-minor-free GraphsMIT-LCS-TR-905Demaine, ErikTheory of Computation6-5-2003
Automatic Detection and Repair of Errors in Data StructuresMIT-LCS-TR-875Demsky, BrianComputer Architecture12-6-2002
Data Structure Repair Using Goal-Directed ReasoningMIT-LCS-TR-950Demsky, BrianComputer Architecture5-18-2004
Efficient Specification-Assisted Error Localization and CorrectionMIT-LCS-TR-927Demsky, BrianComputer Architecture11-13-2003
RESOURCE ALLOCATION IN MULTIPROCESS COMPUTER SYSTEMSMIT-LCS-TR-050Denning, P.J.No Group Specified5-1-1968
QUEUEING MODELS FOR FILE MEMORY OPERATIONMIT-LCS-TR-021Denning, P.J..Project MAC10-0-1965
DATA FLOW COMPUTER ARCHITECTURE FINAL REPORTMIT-LCS-TR-385Dennis, J.No Group Specified10-1-1987
PROGRAM STRUCTURE IN A MULTI-ACCESS COMPUTERMIT-LCS-TR-011Dennis, J.B.Project MAC5-0-1964
PROGRAMMING SEMANTICS FOR MULTIPROGRAMMED COMPUTATIONSMIT-LCS-TR-023Dennis, J.B.No Group Specified12-1-1965
ON THE DESIGN AND SPECIFICATION OF A COMMON BASE LANGUAGEMIT-LCS-TR-101Dennis, J.B.No Group Specified6-1-1972
Revisiting the Paxos AlgorithmMIT-LCS-TR-717DePrisco, R.No Group Specified6-1-1997
On Building Blocks for Distributed SystemsMIT-LCS-TR-803DePrisco, RobertoTheory of Computation4-20-2000
PRACTICAL TRANSLATORS FOR LR(K) LANGUAGESMIT-LCS-TR-065Deremer, F.L.No Group Specified10-1-1969
CORRECTNESS PROOF FOR A NETWORK SYNCHRONIZERMIT-LCS-TR-588Devarajan, H.Theory of Computation12-1-1993
Selecting Refining and Evaluating Properties for Program AnalysisMIT-LCS-TR-914Dodoo, NiiProgram Analysis7-21-2003
Virtual Stationary Automata for Mobile NetworksMIT-LCS-TR-979Dolev, ShlomiTheory of Computation1-21-2005
GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc NetworksMIT-LCS-TR-900aDolev, ShlomiTheory of Computation2-25-2004
Autonomous Virtual Mobile NodesMIT-LCS-TR-992Dolev, ShlomiTheory of Computation6-15-2005
Virtual Mobile Nodes for Mobile Ad Hoc NetworksMIT-LCS-TR-937Dolev, ShlomiTheory of Computation2-26-2004
Self-Stabilizing Mobile Node Location Management and MessageMIT-LCS-TR-999Dolev, ShlomiTheory of Distributed Systems8-11-2005
Inference of Generic Types in JavaMIT-LCS-TR-889Donnvan, AlanProgram Analysis3-22-2003
Converting Java Programs to Use Generic LibrariesMIT-LCS-TR-940Donovan, AlanProgram Analysis3-30-2004
THE MDL PROGRAMMING LANGUAGE PRIMERMIT-LCS-TR-292Dornbrook, M.No Group Specified6-1-1980
STRUCTURED VIDEO: A DATA TYPE WITH CONTENT-BASED ACCESSMIT-LCS-TR-580Duda, A.No Group Specified9-1-1993
INTEGRAL CONVEX POLYHEDRA AND AN APPROACH TO INTEGRALIZATIONMIT-LCS-TR-074Edelberg, M.No Group Specified8-1-1970
OCAS - ON-LINE CRYPTANALYTIC AID SYSTEMMIT-LCS-TR-027Edwards, D.J.Project MAC5-0-1966
ON THE SAMPLE COMPLEXITY OF PAC-LEARNING USING RANDOM AND CHOSEN EXAMPLESMIT-LCS-TR-535Eisenberg, B.B.No Group Specified3-1-1992
BOCHSER: AN INTEGRATED SCHEME PROGRAMMING SYSTEMMIT-LCS-TR-349Eisenberg, M.A.No Group Specified8-1-1985
SEMANTICS OF DATA STRUCTURES AND REFERENCESMIT-LCS-TR-134Ellis, D.J.No Group Specified8-1-1974
FORMAL SPECIFICATIONS FOR PACKET COMMUNICATION SYSTEMSMIT-LCS-TR-189Ellis, D.J.No Group Specified11-1-1977
A Deterministic Linear Time Algorithm for Geometric Separators and its ApplicationMIT-LCS-TR-609Epstein, D.Theory of Computation5-1-1994
Serializing Parallel Programs by Removing Redundant ComputationMIT-LCS-TR-638Ernst, M.D.Theory of Computation8-1-1994
DATA COMMUNICATIONS VIA CABLE TELEVISION NETWORKS: TECHNICAL AND POLICY CONSIDERATIONSMIT-LCS-TR-273Estrin, D.L.No Group Specified5-1-1982
ACCESS TO INTER-ORGANIZATION COMPUTER NETWORKSMIT-LCS-TR-345Estrin, D.L.No Group Specified8-1-1985
Using Specifications to Check Source CodeMIT-LCS-TR-628Evans, D.No Group Specified6-1-1994
THE MAC SYSTEM: A PROGRESS REPORTMIT-LCS-TR-012Fano, R.M.Project MAC10-9-1964
ESSAYS IN ALGEBRAIC SIMPLIFICATIONMIT-LCS-TR-095Fateman, R.J.No Group Specified4-1-1972
SEMIAUTOMATIC TRANSLATION OF COBOL INTO HIBOLMIT-LCS-TR-256Faust, G.G.No Group Specified4-1-1981
Stable Policy Routing with Provider IndependenceMIT-LCS-TR-981Feamster, NickNetworks and Mobile Systems2-8-2005
Verifying the Correctness of Wide-Area Internet RoutingMIT-LCS-TR-948Feamster, NickNetworks and Mobile Systems5-17-2004
Optimal Online Scheduling of Parallel jobs with DependenciesMIT-LCS-TR-607Feldman, A.Theory of Computation5-1-1994
A CATV-BASED HIGH-SPEED PACKET-SWITCHING NETWORK DESIGNMIT-LCS-TR-359Feldmeier, D.C.No Group Specified4-1-1986
AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATIONMIT-LCS-TR-035Fenichel, R.R.No Group Specified12-1-1966
SOME UPPER AND LOWER BOUNDS ON DECISION PROCEDURES IN LOGICMIT-LCS-TR-139Ferrante, J.No Group Specified11-1-1974
A COMPUTER-CONTROLLED GRAPHICAL DISPLAY PROCESSORMIT-LCS-TR-071Fiasconaro, J.G.No Group Specified6-1-1970
GENERALIZED ORGANIZATION OF LARGE DATA BASES: A SET-THEORETIC APPROACH TO RELATIONSMIT-LCS-TR-070Fillat, A.I.No Group Specified6-1-1970
IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY PROCESS*atioMIT-LCS-TR-282FischerM.J., No Group Specified9-1-1982
ARTIFICIAL INTELLIGENCE AND OPTIMIZATION SOLUTIONS TO MULTI-CRITERIA OPERATOR BINDINGMIT-LCS-TR-480Fogg, D.No Group Specified9-1-1990
Scalable Internet Routing on Topology-Independent Node IdentitiesMIT-LCS-TR-926Ford, Bryan10-31-2003
A PROGRAM FOR GENERATING AND ANALYZING TERM REWRITING SYSTEMSMIT-LCS-TR-343Forgaard, RandyNo Group Specified9-1-1984
SYNTAX-BASED ANALYTIC READING OF MUSICAL SCORESMIT-LCS-TR-039Forte, A.No Group Specified4-1-1967
COMPLEXITY - THEORETIC ASPECTS OF INTERACTIVE PROOF SYSTEMSMIT-LCS-TR-447Fortnow, L.J.No Group Specified5-1-1989
Proceedings of the Sixth Annual MIT Student Workshop on Computing TechnologyMIT-LCS-TR-695Frank, M.I.Scientific Computing8-1-1996
THE COMPUTER UTILITY AS A MARKETPLACE FOR COMPUTER SERVICEMIT-LCS-TR-128Frankston, R.M.No Group Specified5-1-1974
Portable High-Performance ProgramsMIT-LCS-TR-785Frigo, M.Scientific Computing6-1-1999
The Fastest Fourier Transform in the WestMIT-LCS-TR-728Frigo, M.Scientific Computing9-1-1997
Client Authentication on the WebMIT-LCS-TR-818Fu, KevinParallel and Distributed Operating Systems3-14-2001
THE LOGIC OF SYSTEMSMIT-LCS-TR-170Furtek, F.C.No Group Specified12-1-1976
THE MDL PROGRAMMING LANGUAGEMIT-LCS-TR-293Galley, S.W.No Group Specified5-1-1979
On Consulting a Set of Experts and SearchingMIT-LCS-TR-700Galperin, I.Theory of Computation9-1-1996
A PIPELINED CODE MAPPING SCHEME FOR STATIC DATA FLOW COMPUTERSMIT-LCS-TR-371Gao, G.R.No Group Specified8-1-1986
The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed SystemsMIT-LCS-TR-762Garland, S.J.Theory of Computation8-1-1998
IOA User Guide and Reference ManualMIT-LCS-TR-961Garland, StephenTheory of Computation7-20-2004
Secondary Structure Prediction of All-Helical Proteins Using Hidden Markov Support Vector MachinesMIT-LCS-TR-1003Gassend, B.Computation Structures10-6-2005
Silicon Physical Unknown Functions and Secure SmartcardsMIT-LCS-TR-833Gassend, BlaiseComputation Structures5-13-2002
Controlled Physical Unknown Functions: Applications to Secure Smartcards and Certified ExecutionMIT-LCS-TR-845Gassend, BlaiseComputation Structures6-10-2002
Delay-Based Circuit Authentication With Application to Key CardsMIT-LCS-TR-854Gassend, BlaiseComputation Structures6-29-2002
Caches and Merkle Trees for Efficient Memory AuthenticationMIT-LCS-TR-857Gassend, BlaiseComputation Structures7-20-2002
Physical Random FunctionsMIT-LCS-TR-881Gassend, BlaiseComputation Structures2-1-2003
Host Interfacing: A Coprocessor ApproachMIT-LCS-TR-625Gautam, N.C.Parallel and Distributed Operating Systems2-1-1993
CONCURRENT TIMESTAMPING MADE SIMPLEMIT-LCS-TR-556Gawlick, R.No Group Specified9-1-1992
LIVENESS IN TIMED AND UNTIMED SYSTEMSMIT-LCS-TR-587Gawlick, R.No Group Specified12-1-1993
Admission Control and Routing: Theory and PracticeMIT-LCS-TR-679Gawlick, R.Theory of Computation6-1-1995
Cooperative Computing with Fragmentable and Mergeable GroupsMIT-LCS-TR-802Georgiou, C.Theory of Computation1-1-0
Implementing Asynchronous Distributed Systems Using the IOA ToolkitMIT-LCS-TR-966Georgiou, ChryssisTheory of Computation10-6-2004
Long-Lived Rambo: Trading Knowledge for CommunicationMIT-LCS-TR-943Georgiou, ChryssisTheory of Computation4-12-2004
Efficient distributed 1 out of n oblivious transferMIT-LCS-TR-714Gertner, Y.No Group Specified4-1-1997
A Random Server Model for Private Information Retrieval (or Information Theoretic PIR Avoiding Database ReplicationMIT-LCS-TR-715Gertner, Y.No Group Specified4-1-1997
HIERARCHICAL ASSOCIATIVE MEMORIES FOR PARALLEL COMPUTATIONMIT-LCS-TR-069Gertz, J.L.No Group Specified6-1-1970
The Modified Object Buffer: A Storage Management Technique for Object-Oriented DatabasesMIT-LCS-TR-666Ghemawat, SProgramming Methodology9-1-1995
AUTOMATIC REPLICATION FOR HIGHLY AVAILABLE SERVICESMIT-LCS-TR-473Ghemawat, S.Programming Methodology3-1-1990
COMPUTATION MANAGEMENT IN A SINGLE ADDRESS SPACE SYSTEMMIT-LCS-TR-357Gibson, J.C.No Group Specified1-1-1986
REMOTE PIPE AND PROCEDURES FOR EFFICIENT DISTRIBUTED COMMUNICATIONMIT-LCS-TR-384Gifford, D.No Group Specified10-1-1986
BOSTON COMMUNITY INFORMATION SYSTEM -1986 EXPERIMENTAL TEST RESULTSMIT-LCS-TR-397Gifford, D.No Group Specified8-1-1987
FX-87 REFERENCE MANUALMIT-LCS-TR-407Gifford, D.No Group Specified9-1-1987
REPORT ON THE FX-91 PROGRAMMING LANGUAGEMIT-LCS-TR-531Gifford, D.K.No Group Specified2-1-1992
CLIPPING SERVICE USER'S MANUAL (VERSION 1.2)MIT-LCS-TR-398Gifford, D.K.No Group Specified9-1-1987
WALTER USER'S MANUAL (VERSION 1.0)MIT-LCS-TR-399Gifford, D.K.No Group Specified9-1-1987
POLYCHANNEL SYSTEMS FOR MASS DIGITAL COMMUNICATIONMIT-LCS-TR-420Gifford, D.K.No Group Specified7-1-1988
BOSTON COMMUNITY INFORMATION SYSTEM 1987-1988 EXPERIMENTAL TEST RESULTSMIT-LCS-TR-422Gifford, D.K.No Group Specified5-1-1989
RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic NetworksMIT-LCS-TR-890Gilbert, SethTheory of Computation3-25-2003
The Quorum Deployment ProblemMIT-LCS-TR-972Gilbert, SethTheory of Computation10-29-2004
Connecting Homes to the Internet: An Engineering Cost Model of Cable vs. ISDNMIT-LCS-TR-654Gillett, S.E.Parallel and Distributed Operating Systems6-1-1995
EFFICIENT GRAPH ALGORITHMS FOR SEQUENTIAL AND PARALLEL COMPUTERSMIT-LCS-TR-374Goldberg, A.V.No Group Specified2-1-1987
A ROBUST ENVIRONMENT FOR PROGRAM DEVELOPMENTMIT-LCS-TR-175Goldberg, H.J.No Group Specified2-1-1977
Statistical Trajectory Models for Phonetic RecognitionMIT-LCS-TR-642Goldenthal, W.D.Spoken Language Systems8-1-1994
DEADLOCK DETECTION IN COMPUTER NETWORKSMIT-LCS-TR-185Goldman, B.No Group Specified9-1-1977
DISTRIBUTED ALGORITHM SIMULATION USING INPUT/OUTPUT AUTOMATAMIT-LCS-TR-490Goldman, K.J.No Group Specified9-1-1990
DATA REPLICATION IN NESTED TRANSACTION SYSTEMSMIT-LCS-TR-390Goldman, K.J.No Group Specified5-1-1987
EFFICIENT METHODS FOR CALCULATING MAXIMUM ENTROPY DISTRIBUTIONSMIT-LCS-TR-391Goldman, S.No Group Specified5-1-1987
LEARNING BINARY RELATIONS, TOTAL ORDERS, AND READ-ONCE FORMULASMIT-LCS-TR-483Goldman, S.A.No Group Specified7-1-1990
Public-Key Cryptosystems from Lattice Reduction ProblemsMIT-LCS-TR-703Goldreich, O.Theory of Computation11-1-1996
On the (In)security of the Fiat-Shamir ParadigmMIT-LCS-TR-886Goldwasser, ShafiTheory of Computation2-20-2003
AN EASE OF USE EVALUATION OF AN INTEGRATED EDITOR AND FORMATTERMIT-LCS-TR-266Good, M.No Group Specified1-1-1981
COORDINATION OF PARALLEL PROCESSES IN THE ACTOR MODEL OF COMPUTATIONMIT-LCS-TR-173Goodman, N.No Group Specified12-1-1976
INTERNAL CONSISTENCY OF A DISTRIBUTED TRANSACTION SYSTEM WITH ORPHAN DETECTIONMIT-LCS-TR-286Goree, J.A.No Group Specified1-1-1983
A SYSTEM FOR COMPUTER-AIDED DIAGNOSISMIT-LCS-TR-044Gorry, G.A.No Group Specified9-1-1967
Moments of Inertia and Graph SeparatorsMIT-LCS-TR-611Gramban, K.Theory of Computation5-1-1994
COHESION IN COMPUTER TEXT GENERATION: LEXICAL SUBSTITUTIONMIT-LCS-TR-310Granville, R.No Group Specified5-1-1983
A SIMULATOR OF MULTIPLE INTERACTIVE USERS TO DRIVE A TIME-SHARED COMPUTER SYSTEMMIT-LCS-TR-058Greenbaum, H.J.No Group Specified1-1-1969
AN EXPERIMENTAL ANALYSIS OF PROGRAM REFERENCE PATTERNS IN THE MULTICS VIRTUAL MEMORYMIT-LCS-TR-127Greenberg, B.No Group Specified5-1-1974
EFFICIENT INTERCONNECTION SCHEMES FOR VLSI AND PARALLEL COMPUTATIONMIT-LCS-TR-456Greenberg, R.I.No Group Specified8-1-1989
THE OPS-1 MANUALMIT-LCS-TR-008Greenberger, M.Project MAC5-1-1964
A NEW METHODOLOGY FOR COMPUTER SIMULATIONMIT-LCS-TR-013Greenberger, M.Project MAC10-0-1964
THE PRIORITY PROBLEMMIT-LCS-TR-022Greenberger, M.No Group Specified11-1-1965
INDUCTION IN PROOFS ABOUT PROGRAMSMIT-LCS-TR-093Greif, I.No Group Specified2-1-1972
SEMANTICS OF COMMUNICATING PARALLEL PROCESSESMIT-LCS-TR-154Grief, I.No Group Specified9-1-1975
COMPUTER RECOGNITION OF PRISMATIC SOLIDSMIT-LCS-TR-073Griffith, A.K.No Group Specified8-1-1970
STRUCTURE IN MONOTONE COMPLEXITYMIT-LCS-TR-520Grigni, M.No Group Specified11-1-1991
THE GRAPH DISPLAY AS AN AID IN THE MONITORING OF A TIME-SHARED COMPUTER SYSTEMMIT-LCS-TR-054Grochow, J.M.No Group Specified10-1-1968
SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONSMIT-LCS-TR-158Grossman, R.W.No Group Specified2-1-1976
Optimism vs. Locking: A Study of Concurrency Control for Client-Server Object-Oriented DatabasesMIT-LCS-TR-708Gruber, R.E.Programming Methodology1-1-1997
OPTIMISTIC CONCURRENCY CONTROL FOR NESTED DISTRIBUTED TRANSACTIONSMIT-LCS-TR-453Gruber, R.E.Programming Methodology6-1-1989
mFX/DLX --- A PEDAGOGIC COMPILERMIT-LCS-TR-538Grundman, D.No Group Specified3-1-1992
AN IMPLEMENTATION SCHEME FOR ARRAY OPERATIONS IN STATIC DATA FLOW COMPUTERSMIT-LCS-TR-280Guang-Rong, G.No Group Specified5-1-1982
DATA STRUCTURE MANAGEMENT IN A DATA FLOW COMPUTER SYSTEMMIT-LCS-TR-355Guharoy, B.No Group Specified5-1-1985
AN INCREMENTAL TYPE INFERENCE SYSTEM FOR THE PROGRAMMING LANGUAGE IDMIT-LCS-TR-488Gupta, S.A.No Group Specified11-1-1990
Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic LanguageMIT-LCS-TR-647Gupta, S.A.No Group Specified2-1-1995
DERIVED PAIRS, OVERLAP CLOSURES, AND REWRITE DOMINOES: NEW TOOLS FOR ANALYZING TERM REWRITING SYSTEMSMIT-LCS-TR-268Guttag, J.V.No Group Specified12-1-1981
PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE*MIT-LCS-TR-307Guttag, J.V.No Group Specified10-1-1983
SOME ASPECTS OF PATTERN RECOGNITION BY COMPUTERMIT-LCS-TR-037Guzman-Arenas, A.No Group Specified2-1-1967
COMPUTER RECOGNITION OF THREE-DIMENSIONAL OBJECTS IN A VISUAL SCENEMIT-LCS-TR-059Guzman-Arenas, A.No Group Specified12-1-1968
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETSMIT-LCS-TR-094Hack, M.No Group Specified2-1-1972
PETRI NET LANGUAGEMIT-LCS-TR-159Hack, M.No Group Specified3-1-1976
DECIDABILITY QUESTIONS FOR PETRI NETSMIT-LCS-TR-161Hack, M.No Group Specified6-1-1976
COMPLEXITY MEASURES FOR LANGUAGE RECOGNITION BY CANONIC SYSTEMSMIT-LCS-TR-077Haggerty, Joseph P.No Group Specified10-1-1970
GENERATING EMPATHETIC RESPONSES WITH INDIVIDUAL USER MODELSMIT-LCS-TR-461Haimowitz, I.J.Clinical Decision Making12-1-1989
Knowledge-Based Trend Detection and DiagnosisMIT-LCS-TR-620Haimowitz, I.J.Clinical Decision Making6-1-1994
The Facility Location Problem with Concave Cost FunctionsMIT-LCS-TR-864Hajiaghayi, Mohammad TaghiTheory of Computation9-22-2002
On the Max-Flow Min-Cut Ratio for Directed Multicommodity FlowsMIT-LCS-TR-910Hajiaghayi, MohammadTaghiTheory of Computation7-5-2003
The Satisfiability Threshold of Random 3-SAT Is at Least 3.52MIT-LCS-TR-929Hajiaghayi, MohammadTaghiTheory of Computation11-20-2003
REFERENCE TREE NETWORKS: VIRTUAL MACHINE AND IMPLEMENTATIONMIT-LCS-TR-222Halstead, R.H.No Group Specified9-1-1979
MULTIPLE-PROCESSOR IMPLEMENTATIONS OF MESSAGE PASSING SYSTEMSMIT-LCS-TR-198Halstead, R.H.No Group Specified4-1-1978
FX-87 PERFORMANCE MEASUREMENTS: DATAFLOW IMPLEMENTATIONMIT-LCS-TR-421Hammel, R.T.No Group Specified9-1-1988
A NEW GRAMMATICAL TRANSFORMATION INTO DETERMINISTIC TOPDOWN FORMMIT-LCS-TR-119Hammer, M.M.No Group Specified2-1-1974
RESULTS IN COMPUTATIONAL GEOMETRY: GEOMETRIC EMBEDDINGS AND QUERY-RETRIEVAL PROBLEMSMIT-LCS-TR-492Hansen, M.D.No Group Specified11-1-1990
On Choosing a Task Assignment Policy for a Distributed Server SystemMIT-LCS-TR-757Harchol-Balter, M.Theory of Computation1-1-0
The Case for SRPT Scheduling in Web ServersMIT-LCS-TR-767Harchol-Balter, MorNo Group Specified10-23-1998
Improving Test Suites via Generated SpecificationsMIT-LCS-TR-848Harder, MichaelProgram Analysis6-4-2002
LOGICS OF PROGRAMS: AXIOMATICS AND DESCRIPTIVE POWERMIT-LCS-TR-200Harel, D.No Group Specified5-1-1978
PROBABILISTIC REASONING IN THE DOMAIN OF GENETIC COUNSELINGMIT-LCS-TR-460Harris, N.L.No Group Specified10-1-1989
Comparing Network Coding with Multicommodity Flow for the k-pairs Communication ProblemMIT-LCS-TR-964Harvey, Nicholas J.11-24-2004
ANALYSIS OF RANDOM DROP FOR GATEWAY CONGESTION CONTROLMIT-LCS-TR-465Hashem, E.S.No Group Specified11-1-1989
Planning and control in stochastic domains with imperfect informationMIT-LCS-TR-738Hauskrecht, M.Clinical Decision Making1-1-1998
SEMANTICS OF DATA BASE SYSTEMSMIT-LCS-TR-112Hawryszkiewycz, I.TNo Group Specified12-1-1973
Automatic language Identification Using a Segment-Based ApproachMIT-LCS-TR-593Hazen, T.Spoken Language Systems8-1-1993
DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSTEMS*MIT-LCS-TR-075Hebalkar, P.G.No Group Specified9-1-1970
EFFICIENT LAZY DATA-STRUCTURES ON A DATAFLOW MACHINEMIT-LCS-TR-438Heller, S.K.No Group Specified2-1-1989
THE BINDING MODEL: A SEMANTIC BASE FOR MODULAR PROGRAMMING SYSTEMSMIT-LCS-TR-145Henderson, D.A.No Group Specified2-1-1975
SPECIFICATION AND VERIFICATION OF REAL-TIME CONSTRAINTS IN COARSE-GRAIN DATAFLOWMIT-LCS-TR-487Henry, D.S.No Group Specified5-1-1991
Dynamically Resizable Static CMOS Logic for Fine-Grain LeakageMIT-LCS-TR-957Heo, SeongmooComputer Architecture7-12-2004
Leakage-Biased Domino Circuits for Dynamic Fine-Grain Leakage ReductionMIT-LCS-TR-831Heo, SeongmooComputer Architecture1-29-2002
Fine-Grain Dynamic Leakage ReductionMIT-LCS-TR-832Heo, SeongmooComputer Architecture1-29-2002
TRANSMITTING ABSTRACT VALUES IN MESSAGESeMIT-LCS-TR-234Herlihy, M.P.No Group Specified5-1-1980
REPLICATION METHODS FOR ABSTRACT DATA TYPESMIT-LCS-TR-319Herlihy, M.P.No Group Specified5-1-1984
ON REDUCIBILITY AMONG COMBINATORIAL PROBLEMSMIT-LCS-TR-113Herrmann, P.P.No Group Specified12-1-1973
Plaintext Awareness via Key RegistrationMIT-LCS-TR-885Herzog, JonathanCryptography and Information Security2-10-2003
ACTORS AND CONTINUOUS FUNCTIONALSMIT-LCS-TR-194Hewitt, C.No Group Specified2-1-1978
VIDEO CODING AND THE APPLICATION LEVEL FRAMING PROTOCOL ARCHITECTUREMIT-LCS-TR-542Heybey, A.Advanced Network Architecture6-1-1992
RATE-BASED CONGESTION CONTROL IN NETWORKS WITH SMART LINKSMIT-LCS-TR-470Heybey, A.T.No Group Specified1-1-1990
THE DESIGN AND IMPLEMENTATION OF A PARALLEL PERSISTENT OBJECT SYSTEMMIT-LCS-TR-529Heytens, M.L.No Group Specified2-1-1992
A HIGH-LEVEL SIGNAL PROCESSING PROGRAMMING LANGUAGEMIT-LCS-TR-414Hicks, J.No Group Specified3-1-1988
COMPILER-DIRECTED STORAGE RECLAMATION USING OBJECT LIFETIME ANALYSISMIT-LCS-TR-555Hicks, J.E.Jr.No Group Specified11-1-1992
AN EXPERT SYSTEM FOR DIAGNOSING GAIT FOR CEREBRAL PALSY PATIENTSMIT-LCS-TR-388Hirsch, D.E.No Group Specified5-1-1987
SHAPE FROM SHADING: A METHOD FOR OBTAINING THE SHAPE OF A SMOOTH OPAQUE OBJECT FROM ONE VIEWMIT-LCS-TR-079Horn, B.K.P.No Group Specified11-1-1970
FINITE TREE AUTOMATA AND W-AUTOMATAMIT-LCS-TR-102Hossley, R.F.No Group Specified9-1-1972
Dynamic Computation Migration in Distributed Shared Memory SystemsMIT-LCS-TR-665Hsieh, No Group Specified9-5-1995
SCALABLE READER-WRITER LOCKS FOR PARALLEL SYSTEMSMIT-LCS-TR-521Hsieh, W.C.No Group Specified11-1-1991
Efficient Implementation of High-Level Languages on User-Level Communications ArchitecturesMIT-LCS-TR-616Hsieh, W.C.Parallel and Distributed Operating Systems5-1-1994
AN EVALUATION OF CONCURRENT PRIORITY QUEUE ALGORITHMSMIT-LCS-TR-497Huang, Q.No Group Specified2-1-1991
A MULTI-PROCESS DESIGN OF PAGING SYSTEMMIT-LCS-TR-171Huber, A.H.No Group Specified12-1-1976
Bandwidth Management in Wireless Sensor NetworksMIT-LCS-TR-909Hull, BretNetworks and Mobile Systems4-8-2003
A CASE STUDY OF INTERMODULE DEPENDENCIES IN A VIRTUAL MEMORY SUBSYSTEMMIT-LCS-TR-174Hunt, D.H.No Group Specified12-1-1976
Function-Based Indexing for Object-Oriented DatabasesMIT-LCS-TR-600Hwang, D.Programming Methodology2-1-1994
Identifying and Merging Related Bibliographic RecordsMIT-LCS-TR-678Hylton, J.A.No Group Specified2-1-1996
A DATAFLOW/VON NEUMANN HYBRID ARCHITECTUREMIT-LCS-TR-418Iannucci, R.A.No Group Specified7-1-1988
AN INTEGRATED APPROACH TO FORMATTED DOCUMENT PRODUCTIONMIT-LCS-TR-253Ilson, R.No Group Specified2-1-1981
Marriage, Honesty, and StabilityMIT-LCS-TR-913Immorlica, NicoleTheory of Computation7-28-2003
Dynamically Reparameterized Light FieldsMIT-LCS-TR-778Isaksen, A.No Group Specified5-1-1999
DATA-STRUCTURING OPERATIONS IN CONCURRENT COMPUTATIONSMIT-LCS-TR-224Isaman, D.L.No Group Specified10-1-1979
A TIMING ANALYSIS OF LEVEL-CLOCKED CIRCUITRYMIT-LCS-TR-548Ishii, A.T.No Group Specified7-1-1992
SEARCH PROCEDURES BASED ON MEASURES OF RELATEDNESS BETWEEN DOCUMENTSMIT-LCS-TR-029Ivie, E.L.No Group Specified6-1-1966
DYNAMIC STORAGE ALLOCATION ON A MULTIPROCESSORMIT-LCS-TR-560Iyengar, A.K.No Group Specified12-1-1992
PARALLEL DNA SEQUENCE ANALYSISMIT-LCS-TR-428Iyengar, A.K.No Group Specified10-1-1988
An Efficient Boosting Algorithm for Combining PreferencesMIT-LCS-TR-811Iyer Jr., Raj DharmarajanTheory of Computation8-24-1999
Boolean Compilation of Relational SpecificationsMIT-LCS-TR-735Jackson, D.Theory of Computation1-1-1998
Alloy: A Lightweight Object Modelling NotationMIT-LCS-TR-797Jackson, D.Software Design2-1-2000
ASPECT: A FORMAL SPECIFICATION LANGUAGE FOR DETECTING BUGSMIT-LCS-TR-543Jackson, D.No Group Specified6-1-1992
COMPOSING DATA & PROCESS DESCRIPTIONS IN THE DESIGN OF SOFTWARE SYSTEMSMIT-LCS-TR-419Jackson, D.No Group Specified5-1-1988
PARALLEL COMPUTATION: SYNCHRONIZATION, SCHEDULING, AND SCHEMES.MIT-LCS-TR-231Jaffe, J.M.No Group Specified3-1-1980
SEMILINEAR SETS AND APPLICATIONSMIT-LCS-TR-183Jaffe, J.M.No Group Specified7-1-1977
DATA BACKUP AND RECOVERY IN A COMPUTER ARCHITECTURE FOR FUNCTIONALMIT-LCS-TR-353Jagannathan, S.No Group Specified10-1-1985
A PROGRAMMING LANGUAGE SUPPORTING FIRST-CLASS PARALLEL ENVIRONMENTSMIT-LCS-TR-434Jagannathan, S.No Group Specified1-1-1989
Sift: A MAC Protocol for Event-Driven Wireless Sensor NetworksMIT-LCS-TR-894Jamieson, KyleNetworks and Mobile Systems5-2-2003
HYDI: A HYBRID SYSTEM WITH FEEDBACK FOR DIAGNOSING MULTIPLE DISORDERSMIT-LCS-TR-576Jang, Y.No Group Specified1-1-1993
KOLA: KNOWLEDGE ORGANIZATION LANGUAGEMIT-LCS-TR-396Jang, Y.No Group Specified10-1-1988
USING TYPE EXTENSION TO ORGANIZE VIRTUAL MEMORY MECHANISMSMIT-LCS-TR-167Janson, P.A.No Group Specified9-1-1976
REMOVING THE DYNAMIC LINKER FROM THE SECURITY KERNEL OF A COMPUTING UTILITYMIT-LCS-TR-132Jason, P.A.No Group Specified6-1-1974
ML WITH EXTENDED PATTERN MATCHING AND SUBTYPESMIT-LCS-TR-468Jategaonkar, L.No Group Specified8-1-1989
Observing "True" ConcurrencyMIT-LCS-TR-618Jategaonkar, L.Theory of Computation9-1-1993
Scalable Inter-Cluster Communications Systems for Clustered MicroprocessorsMIT-LCS-TR-760Jiang, X.Computer Architecture6-1-1998
FULL ABSTRACTION AND THE CONTEXT LEMMA 1MIT-LCS-TR-524Jim, T.No Group Specified12-1-1991
CONSTRUCTING A HIGHLY-AVAILABLE LOCATION SERVICE FOR A DISTRIBUTED ENVIRONMENTMIT-LCS-TR-410Jing-Hwa Hwang, DeborahProgramming Methodology1-1-1988
DESIGN AND IMPLEMENTATION OF A PACKET SWITCHED ROUTING CHIPMIT-LCS-TR-482Joerg, C.F.No Group Specified12-1-1990
The Cilk System for Parallel Multithreaded ComputingMIT-LCS-TR-701Joerg, C.F.No Group Specified1-1-1996
NEAR-OPTIMAL BIN PACKING ALGORITHMSMIT-LCS-TR-109Johnson, D.No Group Specified6-1-1973
PROGRAM RESTRUCTURING FOR VIRTUAL SYSTEMSMIT-LCS-TR-148Johnson, J.No Group Specified3-1-1975
High-Performance All-Software Distributed Shared MemoryMIT-LCS-TR-674Johnson, K.L.Computer Architecture2-1-1996
EFFICIENT MODELING FOR SHORT CHANNEL MOS CIRCUIT SIMULATIONMIT-LCS-TR-277Johnson, M.G.No Group Specified8-1-1982
A DISTRIBUTED DATA-BALANCED DICTIONARY BASED ON THE B-LINK TREEMIT-LCS-TR-530Johnson, T.No Group Specified2-1-1992
The Architecture of MAITA: A Tool for Monitoring, Analysis, and InterpretationMIT-LCS-TR-951Jon, DoyleClinical Decision Making5-18-2004
INCREMENTAL SIMULATION ON A TIME-SHARED COMPUTERMIT-LCS-TR-048Jones, M.M.No Group Specified1-1-1968
Expander GraphsMIT-LCS-TR-591Kahale, N.Theory of Computation9-1-1993
MECHANIZATION OF TEMPORAL KNOWLEDGEMIT-LCS-TR-155Kahn, K.M.No Group Specified9-1-1975
AUTOMATIC EXTENSION OF AN AUGMENTED TRANSITION NETWORK GRAMMAR FOR MORSE CODE CONVERSATIONSMIT-LCS-TR-233Kaiser, G.E.No Group Specified4-1-1980
Geometric Algorithms for Online OptimizationMIT-LCS-TR-861Kalai, AdamTheory of Computation8-30-2002
ELLIPTIC CURVES AND CRYPTOGRAPHY: A PSEUDORANDOM BIT GENERATOR AND OTHER TOOLSMIT-LCS-TR-411Kaliski, B.No Group Specified1-1-1988
REX: Secure, modular remote execution through file descriptor passingMIT-LCS-TR-884Kaminsky, MichaelParallel and Distributed Operating Systems1-31-2003
Botz-4-Sale: Surviving Organized DDoS Attacks that Mimic Flash CrowdsMIT-LCS-TR-969Kandula, SrikanthNetworks and Mobile Systems10-22-2004
THE COMPLEXITY OF CONCURRENCY CONTROL FOR DISTRIBUTED DATABASESMIT-LCS-TR-269Kanellakis, P.C.No Group Specified12-1-1981
MAP: A SYSTEM FOR ON-LINE MATHEMATICAL ANALYSISMIT-LCS-TR-024Kaplow, R.No Group Specified1-1-1966
TOWARDS A THEORY FOR ABSTRACT DATA TYPESMIT-LCS-TR-237Kapur, D.No Group Specified6-1-1980
New Algorithms for Load Balancing in Peer-to-Peer SystemsMIT-LCS-TR-911Karger, DavidTheory of Computation7-16-2003
NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMSMIT-LCS-TR-179Karger, P.A.No Group Specified5-1-1977
An Interchange Standard and System for Browsing Digital DocumentsMIT-LCS-TR-653Kass, A.No Group Specified5-1-1995
AN INFORMATION-THEORETICAL APPROACH TO STUDYING PHONEME COLLOCATIONAL CONSTRAINTSMIT-LCS-TR-509Kassel, R.H.No Group Specified7-1-1991
A Comparison of Approaches to On-Line Handwritten Character RecognitionMIT-LCS-TR-661Kassel, R.H.Spoken Language Systems5-1-1995
A Framework for Scalable Global-Anycast(GIA)MIT-LCS-TR-798Katabi, DinaAdvanced Network Architecture1-1-0
Using precise feedback for controlling congestion in the InternetMIT-LCS-TR-820Katabi, DinaAdvanced Network Architecture5-1-2001
Inferring Congestion Sharing and Path Characteristics from Packet Interarrival TimesMIT-LCS-TR-828Katabi, DinaAdvanced Network Architecture12-6-2001
Decoupling Congestion Control from Bandwidth Allocation Policy and its Application to High Bandwidth-Delay Product NetworksMIT-LCS-TR-895Katabi, DinaAdvanced Network Architecture5-7-2003
M&M: A Passive Toolkit for Measuring, Correlating, and Tracking Path CharacteristicsMIT-LCS-TR-945Katti, SachinNetworks and Mobile Systems4-14-2004
Slicing the Onion: Anonymous Routing Without PKIMIT-LCS-TR-1000Katti, SachinNetworks and Mobile Systems8-15-2005
PARATRAN: A TRANSPARENT, TRANSACTION BASED RUNTIME MECHANISM FOR PARALLEL EXECUTION OF SCHEMEMIT-LCS-TR-454Katz, M.No Group Specified7-1-1989
The IOA SimulatorMIT-LCS-TR-843Kaynar, DilsumTheory of Computation7-16-2002
The Theory of Timed I/O AutomataMIT-LCS-TR-917Kaynar, Dilsun K.Theory of Computation8-27-2003
The Theory of Timed I/O AutomataMIT-LCS-TR-917aKaynor, Dilsun K.Theory of Computation3-2-2005
Fast Thread Communication and Synchronization Mechanisms for a Scalable Single Chip MultiprocessorMIT-LCS-TR-763Keckler, Stephen WilliamNo Group Specified6-1-1998
A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and ProofsMIT-LCS-TR-794Keidar, IditTheory of Computation1-1-0
On the Cost of Fault-Tolerant Consensus When There Are No Faults - A TutorialMIT-LCS-TR-821Keidar, IditTheory of Computation5-24-2001
PROTECTING EXTERNALLY SUPPLIED SOFTWARE IN SMALL COMPUTERSMIT-LCS-TR-255Kent, S.No Group Specified3-1-1981
ENCRYPTION-BASED PROTECTION PROTOCOLS FOR INTERACTIVE USER-COMPUTER COMMUNICATIONMIT-LCS-TR-162Kent, S.No Group Specified6-1-1976
Failsafe Key EscrowMIT-LCS-TR-636Kilian, J.Theory of Computation8-1-1994
ORGANIZATION OF SYSTEMS WITH BUSSED INTERCONNECTIONSMIT-LCS-TR-537Kipnis, S.No Group Specified3-1-1992
EFFICIENT PARALLEL ALGORITHMS FOR PLANAR, CORDIAL, AND INTERVAL GRAPHSMIT-LCS-TR-426Klein, P.N.No Group Specified10-1-1988
On-Line Algorithms for Robot Navigation and Server ProblemsMIT-LCS-TR-641Kleinberg, J.MTheory of Computation5-1-1994
Small-Depth Counting Networks and Related TopicsMIT-LCS-TR-643Klugerman, M.R.Theory of Computation9-1-1994
An Information-Theoretic Approach to Interest MakingMIT-LCS-TR-830Koh, WaikitClinical Decision Making5-1-2001
TEMPORAL REASONING IN MEDICAL EXPERT SYSTEMSMIT-LCS-TR-389Kohane, I.S.No Group Specified5-1-1987
Programming Language Techniques for Modular Router ConfigurationsMIT-LCS-TR-812Kohler, EddieParallel and Distributed Operating Systems8-21-2000
THE DESIGN AND IMPLEMENTATION OF AN ONLINE DIRECTORY ASSISTANCE SYSTEMMIT-LCS-TR-313Koile, K.No Group Specified12-1-1983
An Analysis of Short-Term Fairness in Wireless Media Access ProtocolsMIT-LCS-TR-807Koksal, C.E.No Group Specified1-1-0
ATOMIC INCREMENTAL GARBAGE COLLECTION AND RECOVERY FOR A LARGE STABLE HEAPMIT-LCS-TR-534Kolodner, E.K.No Group Specified2-1-1992
RECOVERY USING VIRTUAL MEMORYMIT-LCS-TR-404Kolodner, E.K.No Group Specified7-1-1987
MAM: A SEMI-AUTOMATIC DEBUGGING TOOL FOR DISTRIBUTED PROGRAMSMIT-LCS-TR-392Kolodney, L.K.No Group Specified6-1-1987
A Statistical Approach to Language Modelling for the ATIS ProblemMIT-LCS-TR-646Koppelman, J.D.Spoken Language Systems2-1-1995
COORDINATING PEBBLE MOTION ON GRAPHS, THE DIAMETER OF PERMUTATION GROUPS, AND APPLICATIONSMIT-LCS-TR-320Kornhauser, D.M.No Group Specified5-1-1984
DENOTATIONAL SEMANTICS OF DETERMINATE AND NON-DETERMINATE DATA FLOW PROGRAMSMIT-LCS-TR-220Kosinski, P.R.No Group Specified7-1-1979
TOWARDS A PROBLEM SOLVING SYSTEM FOR MOLECULAR GENETICSMIT-LCS-TR-338Koton, P.A.No Group Specified5-1-1985
USING EXPERIENCE IN LEARNING AND PROBLEM SOLVINGMIT-LCS-TR-441Koton, P.K.No Group Specified3-1-1989
COMPUTER ANALYSIS OF VISUAL PROPERTIES OF CURVED OBJECTSMIT-LCS-TR-082Krakauer, L.J.No Group Specified5-1-1971
Efficient Web Browsing for Mobile Clients using HTTP CompressionMIT-LCS-TR-882Krashinsky, RonnyComputer Architecture1-21-2003
FINDING FARTHEST NEIGHBORS IN A CONVEX POLYGON AND RELATED PROBLEMSMIT-LCS-TR-437Kravels, D.No Group Specified1-1-1989
COMBINATORIAL GEOMETRIC OPTIMIZATIONMIT-LCS-TR-558Kravets, D.No Group Specified8-1-1992
A MICROCOMPUTER NETWORK SIMULATION SYSTEMMIT-LCS-TR-208Krizan, B.C.No Group Specified2-1-1979
VIDEO GAMES AND COMPUTER AIDED INSTRUCTIONMIT-LCS-TR-298Krugler, K.No Group Specified6-1-1983
Closing the Window of Vulnerability in Multiphase memory transaction: The alewife transaction storeMIT-LCS-TR-594Kubiatowicz, J.Computer Architecture2-1-1993
Integrated Shared-Memory and Message-Passing Communication in the Alewife MultiprocessorMIT-LCS-TR-744Kubiatowicz, J.D.No Group Specified1-1-1998
Theoretical Analysis of Geographic Routing in Social NetworksMIT-LCS-TR-990Kumar, RaviTheory of Computation6-3-2005
Object Models, Heaps and InterpretationsMIT-LCS-TR-816Kuncak, ViktorComputer Architecture1-8-2001
Roles Are Really Great!MIT-LCS-TR-822Kuncak, ViktorComputer Architecture8-3-2001
Typestate Checking and Regular Graph ConstraintsMIT-LCS-TR-863Kuncak, ViktorComputer Architecture9-30-2002
On the Theory of Structural SubtypingMIT-LCS-TR-879Kuncak, ViktorComputer Architecture1-20-2003
On The Boolean Algebra of Shape Analysis ConstraintsMIT-LCS-TR-916Kuncak, ViktorComputer Architecture8-22-2003
On Role LogicMIT-LCS-TR-925Kuncak, ViktorComputer Architecture10-24-2003
On Decision Procedures for Set-Value FieldsMIT-LCS-TR-975Kuncak, ViktorComputer Architecture11-30-2004
On Spatial Conjunction as Second-Order LogicMIT-LCS-TR-970Kuncak, ViktorComputer Architecture10-25-2004
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger ArithmeticMIT-LCS-TR-958Kuncak, ViktorComputer Architecture7-19-2004
On Generalized Records and Spatial Conjunction in Role LogicMIT-LCS-TR-942Kuncak, ViktorComputer Architecture4-6-2004
On Relational Analysis of Algebraic DatatypesMIT-LCS-TR-985Kuncak, ViktorComputer Architecture4-5-2005
INTELLIGENT PHYSIOLOGIC MODELINGMIT-LCS-TR-360Kunstaetter, R.No Group Specified4-1-1986
ANALYSIS AND SPECIFICATION OF OFFICE PROCEDURESMIT-LCS-TR-275Kunuin, J.S.No Group Specified2-1-1982
Performance Nonmonotonicities: A Case Study of the UltraSPARC ProcessorMIT-LCS-TR-782Kushman, N.Scientific Computing6-1-1998
TYPE CHECKING IN VIMVALMIT-LCS-TR-321Kuszmaul, B.C.No Group Specified6-1-1984
SIMULATING APPLICATIVE ARCHITECTURES ON THE CONNECTION MACHINEMIT-LCS-TR-362Kuszmaul, B.C.No Group Specified6-1-1986
Synchronized MIMD ComputingMIT-LCS-TR-645Kuszmaul, B.C.Scientific Computing5-1-1994
PROCEEDINGS OF THE 1991 MIT STUDENT WORKSHOP ON VLSI AND PARALLEL SYSTEMSMIT-LCS-TR-513L., C.S.No Group Specified8-1-1991
LAZY REPLICATION: EXPLOITING THE SEMANTICS OF DISTRIBUTED SERVICESMIT-LCS-TR-484Ladin, R.Programming Methodology7-1-1990
A TECHNIQUE FOR CONSTRUCTING HIGHLY-AVAILABLE SERVICESMIT-LCS-TR-409Ladin, RivkaProgramming Methodology1-1-1988
A Type System and Analysis for the Automatic Extraction and Enforcement of Design InformationMIT-LCS-TR-874Lam, PatrickComputer Architecture12-5-2002
On Our Experience with Modular Pluggable AnalysesMIT-LCS-TR-965Lam, PatrickComputer Architecture10-4-2004
On Modular Pluggable Analyses Using Set InterfacesMIT-LCS-TR-933Lam, PatrickComputer Architecture12-18-2003
NAMING IN A PROGRAMMING SUPPORT ENVIRONMENTMIT-LCS-TR-312Lancaster, J.N.No Group Specified8-1-1983
ALGORITHMS FOR INTEGRATED CIRCUIT LAYOUT: AN ANALYTIC APPROACHMIT-LCS-TR-248LaPaugh, A.S.No Group Specified11-1-1980
ON COMPUTING GALOIS GROUPS AND ITS APPLICATION TO SOLVABILITY BY RADICALSMIT-LCS-TR-288Laudau, S.E.No Group Specified3-1-1983
SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONSMIT-LCS-TR-203Laventhal, M.S.No Group Specified7-1-1978
VERIFICATION OF PROGRAMS OPERATING ON STRUCTURED DATAMIT-LCS-TR-124Laventhal, M.S.No Group Specified3-1-1974
ON THE SIMULATION OF DYNAMIC SYSTEMS WITH LUMPED PARAMETERS AND TIME DELAYSMIT-LCS-TR-045Leal-Cantu, N.No Group Specified10-1-1967
VERIFYING OBJECT-ORIENTED PROGRAMS THAT USE SUBTYPESMIT-LCS-TR-439Leavens, G.T.Programming Methodology2-1-1989
THE MDL PROGRAMMING ENVIRONMENTMIT-LCS-TR-294Lebling, P.D.No Group Specified5-1-1980
A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGESMIT-LCS-TR-060Ledgard, H.F.No Group Specified4-1-1969
Investigation of a Preemptive Network ArchitectureMIT-LCS-TR-621Lefelhocz, C.JAdvanced Network Architecture5-1-1994
Reducing Synchronization Overhead in Parallel SimulationMIT-LCS-TR-655Legedza, U.No Group Specified5-1-1995
LAYOUTS FOR THE SHUFFLE-EXCHANGE GRAPH AND LOWER BOUND TECHNIQUES FOR VLSIMIT-LCS-TR-274Leighton, F.T.No Group Specified8-1-1982
Proceedings of the 1993 MIT Student Workshop on Supercomputing TechnologiesMIT-LCS-TR-575Leiserson, C.No Group Specified8-1-1993
Proceedings of the 1994 MIT Student Workshop on Scalable ComputingMIT-LCS-TR-622Leiserson, C.Scientific Computing7-1-1994
Proceedings of the 1998 MIT Student Workshop on High-Performance Computing in Science and EngineeringMIT-LCS-TR-737Leiserson, C.E.No Group Specified1-1-1998
PROCEEDINGS OF THE 1992 MIT STUDENT WORKSHOP ON VLSI AND PARALLEL SYSTEMSMIT-LCS-TR-546Leiserson, C.E.No Group Specified7-1-1992
THE CATEGORY OF FUNCTORS FROM STATE SHAPES TO BOTTOMLESS CPOs IS ADEQUATE FOR BLOCK STRUCTUREMIT-LCS-TR-564Lent, A.F.No Group Specified1-1-1993
EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State ManagementMIT-LCS-TR-963Leong, BenProgramming Methodology8-13-2004
KNOWLEDGE REPRESENTATION FOR SUPPORTING DECISION MODEL FORMULATION IN MEDICINEMIT-LCS-TR-504Leong, T.No Group Specified6-1-1991
An Integrated Approach to Dynamic Decision Making under UncertaintyMIT-LCS-TR-631Leong, T.Clinical Decision Making8-1-1994
Correlated Equilibrium Via Stable Pre-PlayMIT-LCS-TR-918Lepinski, MatthewCryptography and Information Security6-30-2003
COST ANALYSIS OF DEBUGGING SYSTEMS*MIT-LCS-TR-090Lester, B.P.No Group Specified9-1-1971
Message-Driven DynamicsMIT-LCS-TR-721Lethin, R.A.No Group Specified7-1-1997
FAULT TOLERANCE IN PACKET COMMUNICATION COMPUTER ARCHITECTURESMIT-LCS-TR-250Leung, C.K.C.No Group Specified12-1-1980
PADL--A PACKET ARCHITECTURE DESCRIPTION LANGUAGE: A PRELIMINARY REFERENCE MANUALMIT-LCS-TR-306Leung, K.C.No Group Specified10-1-1983
A CONCEPT OF INDEPENDENCE WITH APPLICATIONS IN VARIOUS FIELDS OF MATHEMATICSMIT-LCS-TR-235Levin, L.A.No Group Specified5-1-1980
MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTSMIT-LCS-TR-131Levin, M.No Group Specified6-1-1974
Experimental Study of Minimum Cut AlgorithmsMIT-LCS-TR-719Levine, M.S.No Group Specified5-1-1997
FACILITATING INTERPROCESS COMMUNICATION IN A HETEROGENEOUS NETWORK ENVIRONMENTMIT-LCS-TR-184Levine, P.H.No Group Specified7-1-1977
MACE: A MULTIPROCESSING APPROACH TO CIRCUIT EXTRACTIONMIT-LCS-TR-378Levitin, S.M.No Group Specified10-1-1986
IN-PROCESS MANUFACTURING QUALITY CONTROLMIT-LCS-TR-083Lewin, D.No Group Specified1-1-1971
Improving Application-level Network Services with RegionsMIT-LCS-TR-897Li, JiAdvanced Network Architecture5-22-2003
How Much of a Hypertree can be Captured by Windmills?MIT-LCS-TR-978Liang, PercyAlgorithms1-3-2005
A Dynamic Data Structure for Checking HyperacyclicityMIT-LCS-TR-977Liang, PercyAlgorithms1-3-2005
Tetris is Hard, Even to ApproximateMIT-LCS-TR-865Liben-Nowell, DavidTheory of Computation10-21-2002
Finding Longest Increasing and Common Subsequences in Streaming DataMIT-LCS-TR-931Liben-Nowell, David11-26-2003
Reactive Synchronization Algorithms for MultiprocessorsMIT-LCS-TR-664Lim, B.Computer Architecture6-1-1995
WAITING ALGORITHMS FOR SYNCHRONIZATION IN LARGE-SCALE MULTIPROCESSORSMIT-LCS-TR-498Lim, B.H.No Group Specified2-1-1991
A Programming system for the Dynamic Manipulation of Temporally Sensitive DataMIT-LCS-TR-637Lindblad, C.J.Parallel and Distributed Operating Systems8-1-1994
PRODUCTIVITY IN PARALLEL COMPUTATION SCHEMATAMIT-LCS-TR-111Linderman, J.P.No Group Specified12-1-1973
EFFICIENT AT-MOST-ONCE MESSAGES BASED ON SYNCHRONIZED CLOCKSMIT-LCS-TR-476Liskov, B.Programming Methodology4-1-1990
CLU REFERENCE MANUALMIT-LCS-TR-225Liskov, B.No Group Specified10-1-1979
Theta Reference ManualMIT-LCS-TR-668Liskov, B.Programming Methodology2-8-1995
REPORT ON WORKSHOP ON RESEARCH IN EXPERIMENTAL COMPUTER SCIENCEMIT-LCS-TR-540Liskov, B.Programming Methodology6-1-1992
A HISTORY OF CLUMIT-LCS-TR-561Liskov, B.Programming Methodology9-1-1993
FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPINGMIT-LCS-TR-562 B (replaces 562)Liskov, B.Programming Methodology8-1-1993
ARGUS REFERENCE MANUALMIT-LCS-TR-400Liskov, B.No Group Specified11-1-1987
Safe Lazy Software Upgrades in Object-Oriented DatabasesMIT-LCS-TR-851Liskov, BarbaraProgramming Methodology6-7-2002
Byzantine Clients Rendered HarmlessMIT-LCS-TR-994Liskov, BarbaraProgramming Methodology7-21-2005
DESIGN AND IMPLEMENTATION OF A TABLE-DRIVEN COMPILER SYSTEMMIT-LCS-TR-042Liu, C.L.No Group Specified7-1-1967
Formal Verification of Safety-Critical Hybrid SystemsMIT-LCS-TR-730Livadas, C.No Group Specified9-1-1997
The Case for Exploiting Packet Loss Locality in Multicast Loss RecoveryMIT-LCS-TR-867Livadas, CarolosTheory of Computation10-30-2002
A Formal Venture into Reliable Multicast TerritoryMIT-LCS-TR-868Livadas, CarolosTheory of Computation11-5-2002
A Reliable Broadcast Scheme for Sensor NetworksMIT-LCS-TR-915Livadas, CarolosTheory of Computation8-11-2003
SCHEDULING TASK SYSTEMS WITH RESOURCESMIT-LCS-TR-236Lloyd, E.L.No Group Specified5-1-1980
A PROGRAM WRITERMIT-LCS-TR-187Long, W.J.No Group Specified11-1-1977
SIMULATIONS AMONG MULTIDIMENSIONAL TURING MACHINESMIT-LCS-TR-242Loui, M.C.No Group Specified8-1-1980
TYPES AND EFFECTS TOWARDS THE INTEGRATION OF FUNCTIONAL AND IMPERATIVE PROGRAMMINGMIT-LCS-TR-408Lucassen, J.M.No Group Specified8-1-1987
BOSTON COMMUNITY INFORMATION SYSTEM USER MANUAL(Version 6.0)MIT-LCS-TR-352LucassenJ.M., No Group Specified4-1-1986
A SYNCHRONOUS COMPUTATIONAL STRUCTURESMIT-LCS-TR-049Luconi, F.L.No Group Specified2-1-1968
SYNCHRONIZING CLOCKS IN A DISTRIBUTED SYSTEMMIT-LCS-TR-335Lundelius, J.No Group Specified8-1-1984
THE ARCHITECTURE OF AN OBJECT BASED PERSONAL COMPUTERMIT-LCS-TR-232Luniewski, A.No Group Specified3-1-1980
A SIMPLE AND FLEXIBLE SYSTEM INITIALIZATION MECHANISMMIT-LCS-TR-180Luniewski, A.No Group Specified5-1-1977
I/O Automaton Models and Proofs for Shared-Key Communication SystemsMIT-LCS-TR-789Lynch, N.No Group Specified8-9-1999
CORRECTNESS CONDITIONS FOR HIGHLY AVAILABLE REPLICATED DATABASESMIT-LCS-TR-364Lynch, N.No Group Specified6-1-1986
CONCURRENCY CONTROL FOR RESILIENT NESTED TRANSACTIONSMIT-LCS-TR-285Lynch, N.A.No Group Specified2-1-1983
RELATIVIZATION OF THE THEORY OF COMPUTATION COMPLEXITYMIT-LCS-TR-099Lynch, N.A.No Group Specified6-1-1972
INTRODUCTION TO THE THEORY OF NESTED TRANSACTIONSMIT-LCS-TR-367Lynch, N.A.No Group Specified7-1-1986
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMSMIT-LCS-TR-387Lynch, N.A.No Group Specified4-1-1987
Hybrid I/O AutomataMIT-LCS-TR-827Lynch, NancyTheory of Computation9-28-2001
Compositionality for Probabilistic AutomataMIT-LCS-TR-907Lynch, NancyTheory of Computation6-30-2003
Motion Coordination Using Virtual NodesMIT-LCS-TR-986Lynch, NancyTheory of Computation4-6-2005
MultiChord: A Resilient Namespace Management ProtocolMIT-LCS-TR-936Lynch, NancyTheory of Computation2-19-2004
MULTILEVEL ATOMICITY-A NEW CORRECTNESS CRITERION FOR DATABASE CONCURRENCY CONTROLMIT-LCS-TR-281Lynch, Nancy A.No Group Specified8-1-1982
A Double-Pulsed Set-Conditional-Reset Flip-FlopMIT-LCS-TR-844Ma, AlbertComputer Architecture5-1-2002
Integrating Compile-time and Runtime Parallelism Management Through Revocable Thread SerializationMIT-LCS-TR-669Maa, G.K.Computer Architecture2-1-1995
CODE-MAPPING POLICIES FOR THE TAGGED-TOKEN DATAFLOW ARCHITECTUREMIT-LCS-TR-425Maa, G.K.No Group Specified5-1-1988
An Efficient Virtual Network Interface in the Fugu Scalable WorkstationMIT-LCS-TR-745Mackenzie, K.No Group Specified1-1-1998
DESIGN STRATEGIES FOR FILE SYSTEMSMIT-LCS-TR-078Madnick, S.E.No Group Specified10-1-1970
STORAGE HIERARCHY SYSTEMSMIT-LCS-TR-107Madnick, S.E.No Group Specified4-1-1973
LOCALITY IN PARALLEL COMPUTATIONMIT-LCS-TR-469Maggs, B.M.No Group Specified9-1-1989
DISTRIBUTED GARBAGE COLLECTION IN A CLIENT-SERVER, TRANSACTION, PERSISTENT OBJECT SYSTEMMIT-LCS-TR-574Maheshwari, U.Programming Methodology8-1-1993
Partitioned Garbage Collection of a Large Object StoreMIT-LCS-TR-699Maheshwari, U.Programming Methodology2-1-1997
HULA: An Efficient Protocol for Reliable Delivery of MessagesMIT-LCS-TR-720Maheshwari, U.No Group Specified7-1-1997
Garbage Collection in a Large, Distributed Object StoreMIT-LCS-TR-727Maheshwari, U.Programming Methodology9-1-1997
Distributed Cooporation in the Absence of CommunicationMIT-LCS-TR-804Malewicz, GregTheory of Computation4-20-2000
COMPACTION WITH AUTOMATIC JOG INTRODUCTIONMIT-LCS-TR-372Maley, F.M.No Group Specified11-1-1986
SINGLE-LAYER WIRE ROUTINGMIT-LCS-TR-403Maley, F.M.No Group Specified8-1-1987
DESIGN CRITERIA FOR A KNOWLEDGE-BASED ENGLISH LANGUAGE SYSTEM FOR MANAGEMENT: AN EXPERIMENTAL ANALYSISMIT-LCS-TR-146Malhotra, A.No Group Specified2-1-1975
Distributing Information for Collaborative Filtering on Usenet Net NewsMIT-LCS-TR-603Maltz, D.A.Advanced Network Architecture5-1-1994
FURTHER RESULTS ON HIERARCHIES OF CANONIC SYSTEMSMIT-LCS-TR-100Mandl, R.No Group Specified6-1-1972
AUTONOMOUS, SYNCHRONOUS COUNTERS CONSTRUCTED ONLY OF J-K FLIP -FLOPSMIT-LCS-TR-096Manning, F.No Group Specified5-1-1972
AUTOMATIC TEST, CONFIGURATION AND REPAIR OF CELLULAR ARRAYSMIT-LCS-TR-151Manning, F.No Group Specified6-1-1975
A Study on Out-of-Volcabulary Word Modeling for a Segment-Based Keyword Spotting SystemMIT-LCS-TR-694Manos, A.S.Spoken Language Systems4-1-1996
ON THE COMPLEXITY OF COMPUTING ALGEBRAIC FUNCTIONSMIT-LCS-TR-481Mansour, Y.No Group Specified9-1-1990
EXPLOITING PARALLELISM IN VLSI CADMIT-LCS-TR-363Marantz, J.D.No Group Specified1-1-1986
WORD AND SUBWORD MODELING IN A SEGMENT-BASED HMM WORD SPOTTER USING A DATA ANALYTIC APPROACHMIT-LCS-TR-549Marcus, J.N.No Group Specified7-1-1992
PHYSICS AND COMPUTATIONMIT-LCS-TR-415Margolus, N.H.No Group Specified3-1-1988
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMSMIT-LCS-TR-299Marie Wing, JeannetteNo Group Specified5-1-1983
Generating Trees of (Reducible) 1324-avoiding PermutationsMIT-LCS-TR-924Marinov, Darko10-9-2003
A MODEL-DEBUGGING SYSTEMMIT-LCS-TR-125Mark, W.S.No Group Specified4-1-1974
THE REFORMULATION MODEL OF EXPERTISEMIT-LCS-TR-172Mark, W.S.No Group Specified12-1-1976
CENTRAL-SERVER-BASED ORPHAN DETECTION FOR ARGUSMIT-LCS-TR-485Markowitz, S.C.Programming Methodology5-1-1990
On Algorithms and Complexity for Sets with Cardinality ConstraintsMIT-LCS-TR-997Marnette, BrunoComputer Architecture8-3-2005
PRELIMINARY ANALYSIS OF A BREADTH-FIRST PARSING ALGORITHM: THEORETICAL AND EXPERIMENTAL RESULTSMIT-LCS-TR-261Martin, W.A.No Group Specified6-1-1981
SYMBOLIC MATHEMATICAL LABORATORYMIT-LCS-TR-036Martin, W.A.No Group Specified1-1-1967
A LAYERED VIRTUAL MEMORY MANAGERMIT-LCS-TR-177Mason, A.H.No Group Specified5-1-1977
THE COMPLEXITY OF THE FIN ITE CONTAINMENT PROBLEM FOR PETRI NETSMIT-LCS-TR-181Mayr, E.W.No Group Specified6-1-1977
Predicting Problems Caused by Component UpgradesMIT-LCS-TR-941McCamant, StephenProgram Analysis3-30-2004
Efficient, Verifiable Binary Sandboxing for a CISC ArchitectureMIT-LCS-TR-988McCamant, StephenProgram Analysis5-2-2005
A Model for Interactive Computation: Applications to Speech ResearchMIT-LCS-TR-753McCandless, M.No Group Specified6-1-1998
Automatic Acquisition of Language Models for Speech RecognitionMIT-LCS-TR-627McCandless, M.K.Spoken Language Systems6-1-1994
A SEMANTIC DATA BASE MODEL AND ITS ASSOCIATED STRUCTURED USER INTERFACEMIT-LCS-TR-214McLeod, D.No Group Specified3-1-1979
HIGH LEVEL EXPRESSION OF SEMANTIC INTEGRITY SPECIFICATIONS IN A RELATIONAL DATA BASE SYSTEMMIT-LCS-TR-165McLeod, D.No Group Specified9-1-1976
Fine-Grained Control of Java Applets Using a Simple Constraint LanguageMIT-LCS-TR-713Mehta, N.V.Advanced Network Architecture6-1-1997
A PRELIMINARY STUDY IN COMPUTER-AIDED LEGAL ANALYSISMIT-LCS-TR-157Meldman, J.A.No Group Specified11-1-1975
THE USE OF DISTINCTIVE FEATURES FOR AUTOMATIC SPEECH RECOGNITIONMIT-LCS-TR-515Meng, H.No Group Specified9-1-1991
Phonological Parsing for Bi-directional Letter-to-Sound/Sound-to-Letter GenerationMIT-LCS-TR-687Meng, H.M.Spoken Language Systems6-1-1995
Managing Scheduled Routing with a High-level Communication LanguageMIT-LCS-TR-725Metcalf, C.D.Computer Architecture8-1-1997
PACKET COMMUNICATIONMIT-LCS-TR-114Metcalfe, R.M.No Group Specified12-1-1973
SECURE COMPUTATION (Preliminary Report)MIT-LCS-TR-511Micali, S.No Group Specified8-1-1991
Fair Cryptosystems(Replaces TR-579.b)MIT-LCS-TR-579Micali, S.No Group Specified8-1-1994
MULTI-SCHEME: A PARALLEL PROCESSING SYSTEM BASED ON MIT SCHEMEMIT-LCS-TR-402Miller, J.No Group Specified9-1-1987
ON-LINE ANALYSIS FOR SOCIAL SCIENTISTSMIT-LCS-TR-040Miller, J.R.No Group Specified5-1-1967
STRATEGY SELECTION IN MEDICAL DIAGNOSISMIT-LCS-TR-153Miller, P.B.No Group Specified9-1-1975
AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTIONMIT-LCS-TR-085Miller, P.L.No Group Specified5-1-1971
Fault-Tolerant and 3-Dimensional Topology Control Algorithms for Wireless Ad Hoc NetworksMIT-LCS-TR-862Mirrokni, VahabTheory of Computation9-16-2002
Quickstep: A System for Performance Monitoring and Debugging Parallel Applications on the Alewife MultiprocessorMIT-LCS-TR-649Mitra, S.Computer Architecture1-1-1995
Application of Hybrid I/O Automata in Safety Verification of Pitch Controller for Model Heliocopter SystemMIT-LCS-TR-880Mitra, SayanTheory of Computation1-14-2003
Snapsshots in a Distributed Persistent Object Storage SystemMIT-LCS-TR-901Moh, Chuang-HueProgramming Methodology5-27-2003
Loop Analysis and Natural SelectionMIT-LCS-TR-787Mohtashemi, M.Clinical Decision Making1-1-0
A Selection Model of Mortality CrossoverMIT-LCS-TR-788Mohtashemi, M.Clinical Decision Making1-1-0
On the Cryptanalysis of Huffman CodesMIT-LCS-TR-617Mohtashemi, M.Theory of Computation5-1-1992
FUNDAMENTAL DESIGN PROBLEMS OF DISTRIBUTED SYSTEMS FOR THE HARD-REAL-TIME ENVIRONMENTMIT-LCS-TR-297Mok, A.K.No Group Specified6-1-1983
COMPLEXITY CLASSES OF RECURSIVE FUNCTIONSMIT-LCS-TR-110Moll, R.No Group Specified6-1-1973
Managing the 802.11 Energy/Performance Tradeoff with Machine LearningMIT-LCS-TR-971Monteleoni, ClaireNetworks and Mobile Systems10-27-2004
ROBUST CONCURRENCY CONTROL FOR A DISTRIBUTED INFORMATION SYSTEMMIT-LCS-TR-207Montgomery, W.A.No Group Specified1-1-1979
A SECURE AND FLEXIBLE MODEL OF PROCESS INITIATION FOR A COMPUTER UTILITYMIT-LCS-TR-163Montgomery, W.A.No Group Specified6-1-1976
SAFETY AND OPTIMIZATION TRANSFORMATIONS FOR DATA FLOW PROGRAMSMIT-LCS-TR-240Montz, L.B.No Group Specified7-1-1980
ID WORLD: AN ENVIRONMENT FOR THE DEVELOPMENT OF A DATAFLOW PROGRAMS WRITTEN IN IDMIT-LCS-TR-365Morais, D.R.No Group Specified5-1-1986
A RELATIVE-MOTION MICROWORLDMIT-LCS-TR-347Morecroft, L.ENo Group Specified9-1-1985
Exploring Optimal Cost-Performance Designs for RAW processorsMIT-LCS-TR-754Moritz, C.A.Computer Architecture6-1-1998
LAMBDA CALCULUS MODELS OF PROGRAMMING LANGUAGESMIT-LCS-TR-057Morris, James H.No Group Specified12-1-1968
A SCALABLE MULTIPROCESSOR ARCHITECTURE USING CARTESIAN NETWORK-RELATIVE ADDRESSINGMIT-LCS-TR-467Morrison, J.D.No Group Specified12-1-1989
SYMBOLIC INTEGRATIONMIT-LCS-TR-047Moses, J.No Group Specified12-1-1967
PROGRAMMING SIMULTANEOUS ACTION USING COMMON KNOWLEDGEMIT-LCS-TR-369Moses, Y.No Group Specified2-1-1987
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTINGMIT-LCS-TR-260Moss, E.B.No Group Specified4-1-1981
ABSTRACT DATA TYPES IN STACK BASED LANGUAGESMIT-LCS-TR-190Moss, E.B.No Group Specified2-1-1978
ROUTING THE POWER AND GROUND WIRES ON A VLSI CHIPMIT-LCS-TR-322Moulton, A.S.No Group Specified5-1-1984
CALVIN: A RULE BASED EXPERT SYSTEM FOR IMPROVING ARRHYHMIA DETECTOR PERFORMANCE DURING NOISY ECGSMIT-LCS-TR-406Muldrow, W.K.No Group Specified9-1-1987
Building an Active Node on the InternetMIT-LCS-TR-723Murphy, D.No Group Specified5-1-1997
Etna: a Fault-tolerant Algorithm for Atomic Mutable DHT DataMIT-LCS-TR-993Muthitacharoen, AthichaParallel and Distributed Operating Systems6-15-2005
Mostly-Static Decentralized Information Flow ControlMIT-LCS-TR-783Myers, A.Programming Methodology1-1-1999
Fast Object Operations in a Persistent Programming SystemMIT-LCS-TR-599Myers, A.C.Programming Methodology1-1-1994
ANALYSIS OF THE SIMPLE CODE FOR DATAFLOW COMPUTATIONMIT-LCS-TR-216Myers, J.M.No Group Specified5-1-1979
Verifying Distributed Algorithms via Dynamic Analysis and Theorem ProvingMIT-LCS-TR-841Ne Win, TohProgram Analysis5-25-2002
Concurrent Garbage Collection of Persistent HeapsMIT-LCS-TR-569Nettles, S.No Group Specified6-1-1993
RANDOMNESS AND ROBUSTNESS IN HYPERCUBE COMPUTATIONMIT-LCS-TR-500Newman, M.J.No Group Specified4-1-1991
LONG ATOMIC COMPUTATIONSMIT-LCS-TR-377Ng, P.No Group Specified10-1-1986
Efficient Garbage Collection for Large Object-Oriented DatabasesMIT-LCS-TR-692Ng, T.C.Programming Methodology5-1-1996
Using Cyclic Memory Allocation to Eliminate Memory LeaksMIT-LCS-TR-1008Nguyen, Huu HaiComputer Architecture10-26-2005
compiler analysis to implement point-to-point synchronization in parallel programsMIT-LCS-TR-595Nguyen, J.Computer Architecture9-1-1993
ATTRIBUTE PARTITIONING IN A SELF-ADAPTIVE RELATIONAL DATA BASE SYSTEMMIT-LCS-TR-192Niamir, B.No Group Specified1-1-1978
Automatic Generation and Checking of Program SpecificationsMIT-LCS-TR-852Nimmer, JeremyProgram Analysis6-10-2002
MODELING SPEAKER VARIABILITY AND IMPOSING SPEAKER CONSTRAINTS IN PHONETIC CLASSIFICATIONMIT-LCS-TR-533Niyogi, P.No Group Specified2-1-1992
ADEPT. A HEURISTIC PROGRAM FOR PROVING THEOREMS OF GROUP THEORYMIT-LCS-TR-033Norton, L.M.No Group Specified10-1-1966
Run-time Thread Management for Large-Scale Distributed-Memory MultiprocessorsMIT-LCS-TR-596Nussbaum, D.Computer Architecture9-1-1993
COMMUNICATION PATTERNS IN A SYMBOLIC MULTIPROCESSORMIT-LCS-TR-395Nuth, P.R.No Group Specified6-1-1987
RELIABLE OBJECT STORAGE TO SUPPORT ATOMIC ACTIONSMIT-LCS-TR-308Oki, B.M.No Group Specified5-1-1983
VIEWSTAMPED REPLICATION FOR HIGHLY AVAILABLE DISTRIBUTED SYSTEMSMIT-LCS-TR-423Oki, B.M.No Group Specified8-1-1988
A SIGNAL PROCESSING LANGUAGE FOR COARSE GRAIN DATAFLOW MULTIPROCESSORSMIT-LCS-TR-449Onanian, J.S.No Group Specified6-1-1989
SPECULATIVE COMPUTATION IN MULTILISPMIT-LCS-TR-464Osborne, R.B.No Group Specified12-1-1989
MODELING THE PERFORMANCE OF THE CONCERT MULTIPROCESSORMIT-LCS-TR-375Osborne, R.B.No Group Specified5-1-1987
Efficient Consistency Proofs on a Committed DatabaseMIT-LCS-TR-887Ostrovsky, RafailTheory of Computation2-27-2003
PRIMARY ACCESS CONTROL IN LARGE-SCALE TIME-SHARED DECISION SYSTEMS*MIT-LCS-TR-089Owens, R.C.No Group Specified7-1-1971
Eclat: Automatic Generation and Classification of Test InputsMIT-LCS-TR-968Pacheo, CarlosProgram Analysis10-14-2004
Relieving Hot Spots on the World Wide WebMIT-LCS-TR-716Panigrahy, R.No Group Specified6-1-1997
SERIALIZABILITY OF CONCURRENT DATA BASE UPDATESMIT-LCS-TR-210Papadimitriou, C.H.No Group Specified3-1-1979
IMPLEMENTATION OF A GENERAL PURPOSE DATAFLOW MULTIPROCESSORMIT-LCS-TR-432Papadopoulos, G.M.No Group Specified12-1-1988
ON RETIMING SYNCHRONOUS CIRCUITRY AND MIXED-INTEGER OPTIMIZATIONMIT-LCS-TR-486Papaefthymiou, M.C.No Group Specified9-1-1990
A Timing Analysis and Optimization System for Level-clocked CircuitryMIT-LCS-TR-605Papaefthymiou, M.C.Theory of Computation9-1-1993
CAUSAL REPRESENTATION OF PATIENT ILLNESS FOR ELECTROLYTE AND ACID-BASE DIAGNOSISMIT-LCS-TR-267Patil, R.S.No Group Specified10-1-1981
COORDINATION OF ASYNCHRONOUS EVENTSMIT-LCS-TR-072Patil, S.S.No Group Specified6-1-1970
A Theory of Clock SynchronizationMIT-LCS-TR-680Patt, B.Theory of Computation10-1-1994
PERFORMANCE ASSERTION CHECKINGMIT-LCS-TR-551Perl, S.E.No Group Specified9-1-1992
DISTRIBUTED COMMIT PROTOCOLS FOR NESTED ATOMIC ACTIONSMIT-LCS-TR-431Perl, S.E.No Group Specified11-1-1988
NETWORK LAYER PROTOCOLS WITH BYZANTINE ROBUSTNESSMIT-LCS-TR-429Perlman, R.No Group Specified10-1-1988
THE COMPUTER CONTROL OF CHANGING PICTURESMIT-LCS-TR-135Pfister, G.F.No Group Specified9-1-1974
A Distributed Programming System for Media ApplicationsMIT-LCS-TR-648Phillips, B.M.Parallel and Distributed Operating Systems2-1-1995
THEORETICAL AND EXPERIMENTAL ANALYSES OF PARALLEL COMBINATORIAL ALGORITHMSMIT-LCS-TR-462Phillips, C.A.No Group Specified10-1-1989
THE IMPACT OF LAYER ASSIGNMENT METHODS ON LAYOUT ALGORITHMS FOR INTEGRATED CIRCUITSMIT-LCS-TR-291Pinter, R.Y.No Group Specified8-1-1983
THE REVISED MACLISP MANUALMIT-LCS-TR-295Pitman, K.M.No Group Specified6-1-1983
GRAPH-THEORETIC TECHNIQUES FOR PARALLEL, DISTRIBUTED, AND SEQUENTIAL COMPUTATIONMIT-LCS-TR-430Plotkin, S.A.No Group Specified9-1-1988
THE REAL-TIME COST OF TIMING UNCERTAINTY: CONSENSUS AND FAILURE DETECTIONMIT-LCS-TR-518Ponzio, S.No Group Specified11-1-1991
Restricted Branching Programs and Hardware VerificationMIT-LCS-TR-663Ponzio, S.J.Theory of Computation8-1-1995
STRUCTURE DRIVEN MULTIPROCESSOR COMPILATION OF NUMERIC PROBLEMSMIT-LCS-TR-502Prasanna, G.N.S.No Group Specified4-1-1991
SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGICMIT-LCS-TR-168Pratt, V.R.No Group Specified9-1-1976
A FORMALIZATION OF THE STATE MACHINE SPECIFICATION TECHNIQUEMIT-LCS-TR-202Principato, R.N.No Group Specified7-1-1978
Anchor-Free Distributed Localization in Sensor NetowrksMIT-LCS-TR-892Priyantha, Nissanka B.Computer Graphics4-15-2003
EQUIVALENCE PROBLEMS FOR MONADIC SCHEMASMIT-LCS-TR-152Qualitz, J.E.No Group Specified6-1-1975
Group Communication Specifications: A Comprehensive StudyMIT-LCS-TR-790R. Vitenberg, Theory of Computation9-17-1999
DIGITALIZED SIGNATURES AND PUBLIC-KEY FUNCTIONS AS INTRACTABLE AS FACTORIZATIONMIT-LCS-TR-212Rabin, M.O.No Group Specified1-1-1979
PROBABILISTIC ALGORITHM IN FINITE FIELDSMIT-LCS-TR-213Rabin, M.O.No Group Specified1-1-1979
THE EMPTINESS AND COMPLEMENTATION PROBLEMS FOR AUTOMATA ON INFINITE TREESMIT-LCS-TR-106Rackoff, C.No Group Specified1-1-1973
THE COMPUTATIONAL COMPLEXITY OF SOME LOGICAL THEORIESMIT-LCS-TR-144Rackoff, C.No Group Specified2-1-1975
Matrix Approximation and Projective Clustering via Iterative SamplingMIT-LCS-TR-983Rademacher, LuisAlgorithms3-29-2005
Towards Realizing the Performance and Availability Benefits of a Global Overlay NetworkMIT-LCS-TR-1009Rahul, HariharanNetworks and Mobile Systems11-1-2005
Access-Controlled Resource Discovery for Pervasive NetworksMIT-LCS-TR-870Raman, SanjayComputation Structures9-11-2002
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETSMIT-LCS-TR-120Ramchandani, C.No Group Specified2-1-1974
A CONSTRUCTIVE APPROACH TO ARTIFICIAL INTELLIGENCE REEXAMINEDMIT-LCS-TR-563Ramstad, R.No Group Specified7-1-1992
Cilk: Efficient Multithreaded ComputingMIT-LCS-TR-749Randall, K.Scientific Computing5-1-1998
SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVALMIT-LCS-TR-002Raphael, B.Project MAC6-0-1964
IMPLEMENTING MULTI-PROCESS PRIMITIVES IN A MULTIPLEXED COMPUTER SYSTEMMIT-LCS-TR-055Rappaport, R.L.No Group Specified11-1-1968
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMSMIT-LCS-TR-140Redell., D.D.No Group Specified11-1-1974
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEMMIT-LCS-TR-205Reed, D.P.No Group Specified10-1-1978
PROCESSOR MULTIPLEXING IN A LAYERED OPERATING SYSTEMMIT-LCS-TR-164Reed, D.P.No Group Specified7-1-1976
CACHE PERFORMANCE OF GARBAGE-COLLECTED PROGRAMMING LANGUAGESMIT-LCS-TR-581Reinhold, M.No Group Specified9-1-1993
TYPECHECKING IS UNDECIDABLE WHEN 'TYPE' IS A TYPEMIT-LCS-TR-458Reinhold, M.B.No Group Specified12-1-1989
THE EVENT BASED LANGUAGE AND ITS MULTIPLE PROCESSOR IMPLEMENTATIONSMIT-LCS-TR-226Reuveni, A.No Group Specified1-1-1980
THE BCPL REFERENCE MANUALMIT-LCS-TR-141Richards, M.No Group Specified12-1-1974
SHOULD A FUNCTION CONTINUE?MIT-LCS-TR-459Riecke, J.G.No Group Specified9-1-1989
THE LOGIC AND EXPRESSIBILITY OF SIMPLY-TYPED CALL-BY-VALUE AND LAZY LANGUAGESMIT-LCS-TR-523Riecke, J.G.No Group Specified12-1-1991
Credible CompilersMIT-LCS-TR-776Rinard, M.No Group Specified3-10-1999
Compositional Pointer and Escape Analysis for Multithreaded Java ProgramsMIT-LCS-TR-795Rinard, M.Computer Architecture11-19-1999
Enhancing Availability and Security Through Failure-Oblivious ComputingMIT-LCS-TR-935Rinard, MartinComputer Architecture2-6-2004
Time-lock Puzzles and Timed-release CryptoMIT-LCS-TR-684Rivest, R.L.Theory of Computation2-1-1996
A GRAPH MODEL FOR PARALLEL COMPUTATIONSMIT-LCS-TR-064Rodrigues, J.E.No Group Specified9-1-1969
Combining Abstraction with Byzantine Fault-ToleranceMIT-LCS-TR-850Rodrigues, RodrigoProgramming Methodology5-24-2001
Byzantine Fault Tolerance in Long-Lived SystemsMIT-LCS-TR-962Rodrigues, RodrigoProgramming Methodology8-13-2004
Rosebud: A Scalable Byzantine-Fault-Tolerant Storage ArchitectureMIT-LCS-TR-932Rodrigues, RodrigoProgramming Methodology12-17-2003
A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica MembershipMIT-LCS-TR-920Rodrigues, RodrigoProgramming Methodology9-25-2003
View-based abstraction: Enhancing Maintainability and Modularity in the presence of Implementation DependenciesMIT-LCS-TR-726Rodriguez, L.H.Mathematics and Computation9-12-1997
THE ROUND COMPLEXITY OF SECURE PROTOCOLSMIT-LCS-TR-503Rogaway, P.No Group Specified4-1-1991
USE OF CTSS IN A TEACHING ENVIRONMENTMIT-LCS-TR-014Roos, D.Project MAC11-0-1964
INCOMPREHENSIBLE COMPUTER SYSTEMS: KNOWLEDGE WITHOUT WISDOMMIT-LCS-TR-227Rosenberg, R.L.No Group Specified1-1-1980
COMPUTER LITERACY EDUCATIONMIT-LCS-TR-433Rosenberg, R.L.No Group Specified1-1-1989
A LOW-COST OUTPUT TERMINAL FOR TIME-SHARED COMPUTERS.MIT-LCS-TR-038Rosenburg, R.C.No Group Specified3-1-1967
DISPLAY MANAGEMENT IN AN INTEGRATED OFFICEMIT-LCS-TR-278Rosenstein, L.S.No Group Specified1-1-1982
VERBAL AND GRAPHICAL LANGUAGE FOR THE AED SYSTEM: A PROGRESS REPORTMIT-LCS-TR-004Ross, D.T.Project MAC5-0-1964
MAKING COMPUTERS KEEP SECRETSMIT-LCS-TR-115Rotenberg, L.No Group Specified2-1-1974
A PARALLEL ASYNCHRONOUS COMPUTER ARCHITECTURE FOR DATA FLOW PROGRAMSMIT-LCS-TR-150Rumbaugh, J.E.No Group Specified5-1-1975
Reasoning With Time Dependent DataMIT-LCS-TR-545Russ, T.Clinical Decision Making8-1-1991
A HEURISTIC APPROACH TO ALTERNATE ROUTING IN A JOB SHOPMIT-LCS-TR-019Russo, F.J.Project MAC6-0-1965
DATA DRIVEN LOOPSMIT-LCS-TR-244Ruth, G.R.No Group Specified8-1-1980
A VERY HIGH LEVEL LANGUAGE FOR BUSINESS DATA PROCESSINGMIT-LCS-TR-254Ruth, G.R.No Group Specified3-1-1981
ANALYSIS OF ALGORITHM IMPLEMENTATIONSMIT-LCS-TR-130Ruth, G.R.No Group Specified5-1-1974
A COMPUTER SYSTEM FOR DECISION ANALYSIS IN HODGKINS DISEASEMIT-LCS-TR-271Rutherford, C.J.No Group Specified2-1-1982
Effects of Loss Rate on Ad Hoc Wireless RoutingMIT-LCS-TR-836S.J. DeCouto, DouglasParallel and Distributed Operating Systems3-8-2002
QUALITATIVE MATHEMATICAL REASONINGMIT-LCS-TR-329Sacks, E.No Group Specified11-1-1984
AUTOMATIC QUALITATIVE ANALYSIS OF ORDINARY DIFFERENTIAL EQUATIONS USING PIECEWISE LINEAR APPROXIMATIONSMIT-LCS-TR-416Sacks, E.P.No Group Specified3-1-1988
TERMINAL AREA FLIGHT PATH GENERATION USING PARALLEL CONSTRAINT PROPAGATIONMIT-LCS-TR-451Sadoune, M.No Group Specified4-1-1991
Automatic Test Factoring for JavaMIT-LCS-TR-991Saff, DavidProgram Analysis6-8-2005
DIAGNOSTIC PLANNING AND CANCER MANAGEMENTMIT-LCS-TR-169Safran, C.No Group Specified9-1-1976
Randomness Versus Non-Determinism in Distributed ComputingMIT-LCS-TR-651Saias, A.I.Theory of Computation10-1-1994
A Type System for Safe Region-Based Memory Management in Real-Time JavaMIT-LCS-TR-869Salcianu, AlexandruComputer Architecture11-18-2002
Machine-Checkable Correctness Proofs forIntra-procedural Dataflow AnalysesMIT-LCS-TR-976Salcianu, AlexandruProgram Analysis12-16-2004
A Combined Pointer and Purity Analysis for Java ProgramsMIT-LCS-TR-949Salcianu, AlexandruComputer Architecture5-17-2004
INTRODUCTION TO MULTICSMIT-LCS-TR-123Saltzer, et alNo Group Specified2-1-1974
CTSS TECHNICAL NOTESMIT-LCS-TR-016Saltzer, J.H.Project MAC3-0-1965
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER SYSTEMMIT-LCS-TR-030Saltzer, J.H.No Group Specified7-1-1966
TIME SHARING ON A MULTICONSOLE COMPUTERMIT-LCS-TR-017Samuel, A.L.Project MAC3-0-1965
Video MatchingMIT-LCS-TR-947Sand, PeterComputer Graphics5-11-2004
INTERACTIVE ON-LINE CONFERENCESMIT-LCS-TR-330Sarin, S.K.No Group Specified6-1-1984
A FORMAL DEFINITION OF CLUMIT-LCS-TR-193Schaffert, C.No Group Specified1-1-1978
THE DESIGN AND ANALYSIS OF EFFICIENT LEARNING ALGORITHMSMIT-LCS-TR-493Schapire, R.E.No Group Specified2-1-1991
DIVERSITY-BASED INFERENCE OF FINITE AUTOMATAMIT-LCS-TR-413Schapire, R.E.No Group Specified5-1-1988
A DENOTATIONAL SEMANTICS OF CLUMIT-LCS-TR-201Scheifler, R.No Group Specified5-1-1978
THE X WINDOW SYSTEMMIT-LCS-TR-368Scheifler, R.W.No Group Specified10-1-1986
DYNAMIC RECONFIGURATION IN A MODULAR COMPUTER SYSTEMMIT-LCS-TR-086Schell, R.R.No Group Specified6-1-1971
COMPUTER AND DATA SECURITY: A COMPREHENSIVE ANNOTATED BIBLIOGRAPHYMIT-LCS-TR-122Scherf, J.A.No Group Specified1-1-1974
AN ANALYSIS OF TIME-SHARED COMPUTER SYSTEMSMIT-LCS-TR-018Scherr, A.L.Project MAC6-0-1965
INTERACTIVE DEBUGGING IN A DISTRIBUTED COMPUTATIONAL ENVIRONMENTMIT-LCS-TR-264Schiffenbauer, R.D.No Group Specified8-1-1981
PARTIAL EVALUATION AS A MEANS OF LANGUAGE EXTENSIBILITYMIT-LCS-TR-324Schooler, R.No Group Specified8-1-1984
COOPERATION OF MUTUALLY SUSPICIOUS SUBSYSTEMS IN A COMPUTER UTILITYMIT-LCS-TR-104Schroeder, M.D.No Group Specified9-1-1972
FINAL REPORT OF THE MULTICS KERNEL DESIGN PROJECTMIT-LCS-TR-196Schroeder, M.D.No Group Specified3-1-1978
EFFICIENT EMBEDDINGS AND SIMULATIONS FOR HYPERCUBIC NETWORKSMIT-LCS-TR-508Schwabe, E.J.No Group Specified6-1-1991
The Local Rules Dynamics Model for Self-Assembly SimulationMIT-LCS-TR-800Schwartz, R.No Group Specified2-1-2000
BOSTON COMMUNITY INFORMATION SYSTEM USER'S MANUALMIT-LCS-TR-373Segal, D.A.No Group Specified10-1-1987
A PROCESS ALGEBRAIC VIEW OF I/O AUTOMATAMIT-LCS-TR-557Segala, R.No Group Specified6-1-1992
Modeling and Verification of Randomized Distributed Real -Time SystemsMIT-LCS-TR-676Segala, R.Theory of Computation6-1-1996
NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSESMIT-LCS-TR-137Seiferas, J.No Group Specified9-1-1974
A HARDWARE ASSISTED METHODOLOGY FOR VLSI DESIGN RULE CHECKINGMIT-LCS-TR-337Seiler, L.D.No Group Specified2-1-1985
PERFORMANCE EVALUATION OF MULTIPROGRAMMED TIME-SHARED COMPUTER SYSTEMMIT-LCS-TR-103Sekino, A.No Group Specified9-1-1972
DESIGN AND IMPLEMENTATION OF A DISTRIBUTED PROGRAM FOR COLLABORATIVE EDITINGMIT-LCS-TR-350Seliger, R.No Group Specified9-1-1985
COMPILATION-BASED PREFETCHING FOR MEMORY LATENCY TOLERANCEMIT-LCS-TR-547Selvidge, C.W.No Group Specified5-1-1992
ECONOMIES OF SCALE IN COMPUTER USE: INITIAL TEST AND IMPLICATION A FOR THE COMPUTER UTILITYMIT-LCS-TR-068Selwyn, L.No Group Specified6-1-1970
A General Multiplexed ECN Channel and its USe for Wireless Loss NotificationMIT-LCS-TR-896Sharma, M.Networks and Mobile Systems5-7-2003
MIT-LCS-TR-472Sheldon, M.No Group Specified1-1-1990
A CONTENT ROUTING SYSTEM FOR DISTRIBUTED INFORMATION SYSTEMSMIT-LCS-TR-578Sheldon, M.No Group Specified6-1-1993
TCP PACKET TRACE ANALYSISMIT-LCS-TR-494Shepard, T.J.Advanced Network Architecture2-1-1991
Decentralized Channel Management in Scalable Multihop Spread-Spectrum Packet Radio NetworksMIT-LCS-TR-670Shepard, T.J.Advanced Network Architecture7-1-1995
CRYPTOLOGY AND VLSI (a two-part dissertation)MIT-LCS-TR-381Sherman, A.T.No Group Specified10-1-1986
A COMPARATIVE STUDY OF COMPUTER-AIDED CLINICAL DIAGNOSISMIT-LCS-TR-283Sherman, H.B.No Group Specified1-1-1981
A Scheme ShellMIT-LCS-TR-635Shivers, O.No Group Specified4-1-1994
An Optimized Hardware Architecture and Communication Protocol for Scheduled CommunicationMIT-LCS-TR-724Shoemaker, D.Computer Architecture8-1-1997
Information Technology Use in Developing CountriesMIT-LCS-TR-793Shrestha, GovindaHeadquarters7-1-2000
Perspectives on the Use of the Internet in Sri LankaMIT-LCS-TR-815Shrestha, GovindaComputer Architecture11-20-2000
A DIGITALIS THERAPY ADVISORMIT-LCS-TR-143Silverman, H.No Group Specified1-1-1975
Learning Algorithms with Applications to Robot Navigation and Protein FoldingMIT-LCS-TR-704Singh, MonaTheory of Computation12-1-1996
A DESIGN METHODOLOGY FOR SELF-TIME SYSTEMSMIT-LCS-TR-258Singh, N.P.No Group Specified2-1-1981
A Region-based Architecture for Service-Providing Distributed SystemsMIT-LCS-TR-989Singh, NehaAdvanced Network Architecture5-17-2005
THE DESIGN OF A ROUTING SERVICE FOR CAMPUS-WIDE INTERNET TRANSPORTMIT-LCS-TR-270Singh, V.No Group Specified1-1-1982
OFFICE ANALYSIS: METHODOLOGY AND CASE STUDIESMIT-LCS-TR-289Sirbu, M.No Group Specified3-1-1983
THE NOTION OF SECURITY FOR PROBABILISTIC PUBLIC - KEY CRYPTOSYSTEMSMIT-LCS-TR-379Sloan, R.H.No Group Specified10-1-1986
COMPUTATIONAL LEARNING THEORY: NEW MODELS AND ALGORITHMMIT-LCS-TR-448Sloan, R.H.No Group Specified5-1-1989
Learning from Imperfect Data in Theory and PracticeMIT-LCS-TR-690Slonim, D.K.Theory of Computation5-1-1996
Engineering a Global Resolution ServiceMIT-LCS-TR-712Slottow, E.C.Advanced Network Architecture6-1-1997
THE FLOW GRAPH SCHEMATA MODEL OF PARALLEL COMPUTATIONMIT-LCS-TR-053Slutz, D.R.No Group Specified9-1-1968
INPUT/OUTPUT IN TIME-SHARED, SEGMENTED, MULTIPROCESSOR SYSTEMSMIT-LCS-TR-028Smith, A. A.No Group Specified6-1-1966
PROCEDURAL REFLECTION IN PROGRAMMING LANGUAGES VOLUME 1MIT-LCS-TR-272Smith, B.C.No Group Specified1-1-1982
AN ANALYSIS OF SORTING NETWORKSMIT-LCS-TR-105Smith, B.J.No Group Specified10-1-1972
MODELS AND DATA STRUCTURES FOR DIGITAL LOGIC SIMULATIONMIT-LCS-TR-031Smith, D.L.No Group Specified8-1-1966
Cellular Automata Methods in Mathematical PhysicsMIT-LCS-TR-615Smith, M.A.No Group Specified5-1-1994
A PARALLEL PROCESSING MODEL OF MUSICAL STRUCTURESMIT-LCS-TR-091Smoliar, S.W.No Group Specified9-1-1971
Fine-Grained Failover Using Connection MigrationMIT-LCS-TR-813Snoeren, AlexNetworks and Mobile Systems11-27-2000
A MACHINE ARCHITECTURE TO SUPPORT AN OBJECT-ORIENTED LANGUAGEMIT-LCS-TR-209Snyder, A.No Group Specified3-1-1979
A PORTABLE COMPILER FOR THE LANGUAGE CMIT-LCS-TR-149Snyder, A.No Group Specified5-1-1975
Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed MultiprocessorsMIT-LCS-TR-710Sobalvarro, P.G.No Group Specified4-1-1997
GENERIC SOFTWARE FOR EMULATING MULTIPROCESSOR ARCHITECTURESMIT-LCS-TR-339Soley, R.M.No Group Specified5-1-1985
ON THE EFFICIENT EXPLOITATION OF SPECULATION UNDER DATAFLOW PARADIGMS OF CONTROLMIT-LCS-TR-443Soley, R.M.No Group Specified5-1-1989
COPYING COMPLEX STRUCTURES IN A DISTRIBUTED SYSTEMMIT-LCS-TR-219Sollins, K.R.No Group Specified7-1-1979
DISTRIBUTED NAME MANAGEMENTMIT-LCS-TR-331Sollins, K.R.No Group Specified2-1-1985
Computationally Efficient Error-Correcting Codes and Holographic ProofsMIT-LCS-TR-662Spielman, D.A.Theory of Computation6-1-1995
Reordering with HindsightMIT-LCS-TR-585Spiers, B.No Group Specified10-1-1993
AUTOMATIC SYNTHESIS OF IMPLEMENTATIONS FOR ABSTRACT DATA TYPES FROM ALGEBRAIC SPECIFICATIONSMIT-LCS-TR-276Srivas, M.K.No Group Specified6-1-1982
A SIMULATION ENVIRONMENT FOR SCHEMAMIT-LCS-TR-386St.Pierre, M.A.No Group Specified12-1-1986
REMOTE EVALUATIONMIT-LCS-TR-354Stamos, J.W.No Group Specified1-1-1986
Debugging Multithreaded Programs that Incorporate User-Level LockingMIT-LCS-TR-750Stark, A.F.Scientific Computing5-1-1998
FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMSMIT-LCS-TR-342Stark, E.W.No Group Specified8-1-1984
An Interactive Approach to the Identification and Extraction of Visual EventsMIT-LCS-TR-742Stasior, W.Parallel and Distributed Operating Systems2-1-1998
The ViewStation Collected Papers IIMIT-LCS-TR-696Stasior, W.Parallel and Distributed Operating Systems5-1-1996
Modularity in the Presence of SubclassingMIT-LCS-TR-711Stata, R.No Group Specified4-1-1997
FILE SYSTEMS WITH MULTIPLE FILE IMPLEMENTATIONSMIT-LCS-TR-528Stata, RaymieNo Group Specified2-1-1992
IMPLEMENTATION OF AN I-STRUCTURE MEMORY CONTROLLERMIT-LCS-TR-471Steele, K.M.No Group Specified3-1-1990
USING CYCLES AND SCALING IN PARALLEL ALGORITHMSMIT-LCS-TR-457Stein, C.No Group Specified8-1-1989
APPROXIMATION ALGORITHMS FOR MULTICOMMODITY FLOW AND SHOP SCHEDULING PROBLEMSMIT-LCS-TR-550Stein, C.No Group Specified9-1-1992
Predicting Unroll Factors Using Nearest NeighborsMIT-LCS-TR-938Stephenson, Mark3-22-2004
BACKUP AND RECOVERY OF ON-LINE INFORMATION IN A COMPUTER UTILITYMIT-LCS-TR-116Stern, J.A.No Group Specified1-1-1974
BOUNDS ON POLYNOMIAL EVALUATION ALGORITHMSMIT-LCS-TR-098Stockmeyer, L.J.No Group Specified4-1-1972
THE COMPLEXITY OF DECISION PROBLEMS IN AUTOMATA THEORY AND LOGICMIT-LCS-TR-133Stockmeyer, L.J.No Group Specified7-1-1974
Chord: A scalable peer-to-peer lookup service for Internet applicationsMIT-LCS-TR-819Stoica, IonParallel and Distributed Operating Systems3-23-2001
INVESTIGATION OF AN ANALOG TECHNIQUE TO DECREASE PENTRACKING TIME IN COMPUTER DISPLAY.MIT-LCS-TR-025Stratton, W.D.No Group Specified3-1-1966
THE ORGANIZATION OF RESEARCH IN THE INFORMATION SCIENCES Case Studies in Japan and in the U.S.MIT-LCS-TR-383Strauss, M.M.No Group Specified12-1-1986
PROPOSITIONAL DYNAMIC LOGIC OF LOOPING AND CONVERSEMIT-LCS-TR-263Street, R.S.No Group Specified5-1-1981
De-Emphasis of Distracting Image Regions Using Texture Power MapsMIT-LCS-TR-987Su, Sara L.Computer Graphics4-12-2005
Algorithmic issues in coding theoryMIT-LCS-TR-731Sudan, No Group Specified10-9-1997
Decoding Reed Solomon Codes beyond the Error-Correction DiameterMIT-LCS-TR-732Sudan, No Group Specified1-1-1997
Hardware Mechanisms for Memory Integrity CheckingMIT-LCS-TR-872Suh, G. EdwardComputation Structures11-18-2002
Secure Processor Architecture for Tamper-Evident and Private Tamper-Resistant EnviormentsMIT-LCS-TR-883Suh, G. EdwardComputation Structures1-28-2003
Secure Program Execution Via Dynamic Information Flow TrackingMIT-LCS-TR-912Suh, G. EdwardComputation Structures7-21-2003
Optimistic Virtual SynchronyMIT-LCS-TR-792Sussman, JeremyTheory of Computation1-1-0
AN OFFICE ANALYSIS AND DIAGNOSIS METHODOLOGYMIT-LCS-TR-290Sutherland, J.B.No Group Specified3-1-1983
DISTRIBUTED COMPUTER SYSTEMS: STRUCTURE AND SEMANTICSMIT-LCS-TR-215Svobodova, L.No Group Specified4-1-1979
MANAGEMENT OF OBJECT HISTORIES IN THE SWALLOW REPOSITORYMIT-LCS-TR-243Svobodova, L.No Group Specified8-1-1980
PRODUCING EXPLANATIONS AND JUSTIFICATIONS OF EXPERT CONSULTING PROGRAMSMIT-LCS-TR-251Swartout, W.R.No Group Specified1-1-1981
A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONSMIT-LCS-TR-176Swartout, W.R.No Group Specified2-1-1977
Speech Perception Using Real-Time Phoneme Detection: The BeBe SystemMIT-LCS-TR-736Sweeny, L.Spoken Language Systems4-1-1998
Guardian Angel: Patient-Centered Health Information SystemsMIT-LCS-TR-604Szolovits, P.Clinical Decision Making5-1-1994
Correctness of Communications Protocols, A case StudyMIT-LCS-TR-589S»gaard-Andersen, J.Theory of Computation11-1-1993
Forming Scatternets from Bluetooth Personal Area NetworksMIT-LCS-TR-826Tan, GodfreyNetworks and Mobile Systems9-20-2001
Blueware: Bluetooth Simulator for nsMIT-LCS-TR-866Tan, GodfreyNetworks and Mobile Systems10-30-2002
Capacity Allocation in Wireless LANsMIT-LCS-TR-973Tan, GodfreyNetworks and Mobile Systems11-12-2004
Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing SpecificationsMIT-LCS-TR-619Tan, Y.M.No Group Specified6-1-1994
Definition and Expansion of Composite Automata in IOAMIT-LCS-TR-959Tauber, Joshua A.Theory of Computation7-19-2004
A Model for Analyzing the Roles of Network and User Behavior in Congestion ControlMIT-LCS-TR-898Tay, Y.C.Parallel and Distributed Operating Systems5-22-2003
Scalar Operand Networks: On-chip interconnect for ILP in Partitioned ArchitechuresMIT-LCS-TR-859Taylor, Michael BedfordRAW7-21-2002
Polygonal Approximation of Voronoi Diagrams of Set of Triangles in Three DimensionsMIT-LCS-TR-766Teichmann, MarekComputer Graphics1-1-0
PILOT: A STEP TOWARDS MAN-COMPUTER SYMBIOSISMIT-LCS-TR-032Teitelman, W.No Group Specified9-1-1966
REAL-TIME CONTROL STRUCTURES FOR BLOCK DIAGRAM SCHEMATAMIT-LCS-TR-204Teixeira, T.J.No Group Specified8-1-1978
Frustum Casting for Progressive, Interactive RenderingMIT-LCS-TR-740Teller, S.No Group Specified1-1-1998
Immediate-Mode Ray-CastingMIT-LCS-TR-784Teller, S.ANo Group Specified6-1-1999
Scalable, Controlled Imagery Capture in Urban EnvironmentsMIT-LCS-TR-825Teller, SethComputer Graphics9-5-2001
Approximating Shortest SuperstringsMIT-LCS-TR-608Teng, S.Theory of Computation5-1-1994
Combinational Aspects of Geometric GraphsMIT-LCS-TR-612Teng, S.Theory of Computation5-1-1994
A Geometric Approach to Parallel Hierarchical and Adaptive Computing on Unstructured MeshesMIT-LCS-TR-613Teng, S.Theory of Computation5-1-1994
I-95 The Information MarketMIT-LCS-TR-577Tennenhouse, No Group Specified8-1-1993
The ViewStation Collected PapersMIT-LCS-TR-590Tennenhouse, (Editor)Parallel and Distributed Operating Systems11-1-1993
SIMULATION TOOLS FOR DIGITAL LSI DESIGNMIT-LCS-TR-304Terman, C.J.No Group Specified9-1-1983
THE SPECIFICATION OF CODE GENERATION ALGORITHMSMIT-LCS-TR-199Terman, C.J.No Group Specified4-1-1978
Fast Place and Route Approaches for FPGAsMIT-LCS-TR-768Tessier, Russell G.No Group Specified2-1-1999
ADDING FAULT-TOLERANCE TO A STATIC DATA FLOW SUPERCOMPUTERMIT-LCS-TR-499Theobald, K.B.No Group Specified4-1-1991
A DATA FLOW ARCHITECTURE WITH IMPROVED ASYMPTOTIC PERFORMANCEMIT-LCS-TR-265Thomas, R.E.No Group Specified4-1-1981
A MODEL FOR PROCESS REPRESENTATION AND SYNTHESISMIT-LCS-TR-087Thomas, R.H.No Group Specified6-1-1971
AN INTEGRATED HARDWARE-SOFTWARE SYSTEM FOR COMPUTER GRAPHICS IN TIME-SHARINGMIT-LCS-TR-056Thornhill, D.No Group Specified12-1-1968
EPS: AN INTERACTIVE SYSTEM FOR SOLVING ELLIPTIC BOUNDARY-VALUE PROBLEMS WITH FACILITIES FOR DATA MANIPULATIOMIT-LCS-TR-062Tillman, C.C.No Group Specified6-1-1969
A SURVEY OF THE LOGIC OF EFFECTIVE DEFINITIONSMIT-LCS-TR-246Tiuryn, J.No Group Specified10-1-1980
HIGH LEVEL VAL CONSTRUCTS IN A STATIC DATA FLOW MACHINEMIT-LCS-TR-262Todd, K.W.No Group Specified6-1-1981
Quantitative Performance Modeling of Scientific ComputationsMIT-LCS-TR-656Toledo, S.A.Scientific Computing5-1-1995
Knowledge Flow Analysis for Security ProtocolsMIT-LCS-TR-1007Torlak, EminaSoftware Design10-19-2005
AN ABSTRACT ARCHITECTURE FOR PARALLEL GRAPH REDUCTIONMIT-LCS-TR-317Traub, K.R.No Group Specified5-1-1984
A COMPILER FOR THE MIT TAGGED-TOKEN DATAFLOW ARCHITECTUREMIT-LCS-TR-370Traub, K.R.No Group Specified8-1-1986
SEQUENTIAL IMPLEMENTATION OF LENIENT PROGRAMMING LANGUAGESMIT-LCS-TR-417Traub, K.R.No Group Specified10-1-1988
SOME IMPLICATIONS OF COMPLEXITY THEORY ON PSEUDO-RANDOM BIT GENERATIONMIT-LCS-TR-336TrillingS., No Group Specified1-1-1985
A HIERARCHICAL PROOF OF AN ALGORITHM FOR DEADLOCK RECOVERY IN A SYSTEM USING REMOTE PROCEDURE CALLSMIT-LCS-TR-474Troxel, G.D.Advanced Network Architecture1-1-1990
Time Surveying: Clock Synchronization over packet NetworksMIT-LCS-TR-623Troxel, G.D.Advanced Network Architecture5-1-1994
TrendFinder: Automated Detection of Alarmable TrendsMIT-LCS-TR-809Tsien, ChristineClinical Decision Making6-1-2000
COMPUTERS AND PEOPLE: PERSONAL COMPUTATIONMIT-LCS-TR-249Turkle S., No Group Specified12-1-1980
KNOWLEDGE AND DISTRIBUTED COMPUTATIONMIT-LCS-TR-477Tuttle, M.No Group Specified5-1-1990
CREATING A COMPUTER-BASED LEARNING ENVIRONMENT FOR PHYSICALLY HANDICAPPED CHILDRENMIT-LCS-TR-301Valente, J.A.No Group Specified9-1-1983
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSINGMIT-LCS-TR-034Van Horn, E.C.No Group Specified11-1-1966
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITYMIT-LCS-TR-067Vanderbilt, D.H.No Group Specified10-1-1969
A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOL LANGUAGE SYSTEMMIT-LCS-TR-147VanDeVanter, M.L.No Group Specified3-1-1975
Exploiting Specifications to Improve Program PerformanceMIT-LCS-TR-598Vandevoorde, M.No Group Specified2-1-1994
Link Architecture for a Global Information InfrastructureMIT-LCS-TR-659VanDyke, J.R.Advanced Network Architecture6-1-1995
SELF-STABILIZATION BY LOCAL CHECKING AND CORRECTIONMIT-LCS-TR-583Varghese, G.No Group Specified10-1-1992
Systematic Removal of Nondeterminism for Code Generation in I/O AutomataMIT-LCS-TR-960Vaziri, MandanaTheory of Computation7-19-2004
THE COMPLEXITY OF FINITE FUNCTIONSMIT-LCS-TR-097Vilfan, B.No Group Specified3-1-1972
CACHE FOR MULTI-THREADED PROCESSORS ON A SPLIT-TRANSACTION BUSMIT-LCS-TR-466Vuong-Adlerberg, I.No Group Specified11-1-1989
How to Construct a Correct and Scalable iBGP ConfigurationMIT-LCS-TR-996Vutukuru, MythiliNetworks and Mobile Systems8-3-2005
Baring it all to Software: The Raw MachineMIT-LCS-TR-709Waingold, ElliotNo Group Specified3-1-1997
USING MULTIPLE REPRESENTATIONS FOR EFFICIENT COMMUNICATION OF ABSTRACT VALUESMIT-LCS-TR-553Waldin III, D.D.No Group Specified9-1-1992
Lottery and Stride Scheduling: Flexible Proportional-share Resource ManagementMIT-LCS-TR-667Waldspurger, C.A.No Group Specified9-1-1995
Middleboxes No Longer Considered HarmfulMIT-LCS-TR-954Walfish, MichaelNetworks and Mobile Systems6-24-2004
ORPHAN DETECTION IN THE ARGUS SYSTEMMIT-LCS-TR-326Walker, E.F.No Group Specified5-1-1984
MATHEMATICAL FOUNDATIONS OF FORMAL LANGUAGE THEORYMIT-LCS-TR-108Wand, M.No Group Specified12-1-1973
2RegionRED: a Congestion Control Mechanism for the High Speed InternetMIT-LCS-TR-829Wang, KarenAdvanced Network Architecture12-19-2001
AN IN-DEPTH ANALYSIS OF CONCURRENT B-TREE ALGORITHMSMIT-LCS-TR-496Wang, P.No Group Specified2-1-1991
EVALUATION OF DEFINITE INTEGRALS BY SYMBOLIC MANIPULATIONMIT-LCS-TR-092Wang, P.S.No Group Specified9-1-1971
CALCULAID: AN ON-LINE SYSTEM FOR ALGEBRAIC COMPUTATION AND ANALYSISMIT-LCS-TR-020Wantman, M.E.Project MAC9-0-1965
FUNCTIONAL DOMAINS OF APPLICATIVE LANGUAGESMIT-LCS-TR-136Ward, S.No Group Specified9-1-1974
PRELUDE: A SYSTEM FOR PORTABLE PARALLMIT-LCS-TR-519Weihl, W.No Group Specified0-1-1991
INTERPROCEDURAL DATA FLOW ANALYSIS IN THE PRESENCE OF POINTERS, PROCEDURE VARIABLES, AND LABEL VARIABLESMIT-LCS-TR-247Weihl, W.E.No Group Specified10-1-1980
SPECIFICATION AND IMPLEMENTATION OF ATOMIC DATA TYPESMIT-LCS-TR-314Weihl, William EdwardProgramming Methodology3-1-1984
ALGORITHMS FOR SCHEDULING AND NETWORK PROBLEMSMIT-LCS-TR-514Wein, J.No Group Specified8-1-1991
Correctness of Vehicle Control Systems: A Case StudyMIT-LCS-TR-685Weinberg, H.B.Theory of Computation2-1-1996
USING UNTYPED LAMBDA CALCULUS TO COMPUTE WITH ATOMSMIT-LCS-TR-325Weiss, P.G.No Group Specified2-1-1984
USING INTERACTIVE GRAPHICS IN SIMULATING THE HOSPITAL EMERGENCY ROOMMIT-LCS-TR-129Weissberg, R.No Group Specified5-1-1974
OPL-1 : AN OPEN ENDED PROGRAMMING SYSTEM WITHIN CTSSMIT-LCS-TR-007Weizenbaum, J.Project MAC31-1-1964
BOUNDS ON INFORMATION RETRIEVAL EFFICIENCY IN STATIC FILE STRUCTURES.MIT-LCS-TR-088Welch, T.A.No Group Specified6-1-1971
REASONING ABOUT PREFERENCE MODELSMIT-LCS-TR-340Wellman, M.P.No Group Specified5-1-1985
FORMULATION OF TRADEOFFS IN PLANNING UNDER UNCERTAINTYMIT-LCS-TR-427Wellman, M.P.No Group Specified8-1-1988
AN ABSTRACT IMPLEMENTATION FOR A GENERALIZED DATA FLOW LANGUAGEMIT-LCS-TR-228Weng, K.S.No Group Specified1-1-1980
A Quantitative Comparison of Reconfigurable, Tiled, and Conventional Architectures on Bit-level ComputationMIT-LCS-TR-944Wentzlaff, DavidComputer Architecture4-13-2004
Service Introduction in an Active NetworkMIT-LCS-TR-773Wetherall, D.No Group Specified2-1-1999
An Interactive Programming System for Media ComputationMIT-LCS-TR-640Wetherall, D.J.Parallel and Distributed Operating Systems9-1-1994
On Field Constraint AnalysisMIT-LCS-TR-1010Wies, ThomasComputer Architecture11-3-2005
PROGRAM ANALYSIS BY DIGITAL COMPUTERMIT-LCS-TR-043Wilde, D.U..No Group Specified8-1-1967
ANALYSIS OF THE HELD-KARP HEURISTIC FOR THE TRAVELING SALESMAN PROBLEMMIT-LCS-TR-479Williamson, D.P.No Group Specified6-1-1990
ON THE DESIGN OF APPROXIMATION ALGORITHMS FOR A CLASS OF GRAPH PROBLEMSMIT-LCS-TR-584Williamson, D.P.No Group Specified9-1-1993
PROCEDURES AS A REPRESENTATION FOR DATA IN A COMPUTER PROGRAM FOR UNDERSTANDING NATURAL LANGUAGEMIT-LCS-TR-084Winograd, T.No Group Specified2-1-1971
LEARNING STRUCTURAL DESCRIPTION FROM EXAMPLESMIT-LCS-TR-076Winston, P.H.No Group Specified9-1-1970
Using Software-Extended Architectures for Software Simultaneous MultithreadingMIT-LCS-TR-878Witchel, EmmettParallel and Distributed Operating Systems12-23-2002
A DECOMPOSITIONAL SEARCH ALGORITHM FOR EFFICIENT DIAGNOSIS OF MULTIPLE DISORDERSMIT-LCS-TR-572Wu, T.No Group Specified1-1-1993
A FAULT-TOLERANT NETWORK KERNEL FOR LINDAMIT-LCS-TR-424Xu, Andrew S.Programming Methodology8-1-1988
A Model for Window Based Flow Control Packet-Switched NetworksMIT-LCS-TR-765Yang, XiaoweiNo Group Specified3-1-1998
NIRA: A New Internet Routing ArchitectureMIT-LCS-TR-967Yang, XiaoweiAdvanced Network Architecture10-14-2004
Designing Traffic Profiles for Bursty Internet TrafficMIT-LCS-TR-860Yang, XioweiAdvanced Network Architecture8-1-2002
ON LOWER BOUNDS FOR SELECTION PROBLEMSMIT-LCS-TR-121Yao, F.F.No Group Specified3-1-1974
ON PLAYING WELL IN A SUM OF GAMESMIT-LCS-TR-348Yedwab, L.No Group Specified8-1-1985
AUTOMATIC ANALYSIS OF SYSTEMS AT STEADY-STATE: HANDLING ITERATIVE DYNAMIC SYSTEMS AND PARAMETER UNCERTAINTYMIT-LCS-TR-525Yeh, A.No Group Specified12-1-1991
A GENERALIZED APPROACH TO EQUATIONAL UNIFICATIONMIT-LCS-TR-344Yelick, K.A.No Group Specified8-1-1985
USING ABSTRACTION IN EXPLICITLY PARALLEL PROGRAMSMIT-LCS-TR-507Yelick, KatherineNo Group Specified7-1-1991
Multigrain Shared MemoryMIT-LCS-TR-743Yeung, D.No Group Specified1-1-1998
AN EVALUATION OF MULTIPROCESSOR SUPPORT FOR FINE-GRAIN SYNCHRONIZATION IN PRECONDITIONED CONJUGATE GRADIENTMIT-LCS-TR-565Yeung, D.No Group Specified2-1-1993
SPECIFICATION AND VERIFICATION TECHNIQUES FOR PARALLEL PROGRAMS BASED ON MESSAGE PASSING SEMANTICSMIT-LCS-TR-191Yonezawa, A.No Group Specified1-1-1978
THE CLOCK DISTRIBUTION SYSTEMS OF THE MULTIPROCESSOR EMULATION FACILITYMIT-LCS-TR-366Younis, S.G.No Group Specified6-1-1986
THE HENSEL LEMMA IN ALGEBRAIC MANIPULATIONMIT-LCS-TR-138Yun, DavidNo Group Specified11-1-1974
A FRAMEWORK FOR INCORPORATING ABSTRACTION MECHANISMS INTO THE LOGIC PROGRAMMING PARADIGMMIT-LCS-TR-405Zachary, Joseph L.No Group Specified8-1-1987
AN APPROACH TO FUNCTIONAL OFFICE AUTOMATIONMIT-LCS-TR-334Zarmer, C.L.No Group Specified4-1-1984
Write Barrier Removal by Static AnalysisMIT-LCS-TR-834Zee, KarenComputer Architecture2-20-2002
Accurate and Scalable Surface Representation and Reconstruction from ImagesMIT-LCS-TR-1011Zeng, GangComputer Graphics11-18-2005
A NEW ARCHITECTURE FOR PACKET SWITCHING NETWORK PROTOCOLSMIT-LCS-TR-455Zhang, L.Advanced Network Architecture8-1-1989
Victim Migration: Dynamically Adapting Between Private and Shared CMP CachesMIT-LCS-TR-1006Zhang, MIchaelComputer Architecture10-10-2005
System Dependence Graph Construction for Aspect-Oriented ProgramsMIT-LCS-TR-891Zhao, JianjunComputer Architecture3-14-2003
A Model-Based Expert System for interpretation of hemodynamic data from ICU patientsMIT-LCS-TR-718Zhao, R.No Group Specified5-1-1997
Increasing Cross-Domain Call Batching Using Promises and Batched Control StructuresMIT-LCS-TR-658Zondervan, Q.Y.Programming Methodology6-1-1995
horizontal line

MIT logo 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