1451 search results - page 13 / 291 » Case Studies in Model Manipulation for Scientific Computing |
WSC
2008
13 years 10 months ago
2008
An increased need for collaborative research, together with continuing advances in communication technology and computer hardware, has facilitated the development of distributed s...
NIPS
2004
13 years 9 months ago
2004
As animals interact with their environments, they must constantly update estimates about their states. Bayesian models combine prior probabilities, a dynamical model and sensory e...
IJMMS
2007
13 years 7 months ago
2007
: In information systems that support knowledge-discovery applications such as scientific exploration, reliance on highly structured ontologies as data-organization aids can be lim...
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
ASM
1998
ASM
13 years 12 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...