5639 search results - page 45 / 1128 » Timed Abstract Non-interference |
PRDC
2007
IEEE
15 years 6 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
114
click to vote
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— We propose low-complexity equalizers for Alamouti space-time coded orthogonal frequency-division multiplexing (OFDM) systems in time- and frequency-selective channels, ...
113
click to vote
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Studies on differential unitary space-time modulation are mostly focused on Rayleigh fading channels. In this paper we present new analytic results for the maximum-like...
JCP
2007
14 years 11 months ago
2007
Abstract—This paper establishes a new coherent framework to extend the class of unitary warping operators to the case of discrete–time sequences. Providing some a priori consid...
ICCD
1999
IEEE
15 years 4 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...