Search
Now showing items 511-520 of 2403
Structure driven multiprocessor compilation of numeric problems
(Massachusetts Institute of Technology, 1991)
Chip-scale quadrupole mass filters for a Micro-Gas Analyzer
(Massachusetts Institute of Technology, 2009)
Mass spectrometers are powerful analytical instruments that serve as the gold standard for chemical analysis. This tool has numerous applications ranging from national security, industrial processing, environmental monitoring, ...
Building integrated cell-based microsystems : fabrication methodologies, metrology tools and impact on cellular physiology
(Massachusetts Institute of Technology, 2009)
This thesis presents the development of new tools for the realization and characterization of complex, integrated biological microsystems. These tools involve - (1) the implementation and characterization of a new material ...
Principles on the relationship between structure and behavior of dynamic systems.
(Massachusetts Institute of Technology, 1977)
An analytical approach to computerized news layout for newspapers.
(Massachusetts Institute of Technology, 1978)
Parallel computation : synchronization, scheduling, and schemes.
(Massachusetts Institute of Technology, 1979)
Steganography and collusion in cryptographic protocols
(Massachusetts Institute of Technology, 2006)
Steganography, the hiding of covert messages inside innocuous communication, is an active area of cryptographic research. Recent research has shown that provably undetectable steganography is possible in a wide variety of ...
Modular data structure verification
(Massachusetts Institute of Technology, 2007)
This dissertation describes an approach for automatically verifying data structures, focusing on techniques for automatically proving formulas that arise in such verification. I have implemented this approach with my ...
Interferometric-spatial-phase imaging for sub-nanometer three-dimensional positioning
(Massachusetts Institute of Technology, 2004)
Current alignment technology is incapable of satisfying the needs of imminent generations of lithography. This dissertation delineates a novel method of alignment and three-dimensional position metrology that is compatible ...
Restricted branching programs and hardware verification
(Massachusetts Institute of Technology, 1995)