2870 search results - page 138 / 574 » Synchronization of multi-agent systems |
FDL
2003
IEEE
14 years 3 months ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
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...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper considers the problems of controlled synchronization and regulation of oscillatory systems. For a specific class of nonlinear systems, namely for minimum phase syst...
MOBISYS
2004
ACM
14 years 10 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...