Logical reasoning for approximate and unreliable computation

Logical reasoning for approximate and unreliable computation

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.

Bibliographic Details
Main Author:	Carbin, Michael (Michael James)
Other Authors:	Martin C. Rinard.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2015
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/99813

Similar Items

Distributed computation on unreliable radio channels
by: Newport, Calvin (Calvin Charles)
Published: (2010)

Computing with unreliable resources : design, analysis and algorithms
by: Wang, Da, Ph. D. Massachusetts Institute of Technology
Published: (2014)

Routing in unreliable networks
by: Castiñeyra Figueredo, Isidro Marcos
Published: (2005)

Unreliable and resource-constrained decoding
by: Varshney, Lav R. (Lav Raj)
Published: (2010)

On the use of erasure codes in unreliable data networks
by: Parikh, Salil (Salil Arvind), 1971-
Published: (2006)

Unified congestion control for unreliable transport protocols
by: Rahul, Hariharan Shankar, 1975-
Published: (2013)

Automatically identifying critical behaviors in programs
by: Carbin, Michael (Michael James)
Published: (2010)

Coding approaches for maintaining data in unreliable network systems
by: Abdrashitov, Vitaly
Published: (2018)

Efficient and proven verification of unreliable hardware executions of classic algorithms
by: Gyurova, Yoana G
Published: (2016)

A tactical planning model for a job shop with unreliable work stations and capacity constraints
by: Mihara, Shoichiro
Published: (2011)

Energy-efficient approximate computation in Topaz
by: Achour, Sara
Published: (2015)

UAV back-track in GPS unreliable environment
by: Li, Zhaonan
Published: (2020)

A computational characterization of domain-based causal reasoning development in children
by: Aronoff, Caroline Bradley
Published: (2018)

Modelling and analysis of unreliable manufacturing assembly networks with finite storages
by: Ammar, Mostafa H. (Mostafa Hamed)
Published: (2005)

Local approximations of deep learning models for black-box adversarial attacks
by: Sun, Michael(Michael Z.)
Published: (2019)

Sparse approximations, iterative methods, and faster algorithms for matrices and graphs
by: Cohen, Michael Benjamin
Published: (2018)

Dynamic routing in an unreliable manufacturing network with limited storage
by: Hahne, Ellen Louise
Published: (2005)

An algorithm to efficiently and accurately compute the effective capacitances of interconnects driven by logic gates
by: Strojwas, Marcin A. (Marcin Andrzej), 1978-
Published: (2014)

Asymptotically zero energy computing using split-level charge recovery logic
by: Younis, Saed G
Published: (2005)

Reasoning from experiments to causal models in molecular cell biology
by: Wertheimer, Jeremy M. (Jeremy Michael)
Published: (2005)

Approximate dynamic programming with applications in multi-agent systems
by: Valenti, Mario J. (Mario James), 1976-
Published: (2008)

On approximating projection games
by: Manurangsi, Pasin
Published: (2016)

Analysis of approximation and uncertainty in optimization
by: Mastin, Dana Andrew
Published: (2015)

Approximate string joins with abbreviations
by: Tao, Wenbo, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Mechanism design with approximate types
by: Zhu, Zeyuan Allen
Published: (2012)

Approximating the maximum acyclic subgraph
by: Newman, Alantha
Published: (2014)

Optimal dynamic routing in an unreliable queuing system
by: Tsitsiklis, John N
Published: (2005)

Verifying quantitative reliability for programs that execute on unreliable hardware
by: Misailovic, Sasa, et al.
Published: (2015)

Story-enabled hypothetical reasoning
by: Holmes, Dylan Alexander
Published: (2017)

Circuit design for logic automata
by: Chen, Kailiang
Published: (2010)

Recovered energy logic--a logic family and power supply featuring very high efficiency
by: Hinman, Roderick Thornton
Published: (2005)

Approximation algorithms for disjoint paths problems
by: Kleinberg, Jon M
Published: (2005)

Fast approximate hierarchical solution of MDPs
by: Barry, Jennifer L. (Jennifer Lynn)
Published: (2010)

Realization and approximation of stationary stochastic processes
by: Avniel, Yehuda
Published: (2005)

Approximation algorithms for stochastic scheduling problems
by: Dean, Brian C. (Brian Christopher), 1975-
Published: (2006)

Accuracy-aware optimization of approximate programs
by: Misailović, Saša
Published: (2016)

Coherent approximation of distributed expert assessments
by: Jones, Peter B., Ph.D. Massachusetts Institute of Technology
Published: (2011)

Perturbation stability for approximate MAP inference
by: Lang, Hunter(Hunter J.)
Published: (2019)

Training hierarchical networks for function approximation
by: Miranda, Brando, M. Eng. Massachusetts Institute of Technology
Published: (2018)

Approximate inference in Gaussian graphical models
by: Malioutov, Dmitry M., 1981-
Published: (2009)