Sciweavers

3381 search results - page 140 / 677
» Extending Dependencies with Conditions
Sort
View
VLSISP
2011
231views Database» more  VLSISP 2011»
15 years 1 months ago
Loop Distribution and Fusion with Timing and Code Size Optimization
Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propose a new t...
Meilin Liu, Edwin Hsing-Mean Sha, Qingfeng Zhuge, ...
TPHOL
2008
IEEE
16 years 24 days ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
RTAS
1995
IEEE
15 years 10 months ago
A feasibility decision algorithm for rate monotonic scheduling of periodic real-time tasks
The rate monotonic scheduling algorithm is a commonly used task scheduling algorithm for periodic realtime task systems. This paper discusses feasibility decision for a given real...
Yoshifumi Manabe, Shigemi Aoyagi
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 6 months ago
The SIMO Pre-Log Can Be Larger Than the SISO Pre-Log
Abstract--We establish a lower bound on the noncoherent capacity pre-log of a temporally correlated Rayleigh block-fading single-input multiple-output (SIMO) channel. Surprisingly,...
Veniamin I. Morgenshtern, Giuseppe Durisi, Helmut ...
AUTOMATICA
2004
118views more  AUTOMATICA 2004»
15 years 6 months ago
Active state estimation of nonlinear systems
In this paper, state observers for control systems with nonlinear outputs are studied. For such systems, the observability does not only depend on the initial conditions, but also...
Xiaoming Hu, Torvald Ersson