15253 search results - page 2508 / 3051 » Integer-Programming Software Systems |
199
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. The high dimensionality of the data generated by social networks has been a big challenge for researchers. In order to solve the problems associated with this phenomenon,...
191
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Due to the continuously decreasing cost of FPGAs, they have become a valid implementation platform for SOCs. Typically, a soft core processor implementation is used to execute the ...
200
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
303
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
148
Voted
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
We consider fast two-sided error-tolerant search that is robust against errors both on the query side (type alogrithm, find documents with algorithm) as well as on the document si...