4520 search results - page 93 / 904 » Algebraic Techniques for Timed Systems |
133
click to vote
ICCAD
1995
IEEE
15 years 5 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
101
click to vote
TSP
2008
15 years 1 months ago
2008
In this paper, the problem of joint channel and carrier frequency offset (CFO) estimation is studied in the context of multiple-input multiple-output (MIMO) communications based on...
144
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
125
click to vote
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper focuses on a technique to empower commercial-off-the-shelf (COTS) systems with an execution environment, and corresponding services, to support realtime and embedded ap...
133
click to vote
CJ
2004
15 years 1 months ago
2004
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...