Browsing Department of Electrical Engineering and Computer Sciences by Title
Research and Teaching Output of the MIT Community
- Home
- →
- Department of Electrical Engineering and Computer Sciences
- →
- Browsing Department of Electrical Engineering and Computer Sciences by Title
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Department of Electrical Engineering and Computer Sciences by Title
-
(Massachusetts Institute of Technology, 2004)Making software reliable is one of the most important technological challenges facing our society today. This thesis presents a new type system that addresses this problem by statically preventing several important classes ...
-
(Massachusetts Institute of Technology, 1998)
-
(Massachusetts Institute of Technology, 1995)
-
(Massachusetts Institute of Technology, 2010)State of the art sample-based path planning algorithms, such as the Rapidly-exploring Random Tree (RRT), have proven to be effective in path planning for systems subject to complex kinematic and geometric constraints. The ...
-
(Massachusetts Institute of Technology, 2011)This thesis develops several approaches for signal sampling and reconstruction given different assumptions about the signal, the type of errors that occur, and the information available about the signal. The thesis first ...
-
(Massachusetts Institute of Technology, 2012)Sampling-based motion planning received increasing attention during the last decade. In particular, some of the leading paradigms, such the Probabilistic RoadMap (PRM) and the Rapidly-exploring Random Tree (RRT) algorithms, ...
-
(Massachusetts Institute of Technology, 2007)The sampling of continuous-time signals based on local bandwidth is considered in this thesis. In an intuitive sense, local bandwidth refers to the rate at which a signal varies locally. One would expect that signals should ...
-
(Massachusetts Institute of Technology, 1982)
-
(Massachusetts Institute of Technology, 2001)
-
(Massachusetts Institute of Technology, 1994)
-
(Massachusetts Institute of Technology, 1998)
-
(Massachusetts Institute of Technology, 1998)
-
(Massachusetts Institute of Technology, 2008)All-optical switching, in place of electronic switching, of high data-rate lightpaths at intermediate nodes is one of the key enabling technologies for economically scalable future data networks. This replacement of ...
-
(Massachusetts Institute of Technology, 2011)This thesis analyzes scalable information-sharing network management. It looks into one of the large problems in network management today: finding information across different network domains. Information-sharing network ...
-
(Massachusetts Institute of Technology, 2001)
-
(Massachusetts Institute of Technology, 2010)The recent rise of multicore processors has forced us to reexamine old computer science problems in a new light. As multicores turn into manycores, we need to visit these problems yet again to find solutions that will work ...
-
(Massachusetts Institute of Technology, 2006)This thesis addresses the difficult task of constructing robust and scalable dynamic program analysis tools for programs written in memory-unsafe languages such as C and C++, especially those that are interested in observing ...
-
(Massachusetts Institute of Technology, 1989)
-
(Massachusetts Institute of Technology, 1997)
-
(Massachusetts Institute of Technology, 2013)Traditionally, FPGAs have been confined to the limited role of small, low-volume ASIC replacements and as circuit emulators. However, continued Moore's law scaling has given FPGAs new life as accelerators for applications ...
Browse
My Account
MIT-Mirage