4106 search results - page 86 / 822 » A Computational Model for Metric Spaces |
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Shared dataspaces `a la Linda, and the underlying data-driven coordination model, have been successfully exploited in the development of a huge variety of applications, going from...
HPCA
2007
IEEE
14 years 9 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
The Space Weather Modeling Framework (SWMF) aims at providing software architecture for integrated modeling of different domains of Sun-Earth system and high-performance physics-b...
CODES
1998
IEEE
14 years 1 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
TAMC
2009
Springer
14 years 3 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...