461 search results - page 81 / 93 » Verifying parallel programs with dynamic communication struc... |
IJPP
2010
13 years 4 months ago
2010
Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-uniform ar...
JCM
2008
13 years 6 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
MIDDLEWARE
2007
Springer
14 years 26 days ago
2007
Springer
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
ICDCS
2009
IEEE
14 years 3 months ago
2009
IEEE
—Content-based service, which dynamically routes and delivers events from sources to interested users, is extremely important to network services. However, existing content-based...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...