1521 search results - page 19 / 305 » On Sampled Semantics of Timed Systems |
RTCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
—We develop sub-Nyquist sampling systems for analog signals comprised of several, possibly overlapping, finite duration pulses with unknown shapes and time positions. Efficient...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
—In network measurement systems, packet sampling techniques are usually adopted to reduce the overall amount of data to collect and process. Being based on a subset of packets, t...
VTC
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we propose an efficient synchronization method to jointly estimate fine symbol timing offset (STO) and integer carrier frequency offset (CFO). The proposed method is...