116 search results - page 24 / 24 » Heap-Dependent Expressions in Separation Logic |
ISCAS
1995
IEEE
13 years 8 months ago
1995
IEEE
Abstract— This paper describes a new first and secondorder delta-sigma modulator (DSM) concept where the first integrator is extracted and implemented by a FM oscillator with t...