58 search results - page 12 / 12 » Monotonic Partial Order Reduction: An Optimal Symbolic Parti... |
ECRTS
2008
IEEE
13 years 11 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
JCB
2007
13 years 5 months ago
2007
Many bioinformatics problems can implicitly depend on estimating large-scale covariance matrix. The traditional approaches tend to give rise to high variance and low accuracy esti...
APN
2011
Springer
12 years 9 months ago
2011
Springer
In prime event structures with binary conflicts (pes-bc)3 a branching cell [1] is a subset of events closed under downward causality and immediate conflict relations. This means ...