2397 search results - page 89 / 480 » Applications of integer relation algorithms |
110
click to vote
EUROPAR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Parallel relational databases have been successful in providing scalable performance for data intensive applications, and much work has been carried out on query processi...
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
121
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
100
click to vote
COCO
2001
Springer
15 years 6 months ago
2001
Springer
We present several applications of quantum amplitude amplification to finding claws and collisions in ordered or unordered functions. Our algorithms generalize those of Brassard...
FGCS
2000
15 years 1 months ago
2000
This paper overviews recent work on ant algorithms, that is, algorithms for discrete optimization which took inspiration from the observation of ant colonies foraging behavior, an...