429 search results - page 46 / 86 » General Pseudo-random Generators from Weaker Models of Compu... |
122
click to vote
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
113
Voted
MOBIHOC
2008
ACM
16 years 8 days ago
2008
ACM
Dealing with interference is one of the primary challenges to solve in the design of protocols for wireless ad-hoc networks. Most of the work in the literature assumes localized o...
103
click to vote
PDPTA
2010
14 years 10 months ago
2010
The problem of programmability on modern heterogeneous multicore and future manycore embedded platforms is still not solved satisfactorily: although many existing but incompatible ...
94
Voted
ICCV
1999
IEEE
16 years 2 months ago
1999
IEEE
In this contribution we focus on the calibration of very long image sequences from a hand-held camera that samples the viewing sphere of a scene. View sphere sampling is important...
99
Voted
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...