1953 search results - page 217 / 391 » codes 2010 |
160
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
FPGA devices are mostly utilized for customized application designs with heavily pipelined and aggressively parallel computations. However, little focus is normally given to the FP...
199
click to vote
SYSTOR
2010
ACM
15 years 6 months ago
2010
ACM
A basic problem in the management of web servers is capacity planning: you want enough capacity to be able to serve peak loads, but not too much so as to avoid excessive costs. It...
165
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
148
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
149
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
Inspired by syndrome source coding using linear error-correcting codes, we explore a new form of measurement matrix for compressed sensing. The proposed matrix is constructed in t...