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
The Use of Speaker Correlation Information for Automatic Speech RecognitionMIT-LCS-TR-751No Author AvailableSpoken Language Systems5-1-1998
MIT-LCS-TR-752No Author AvailableSpoken Language Systems6-1-1998
Not Yet AvailableMIT-LCS-TR-592No Author AvailableNo Group Specified1-1-0
Not Yet AvailableMIT-LCS-TR-606No Author AvailableNo Group Specified1-1-0
MIT COMPUTER SCIENCE RESEARCH SYMPOSIUM, October 26-27, 1988 Copies of Speakers' ViewgraphsMIT-LCS-TR-450No Author AvailableNo Group Specified7-1-1989
REED: Robust, Efficient Filtering and Event Detection in Sensor NetworksMIT-LCS-TR-939Abadi, Daniel J.3-22-2004
Wait-free Regular Storage from Byzantine ComponentsMIT-LCS-TR-984Abraham, IttaiTheory of Distributed Systems4-5-2005
VAL--A VALUE- ORIENTED ALGORITHMIC LANGUAGE: PRELIMINARY REFERENCE MANUALMIT-LCS-TR-218Acherman, W.B.No Group Specified6-1-1979
EFFICIENT IMPLEMENTATION OF APPLICATIVE LANGUAGESMIT-LCS-TR-323Ackerman, W.B.No Group Specified4-1-1984
A STRUCTURE MEMORY FOR DATA FLOW COMPUTERSMIT-LCS-TR-186Ackerman, W.B.No Group Specified8-1-1977
The Vidboard:A Video Capture and Processing Peripheral for the ViewStation SystemMIT-LCS-TR-602Adam, J.FParallel and Distributed Operating Systems9-1-1992
An Architecture for Intentional Name Resolution and Application-level RoutingMIT-LCS-TR-775Adjie-Winoto, WilliamNo Group Specified2-1-1999
Transaction Management for Mobile Objects Using Optimistic Concurrency ControlMIT-LCS-TR-626Adya, AProgramming Methodology7-1-1994
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed TransactionsMIT-LCS-TR-786Adya, A.Programming Methodology3-1-1999
Economic Mechanisms for Efficient Wireless CoexistenceMIT-LCS-TR-876Aftab, OmarAdvanced Network Architecture8-24-2002
PERFORMANCE TRADEOFFS IN MULTITHREADED PROCESSORSMIT-LCS-TR-501Agarwal, A.No Group Specified4-1-1991
Time Optimal Self-Stabilizing Spanning Tree AlgorithmsMIT-LCS-TR-632Aggarwal, S.Theory of Computation1-1-1994
EVALUATING CASE-BASED REASONING FOR HEART FAILURE DIAGNOSISMIT-LCS-TR-478Aghassi, D.S.No Group Specified6-1-1990
A Scalable Byzantine Fault Tolerant Secure Domain Name ServiceMIT-LCS-TR-849Ahmed, SarahProgramming Methodology1-22-2001
PROOFS, KNOWLEDGE, AND ORACLESMIT-LCS-TR-440Aiello, W.A.No Group Specified2-1-1989
Automatic Software Upgrades for Distributed Systems (PhD thesis)MIT-LCS-TR-1004Ajmani, SameerProgramming Methodology10-6-2005
Automatic Software Upgrades for Distributed SystemsMIT-LCS-TR-1005Ajmani, SameerProgramming Methodology10-6-2005
Automatic Software Upgrades for Distributed SystemsMIT-LCS-TR-1012Ajmani, SameerProgramming Methodology11-30-2005
A Trusted Execution Platform for Multiparty ComputationMIT-LCS-TR-846Ajmani, SameerProgramming Methodology9-1-2000
A Trusted Third-Party Computation ServiceMIT-LCS-TR-847Ajmani, SameerProgramming Methodology5-1-2001
A CANONIC TRANSLATORMIT-LCS-TR-046Alsop, J.W.No Group Specified11-1-1967
A LANGUAGE IMPLEMENTATION SYSTEMMIT-LCS-TR-126Altman, V.E.No Group Specified5-1-1974
The Static Single Information FormMIT-LCS-TR-801Ananian, C.S.Computer Architecture9-3-1999
System Support for Bandwidth Management and Content Adaptation in Internet ApplicationsMIT-LCS-TR-808Andersen, DavidNetworks and Mobile Systems5-1-2000
The Computer Science Technical Report (CS-TR) Project: Considerations from the Library PerspectiveMIT-LCS-TR-693Anderson, G.6-1-1996
THE DESIGN OF A MULTIPROCESSOR DEVELOPMENT SYSTEMMIT-LCS-TR-279Anderson, T.L.No Group Specified9-1-1982
Automatic Recovery of Camera Positions in Urban ScenesMIT-LCS-TR-814Antone, MatthewComputer Graphics12-20-2000
REPRESENTATION AND ANALYSIS OF REAL-TIME CONTROL STRUCTURESMIT-LCS-TR-241Archer, R.F.No Group Specified8-1-1980
RECOVERY OF THE SWALLOW REPOSITORYMIT-LCS-TR-252Arens, G.C.No Group Specified1-1-1981
AN ALGEBRAIC APPROACH TO THE COMPILATION AND OPERATIONAL SEMANTICS OF FUNCTIONAL LANGUAGES WITH I-STRUCTURESMIT-LCS-TR-544Ariola, Z.M.No Group Specified6-1-1992
Combining diagrammatic and symbolic reasoningMIT-LCS-TR-1002Arkoudas, KonstantineProgram Analysis10-6-2005
On Verifying a File System ImplementationMIT-LCS-TR-946Arkoudas, KonstantineComputer Architecture5-6-2004
PARALLEL SIMULATION OF DIGITAL LSI CIRCUITSMIT-LCS-TR-333Aronld, J.M.No Group Specified2-1-1985
A MULTIPROCESSOR EMULATION FACILITYMIT-LCS-TR-302Arvind, No Group Specified10-1-1983
A CONSTRAINT REPRESENTATION AND EXPLANATION FACILITY FOR RENAL PHYSIOLOGYMIT-LCS-TR-318Ashbell, I.JNo Group Specified6-1-1984
Noise Tolerant Algorithms for Learning and SearchingMIT-LCS-TR-657Aslam, J.ATheory of Computation2-1-1995
AUTOMATIC VERIFICATION OF SERIALIZERSMIT-LCS-TR-229Atkinson, R.R.No Group Specified3-1-1980
Boosting Fault-Tolerance in Asynchronous Message Passing Systems is ImpossibleMIT-LCS-TR-877Attie, PaulTheory of Computation12-20-2002
Impossibility of boosting distributed service resilienceMIT-LCS-TR-982Attie, PaulTheory of Computation2-25-2005
Dynamic Input/Output Automata: A Formal Model for Dynamic SystemsMIT-LCS-TR-902Attie, Paul C.Theory of Computation7-26-2003
VIRTUAL WIRES: OVERCOMING PIN LIMITATIONS IN FPGA-BASED LOGIC EMULATIONMIT-LCS-TR-586Babb, J.No Group Specified11-1-1993
INTERACTIVE COMPUTER-MEDIATED ANIMATIONMIT-LCS-TR-061Baeker, R.M.No Group Specified6-1-1969
Intermediation and Electronic Markets: Aggregation and Pricing in Internet CommerceMIT-LCS-TR-756Bailey, J.P.Advanced Network Architecture6-1-1998
ARTWORK ANALYSIS TOOL FOR VLSI CIRCUITSMIT-LCS-TR-239Baker, C.M.No Group Specified6-1-1980
ACTOR SYSTEMS FOR REAL-TIME COMPUTATIONMIT-LCS-TR-197Baker, H.G.No Group Specified3-1-1978
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