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, 1996)
-
(Massachusetts Institute of Technology, 1998)
-
(Massachusetts Institute of Technology, 1997)
-
(Massachusetts Institute of Technology, 2006)This paper describes a programming language, Javari, that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable ...
-
(Massachusetts Institute of Technology, 2008)Javari is an extension of Java that supports reference immutability constraints. Programmers write Javari type qualifiers, such as the readonly type qualifier, in their programs, and the Javari typechecker detects mutation ...
-
(Massachusetts Institute of Technology, 2005)JCilk extends the Java language to provide call-return semantics for multithreading, much as Cilk does for C. Java's built-in thread model does not support the passing of exceptions or return values from one thread back ...
-
(Massachusetts Institute of Technology, 2005)JCilk is a Java-based multithreaded programming language which extends Java to provide a dynamic threading model. Specifically, JCilk imports Cilk's fork-join primitives spawn and sync into Java to provide procedure-call ...
-
(Massachusetts Institute of Technology, 2000)
-
(Massachusetts Institute of Technology, 1997)
-
(Massachusetts Institute of Technology, 2006)Imagery formed from wide-angle synthetic aperture radar (SAR) measurements has fine cross-range resolution in principle. However, conventional SAR image formation techniques assume isotropic scattering, which is not valid ...
-
(Massachusetts Institute of Technology, 2008)The advent of DNA sequencing has revolutionized biological research by providing virtual blueprints of living organisms and offering insights into complicated biochemical processes. DNA sequencing is a process encompassing ...
-
(Massachusetts Institute of Technology, 1981)
-
(Massachusetts Institute of Technology, 2012)In this thesis, we study the joint design of multi-resolution (MR) coding and network coding. The three step coding process consists of MR source coding, layer coding and multi-stream coding. The source coding considers ...
-
(Massachusetts Institute of Technology, 1994)
-
(Massachusetts Institute of Technology, 1998)
-
(Massachusetts Institute of Technology, 2012)Dynamic programming languages have become popular for scientific computing. They are generally considered highly productive, but lacking in performance. This thesis presents a new dynamic language for technical computing, ...
-
(Massachusetts Institute of Technology, 1985)
-
(Massachusetts Institute of Technology, 2009)We extend the "method of multiplicities" to get the following results, of interest in combinatorics and randomness extraction. 1. We show that every Kakeya set (a set of points that contains a line in every direction) in ...
-
(Massachusetts Institute of Technology, 1999)
-
(Massachusetts Institute of Technology, 1997)
Browse
My Account
MIT-Mirage