15840 search results - page 84 / 3168 » The Control of Synchronous Systems |
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
— In Orthogonal Frequency Division Multiplexing (OFDM) systems, synchronization errors in the receiver cause a linear phase rotation at the output of the Discrete Fourier Transfo...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
MOBISYS
2004
ACM
14 years 9 months ago
2004
ACM
In this paper, we consider the problem of file synchronization when a mobile host shares files with a backbone file server in a network file system. Several diff schemes have been...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we investigate the timing and carrier frequency offset (CFO) synchronization problem in decode and forward cooperative systems operating over frequency selective ch...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...