34181 search results - page 324 / 6837 » The Computer System GRAPHOGRAPH |
148
Voted
WCRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—In a software project, outsourcing the development of a particular functionality, reusing a part in another software, or handing-over a part of the code to a new team member req...
132
Voted
SIAMNUM
2011
14 years 10 months ago
2011
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...
155
click to vote
ISNN
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Systems for keyword and non-linguistic vocalization detection in conversational agent applications need to be robust with respect to background noise and different speak...
159
click to vote
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
118
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
This project is developing extended versions of RAIDs with low-power, and exploring novel energyefficient disk array architectures using coding techniques for data intensive compu...