Technical Reports
Work Products
Historical Collections
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
->
Title
Author
Date
Identifier
Keywords
Advisor
Group
A Unified Operating System for Clouds and Manycore: fos
Modzelewski, Kevin
Miller, Jason
Belay, Adam
Beckmann, Nathan
Gruenwald, Charles, III
Wentzlaff, David
Youseff, Lamia
Agarwal, Anant
2009-11-20
MIT-CSAIL-TR-2009-059
Infrastructure as a Service
Cloud Computing
Manycore
Operating System
Multicore
Anant Agarwal
Computer Architecture
Distributed Computation in Dynamic Networks
Oshman, Rotem
Lynch, Nancy
Kuhn, Fabian
2009-11-10
MIT-CSAIL-TR-2009-058
Nancy Lynch
Theory of Computation
Rational Robustness for Mechanism Design
Micali, Silvio
Chen, Jing
2009-11-10
MIT-CSAIL-TR-2009-057
Mechanism Design, Implementation, Rational Robustness, Distinguishably Dominated Strategies
Silvio Micali
Theory of Computation
Graphite: A Distributed Parallel Simulator for Multicores
Beckmann, Nathan
Eastep, Jonathan
Gruenwald, Charles, III
Kurian, George
Kasture, Harshad
Miller, Jason E.
Celio, Christopher
Agarwal, Anant
2009-11-09
MIT-CSAIL-TR-2009-056
Anant Agarwal
Computer Architecture
Smartlocks: Self-Aware Synchronization through Lock Acquisition Scheduling
Agarwal, Anant
Santambrogio, Marco D.
Wingate, David
Eastep, Jonathan
2009-11-09
MIT-CSAIL-TR-2009-055
Anant Agarwal
Computer Architecture
Co-Clustering with Generative Models
Golland, Polina
Lashkari, Danial
2009-11-03
MIT-CSAIL-TR-2009-054
Polina Golland
Vision
Propagation Networks: A Flexible and Expressive Substrate for Computation
Radul, Alexey
2009-11-03
MIT-CSAIL-TR-2009-053
Gerald Sussman
Mathematics and Computation
Shape from Sheen
Adelson, Edward H.
Torralba, Antonio
Fleming, Roland W.
2009-10-22
MIT-CSAIL-TR-2009-051
specular
shape perception
Vision
Ted Adelson
Vision
Iterative Projection Methods for Structured Sparsity Regularization
Rosasco, Lorenzo
Verri, Alessandro
Santoro, Matteo
Mosci, Sofia
Villa, Silvia
2009-10-14
MIT-CSAIL-TR-2009-050
CBCL-282
computation
learning
Tomaso Poggio
Center for Biological and Computational Learning (CBCL)
Understanding and Supporting Directed Content Sharing on the Web
Miller, Rob
Karger, David
Marcus, Adam
Bernstein, Michael
2009-10-07
MIT-CSAIL-TR-2009-048
friendsourcing
Social link sharing
blogs
RSS
Rob Miller
User Interface Design
Whanaungatanga: Sybil-proof routing with social networks
Lesniewski-Laas, Chris
Kaashoek, M. Frans
2009-09-24
MIT-CSAIL-TR-2009-045
dht
security
sybil
overlay
distributed hash table
Frans Kaashoek
Parallel and Distributed Operating Systems
Efficient POMDP Forward Search by Predicting the Posterior Belief Distribution
Roy, Nicholas
He, Ruijie
2009-09-23
MIT-CSAIL-TR-2009-044
Nicholas Roy
Robotics, Vision & Sensor Networks
Finding aircraft collision-avoidance strategies using policy search methods
Kaelbling, Leslie Pack
Lozano-Perez, Tomas
2009-09-12
MIT-CSAIL-TR-2009-043
Learning and Intelligent Systems
Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures
Agarwal, Anant
Rinard, Martin
Sidiroglou, Stelios
Misailovic, Sasa
Hoffmann, Henry
2009-09-03
MIT-CSAIL-TR-2009-042
Martin Rinard
Computer Architecture
Lightweight Communications and Marshalling for Low-Latency Interprocess Communication
Moore, David
Olson, Edwin
Huang, Albert
2009-09-02
MIT-CSAIL-TR-2009-041
message passing
interprocess communication
robotics middleware
real-time systems
Seth Teller
Robotics, Vision & Sensor Networks
Information Flow for Secure Distributed Applications
Cheng, Winnie Wing-Yee
2009-08-27
MIT-CSAIL-TR-2009-040
privacy
security
distributed systems
information flow control
integrity
secrecy
confidentiality
Barbara Liskov
Programming Methodology
AvatarSAT: An Auto-tuning Boolean SAT Solver
Ganesh, Vijay
Singh, Rishabh
Near, Joseph P.
Rinard, Martin
2009-08-26
MIT-CSAIL-TR-2009-039
self-tuning
machine learning
SAT solvers
Martin Rinard
Computer Architecture
Detecting Hazardous Intensive Care Patient Episodes Using Real-time Mortality Models
Hug, Caleb
2009-08-26
MIT-CSAIL-TR-2009-038
Severity of Illness Index
Real-Time Systems
Decision Support Systems, Clinical
Pattern Recognition, Automated
Intensive Care
Hospital Mortality
Data Interpretation, Statistical
Artificial Intelligence
Decision Making, Computer-Assisted
Peter Szolovits
Clinical Decision-Making
Extending a MOOS-IvP Autonomy System and Users Guide to the IvPBuild Toolbox
Benjamin, Michael R.
Newman, Paul M.
Schmidt, Henrik
Leonard, John J.
2009-08-20
MIT-CSAIL-TR-2009-037
UUV
Behavior Based Control
Unmanned Vehicles
Multi-objective Optimization
Autonomous Marine Vehicles
Behavior Based Architecture
Autonomous Vehicles
AUV
Arbitration
MOOSDB
Unmanned Marine Vehicles
Action Selection
Multi-Objective Optimization
Autonomous Helm
USV
Unmanned Surface Vehicles
MOOS
Behaviors
Artificial Intelligence
Autonomous Decision Making
Underwater Vehicles
ZAIC
Robotics, Vision & Sensor Networks
John Leonard
Guaranteed in-order packet delivery using Exclusive Dynamic Virtual Channel Allocation
Devadas, Srinivas
Cho, Myong Hyon
Shim, Keun Sup
Lis, Mieszko
2009-08-18
MIT-CSAIL-TR-2009-036
Srini Devadas
Computation Structures
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