688 search results - page 51 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ISPAN
1999
IEEE
14 years 1 days ago
1999
IEEE
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception t...
ACCV
2006
Springer
13 years 11 months ago
2006
Springer
Stochastic grammar has been used in many video analysis and event recognition applications as an efficient model to represent large-scale video activity. However, in previous works...
BMCBI
2007
13 years 7 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
PARA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...