7886 search results - page 1324 / 1578 » An evaluation of bipartitioning techniques |
216
Voted
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
228
click to vote
WACV
2012
IEEE
14 years 2 months ago
2012
IEEE
In sports broadcasts, networks consisting of pan-tiltzoom (PTZ) cameras usually exhibit very wide baselines, making standard matching techniques for camera calibration very hard t...
324
click to vote
Publication
In this paper, we propose a task scheduling algorithm for a multicore processor system which reduces the recovery time in case of a single fail-stop failure of a multicore processo...
289
click to vote
CVPR
2012
IEEE
13 years 12 months ago
2012
IEEE
Learning from streams of evolving and unbounded data is an important problem, for example in visual surveillance or internet scale data. For such large and evolving real-world data...
333
click to vote
Presentation
In this paper, we propose a task scheduling al-gorithm for a multicore processor system which reduces the recovery time in case of a single fail-stop failure of a multicore process...