688 search results - page 12 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
GRAPHITE
2003
ACM
14 years 27 days ago
2003
ACM
Freehand sketching is a natural and powerful means of interpersonal communication. But to date, it still cannot be supported effectively by human-computer interface. In this paper...
BMCBI
2010
13 years 7 months ago
2010
Background: The importance of stochasticity in cellular processes having low number of molecules has resulted in the development of stochastic models such as chemical master equat...
DSD
2008
IEEE
13 years 9 months ago
2008
IEEE
Due to modern technology trends such as decreasing feature sizes and lower voltage levels, fault tolerance is becoming increasingly important in computing systems. Shared memory i...
IPPS
2002
IEEE
14 years 17 days ago
2002
IEEE
A new method, namely the Parallel Two-Level Hybrid (PTH) method, is developed to solve tridiagonal systems on parallel computers. PTH is designed based on Parallel Diagonal Domina...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...