577 search results - page 22 / 116 » A computational infrastructure for grid-based asynchronous p... |
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
GPC
2009
Springer
13 years 5 months ago
2009
Springer
SAGA is a high-level programming interface which provides the ability to develop distributed applications in an infrastructure independent way. In an earlier paper, we discussed ho...
TVCG
2008
13 years 7 months ago
2008
Abstract-Chromium Renderserver (CRRS) is software infrastructure that provides the ability for one or more users to run and view image output from unmodified, interactive OpenGL an...
ICDCS
1999
IEEE
13 years 12 months ago
1999
IEEE
The Information Power Grid (IPG) is emerging as an infrastructure that will enable distributed applications
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...