1156 search results - page 151 / 232 » Efficient Barriers for Distributed Shared Memory Computers |
ENTCS
2008
13 years 9 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
PADS
2005
ACM
14 years 2 months ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...
DEXA
2006
Springer
14 years 20 days ago
2006
Springer
Recent work on continuous queries has focused on processing queries in very large, mobile environments. In this paper, we propose a system leveraging the computing capacities of mo...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Energy planning and optimization constitutes one of the most significant challenges for high-mobility networks. This paper proposes a novel framework to share, retain and re...