2870 search results - page 302 / 574 » Synchronization of multi-agent systems |
232
Voted
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
120
Voted
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper proposes a motion-focusing method to extract key frames and generate summarization synchronously for surveillance videos. Within each pre-segmented video shot, the prop...
124
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper we consider the problem of semiblind carrier frequency offset (CFO) estimation for OFDM systems. Specifically, we consider a synchronization scheme based on the ...
133
click to vote
SIPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present four scheduling algorithms that provide flexible utilization of fine-grain DSP accelerators with low run-time overhead. Methods that have originally been...
145
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...