1365 search results - page 22 / 273 » Maximal Causality Analysis |
113
Voted
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
15 years 2 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...
127
click to vote
BMCBI
2007
15 years 18 days ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
137
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
94
Voted
ISBI
2002
IEEE
15 years 5 months ago
2002
IEEE
63
Voted
BIOINFORMATICS
2008
15 years 21 days ago
2008
