882 search results - page 148 / 177 » Local Search for Very Large SAT Problems |
135
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Although camera self-calibration and metric reconstruction have been extensively studied during the past decades, automatic metric reconstruction from long video sequences with va...
135
click to vote
ICDCS
2009
IEEE
16 years 27 days ago
2009
IEEE
Remote Direct Memory Access (RDMA) is a mechanism whereby data is moved directly between the application memory of the local and remote computer. In bypassing the operating system...
135
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The widening gap between CPU and memory speed has made caches an integral feature of modern highperformance processors. The high degree of configurability of cache memory can requ...
145
Voted
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
129
Voted
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...