Browsing Electrical Engineering and Computer Sciences - Ph.D. / Sc.D. by Title
Research and Teaching Output of the MIT Community
- Home
- →
- MIT Libraries
- →
- MIT Theses
- →
- Theses - Dept. of Electrical Engineering and Computer Sciences
- →
- Electrical Engineering and Computer Sciences - Ph.D. / Sc.D.
- →
- Browsing Electrical Engineering and Computer Sciences - Ph.D. / Sc.D. by Title
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Electrical Engineering and Computer Sciences - Ph.D. / Sc.D. by Title
-
(Massachusetts Institute of Technology, 1933)
-
(Massachusetts Institute of Technology, 1934)
-
(Massachusetts Institute of Technology, 2010)Information about a random event (termed the source) is typically treated as a (possibly noisy) function of that event. Information has a destination, an agent, that uses the information to make a decision. In traditional ...
-
(Massachusetts Institute of Technology, 1995)
-
(Massachusetts Institute of Technology, 1996)
-
(Massachusetts Institute of Technology, 2007)This thesis proposes vector-thread architectures as a performance-efficient solution for all-purpose computing. The VT architectural paradigm unifies the vector and multithreaded compute models. VT provides the programmer ...
-
(Massachusetts Institute of Technology, 2005)Part I of this thesis presents a strategy for compiling distributed systems specified in IOA into Java programs running on a group of networked workstations. IOA is a formal language for describing distributed systems as ...
-
(Massachusetts Institute of Technology, 2007)Combining; discrete state transitions with differential equations, Hybrid system models provide an expressive formalism for describing software systems that interact with a physical environment. Automatically checking ...
-
(Massachusetts Institute of Technology, 2004)We report measurements of the temperature and power dependence of the microwave frequency intermodulation distortion (IMD) in high quality pulsed laser deposition (PLD) Yttrium Barium Copper Oxide (YBCO) on LaAlO3 substrate. ...
-
(Massachusetts Institute of Technology, 2010)We present the verification of full functional correctness for a collection of imperative linked data structures implemented in Java. A key technique that makes this verification possible is a novel, integrated proof ...
-
(Massachusetts Institute of Technology, 2011)Suppose we are given a gigantic communication network, but are only interested in a small number of nodes (clients). There are many routing problems we could be asked to solve for our clients. Is there a much smaller network ...
-
(Massachusetts Institute of Technology, 1996)
-
(Massachusetts Institute of Technology, 1972)
-
(Massachusetts Institute of Technology, 1997)
-
(Massachusetts Institute of Technology, 2009)This thesis presents the theory, implementation, novel applications, and experimental validation of a general-purpose framework for applying virtual modifications to an articulated robot, or virtual articulations. These ...
-
(Massachusetts Institute of Technology, 2007)One of the most significant challenges introduced by ad hoc networks is coping with the unpredictable deployment, uncertain reliability, and erratic communication exhibited by emerging wireless networks and devices. The ...
-
(Massachusetts Institute of Technology, 2009)In this thesis, we formally define a programming abstraction for mobile networks called the Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual ...
-
(Massachusetts Institute of Technology, 1990)
-
(Massachusetts Institute of Technology, 2007)The amount of information available to an intelligent monitoring system is simply too vast to process in its entirety. One way to address this issue is by developing attentive mechanisms that recognize parts of the input ...
-
(Massachusetts Institute of Technology, 2000)
Browse
My Account
MIT-Mirage