1359 search results - page 10 / 272 » Probabilistic Points-to Analysis |
DAC
1994
ACM
13 years 12 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
RECOMB
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. Lateral gene transfer (LGT) is a common mechanism of nonvertical evolution where genetic material is transferred between two more or less distantly related organisms. It ...
BMCBI
2010
13 years 3 months ago
2010
Background: The post-genomic era has brought new challenges regarding the understanding of the organization and function of the human genome. Many of these challenges are centered...
BMCBI
2010
13 years 8 months ago
2010
Background: All infectious disease oriented clinical diagnostic assays in use today focus on detecting the presence of a single, well defined target agent or a set of agents. In r...
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...