Mariner is an iSCSI-based storage system that is de signed to provide comprehensive data protection on com modity ATA disk and Gigabit Ethernet technologies while offering the...
Abstract--This paper addresses the problem of joint optimization of transmit beamforming and space-frequency (SF) coding for MIMO-OFDM systems with spatial correlation feedback in ...
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
Radu Serban, Wang Sang Koon, Martin W. Lo, Jerrold...
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TUBOUND is the seamless integration of a WCET analysis c...