6202 search results - page 1202 / 1241 » Without Loss of Generality |
131
click to vote
NAACL
2010
14 years 12 months ago
2010
We carried out a study on monolingual translators with no knowledge of the source language, but aided by post-editing and the display of translation options. On Arabic-English and...
158
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
121
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
143
click to vote
OPODIS
2010
14 years 12 months ago
2010
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
118
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Real-time transit tracking is gaining popularity as a means for transit agencies to improve the rider experience. However, many transit agencies lack either the funding or initiat...