11740 search results - page 2085 / 2348 » More Problems in Rewriting |
281
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
198
click to vote
DAWAK
2011
Springer
14 years 6 months ago
2011
Springer
(The original conference version of this paper mischaracterizes the contributions of the current authors, relative to the contributions of Keogh et al. [11, 12]. We would like to ...
189
click to vote
DCOSS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract—We first present a problem called precedence constrained two traveling salesman (PC2TSP). We propose a nearoptimal heuristic to PC2TSP to generate tours by clustering p...
369
click to vote
EMMCVPR
2011
Springer
14 years 6 months ago
2011
Springer
Length and area regularization are commonplace for inverse problems today. It has however turned out to be much more difficult to incorporate a curvature prior. In this paper we pr...
216
click to vote
IACR
2011
14 years 6 months ago
2011
Sorting is among the most fundamental and well-studied problems within computer science and a core step of many algorithms. In this article, we consider the problem of constructing...