Sciweavers

8 search results - page 2 / 2
» A thread calculus with molecular dynamics
Sort
View
FMSB
2008
138views Formal Methods» more  FMSB 2008»
13 years 6 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
IPPS
2007
IEEE
13 years 11 months ago
Analysis of a Computational Biology Simulation Technique on Emerging Processing Architectures
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...
Jeremy S. Meredith, Sadaf R. Alam, Jeffrey S. Vett...
IJHPCA
2008
131views more  IJHPCA 2008»
13 years 4 months ago
De Novo Ultrascale Atomistic Simulations On High-End Parallel Supercomputers
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
Aiichiro Nakano, Rajiv K. Kalia, Ken-ichi Nomura, ...