A cost effective ATE calibration/verification solution

A cost effective ATE calibration/verification solution

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

Bibliographic Details
Main Author:	Chung, Edgar N., 1977-
Other Authors:	Anantha Chandrakasan.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2014
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/86290

Similar Items

Safety verification for automated vehicle maneuvers
by: Dolginova, Ekaterina, 1977-
Published: (2009)

Modular data structure verification
by: Kuncak, Viktor (Viktor Jaroslav), 1977-
Published: (2007)

Procedure for optimal D.C. parameter extraction for hot-carrier degradation model calibration and verification
by: Dao, Steve Gia, 1973-
Published: (2009)

Radial undistortion and calibration on an image array
by: Lee, Charles B. (Charles Benjamin), 1977-
Published: (2014)

Verification of the StarT-voyager bus interface units
by: Ho, Wing-Chung, 1974-
Published: (2009)

Otto : a low-cost robotics platform for research and education
by: Olson, Edwin B. (Edwin Brock), 1977-
Published: (2014)

A verification framework for hybrid systems
by: Mitra, Sayan
Published: (2008)

Verification of an attitude control system
by: Ha, Vida Uyen, 1980-
Published: (2014)

Modular verification of hardware systems
by: Vijayaraghavan, Muralidaran
Published: (2016)

Formal verification of TCP and T/TCP
by: Smith, Mark Anthony Shawn, 1968-
Published: (2008)

Real-time face verification
by: Romano, Raquel Andrea
Published: (2007)

Automatic verification of pipelined microprocessors
by: Bhagwati, Vishal Lalit
Published: (2006)

Cost optimization and routing for satellite network constellations
by: Kwok, Kenneth C. H. (Kenneth Chun Hei), 1977-
Published: (2005)

A relational framework for bounded program verification
by: Dennis, Gregory D. (Gregory David), 1980-
Published: (2010)

Runtime verification of object lifetime specifications
by: Benjamin, Zev (Zev A.)
Published: (2010)

Restricted branching programs and hardware verification
by: Ponzio, Stephen J. (Stephen John)
Published: (2006)

A lightweight specification language for bounded program verification
by: Yessenov, Kuat T
Published: (2010)

Simultaneous sensor calibration and path estimation
by: Rudoy, Melanie Beth
Published: (2007)

Mircrowave calibration of the automatic newtwork analyzer
by: Park, Oggi
Published: (2005)

Design and verification of adaptive cache coherence protocols
by: Shen, Xiaowei, 1966-
Published: (2014)

Automating modular program verification by refining specifications
by: Taghdiri, Mana, 1979-
Published: (2008)

Contract-based safety verification for autonomous driving
by: Liebenwein, Lucas
Published: (2019)

Formal verification of safety-critical hybrid systems
by: Livadas, Carolos
Published: (2008)

Character segmentation heuristics for check amount verification
by: Khan, Salman Amin, 1976-
Published: (2009)

Automatic procedures for the behavioral verification of digital designs
by: Aelten, Filip Van
Published: (2005)

Automatic verification of the timing properties of MMT automata
by: Söylemez, Ekrem Sezer
Published: (2006)

Simulation and verification of autonomous route planning behavior
by: Kochhar, Amrik S
Published: (2011)

Evaluation of an object-based data interoperability solution for Air Force systems
by: Doering, Jeffrey R. (Jeffrey Ryan), 1977-
Published: (2014)

A specification and verification of intermittent global order broadcast
by: Matlon, Catherine A. (Catherine Ann), 1981-
Published: (2005)

Calibration of a microvision system for MEMS device characterization
by: Bardhan, Jaydeep Porter, 1978-
Published: (2005)

Using a gimbal to calibrate an inertial measurement unit
by: Reddy, Goutam
Published: (2007)

A segment-based speaker verification system using SUMMIT
by: Sarma, Sridevi Vedula
Published: (2008)

Officer of the Deck--validation and verification of a virtual environment for training
by: Pioch, Nicholas J. (Nicholas John)
Published: (2007)

Formal verification of simulations between I/O automata
by: Bogdanov, Andrej, 1978-
Published: (2014)

Estimation and calibration algorithms for distributed sampling systems
by: Divi, Vijay, 1980-
Published: (2009)

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

Modeling and verification of randomized distributed real-time systems
by: Segala, Roberto
Published: (2007)

Exploration of small enrollment speaker verification on handheld devices
by: Woo, Ram H. (Ram Han)
Published: (2006)

Derivation, experimental verification, and applications of a new color image model
by: Fuller, Megan M. (Megan Marie)
Published: (2018)

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