2717 search results - page 338 / 544 » Evaluation in Context |
183
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
191
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Queues are commonly used in multithreaded programs for synchronization and communication. However, because software queues tend to be too expensive to support finegrained paralle...
149
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Variational problems, which are commonly used to solve lowlevel vision tasks, are typically minimized via a local, iterative optimization strategy, e.g. gradient descent....
274
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
145
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
For over a century, citizen scientists have volunteered to collect huge quantities of data for professional scientists to analyze. We designed Pathfinder, an online environment th...