328 search results - page 39 / 66 » Proving Termination of Communicating Programs |
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a novel mechanism for the multicast congestion control over UMTS networks. The proposed mechanism is based on the well known TCP-Friendly Multicast Conges...
IFIP
2003
Springer
14 years 27 days ago
2003
Springer
In this work we propose and evaluate mechanisms for the multiplexing and the integrated delivery of Video and Data Traffic over a Wireless Cellular High Speed Packet Switched Netwo...
CDC
2009
IEEE
14 years 13 days ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...
PPL
2008
13 years 7 months ago
2008
Algorithmic skeletons intend to simplify parallel programming by providing a higher abstraction compared to the usual message passing. Task and data parallel skeletons can be dist...
IFL
2001
Springer
14 years 4 days ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...