Global ETD Search

Computer Aided Design Algorithmic Technique for Very Large Scale Integrated Circuit Design and Smart Home Embedded System Design

Chen, Xiaodao

mtu Repository record for Computer Aided Design Algorithmic Technique for Very Large Scale Integrated Circuit Design and Smart Home Embedded System Design (opens in a new tab)

Fast long lived renaming

Kopinsky, JustinMassachusetts Institute of Technology2014

… randomized solution for long-lived renaming. The algorithmic technique we consider, called the LevelArray, has previously been used for hashing and one-shot (single-use) renaming. Our main contribution is to prove that, in long-lived executions, where processes may register and deregister …

mit Repository record for Fast long lived renaming (opens in a new tab)

Algorithmic Approaches to Nonparametric Causal Inference

Cohen, Peter L.Massachusetts Institute of Technology2022

… experiments. We construct a calibration technique based around linear regression which constructs imputation estimators with upper bounds on the asymptotic variance of the estimator. We show that this calibration procedure is applicable to any imputation estimator which may be …

mit Repository record for Algorithmic Approaches to Nonparametric Causal Inference (opens in a new tab)

Soft N-modular redundancy: exploiting statistics for robust computation

Kim, Eric P.University of Illinois at Urbana-Champaign2010

… NMR, soft NMR employs estimation and detection techniques in the voter. Analysis of soft NMR, NMR and ANT is given to facilitate future design of systems employing such robust techniques. We also compare NMR and soft NMR in the design of an energy-e cient and robust discrete cosine transform …

uiuc Repository record for Soft N-modular redundancy: exploiting statistics for robust computation (opens in a new tab)