323 search results - page 35 / 65 » Verify Your Runs |
DCOSS
2007
Springer
14 years 4 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
ESCIENCE
2006
IEEE
14 years 3 months ago
2006
IEEE
Many areas of science currently use computing resources as a important part of their research, and many research groups adopt cluster architecture to use them efficiently and mana...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
CISSE
2008
Springer
13 years 11 months ago
2008
Springer
With the improvement of computer network and the growth of bandwidth, the types of Internet traffic have been changed. The P2P file sharing application became the significant sour...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...