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
  • 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
  • Lynch, Nancy
  • Lahiani, Limor
  • Dolev, Shlomi
  • Nolte, Tina
  • 2009-01-28
  • MIT-CSAIL-TR-2009-003
  • Self-stabilizing algorithms
  • Mobile ad-hoc networks
  • Routing algorithms
  • Nancy Lynch
  • Theory of Computation
  • Sussman, Gerald Jay
  • Radul, Alexey
  • 2009-01-26
  • MIT-CSAIL-TR-2009-002
  • Constraint-based programming
  • Programming models
  • Distributed search
  • Gerald Jay Sussman
  • Mathematics and Computation
  • Hicks, Jamey
  • Curtis, Dorothy
  • Teller, Seth
  • Charrow, Ben
  • Ryan, Russell
  • Ledlie, Jonathan
  • Battat, Jonathan
  • 2008-12-30
  • MIT-CSAIL-TR-2008-075
  • Shared Sensing
  • Computer Communication Networks
  • Localization
  • Location-Based Services
  • Geo-Tagging
  • Collaborative Computing
  • Distributed Systems
  • Distributed Applications
  • Pervasive Computing
  • Algorithms
  • Experiments
  • Groups and Organization Interfaces
  • Measurement
  • Crowd-Sourcing
  • Information Interfaces and Presentation
  • Human Factors
  • Seth Teller
  • Robotics, Vision & Sensor Networks
  • Micali, Silvio
  • Chen, Jing
  • 2008-12-17
  • MIT-CSAIL-TR-2008-074
  • Resilient mechanism design
  • Knowledge-Based Benchmarks
  • Player-Knowledge Benchmarks
  • Aggregated Knowledge-Based Benchmarks
  • Aggregated Player-Knowledge Benchmarks
  • Silvio Micali
  • Theory of Computation
  • Chen, Jing
  • Micali, Silvio
  • 2008-12-02
  • MIT-CSAIL-TR-2008-073
  • Single-good, unlimited-supply auctions
  • Resilient mechanism design
  • Provision of a public good
  • Knowledge-Based Benchmarks
  • Silvio Micali
  • Theory of Computation
  • Micali, Silvio
  • Chen, Jing
  • 2008-12-02
  • MIT-CSAIL-TR-2008-072
  • Resilient Mechanism Design
  • Equilibrium-less Mechanism Design
  • Knowledge Benchmarks
  • Silvio Micali
  • Theory of Computation
  • Micali, Silvio
  • Chen, Jing
  • 2008-10-08
  • MIT-CSAIL-TR-2008-071
  • Implementation in surviving strategies
  • Resilient Mechanism Design
  • Privacy-preserving mechanisms
  • Equilibrium-less mechanism design
  • Knowledge benchmarks
  • Silvio Micali
  • Silvio Micali
  • Theory of Computation
  • Theory of Computation
  • Caponnetto, Andrea
  • Poggio, Tomaso
  • Bouvrie, Jake
  • Rosasco, Lorenzo
  • Smale, Steve
  • 2008-11-26
  • MIT-CSAIL-TR-2008-070
  • CBCL-276
  • neuroscience
  • computer vision
  • kernels
  • Tomaso Poggio
  • Center for Biological and Computational Learning (CBCL)
  • Tenenbaum, Joshua B.
  • Jonas, Eric M.
  • Mansinghka, Vikash K.
  • 2008-11-24
  • MIT-CSAIL-TR-2008-069
  • cognitive science
  • robustness
  • Bayesian inference
  • artificial intelligence
  • Joshua Tenenbaum
  • Computational Cognitive Science
  • Lynch, Nancy
  • Pereira, Olivier
  • Kaynar, Dilsun
  • Cheung, Ling
  • Canetti, Ran
  • 2008-11-22
  • MIT-CSAIL-TR-2008-068
  • Nancy Lynch
  • Theory of Computation
  • Micali, Silvio
  • Valiant, Paul
  • 2008-11-13
  • MIT-CSAIL-TR-2008-067
  • Resilient mechanism design
  • Silvio Micali
  • Theory of Computation
  • Agarwal, Anant
  • Psota, James
  • Eastep, Jonathan
  • Konstantakopoulos, Theodoros
  • 2008-11-11
  • MIT-CSAIL-TR-2008-066
  • on-chip networks
  • multicore
  • energy scalability
  • Anant Agarwal
  • Computer Architecture
 
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