364 search results - page 1 / 73 » Some Grid Automata for Grid Computing |
GCC
2003
Springer
13 years 10 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
EUROPAR
2005
Springer
13 years 10 months ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...
GRID
2000
Springer
13 years 8 months ago
2000
Springer
: In this presentation, a short outline of the history of past and present Grid projects in research and industry is given, followed by some near- and long-term Grid scenarios and ...
CCGRID
2006
IEEE
13 years 10 months ago
2006
IEEE
Recently, Grid infrastructures have provided wide integrated use of resources. DotGrid intends to introduce required Grid services and toolkits that are implemented as a layer wra...
GCC
2003
Springer
13 years 10 months ago
2003
Springer
A fundamental problem that confronts Shanghai Information Grid is to adopt a good Grid toolkit, since the “de facto” standard Globus Toolkit does not support Information Grid w...