347 search results - page 70 / 70 » From Separation Logic to First-Order Logic |
TROB
2002
14 years 11 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
ISCAS
1995
IEEE
15 years 3 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...