4520 search results - page 174 / 904 » Algebraic Techniques for Timed Systems |
201
click to vote
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
190
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We proposed a Hybrid Automatic Repeat reQuest (HARQ) packet transmission scheme for a Multiple Input Multiple Output (MIMO) system in a frequency selective fading channel. The ...
180
click to vote
ISCAPDCS
2003
15 years 8 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...
187
click to vote
HIM
1997
Springer
15 years 11 months ago
1997
Springer
The application of information retrieval techniques in interactive environments requires systems capable of efficiently processing vague queries. To reach reasonable response tim...
219
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...