7992 search results - page 1528 / 1599 » Communication Abstractions for Distributed Systems |
110
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
106
Voted
TWC
2008
15 years 3 months ago
2008
Abstract-- Turbo equalization improves communication system performance by iteratively exchanging information between soft-input soft-output (SISO) equalizer and SISO channel decod...
149
Voted
COMPUTER
2004
15 years 3 months ago
2004
, abstracts each virtual machine's view of its storage and networks, and binds virtual machines across nodes into isolated virtual farms. The SoftUDC control system spans all ...
131
Voted
AMI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. High average intensity of traffic and problems like traffic congestions, road safety, etc. are challenging problems striking highway operators in these days. With the bro...
147
Voted
TCOM
2010
14 years 10 months ago
2010
Abstract--Motivated by the recent concept of Spatial Modulation (SM), we propose a novel Space-Time Shift Keying (STSK) modulation scheme for Multiple-Input Multiple-Output (MIMO) ...