Sciweavers

1358 search results - page 79 / 272
» Mapping Accessibility Over Time
Sort
View
VTC
2008
IEEE
127views Communications» more  VTC 2008»
14 years 4 months ago
Convergence Analysis of Iteratively Detected Time Hopping and DS-CDMA Ultrawide Bandwidth Systems by EXIT Charts
— This paper presents a novel analysis on the decoding convergence of Time Hopping (TH) and Direct Sequence (DS) Code-Division Multiple-Access (CDMA) Ultrawide Bandwidth (UWB) sy...
Raja Ali Riaz, Mohammed El-Hajjar, Qasim Zeeshan A...
PODC
1990
ACM
14 years 2 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
ICA
2012
Springer
12 years 5 months ago
Online PLCA for Real-Time Semi-supervised Source Separation
Non-negative spectrogram factorization algorithms such as probabilistic latent component analysis (PLCA) have been shown to be quite powerful for source separation. When training d...
Zhiyao Duan, Gautham J. Mysore, Paris Smaragdis
SOSP
2005
ACM
14 years 7 months ago
FS2: dynamic data replication in free disk space for improving disk performance and energy consumption
Disk performance is increasingly limited by its head positioning latencies, i.e., seek time and rotational delay. To reduce the head positioning latencies, we propose a novel tech...
Hai Huang, Wanda Hung, Kang G. Shin
RTSS
2006
IEEE
14 years 4 months ago
System-Level Energy Management for Periodic Real-Time Tasks
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...
Hakan Aydin, Vinay Devadas, Dakai Zhu