4934 search results - page 473 / 987 » Implementing an API for Distributed Adaptive Computing Syste... |
141
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
144
click to vote
CCGRID
2003
IEEE
15 years 10 months ago
2003
IEEE
In the emerging world of Grid Computing, shared computational, data, other distributed resources are becoming available to enable scientific advancement through collaborative rese...
148
click to vote
ISCOPE
1999
Springer
15 years 9 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
148
click to vote
LISA
2008
15 years 7 months ago
2008
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
138
click to vote
DC
2010
15 years 5 months ago
2010
It is considered good distributed computing practice to devise object implementations that tolerate contention, periods of asynchrony and a large number of failures, but perform f...