1205 search results - page 160 / 241 » Program Extraction from Large Proof Developments |
107
click to vote
ERSA
2008
15 years 2 months ago
2008
For two decades, reconfigurable computing systems have provided an attractive alternative to fixed hardware solutions. Reconfigurable computing systems have demonstrated the low c...
109
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
Bag-of-words (BoW) methods are a popular class of object recognition methods that use image features (e.g., SIFT) to form visual dictionaries and subsequent histogram vectors to r...
106
click to vote
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
136
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
118
click to vote
CCGRID
2002
IEEE
15 years 6 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...