536 search results - page 32 / 108 » A computer verified, monadic, functional implementation of t... |
159
click to vote
DEXAW
2004
IEEE
15 years 9 months ago
2004
IEEE
Management of large data repositories integrated into the Grid poses new challenges for Grid research. There already exist several successful Data Grid projects addressing process...
143
click to vote
JCC
2008
15 years 6 months ago
2008
: We propose the algorithm to evaluate the Coulomb potential in the ab initio density functional calculation on the graphics processor unit (GPU). The numerical accuracy required f...
144
click to vote
APNOMS
2007
Springer
16 years 6 days ago
2007
Springer
In this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol for home networks. The proposed scheme is to authenticate home users ident...
140
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
181
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
JPEG2000 is an emerging standard for still image compression and is becoming the solution of choice for many digital imaging fields and applications. An important aspect of JPEG2...