7430 search results - page 170 / 1486 » Programming Applications in CIFF |
121
click to vote
SEUS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
206
click to vote
ICDE
1997
IEEE
16 years 4 months ago
1997
IEEE
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
117
click to vote
PARELEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Integration of P-GRADE with Condor and parallel check-pointing results in an environment under which both interactive parallel program development and batch mode execution is poss...
147
click to vote
COCO
1993
Springer
15 years 7 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
109
click to vote
OPODIS
2008
15 years 4 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...