5326 search results - page 297 / 1066 » On what we can ensure |
170
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
190
click to vote
HUMAN
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we introduce Relayed Multicast Control Protocol (RMCP). The RMCP has been designed for realizing and managing the relayed multicast. Relayed multicast, as known as O...
166
click to vote
ICTCS
2003
Springer
15 years 12 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
161
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
152
click to vote
IWCMC
2009
ACM
15 years 11 months ago
2009
ACM
This paper investigates the impact of the polarization on the achievable throughput and the probability of successful transmission in the cellular network architectures. A channel...