Sciweavers

1007 search results - page 76 / 202
» An approach for matching communication patterns in parallel ...
Sort
View
CONCUR
1997
Springer
15 years 5 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
HPCC
2007
Springer
15 years 7 months ago
Multi-domain Topology-Aware Grouping for Application-Layer Multicast
Application-layer multicast (ALM) can solve most of the problems of IP-based multicast. Topology-aware approach of ALM is more attractive because it exploits underlying network top...
Jianqun Cui, Yanxiang He, Libing Wu, Naixue Xiong,...
ICDCSW
2006
IEEE
15 years 7 months ago
Revisiting Content-Based Publish/Subscribe
Content-based publish/subscribe is a very appealing interaction model that has attracted intense efforts from the research community in the quest to obtain “Internet-wide” sca...
Costin Raiciu, David S. Rosenblum, Mark Handley
ICCNMC
2005
Springer
15 years 7 months ago
On Mitigating Network Partitioning in Peer-to-Peer Massively Multiplayer Games
Recently, peer-to-peer infrastructure has been proposed to support massively multiplayer games in the literature. However, when underlying network partitions due to network outages...
Yuan He, Yi Zhang, Jiang Guo
IPPS
2010
IEEE
14 years 11 months ago
Performance modeling of heterogeneous systems
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
Jan Christian Meyer, Anne C. Elster