15779 search results - page 2616 / 3156 » Change-oriented software engineering |
123
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Database technology and the Structured Query Language (SQL) have grown enormously in recent years. Applications from different domains have different requirements for using databa...
175
click to vote
Publication
We present an online learning approach for robustly combining unreliable
observations from a pedestrian detector to estimate the rough 3D scene geometry
from video sequences of a...
113
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...
123
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
140
click to vote
AFRICACRYPT
2010
Springer
15 years 11 months ago
2010
Springer
This paper describes an implementation of Pollard’s rho algorithm to compute the elliptic curve discrete logarithm for the Synergistic Processor Elements of the Cell Broadband En...