813 search results - page 121 / 163 » Correctness Properties for Multiagent Systems |
149
Voted
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
We present a pilot-assisted method for estimating the frequency selective channel in a MIMO-OFDM system. The pilot sequence is designed using the DFT of the Golay complementary se...
120
Voted
CAP
2010
14 years 10 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
133
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Strong consistency is an important correctness property for replicated databases. It ensures that each transaction accesses the latest committed database state as provided in centr...
106
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Low-density parity-check convolutional codes offer the same good error-correcting performance as low-density parity-check block codes while having the ability to encode and dec...
115
Voted
IPPS
1996
IEEE
15 years 7 months ago
1996
IEEE
Many irregular scientific computing problems can be modeled by directed acyclic task graphs (DAGs). In this paper, we present an efficient run-time system for executing general as...