Deep neural networks are an attractive tool for compressing the control policy lookup tables in systems such as Airborne Collision Avoidance System (ACAS). It is vital to ensure safety of controllers via verification techniques. The problem analyzing ACAS Xu has motivated many successful network verifiers. These verifiers typically analyze internal computation decide whether a property regardin...

A high performance FGMOS based current mirrors at low supply voltage is proposed in this paper. A combination of floating gate and CMOS technology is used to design this new simple current mirror at low supply voltage of 0.5V using 180nm CMOS technology. Very low input impedance of 14Ω with increased input voltage swing. In addition to accurate current copy, a very high output impedance of 5GΩ ...

An intention of MapReduce Sets for External Source Input expressions analysis has to suggest criteria how External Source Input expressions in External Source Input data can be defined in a meaningful way and how they should be compared. Similitude based MapReduce Sets for External Source Input Expression Analysis and MapReduce Sets for Assignment is expected to adhere to fundamental principles...

It is generally assumed that databases have to reside in external, inexpensive storage because of their sheer size. Current technology for external storage systems presents us with a reality that performance-wise, a small number of sequential scans of the data is strictly preferable over random data accesses. Database technology — in particular query processing technology — has developed around...

This paper presents a pulse response-based builtin self test technique and implementation for the testing of analog integrated circuits in mixed-signal systems. This BIST technique employs two narrow width pulses as input stimuli, and monitors two voltage samples on pulse response waveform for fault detection through allowable tolerances. The BIST system implementation realizes a programmable d...