757 search results - page 109 / 152 » Monte Carlo Model Checking |
141
Voted
CLUSTER
2009
IEEE
15 years 14 days ago
2009
IEEE
With the advent of high-performance COTS clusters, there is a need for a simple, scalable and faulttolerant parallel programming and execution paradigm. In this paper, we show that...
122
Voted
CMPB
2010
14 years 9 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
115
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
246
Voted
ICCV
2011
IEEE
13 years 12 months ago
2011
IEEE
We propose a novel tracking framework called visual tracker sampler that tracks a target robustly by searching for the appropriate trackers in each frame. Since the real-world trac...
127
Voted
FORTE
2007
15 years 4 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...