8413 search results - page 1553 / 1683 » Ordering Problem Subgoals |
135
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...
127
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
160
Voted
ALGOSENSORS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we study the connectivity problem for wireless networks under the Signal to Interference plus Noise Ratio (SINR) model. Given a set of radio transmitters distributed ...
133
Voted
AMMA
2009
Springer
15 years 10 months ago
2009
Springer
I study school assignment problems, focusing on two popular mechanisms: the Boston Mechanism (BM) and Deferred Acceptance (DA). The former has been criticized regarding both e¢ c...
135
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Support vector machines (SVMs) have been widely used in multimedia retrieval to learn a concept in order to find the best matches. In such a SVM active learning environment, the ...