175 search results - page 5 / 35 » Programming an interpreter using molecular dynamics |
CPHYSICS
2007
13 years 7 months ago
2007
Human big conductance Ca2+ - and voltage-gated K+ channels (hBK) are putative drug targets for cardiovascular, respiratory and urological diseases. Here we have used molecular sim...
BIRD
2007
Springer
14 years 1 months ago
2007
Springer
Comparison of 3-dimensional protein folds is a core problem in molecular biology. The Contact Map Overlap (CMO) scheme provides one of the most common measures for protein structur...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
POPL
2005
ACM
14 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
CGO
2006
IEEE
14 years 1 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...