2863 search results - page 362 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
249
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Many computer vision problems can be formulated in
a Bayesian framework with Markov Random Field (MRF)
or Conditional Random Field (CRF) priors. Usually, the
model assumes that ...
145
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
156
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
Due to reduction in device feature size and supply voltage, the sensitivity to radiation induced transient faults (soft errors) of digital systems increases dramatically. Intensiv...
185
click to vote
ECOOP
2007
Springer
16 years 21 days ago
2007
Springer
64-bit address spaces come at the price of pointers requiring twice as much memory as 32-bit address spaces, resulting in increased memory usage. Increased memory usage is especia...
200
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...