25 search results - page 4 / 5 » The Synergy Between Non-Blocking Synchronization and Operati... |
140
Voted
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper proposes a cooperative space-time coding (STC) protocol, amalgamating the concepts of asynchronous cooperation, non-coherent detection as well as Distributed Turbo Co...
136
Voted
ICQNM
2008
IEEE
15 years 7 months ago
2008
IEEE
We have begun to expand the NIST quantum key distribution (QKD) system into a quantum network to support secure cryptography. We are starting with a simple three-node network, one...
102
Voted
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
127
Voted
JFP
2010
14 years 11 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
124
Voted
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...