1165 search results - page 116 / 233 » Effective linear programming based placement methods |
119
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
We discuss the problem of concurrent error detection (CED) with bounded latency in finite state machines (FSMs). The objective of this approach is to reduce the overhead of CED, a...
107
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
155
click to vote
ICDAR
2009
IEEE
15 years 26 days ago
2009
IEEE
We present a method to detect characters on signboards in natural scene images. For many applications, both classifier with small computational cost and the efficient feature set,...
126
click to vote
IEEEPACT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
NIPS
2004
15 years 4 months ago
2004
We introduce a new algorithm based on linear programming that approximates the differential value function of an average-cost Markov decision process via a linear combination of p...