1720 search results - page 136 / 344 » Unranking Combinations in Parallel |
174
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, the issue of channel estimation in Single Carrier Frequency Domain Equalization (SC-FDE)1 uplink Space Division Multiple Access (SDMA) systems in the presence of in...
183
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
201
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
183
click to vote
ISORC
2006
IEEE
16 years 27 days ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
170
Voted
MIDDLEWARE
2005
Springer
16 years 11 days ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...