4356 search results - page 501 / 872 » Communicating Transactions - (Extended Abstract) |
187
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
166
click to vote
CLUSTER
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract--Open-MX is a new message passing layer implemented on top of the generic Ethernet stack of the Linux kernel. Open-MX works on all Ethernet hardware, but it suffers from e...
189
click to vote
COCOON
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We model a network in which messages spread by a simple directed graph G = (V, E) [1] and a function : V N mapping each v V to a positive integer less than or equal to...
212
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract In this paper, we propose a resource allocation algorithm for ergodic weighted-sum rate maximization in downlink OFDMA systems. In contrast to most previous research tha...
220
click to vote
ARCSF
2008
15 years 8 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...