1268 search results - page 221 / 254 » Verifying distributed systems: the operational approach |
200
click to vote
MOBIDE
2005
ACM
15 years 11 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...
150
click to vote
IPPS
2007
IEEE
16 years 11 days 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...
159
Voted
EUROSYS
2008
ACM
16 years 3 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...
173
click to vote
IEEEPACT
2008
IEEE
16 years 15 days 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...
159
click to vote
CCGRID
2007
IEEE
16 years 13 days 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...