10182 search results - page 1472 / 2037 » Case Studies |
208
click to vote
FUIN
2006
15 years 7 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
193
click to vote
CCE
2007
15 years 7 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
183
click to vote
GRID
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...
199
click to vote
IJON
2008
15 years 7 months ago
2008
The dynamical behavior and the stability properties of fixed points in a feedback auto-associative memory are investigated. The proposed structure encompasses a multi-layer percep...
204
click to vote
GRID
2006
Springer
15 years 7 months ago
2006
Springer
-- In Grid collaborations, scientists use middleware to execute computational experiments, visualize results, and securely share data on resources ranging from desktop machines to ...