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