1720 search results - page 136 / 344 » Unranking Combinations in Parallel |
125
click to vote
VTC
2007
IEEE
15 years 10 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...
129
Voted
CONCUR
2007
Springer
15 years 10 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...
143
click to vote
LPAR
2007
Springer
15 years 10 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...
139
click to vote
ISORC
2006
IEEE
15 years 10 months 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...
120
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months 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...