13383 search results - page 2402 / 2677 » Abstractions from proofs |
145
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
200
Voted
BICOB
2010
Springer
15 years 8 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
117
Voted
ICA3PP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper we report on the recent progress in computing bivariate polynomial resultants on Graphics Processing Units (GPU). Given two polynomials in Z[x, y], our algo...
144
Voted
ICIAR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The Scale Invariant Feature Transform (SIFT) is an algorithm used to detect and describe scale-, translation- and rotation-invariant local features in images. The origina...
99
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
We describe twinning and its applications to adapting programs to alternative APIs. Twinning is a simple technique that allows programmers to specify a class of program changes, i...