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.

Page of 20 | First Page | Previous Page | Next Page | Last PageShow 10 | 25 | 50 | 100 per page
Publication Title LCS Document Number Publication Author LCS Group Publication Date
MIT-LCS-TR-741Bose, V.No Group Specified2-1-1998
MIT-LCS-TR-472Sheldon, M.No Group Specified1-1-1990
MIT-LCS-TR-752No Author AvailableSpoken Language Systems6-1-1998
MIT-LCS-TR-759Barua, R.Computer Architecture6-1-1998
Cellular Automata Methods in Mathematical PhysicsMIT-LCS-TR-615Smith, M.A.No Group Specified5-1-1994
2RegionRED: a Congestion Control Mechanism for the High Speed InternetMIT-LCS-TR-829Wang, KarenAdvanced Network Architecture12-19-2001
A COMPUTER-CONTROLLED GRAPHICAL DISPLAY PROCESSORMIT-LCS-TR-071Fiasconaro, J.G.No Group Specified6-1-1970
A DENOTATIONAL SEMANTICS OF CLUMIT-LCS-TR-201Scheifler, R.No Group Specified5-1-1978
A DESIGN METHODOLOGY FOR SELF-TIME SYSTEMSMIT-LCS-TR-258Singh, N.P.No Group Specified2-1-1981
A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONSMIT-LCS-TR-176Swartout, W.R.No Group Specified2-1-1977
A FORMAL SYSTEM FOR DEFINING THE SYNTAX AND SEMANTICS OF COMPUTER LANGUAGESMIT-LCS-TR-060Ledgard, H.F.No Group Specified4-1-1969
A GRAPH MODEL FOR PARALLEL COMPUTATIONSMIT-LCS-TR-064Rodrigues, J.E.No Group Specified9-1-1969
A HARDWARE ASSISTED METHODOLOGY FOR VLSI DESIGN RULE CHECKINGMIT-LCS-TR-337Seiler, L.D.No Group Specified2-1-1985
A HEURISTIC APPROACH TO ALTERNATE ROUTING IN A JOB SHOPMIT-LCS-TR-019Russo, F.J.Project MAC6-0-1965
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
A MODEL FOR PROCESS REPRESENTATION AND SYNTHESISMIT-LCS-TR-087Thomas, R.H.No Group Specified6-1-1971
A Model for Interactive Computation: Applications to Speech ResearchMIT-LCS-TR-753McCandless, M.No Group Specified6-1-1998
A MODEL-DEBUGGING SYSTEMMIT-LCS-TR-125Mark, W.S.No Group Specified4-1-1974
A MULTI-PROCESS DESIGN OF PAGING SYSTEMMIT-LCS-TR-171Huber, A.H.No Group Specified12-1-1976
A NEW METHODOLOGY FOR COMPUTER SIMULATIONMIT-LCS-TR-013Greenberger, M.Project MAC10-0-1964
A PARALLEL PROCESSING MODEL OF MUSICAL STRUCTURESMIT-LCS-TR-091Smoliar, S.W.No Group Specified9-1-1971
A RELATIVE-MOTION MICROWORLDMIT-LCS-TR-347Morecroft, L.ENo Group Specified9-1-1985
A ROBUST ENVIRONMENT FOR PROGRAM DEVELOPMENTMIT-LCS-TR-175Goldberg, H.J.No Group Specified2-1-1977
A SIMULATOR OF MULTIPLE INTERACTIVE USERS TO DRIVE A TIME-SHARED COMPUTER SYSTEMMIT-LCS-TR-058Greenbaum, H.J.No Group Specified1-1-1969
A CANONIC TRANSLATORMIT-LCS-TR-046Alsop, J.W.No Group Specified11-1-1967
A CASE STUDY OF INTERMODULE DEPENDENCIES IN A VIRTUAL MEMORY SUBSYSTEMMIT-LCS-TR-174Hunt, D.H.No Group Specified12-1-1976
A CATV-BASED HIGH-SPEED PACKET-SWITCHING NETWORK DESIGNMIT-LCS-TR-359Feldmeier, D.C.No Group Specified4-1-1986
A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and ProofsMIT-LCS-TR-794Keidar, IditTheory of Computation1-1-0
A Combined Pointer and Purity Analysis for Java ProgramsMIT-LCS-TR-949Salcianu, AlexandruComputer Architecture5-17-2004
A COMPARATIVE STUDY OF COMPUTER-AIDED CLINICAL DIAGNOSISMIT-LCS-TR-283Sherman, H.B.No Group Specified1-1-1981
A Comparison of Approaches to On-Line Handwritten Character RecognitionMIT-LCS-TR-661Kassel, R.H.Spoken Language Systems5-1-1995
A COMPILER FOR THE MIT TAGGED-TOKEN DATAFLOW ARCHITECTUREMIT-LCS-TR-370Traub, K.R.No Group Specified8-1-1986
A COMPUTER SYSTEM FOR DECISION ANALYSIS IN HODGKINS DISEASEMIT-LCS-TR-271Rutherford, C.J.No Group Specified2-1-1982
A CONCEPT OF INDEPENDENCE WITH APPLICATIONS IN VARIOUS FIELDS OF MATHEMATICSMIT-LCS-TR-235Levin, L.A.No Group Specified5-1-1980
A CONSTRAINT REPRESENTATION AND EXPLANATION FACILITY FOR RENAL PHYSIOLOGYMIT-LCS-TR-318Ashbell, I.JNo Group Specified6-1-1984
A CONSTRUCTIVE APPROACH TO ARTIFICIAL INTELLIGENCE REEXAMINEDMIT-LCS-TR-563Ramstad, R.No Group Specified7-1-1992
A CONTENT ROUTING SYSTEM FOR DISTRIBUTED INFORMATION SYSTEMSMIT-LCS-TR-578Sheldon, M.No Group Specified6-1-1993
A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica MembershipMIT-LCS-TR-920Rodrigues, RodrigoProgramming Methodology9-25-2003
A DATA FLOW ARCHITECTURE WITH IMPROVED ASYMPTOTIC PERFORMANCEMIT-LCS-TR-265Thomas, R.E.No Group Specified4-1-1981
A DATAFLOW/VON NEUMANN HYBRID ARCHITECTUREMIT-LCS-TR-418Iannucci, R.A.No Group Specified7-1-1988
A DECOMPOSITIONAL SEARCH ALGORITHM FOR EFFICIENT DIAGNOSIS OF MULTIPLE DISORDERSMIT-LCS-TR-572Wu, T.No Group Specified1-1-1993
A Deterministic Linear Time Algorithm for Geometric Separators and its ApplicationMIT-LCS-TR-609Epstein, D.Theory of Computation5-1-1994
A DIGITALIS THERAPY ADVISORMIT-LCS-TR-143Silverman, H.No Group Specified1-1-1975
A DISTRIBUTED DATA-BALANCED DICTIONARY BASED ON THE B-LINK TREEMIT-LCS-TR-530Johnson, T.No Group Specified2-1-1992
A Distributed Programming System for Media ApplicationsMIT-LCS-TR-648Phillips, B.M.Parallel and Distributed Operating Systems2-1-1995
A Double-Pulsed Set-Conditional-Reset Flip-FlopMIT-LCS-TR-844Ma, AlbertComputer Architecture5-1-2002
A Dynamic Data Structure for Checking HyperacyclicityMIT-LCS-TR-977Liang, PercyAlgorithms1-3-2005
A Dynamic Primary View Group Communication ServiceMIT-LCS-TR-873De Prisco, RobertoTheory of Computation11-25-2002
A FAULT-TOLERANT NETWORK KERNEL FOR LINDAMIT-LCS-TR-424Xu, Andrew S.Programming Methodology8-1-1988
Page of 20 | First Page | Previous Page | Next Page | Last PageShow 10 | 25 | 50 | 100 per page
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