1268 search results - page 105 / 254 » Verifying distributed systems: the operational approach |
110
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, a novel closed-loop distributed extended orthogonal space time block code (D-EO-STBC) with one-bit feedback based on selection of phase rotation is proposed for two...
ISCA
2006
IEEE
15 years 4 months ago
2006
IEEE
We evaluate the performance of quantum arithmetic algorithms run on a distributed quantum computer (a quantum multicomputer). We vary the node capacity and I/O capabilities, and t...
TSP
2010
14 years 4 months ago
2010
Abstract--A cooperative approach to the sensing task of wireless cognitive radio (CR) networks is introduced based on a basis expansion model of the power spectral density (PSD) ma...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
IMC
2006
ACM
15 years 4 months ago
2006
ACM
The academic community has long acknowledged the existence of malicious botnets, however to date, very little is known about the behavior of these distributed computing platforms....