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

CSAIL Technical Reports (July 1, 2003 - present)

<- 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 ->

Title
AuthorDateIdentifierKeywordsAdvisorGroup
  • Edwards, Jonathan
  • 2009-06-12
  • MIT-CSAIL-TR-2009-024
  • reactive systems
  • synchronous reactive programming
  • interactive systems
  • functional reactive programming
  • bidirectional functions
  • Daniel Jackson
  • Software Design
  • Lynch, Nancy
  • Newport, Calvin
  • 2009-06-04
  • MIT-CSAIL-TR-2009-023
  • Nancy Lynch
  • Theory of Computation
  • Locher, Thomas
  • Kuhn, Fabian
  • Oshman, Rotem
  • 2009-05-29
  • MIT-CSAIL-TR-2009-022
  • time synchronization
  • distributed algorithms
  • lower bound
  • Nancy Lynch
  • Theory of Computation
  • Kuhn, Fabian
  • Newport, Calvin
  • Lynch, Nancy
  • 2009-05-11
  • MIT-CSAIL-TR-2009-021
  • network modeling
  • mobile networks
  • wireless networks
  • medium-acccess protocols
  • Nancy Lynch
  • Theory of Computation
  • Levin, Anat
  • Hasinoff, Samuel W.
  • Freeman, William T.
  • Green, Paul
  • Durand, Fredo
  • 2009-05-08
  • MIT-CSAIL-TR-2009-019
  • light fields
  • Fourier analysis
  • Computational cameras
  • depth of field
  • William Freeman
  • Vision
  • Liu, Jifeng
  • Psota, James
  • Beckmann, Nathan
  • Miller, Jason
  • Michel, Jurgen
  • Eastep, Jonathan
  • Kurian, George
  • Kimerling, Lionel
  • Agarwal, Anant
  • Beals, Mark
  • 2009-05-05
  • MIT-CSAIL-TR-2009-018
  • Many-core processors
  • Processor interconnects
  • Optical interconnects
  • Anant Agarwal
  • Computer Architecture
  • Wentzlaff, David
  • Agarwal, Anant
  • Hoffmann, Henry
  • 2009-05-05
  • MIT-CSAIL-TR-2009-017
  • Programming models
  • Multicore architecture
  • Anant Agarwal
  • Computer Architecture
  • Williams, Brian C.
  • Ono, Masahiro
  • 2009-04-22
  • MIT-CSAIL-TR-2009-016
  • Robust MPC
  • Chance constraint
  • RMPC
  • Brent's method
  • Grouping
  • Brian Williams
  • Model-based Embedded and Robotic Systems
  • Zhou, You
  • 2009-04-16
  • MIT-CSAIL-TR-2009-015
  • Barbara Liskov
  • Programming Methodology
  • Freeman, William
  • Durand, Fredo
  • Weiss, Yair
  • Levin, Anat
  • 2009-03-31
  • MIT-CSAIL-TR-2009-014
  • deconvolution
  • William Freeman
  • Vision
  • O'Donnell, Timothy J.
  • Tenenbaum, Joshua B.
  • Goodman, Noah D.
  • 2009-03-31
  • MIT-CSAIL-TR-2009-013
  • Language
  • Stochastic Functional Programming
  • Stochastic Memoization
  • Reuse
  • Lexicon
  • Hierarchical Bayes
  • Joshua Tenenbaum
  • Computational Cognitive Science
  • Wormald, Nicholas
  • Richards, Whitman
  • 2009-03-30
  • MIT-CSAIL-TR-2009-012
  • simplex representation
  • network evolution
  • Whitman Richards
  • Belief Dynamics
  • Kinsy, Michel
  • Wen, Tina
  • Shim, Keun Sup
  • Lis, Mieszko
  • Cho, Myong Hyon
  • Devadas, Srinivas
  • 2009-03-27
  • MIT-CSAIL-TR-2009-011
  • bidirectional link
  • network router
  • reconfigurable network
  • adaptive link
  • Srinivas Devadas
  • Computation Structures
  • Tip, Frank
  • Ernst, Michael D.
  • Dig, Danny
  • Dolby, Julian
  • Kiezun, Adam
  • Artzi, Shay
  • Paradkar, Amit
  • 2009-03-26
  • MIT-CSAIL-TR-2009-010
  • Software Testing
  • PHP
  • Dynamic Analysis
  • Michael Ernst
  • Program Analysis
  • Newport, Calvin
  • Lynch, Nancy
  • Kuhn, Fabian
  • 2009-02-21
  • MIT-CSAIL-TR-2009-009
  • Nancy Lynch
  • Theory of Computation
  • Lozano-Perez, Tomas
  • Kaelbling, Leslie Pack
  • Chiu, Han-Pang
  • 2009-02-18
  • MIT-CSAIL-TR-2009-008
  • Tomas Lozano-Perez
  • Learning and Intelligent Systems
  • Perli, Samuel David
  • Gollakota, Shyamnath
  • Katabi, Dina
  • 2009-02-18
  • MIT-CSAIL-TR-2009-007
  • Interference alignment
  • Interference cancellation
  • Wireless networks
  • Dina Katabi
  • Networks & Mobile Systems
  • Benjamin, Michael R.
  • Leonard, John J.
  • Schmidt, Henrik
  • Newman, Paul M.
  • 2009-02-13
  • MIT-CSAIL-TR-2009-006
  • marine vehicles
  • middleware
  • autonomous helm
  • unmanned underwater vehicle
  • IvP helm
  • IvP
  • unmanned surface vehicles
  • dackseat driver
  • behaviors
  • behavior-based
  • UUV
  • multi-objective optimization
  • publish-subscribe
  • interval programming
  • USV
  • Mission Oriented Operating Suite
  • MOOSDB
  • MOOS
  • pHelmIvP
  • decision making
  • John Leonard
  • Robotics, Vision & Sensor Networks
  • Katabi, Dina
  • Rahul, Hariharan
  • Jakubczak, Szymon
  • 2009-02-07
  • MIT-CSAIL-TR-2009-005
  • Wireless networks
  • Multicast
  • Wireless video
  • Video coding
  • Dina Katabi
  • Networks & Mobile Systems
  • Ernst, Michael D.
  • Kiezun, Adam
  • Ganesh, Vijay
  • Guo, Philip J.
  • Hooimeijer, Pieter
  • 2009-02-04
  • MIT-CSAIL-TR-2009-004
  • Constraint solvers
  • Automated testing
  • Michael Ernst
  • Program Analysis
 
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