1833 search results - page 231 / 367 » Mechanized Verification with Sharing |
168
click to vote
CCGRID
2006
IEEE
16 years 16 days ago
2006
IEEE
The Data Grid provides a scalable infrastructure for storage resources and data distribution management. It also supports a variety of scientific applications that require access...
188
click to vote
ICPPW
2006
IEEE
16 years 15 days ago
2006
IEEE
Applications augmented with adaptive capabilities are becoming common in parallel computing environments which share resources such as main memory, network, or disk I/O. For large...
165
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
CC-NUMA is a widely adopted and deployed architecture of high performance computers. These machines are attractive for their transparent access to local and remote memory. However...
197
click to vote
SKG
2006
IEEE
16 years 14 days ago
2006
IEEE
The Grid provides mechanisms to share dynamic, heterogeneous, distributed resources spanned across multiple administrative domains. Resources required to execute a job are identif...
165
click to vote
ICNP
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper deals with a new pricing approach in utility fair networks, where the user’s application is associated with a utility function. We allow users to have concave as well...