Synthesizing a synthesis tool

Synthesizing a synthesis tool

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013.

Bibliographic Details
Main Author:	Singh, Rohit, Ph. D. Massachusetts Institute of Technology.
Other Authors:	Armando Solar-Lezama.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2014
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/84731

Similar Items

High-energy sub-cycle optical waveform synthesizer
by: Huang, Shu-Wei, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Automatically learning optimal formula simplifiers and database entity matching rules
by: Singh, Rohit, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Algorithms for the analysis of protein interaction networks
by: Singh, Rohit, Ph.D. Massachusetts Institute of Technology
Published: (2012)

Synthesizing tabular data using conditional GAN
by: Xu, Lei(Electrical and computer scienctist)Massachusetts Institute of Technology.
Published: (2020)

Synthesizing 3D morphology from a collection of urban design concepts
by: Sun, Tuo,S.M.Massachusetts Institute of Technology.
Published: (2021)

On-Chip Network exploration and synthesis
by: Chen, Chia-Hsin, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Synthesis of bilayer graphene and hexagonal boron nitride by chemical vapor deposition method
by: Fang, Wenjing, Ph. D. Massachusetts Institute of Technology
Published: (2016)

Techniques for high-performance digital frequency synthesis and phase control
by: Hsu, Chun-Ming, Ph. D. Massachusetts Institute of Technology
Published: (2009)

Decision support tool for dynamic workforce scheduling in manufacturing environments \
by: Malik, Radhika, M. Eng. Massachusetts Institute of Technology
Published: (2014)

An extensible Web tool for the collection, sharing, and annotation of audio documents
by: Yang, Yang, M. Eng. Massachusetts Institute of Technology
Published: (2009)

Risk stratification of cardiovascular patients using a novel classification tree induction algorithm with non-symmetric entropy measures
by: Singh, Anima, Ph. D. Massachusetts Institute of Technology
Published: (2011)

Exploiting hierarchical and temporal information in building predictive models from EHR data
by: Singh, Anima, Ph. D. Massachusetts Institute of Technology
Published: (2015)

Reversible logic synthesis with minimal usage of ancilla bits
by: Xu, Siyao, M.Eng. Massachusetts Institute of Technology
Published: (2016)

Structured Grammatical Evolution applied to program synthesis
by: Zhang, Andrew H.,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

Empowering novices to understand and use machine learning with personalized image classification models, intuitive analysis tools, and MIT App Inventor
by: Tang, Danny,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

Generating secret in a network
by: Chan, Chung, Ph. D. Massachusetts Institute of Technology
Published: (2011)

A region-based architecture for service-providing distributed systems
by: Singh, Neha, S.M. Massachusetts Institute of Technology
Published: (2006)

A comparison-based approach to mispronunciation detection
by: Lee, Ann, Ph. D. Massachusetts Institute of Technology
Published: (2012)

A differential approach to undefined behavior detection
by: Wang, Xi, Ph. D. Massachusetts Institute of Technology
Published: (2015)

A sampling technique based on LDPC codes
by: Zhang, Xuhong, Ph. D. Massachusetts Institute of Technology
Published: (2015)

Mechanism design : a new algorithmic framework
by: Cai, Yang, Ph. D. Massachusetts Institute of Technology
Published: (2013)

A framework for non-intrusive load monitoring and diagnostics
by: Paris, James, Ph. D. Massachusetts Institute of Technology
Published: (2007)

A study of micromachined displacement pumps for vacuum generation
by: Zhou, Hui, Ph. D. Massachusetts Institute of Technology
Published: (2012)

A model of muscle-tendon function in human walking
by: Endo, Ken, Ph. D. Massachusetts Institute of Technology
Published: (2012)

A comprehensive system for non-intrusive load monitoring and diagnostics
by: Paris, James, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Design of a continuous-time bandpass delta-sigma modulator
by: Yang, Xi, Ph. D. Massachusetts Institute of Technology
Published: (2014)

On the power of (even a little) flexibility in dynamic resource allocation
by: Xu, Kuang, Ph. D. Massachusetts Institute of Technology
Published: (2014)

A super-nyquist architecture for rateless underwater acoustic communication
by: He, Qing, Ph. D. Massachusetts Institute of Technology
Published: (2012)

A planning scheme for penetrating embedded generation in power distribution grids
by: Wang, Jiankang, Ph. D. Massachusetts Institute of Technology
Published: (2014)

A universal, operational theory of multi-user communication with fidelity criteria
by: Agarwal, Mukul, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Experimental verification for the design of a doubly-fed permanent magnetic generator
by: Lu, Bin, Ph. D. Massachusetts Institute of Technology
Published: (2008)

Orientation-indepedent wireless charging of multiple mobile devices at a distance
by: Shi, Lixin, Ph. D. Massachusetts Institute of Technology
Published: (2016)

A novel method for mammalian large genetic circuit assembly and delivery
by: Li, Yinqing, Ph. D. Massachusetts Institute of Technology
Published: (2012)

ZStream : a cost-based query processor for composite event detection
by: Mei, Yuan, Ph. D. Massachusetts Institute of Technology
Published: (2009)

A cost-effective battery management and monitoring strategy for micro-grids in India
by: Kumar, Rakesh,Ph. D.Massachusetts Institute of Technology.
Published: (2019)

ATAC : A 1000-core cache coherent processor with on-chip optical network
by: Kurian, George, Ph, D. Massachusetts Institute of Technology
Published: (2011)

Design of a low-voltage low-power dc-dc HF converter
by: Hu, Jingying, Ph. D. Massachusetts Institute of Technology.
Published: (2008)

Towards unifying multi-resolution and multi-description : a distortion-diversity perspective
by: Jing, Sheng, Ph. D. Massachusetts Institute of Technology
Published: (2010)

Efficient IC statistical modeling and extraction using a Bayesian inference framework
by: Yu, Li, Ph. D. Massachusetts Institute of Technology
Published: (2015)

A Bayesian latent time-series model for switching temporal interaction analysis
by: Dzunic, Zoran, Ph. D. Massachusetts Institute of Technology
Published: (2016)