1346 search results - page 221 / 270 » An Interface Model for Parallel Components |
124
click to vote
REX
1991
15 years 5 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Advances in internetworking technology and the decreasing cost-performance ratio of commodity computing components have enabled Volunteer Computing (VC). VC platforms aggregate te...
118
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
The recent emergence of clouds is making the vision of utility computing realizable, i.e. computing resources and services can be delivered, utilized, and paid for as utilities su...
100
click to vote
GRID
2006
Springer
15 years 1 months ago
2006
Springer
Manual management of public key credentials can be a significant and often off-putting obstacle to Grid use, particularly for casual users. We describe the Portal-based User Regis...
132
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
For a grid middleware to perform resource allocation, prediction models are needed, which can determine how long an application will take for completion on a particular platform o...