1268 search results - page 221 / 254 » Verifying distributed systems: the operational approach |
MOBIDE
2005
ACM
14 years 3 months ago
2005
ACM
The emergence of third-generation (3G) mobile networks offers new opportunities for the effective delivery of data with rich content including multimedia messaging and video-strea...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Client-side file caching has long been recognized as a file system enhancement to reduce the amount of data transfer between application processes and I/O servers. However, cach...
EUROSYS
2008
ACM
14 years 7 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
IEEEPACT
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents an energy management policy for reconfigurable clusters running a multi-tier application, exploiting DVS together with multiple sleep states. We develop a the...
CCGRID
2007
IEEE
14 years 4 months ago
2007
IEEE
Malleability enables a parallel application’s execution system to split or merge processes modifying granularity. While process migration is widely used to adapt applications to...