3733 search results - page 450 / 747 » Logics of communication and change |
195
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
165
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the optimization of multicast over packet-switched communication networks with a non-zero packet-loss probability. For the system setup consisting of a number of multi...
190
click to vote
IEEEIAS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose a framework to develop highperformance system accelerator hardware and the corresponding software at system-level. This framework is designed by integrat...
207
click to vote
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
Packet classification is widely used in various network security and operation applications. Two of the main challenges are the increasing number of classification rules, amount o...
164
click to vote
INFORMATICALT
2010
15 years 4 months ago
2010
Abstract. The paper deals with the recursive identification of dynamic systems having noninvertible output characteristics, which can be represented by the Wiener model. A special ...