Verification of semantic commutativity conditions and inverse operations on linked data structures

Verification of semantic commutativity conditions and inverse operations on linked data structures

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

Bibliographic Details
Main Author:	Kim, Deokhwan, Ph. D. Massachusetts Institute of Technology.
Other Authors:	Martin C. Rinard.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2012
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/68502

Similar Items

Verification of semantic commutativity conditions and inverse operations on linked data structures
by: Kim, Deokhwan, et al.
Published: (2012)

Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
by: Kim, Deokhwan, et al.
Published: (2010)

Verification of correctness properties of programs that read input files
by: Kim, Deokhwan,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Architectural support to exploit commutativity in shared-memory systems
by: Zhang, Guowei, Ph. D. Massachusetts Institute of Technology
Published: (2016)

Bayesian distance metric learning on i-vector for speaker verification
by: Fang, Xiao, Ph. D. Massachusetts Institute of Technology
Published: (2014)

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

Fast methods for inverse wave scattering problems
by: Lee, Jung Hoon, Ph. D. Massachusetts Institute of Technology
Published: (2009)

An inflexible semantics for cross-categorial operators
by: Hirsch, Aron, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Deep learning with physical and power-spectral priors for robust image inversion
by: Deng, Mo,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Verification of d-wave pairing symmetry by microwave intermodulation distortion measurements in yttrium barium copper oxide
by: Park, Sang-Hoon, Ph. D. Massachusetts Institute of Technology
Published: (2007)

Monte Carlo simulation model for electromagnetic scattering from vegetation and inversion of vegetation parameters
by: Wang, Li-Fang, Ph. D. Massachusetts Institute of Technology
Published: (2007)

Deep learning and structured data
by: Zhang, Chiyuan, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Cache coherent commutative operations
by: Horn, Webb H
Published: (2016)

Improving learning experience in MOOCs with educational content linking
by: Li, Shang-Wen,Ph. D.Massachusetts Institute of Technology.
Published: (2017)

GPSZip : semantic representation and compression system for GPS using coresets
by: Wu, Cathy, M. Eng. Massachusetts Institute of Technology
Published: (2014)

Verification of full functional correctness for imperative linked data structures
by: Zee, Karen K
Published: (2010)

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

The physics of phase-noise mitigation : signal and filtering using microwave-photonic generation links
by: Loh, William, 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)

Network localization and navigation : theoretical framework, efficient operation, and security assurance
by: Shen, Yuan, Ph. D. Massachusetts Institute of Technology
Published: (2014)

The spatial and temporal dynamics of commuting : examining the impacts of urban growth patterns, 1980-2000
by: Yang, Jiawen, Ph. D. Massachusetts Institute of Technology
Published: (2008)

On compression of encrypted data
by: Deng, Mo, Ph. D. Massachusetts Institute of Technology
Published: (2016)

Reconstructing deglacial ocean ventilation using radiocarbon : data and inverse modeling
by: Zhao, Ning, Ph. D. Massachusetts Institute of Technology
Published: (2017)

Explaining data in visual analytic systems
by: Wu, Eugene, Ph. D. Massachusetts Institute of Technology
Published: (2015)

Channel-and-circuits aware, energy-efficient coding for high speed links
by: Lee, Maxine, M. Eng. Massachusetts Institute of Technology
Published: (2008)

End-to-end data reliability in optical flow switching
by: Li, Rui, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Visualizing and interpreting convolutional neural networks on genomic data
by: Liu, Ge, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Millimeter wave communications : from point-to-point links to agile network connections
by: Rodriguez, Michael, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Optimization techniques for human computation-enabled data processing systems
by: Marcus, Adam, Ph. D. Massachusetts Institute of Technology
Published: (2013)

A low cost asynchronous eye diagram reconstruction system for high speed links
by: Zheng, Shijie, M. Eng. Massachusetts Institute of Technology
Published: (2014)

Intelligible models for learning categorical data via generalized fourier spectrum
by: Zhang, Xuhong,Ph. D.Massachusetts Institute of Technology.
Published: (2019)

Machine learning and coresets for automated real-time data segmentation and summarization
by: Volkov, Mikhail, Ph. D. Massachusetts Institute of Technology
Published: (2017)

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

Modified Natural Commutated Switching Technique for HF Link Inverter
by: Nge, C.L., et al.
Published: (2005)

On the semantics of phi features on pronouns
by: Sudo, Yasutada, Ph. D. Massachusetts Institute of Technology
Published: (2013)

Morphosyntax and semantics of degree constructions
by: Moracchini, Sophie,Ph. D.Massachusetts Institute of Technology.
Published: (2020)

Commutative semantics for probabilistic programming
by: Staton, S
Published: (2017)

G A N mask R-CNN : instance semantic segmentation benefits from generative adversarial networks
by: Le, Quang H.,M. Eng.(Quang Huy)Massachusetts Institute of Technology.
Published: (2021)

Scaling address-space operations on Linux with TSX
by: Johnson, Christopher Ryan, S.M. Massachusetts Institute of Technology
Published: (2014)

Asynchronous data-dependent jitter compensation
by: Price, Michael, Ph. D. (Michael R.). Massachusetts Institute of Technology
Published: (2010)