Sciweavers

5639 search results - page 177 / 1128
» Timed Abstract Non-interference
Sort
View
ICC
2009
IEEE
141views Communications» more  ICC 2009»
15 years 8 months ago
Differential Space-Time-Frequency Codes for MB-OFDM UWB with Dual Carrier Modulation
Abstract—In a multiple-input multiple-output (MIMO) multiband orthogonal frequency division multiplexing (MB-OFDM) ultra-wideband (UWB) system, coherent detection where the chann...
Le Chung Tran, Alfred Mertins
RTSS
2009
IEEE
15 years 8 months ago
Multiprocessor Extensions to Real-Time Calculus
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
Hennadiy Leontyev, Samarjit Chakraborty, James H. ...
138
Voted
CAIP
2009
Springer
200views Image Analysis» more  CAIP 2009»
15 years 8 months ago
Real-Time Stereo Vision: Making More Out of Dynamic Programming
Abstract. Dynamic Programming (DP) is a popular and efficient method for calculating disparity maps from stereo images. It allows for meeting real-time constraints even on low-cos...
Jan Salmen, Marc Schlipsing, Johann Edelbrunner, S...
DCOSS
2009
Springer
15 years 8 months ago
Optimal Allocation of Time-Resources for Multihypothesis Activity-Level Detection
Abstract. The optimal allocation of samples for activity-level detection in a wireless body area network for health-monitoring applications is considered. A wireless body area netw...
Gautam Thatte, Viktor Rozgic, Ming Li, Sabyasachi ...
CDC
2008
IEEE
236views Control Systems» more  CDC 2008»
15 years 8 months ago
Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
Amir Ali Ahmadi, Pablo A. Parrilo