11328 search results - page 217 / 2266 » Timed Branching Processes |
148
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
135
click to vote
AAAI
2008
15 years 6 months ago
2008
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. Although we have access to genotype data (gene...
162
Voted
SCANGIS
2003
15 years 5 months ago
2003
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...
135
click to vote
WSC
1997
15 years 5 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...
127
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Scientists working in eScience environments often use workflows to carry out their computations. Since the workflows evolve as the research itself evolves, these workflows can be ...