1451 search results - page 14 / 291 » Case Studies in Model Manipulation for Scientific Computing |
CLADE
2008
IEEE
14 years 2 months ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper, we describe our experience with developing Airshed, a large pollution modeling application, in the Fx programming environment. We demonstrate that high level parall...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...