9503 search results - page 1496 / 1901 » Authenticated System Calls |
194
click to vote
ICLP
2005
Springer
16 years 12 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
162
click to vote
IDEAL
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
161
click to vote
IPSN
2005
Springer
16 years 12 days ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
164
click to vote
ISSAC
2005
Springer
16 years 12 days ago
2005
Springer
Let G = (4y2 + 2z)x2 + (10y2 + 6z) be the greatest common divisor (gcd) of two polynomials A, B ∈ [x,y, z]. Because G is not monic in the main variable x, the sparse modular ...
176
click to vote
LCPC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...