563 search results - page 72 / 113 » Computing approximate PSD factorizations |
CC
2007
Springer
14 years 4 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
CISC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper reports on the improved and multiple linear cryptanalysis of reduced round Serpent by mean of a branch-and-bound characteristic search within the algorithm. We...
DSOM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Proposed EU regulations on data retention could require every provider to keep accounting logs of its customers’ Internet usage. Although the technical consequences of ...
SWAT
2004
Springer
14 years 3 months ago
2004
Springer
We consider the speed scaling problem of minimizing the average response time of a collection of dynamically released jobs subject to a constraint A on energy used. We propose an ...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
The hardware complexity of digital filters is not controllable by straightforwardly rounding the coefficients to the quantization levels. In this paper, we propose an effective al...