8810 search results - page 414 / 1762 » Open. Closed. Open |
203
Voted
JPDC
2010
15 years 1 months ago
2010
We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the ...
330
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
200
Voted
ISBRA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Accurate inference of local ancestry from whole-genome genetic variation data is critical for understanding the history of admixed human populations and detecting SNPs as...
171
Voted
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—The design of computer and communication systems has been based, for decades, on the fundamental assumption that the objective of all users is to improve their own performance. ...
168
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...