285 search results - page 28 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
103
click to vote
PODC
2005
ACM
15 years 7 months ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
107
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
One of the attractive features of Grid computing is that resources in geographically distant places can be mobilized to meet computational needs as they arise. A particularly chal...
108
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present a dynamically reconfigurable cache architecture using adaptive block allocation policy analyzed by means of simulation. Our main objectives are: to propo...
107
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
174
click to vote
KIVS
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...